Proposition 7.4 ( [ TY90 ] , see also [ HSVZ18 ] ) . [055V] 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
Proposition 7.4 ([TY90 ] , see also [HSVZ18 ] ).
There is a smooth function ϕ \phi on Z Z such that ω T Y ≡ ω Z + − 1 ∂ ∂ ¯ ϕ \omega_{TY}\equiv\omega_{Z}+\sqrt{-1}\partial\bar{\partial}\phi is a complete Ricci-flat Kähler metric on Z Z solving the Monge-Ampère equation
(7.45)
ω T Y n = 1 n ⋅ 2 n − 1 ( − 1 ) n 2 Ω Z ∧ Ω ¯ Z . \omega_{TY}^{n}=\frac{1}{n\cdot 2^{n-1}}(\sqrt{-1})^{n^{2}}\Omega_{Z}\wedge\overline{\Omega}_{Z}.
Moreover, there is a diffeomorphism Φ : 𝒞 ∖ K ′ → Y ∖ K \Phi:\mathcal{C}\setminus K^{\prime}\rightarrow Y\setminus K , where K ⊂ Z K\subset Z is compact and K ′ = { | ξ | ≥ 1 2 } K^{\prime}=\{|\xi|\geq\frac{1}{2}\} and constant δ Z > 0 \delta_{Z}>0 , such that the following asymptotics hold uniformly for all z z large
(1)
(7.46)
| ∇ g Z k ϕ | g Z = O ( e − δ Z ( − log | S | 2 ) 1 / 2 ) for all k ≥ 0 . |\nabla_{g_{Z}}^{k}\phi|_{g_{Z}}=O(e^{-\delta_{Z}(-\log|S|^{2})^{1/2}})\ \text{for all}\ k\geq 0.
(2)
(7.47)
| ∇ g 𝒞 k ( Φ ∗ J Z − J 𝒞 ) | g 𝒞 = O ( e − ( 1 2 − ϵ ) z n ) for all k ≥ 0 , ϵ > 0 . |\nabla_{g_{\mathcal{C}}}^{k}(\Phi^{*}J_{Z}-J_{\mathcal{C}})|_{g_{\mathcal{C}}}=O(e^{-(\frac{1}{2}-\epsilon)z^{n}})\ \text{for all}\ k\geq 0,\epsilon>0.
(3)
(7.48)
| ∇ g 𝒞 k ( Φ ∗ Ω Z − Ω 𝒞 ) | g 𝒞 = O ( e − ( 1 2 − ϵ ) z n ) for all k ≥ 0 , ϵ > 0 . |\nabla_{g_{\mathcal{C}}}^{k}(\Phi^{*}\Omega_{Z}-\Omega_{\mathcal{C}})|_{g_{\mathcal{C}}}=O(e^{-(\frac{1}{2}-\epsilon)z^{n}})\ \text{for all}\ k\geq 0,\epsilon>0.
(4)
(7.49)
| ∇ g 𝒞 k ( Φ ∗ ω T Y − ω 𝒞 ) | g 𝒞 = O ( e − δ Z z n / 2 ) . |\nabla_{g_{\mathcal{C}}}^{k}(\Phi^{*}\omega_{TY}-\omega_{\mathcal{C}})|_{g_{\mathcal{C}}}=O(e^{-{\delta_{Z}}z^{n/2}}).
(5)
There is a constant C > 0 C>0 such that
(7.50)
C − 1 z ≤ Φ ∗ ( ( − log | S | 2 ) 1 n ) ≤ C z . C^{-1}z\leq\Phi^{*}((-\log|S|^{2})^{\frac{1}{n}})\leq Cz.