ScalingStacks

Verified tagged author-source HTML · 2007.01384v1 · cited publication edition alignment unverified.

00AK

Proof. Pretending everything is smooth, a standard integration by part gives

∫Xt(ψt−ϕC​Y,t)​(ωC​Y,tn−ωψ,tn)=∫Xt(ψt−ϕC​Y,t)​d​dc​(−ψt+ϕC​Y,t)∧(ωC​Y,tn−1+…+ωψ,tn−1)=∫Xtd⁡(ψt−ϕC​Y,t)∧dc​(ψt−ϕC​Y,t)∧(ωC​Y,tn−1+…+ωψ,tn−1)≥∫Xtd⁡(ψt−ϕC​Y,t)∧dc​(ψt−ϕC​Y,t)∧ωψ,tn−1.\begin{split}&\int_{X_{t}}(\psi_{t}-\phi_{CY,t})(\omega_{CY,t}^{n}-\omega_{\psi,t}^{n})\\ =&\int_{X_{t}}(\psi_{t}-\phi_{CY,t})dd^{c}(-\psi_{t}+\phi_{CY,t})\wedge(\omega_{CY,t}^{n-1}+\ldots+\omega_{\psi,t}^{n-1})\\ =&\int_{X_{t}}d(\psi_{t}-\phi_{CY,t})\wedge d^{c}(\psi_{t}-\phi_{CY,t})\wedge(\omega_{CY,t}^{n-1}+\ldots+\omega_{\psi,t}^{n-1})\\ \geq&\int_{X_{t}}d(\psi_{t}-\phi_{CY,t})\wedge d^{c}(\psi_{t}-\phi_{CY,t})\wedge\omega_{\psi,t}^{n-1}.\end{split}

The same calculations work for continuous ωF​S,t\omega_{FS,t}-psh functions by standard pluripotential theory.

Combine ‖ϕC​Y,t‖L∞≤C\left\lVert\phi_{CY,t}\right\rVert_{L^{\infty}}\leq C with the total variation bound in Lemma 4.2,

∫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,

we get

∫Xtd⁡(ψt−ϕC​Y,t)∧dc​(ψt−ϕC​Y,t)∧ωψ,tn−1≤C​∫Xt|ωC​Y,tn−ωψ,tn|≤C​δ|log⁡|t||n.\int_{X_{t}}d(\psi_{t}-\phi_{CY,t})\wedge d^{c}(\psi_{t}-\phi_{CY,t})\wedge\omega_{\psi,t}^{n-1}\leq C\int_{X_{t}}|\omega_{CY,t}^{n}-\omega_{\psi,t}^{n}|\leq\frac{C\delta}{|\log|t||^{n}}.

Again by Lemma 4.2, the metric ωψ,t\omega_{\psi,t} is uniformly controlled a.e. on Log𝒳−1​(Wδ)\text{Log}_{\mathcal{X}}^{-1}(W_{\delta}), so

∫Log𝒳−1​(Wδ)d⁡(ψt−ϕC​Y,t)∧dc​(ψt−ϕC​Y,t)∧(d​dc​ϕ0∘Log𝒳)n−1≤C​δ|log⁡|t||n.\int_{\text{Log}_{\mathcal{X}}^{-1}(W_{\delta})}d(\psi_{t}-\phi_{CY,t})\wedge d^{c}(\psi_{t}-\phi_{CY,t})\wedge(dd^{c}\phi_{0}\circ\text{Log}_{\mathcal{X}})^{n-1}\leq\frac{C\delta}{|\log|t||^{n}}.

∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.