ScalingStacks

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.

Complete original source context · Original author HTML

Proposition 7.4 ([TY90], see also [HSVZ18]).

There is a smooth function ϕ\phi on ZZ 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 ZZ solving the Monge-Ampère equation

(7.45) ωT​Yn=1n⋅2n−1​(−1)n2​Ω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⊂ZK\subset Z is compact and K′={|ξ|≥12}K^{\prime}=\{|\xi|\geq\frac{1}{2}\} and constant δZ>0\delta_{Z}>0, such that the following asymptotics hold uniformly for all zz large

  1. (1)
    (7.46) |∇gZkϕ|gZ=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. (2)
    (7.47) |∇g𝒞k(Φ∗​JZ−J𝒞)|g𝒞=O⁡(e−(12−ϵ)​zn)​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. (3)
    (7.48) |∇g𝒞k(Φ∗​ΩZ−Ω𝒞)|g𝒞=O⁡(e−(12−ϵ)​zn)​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. (4)
    (7.49) |∇g𝒞k(Φ∗​ωT​Y−ω𝒞)|g𝒞=O⁡(e−δZ​zn/2).|\nabla_{g_{\mathcal{C}}}^{k}(\Phi^{*}\omega_{TY}-\omega_{\mathcal{C}})|_{g_{\mathcal{C}}}=O(e^{-{\delta_{Z}}z^{n/2}}).
  5. (5)

    There is a constant C>0C>0 such that

    (7.50) C−1​z≤Φ∗​((−log⁡|S|2)1n)≤C​z.C^{-1}z\leq\Phi^{*}((-\log|S|^{2})^{\frac{1}{n}})\leq Cz.

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