ScalingStacks

Lemma 4.2 . [00A7]

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

(Regularisation) Let ϵ\epsilon be suffiently small dependent on δ\delta, and construct ωF​S,t\omega_{FS,t} as in Lemma 4.1, for tt sufficiently small dependent on ϵ\epsilon and δ\delta. There is a Lipschitz continuous function ψt\psi_{t} on XtX_{t} with ‖ψt‖L∞≤3​ϵ\left\lVert\psi_{t}\right\rVert_{L^{\infty}}\leq 3\epsilon, such that

  • •

    The function ψt\psi_{t} is smooth away from a closed subset with d​μtd\mu_{t}-measure zero.

  • •

    The (1,1)-current ωψ,t=ωF​S,t+d​dc​ψt≥0\omega_{\psi,t}=\omega_{FS,t}+dd^{c}\psi_{t}\geq 0 is positive on XtX_{t}.

  • •

    The metric estimate (1−C​ϵ)​d​dc​ϕ0∘Log𝒳≤ωψ,t≤(1+C​ϵ)​d​dc​ϕ0∘Log𝒳(1-C\epsilon)dd^{c}\phi_{0}\circ\text{Log}_{\mathcal{X}}\leq\omega_{\psi,t}\leq(1+C\epsilon)dd^{c}\phi_{0}\circ\text{Log}_{\mathcal{X}} holds on the smooth locus of ψ\psi inside Log𝒳−1​(Wδ)\text{Log}_{\mathcal{X}}^{-1}(W_{\delta}).

  • •

    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}|<\delta.

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