ScalingStacks

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

00PX

Corollary 2.12. (Stability estimate) Let (X,ω)(X,\omega) be a compact Kähler manifold, and ϕ,ψ∈P​S​H​(X,ω)∩C0\phi,\psi\in PSH(X,\omega)\cap C^{0}, such that ωϕn\omega_{\phi}^{n} is absolutely continuous. Assume ‖ψ‖C0≤A′\left\lVert\psi\right\rVert_{C^{0}}\leq A^{\prime} and the Skoda type estimate (2). Then there is a number B⁡(n,A,A′,α)B(n,A,A^{\prime},\alpha), such that if ∫ϕ−ψ≤−t0ωϕnV​o​l​(X)<(2​B)−2​n\frac{\int_{\phi-\psi\leq-t_{0}}\omega_{\phi}^{n}}{Vol(X)}<(2B)^{-2n} for some t0t_{0}, then

min⁡(ϕ−ψ)≥−t0−4​B​(∫ϕ−ψ≤−t0ωϕnV​o​l​(X))1/2​n.\min(\phi-\psi)\geq-t_{0}-4B\left(\frac{\int_{\phi-\psi\leq-t_{0}}\omega_{\phi}^{n}}{Vol(X)}\right)^{1/2n}.

.

00PY

Proof. If ψ\psi is smooth, this follows from Thm. 2.7 by changing ω\omega into ωψ\omega_{\psi}, and changing ϕ\phi into ϕ−ψ\phi-\psi, and checking the Skoda type estimate holds with modified constants. In general, one can approximate ψ∈P​S​H​(X,ω)\psi\in PSH(X,\omega) by a decreasing sequence of functions in P​S​H​(X,ω)∩C∞PSH(X,\omega)\cap C^{\infty} [1], and since ψ∈C0\psi\in C^{0} the convergence is uniform by Dini’s theorem. ∎

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