ScalingStacks

Theorem 4.7 . [002Z]

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

Theorem 4.7.

(cf. [53, Theorem 2.6]) (Uniform L1L^{1}-stability) Let (Y,ω)(Y,\omega) be a compact Kähler manifold, and ϕ∈P​S​H​(Y,ω)∩C0\phi\in PSH(Y,\omega)\cap C^{0}, satisfying the complex MA equations

ωnVol​(Y)=d​μ,ωϕnVol​(Y)=d​ν\frac{\omega^{n}}{\text{Vol}(Y)}=d\mu,\quad\frac{\omega_{\phi}^{n}}{\text{Vol}(Y)}=d\nu

for probability measures d​μd\mu and d​νd\nu. Assume

  • •

    There is a Skoda type estimate

    ∫Ye−α​u​𝑑μ≤A,∀u∈P​S​H​(Y,ω)​ with ​supYu=0.\int_{Y}e^{-\alpha u}d\mu\leq A,\quad\forall u\in PSH(Y,\omega)\text{ with }\sup_{Y}u=0.
  • •

    The complement of E0={ϕ>0}E_{0}=\{\phi>0\} has a mass lower bound

    ∫E0c𝑑μ≥λ>0.\int_{E_{0}^{c}}d\mu\geq\lambda>0.
  • •

    (L1L^{1}-stability assumption) The total variation ∫Y|𝑑μ−𝑑ν|≤s2​n+3<1\int_{Y}|d\mu-d\nu|\leq s^{2n+3}<1.

  • •

    ϕ\phi is smooth away from a (possibly empty) closed subset SS with d​μd\mu-measure zero. Globally ‖ϕ‖C0≤A′\left\lVert\phi\right\rVert_{C^{0}}\leq A^{\prime}.

Then for 0<s<s0​(λ,n,α,A,A′)≪10<s<s_{0}(\lambda,n,\alpha,A,A^{\prime})\ll 1, there is a uniform estimate

supYϕ≤C⁡(λ,n,α,A,A′)​s.\sup_{Y}\phi\leq C(\lambda,n,\alpha,A,A^{\prime})s.

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