ScalingStacks

Lemma 4.1 . [00A5]

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

Lemma 4.1.

Given any 0<ϵ≪10<\epsilon\ll 1, then for sufficiently small tt depending on ϵ\epsilon, there is a smooth Kähler metric ωF​S,t\omega_{FS,t} on (Xt,1|log⁡|t||​c1​(L))(X_{t},\frac{1}{|\log|t||}c_{1}(L)), such that

  • •

    The relative Kähler potential for any two choices of ϵ\epsilon is bounded uniformly independent of small tt.

  • •

    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 ωF​S,t\omega_{FS,t} can be chosen to satisfy |ϕJ,t−ϕ0∘Log𝒳|<ϵ|\phi_{J,t}-\phi_{0}\circ\text{Log}_{\mathcal{X}}|<\epsilon.

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