ScalingStacks

Proof. [054Z]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context Β· Original author HTML

Proof.

By definition,

(𝒩⁑(βˆ’1β€‹βˆ‚βˆ‚Β―β€‹Ο•1)βˆ’π’©β‘(βˆ’1β€‹βˆ‚βˆ‚Β―β€‹Ο•2))⋅ω​(t)n\displaystyle\Big(\mathscr{N}(\sqrt{-1}\partial\bar{\partial}\phi_{1})-\mathscr{N}(\sqrt{-1}\partial\bar{\partial}\phi_{2})\Big)\cdot\omega(t)^{n}
(6.35) =\displaystyle= βˆ‘k=2n(nk)⋅ω​(t)nβˆ’k∧((βˆ’1β€‹βˆ‚βˆ‚Β―β€‹Ο•1)kβˆ’(βˆ’1β€‹βˆ‚βˆ‚Β―β€‹Ο•2)k).\displaystyle\sum\limits_{k=2}^{n}\begin{pmatrix}n\\ k\end{pmatrix}\cdot\omega(t)^{n-k}\wedge\Big((\sqrt{-1}\partial\bar{\partial}\phi_{1})^{k}-(\sqrt{-1}\partial\bar{\partial}\phi_{2})^{k}\Big).

By the definition of the norm on 𝔖1\mathfrak{S}_{1}, we have

(6.36) β€–βˆ’1β€‹βˆ‚βˆ‚Β―β€‹Ο•1β€–CΞ΄,Ξ½+2,ΞΌ0,α​(β„³T)≀ϱ,β€–βˆ’1β€‹βˆ‚βˆ‚Β―β€‹Ο•1β€–CΞ΄,Ξ½+2,ΞΌ0,α​(β„³T)≀ϱ.\|\sqrt{-1}\partial\bar{\partial}\phi_{1}\|_{C_{\delta,\nu+2,\mu}^{0,\alpha}(\mathcal{M}_{T})}\leq\varrho,\quad\|\sqrt{-1}\partial\bar{\partial}\phi_{1}\|_{C_{\delta,\nu+2,\mu}^{0,\alpha}(\mathcal{M}_{T})}\leq\varrho.

With ΞΌ\mu specified by (6.13), by Lemma 4.20, the weight function ρδ,Ξ½+2,ΞΌ(Ξ±):β„³T→ℝ+\rho_{\delta,\nu+2,\mu}^{(\alpha)}:\mathcal{M}_{T}\to\mathbb{R}_{+} satisfies for any π’™βˆˆβ„³T\bm{x}\in\mathcal{M}_{T},

(6.37) ρδ,Ξ½+2,ΞΌ(Ξ±)​(𝒙)β‰₯1.\rho_{\delta,\nu+2,\mu}^{(\alpha)}(\bm{x})\geq 1.

This implies the following weight-free estimates,

(6.38) β€–βˆ’1β€‹βˆ‚βˆ‚Β―β€‹Ο•1β€–C0,α​(β„³T)≀C0β‹…Ο±andβ€–βˆ’1β€‹βˆ‚βˆ‚Β―β€‹Ο•2β€–C0,α​(β„³T)≀C0β‹…Ο±,\|\sqrt{-1}\partial\bar{\partial}\phi_{1}\|_{C^{0,\alpha}(\mathcal{M}_{T})}\leq C_{0}\cdot\varrho\quad\text{and}\quad\|\sqrt{-1}\partial\bar{\partial}\phi_{2}\|_{C^{0,\alpha}(\mathcal{M}_{T})}\leq C_{0}\cdot\varrho,

where C0>0C_{0}>0 is a uniform constant independent of T≫1T\gg 1.

Since the L∞L^{\infty}-norm of the KΓ€hler form Ο‰T\omega_{T} is bounded by a uniform constant (independent of T≫1T\gg 1), so the above estimates imply the pointwise estimate for 𝒩\mathscr{N},

(6.39) |𝒩⁑(βˆ’1β€‹βˆ‚βˆ‚Β―β€‹Ο•1)βˆ’π’©β‘(βˆ’1β€‹βˆ‚βˆ‚Β―β€‹Ο•2)|≀CNβ‹…Ο±β‹…|βˆ’1β€‹βˆ‚βˆ‚Β―β€‹(Ο•1βˆ’Ο•2)|,|\mathscr{N}(\sqrt{-1}\partial\bar{\partial}\phi_{1})-\mathscr{N}(\sqrt{-1}\partial\bar{\partial}\phi_{2})|\leq C_{N}\cdot\varrho\cdot|\sqrt{-1}\partial\bar{\partial}(\phi_{1}-\phi_{2})|,

where CN>0C_{N}>0 is a uniform constant independent of TT. Write the above in terms of the weighted norms, we have

(6.40) ‖𝒩⁑(βˆ’1β€‹βˆ‚βˆ‚Β―β€‹Ο•1)βˆ’π’©β‘(βˆ’1β€‹βˆ‚βˆ‚Β―β€‹Ο•2)β€–CΞ΄,Ξ½+2,ΞΌ0,α​(β„³T)≀CNβ‹…Ο±β‹…β€–βˆ’1β€‹βˆ‚βˆ‚Β―β€‹(Ο•1βˆ’Ο•2)β€–CΞ΄,Ξ½+2,ΞΌ0,α​(β„³T).\|\mathscr{N}(\sqrt{-1}\partial\bar{\partial}\phi_{1})-\mathscr{N}(\sqrt{-1}\partial\bar{\partial}\phi_{2})\|_{C_{\delta,\nu+2,\mu}^{0,\alpha}(\mathcal{M}_{T})}\leq C_{N}\cdot\varrho\cdot\|\sqrt{-1}\partial\bar{\partial}(\phi_{1}-\phi_{2})\|_{C_{\delta,\nu+2,\mu}^{0,\alpha}(\mathcal{M}_{T})}.

The proof is done.

∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.