Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes Source fidelity gap: the original arXiv HTML omits an author TeX footnote attached to equation e:def-omega, including its reference to Remark r:error-function. The retained HTML is preserved as published; the original author TeX remains available. TeX correspondence is not complete. 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 = 2 n ( n k ) β
Ο β ( 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 β C 0 , Ξ± β ( β³ T ) β€ C 0 β
Ο± and β β 1 β β β Β― β Ο 2 β C 0 , Ξ± β ( β³ T ) β€ C 0 β
Ο± , \|\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 C 0 > 0 C_{0}>0 is a uniform constant independent of T β« 1 T\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 β« 1 T\gg 1 ), so the above estimates imply the pointwise estimate for π© \mathscr{N} ,
(6.39)
| π© β‘ ( β 1 β β β Β― β Ο 1 ) β π© β‘ ( β 1 β β β Β― β Ο 2 ) | β€ C N β
Ο± β
| β 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
C N > 0 C_{N}>0 is a uniform constant independent of T T .
Write the above in terms of the weighted norms, we have
(6.40)
β π© β‘ ( β 1 β β β Β― β Ο 1 ) β π© β‘ ( β 1 β β β Β― β Ο 2 ) β C Ξ΄ , Ξ½ + 2 , ΞΌ 0 , Ξ± β ( β³ T ) β€ C N β
Ο± β
β β 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.