ScalingStacks

Proposition 6.4 . [003K]

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 6.4.

[53, Lemma 4.1, 4.2] Given any ϵ≪1\epsilon\ll 1, and let tt be small enough depending on ϵ\epsilon. There is a Kähler metric ωψ,t\omega_{\psi,t}, such that

  • •

    On Log𝒳−1​(Int​(ΔJ))\text{Log}_{\mathcal{X}}^{-1}(\text{Int}(\Delta_{J})), the local Kähler potentials ϕJ,t\phi_{J,t} of ωψ,t\omega_{\psi,t} can be chosen to satisfy |ϕJ,t−ϕ0∘Log𝒳|<ϵ|\phi_{J,t}-\phi_{0}\circ\text{Log}_{\mathcal{X}}|<\epsilon.

  • •

    The total variation ∫Xt||log⁡|t||n​ωψ,tn(Ln)−d​μt|<ϵ.\int_{X_{t}}|\frac{|\log|t||^{n}\omega_{\psi,t}^{n}}{(L^{n})}-d\mu_{t}|<\epsilon.

  • •

    The Kähler potential of ωψ,t\omega_{\psi,t} relative to a fixed Fubini-Study reference metric, is uniformly bounded independent of t,ϵt,\epsilon.

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