ScalingStacks

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

2.2 Kolodziej’s estimate on pluripotentials

Given an nn-dimensional Kähler manifold (Y,ω)(Y,\omega), for ϕ∈P​S​H​(Y,ω)∩L∞\phi\in PSH(Y,\omega)\cap L^{\infty}, pluripotential theory allows one to make sense of the Monge-Ampère (MA) measure ωϕn\omega_{\phi}^{n}, generalising the notion of volume forms. A basic problem is to estimate ϕ\phi from a priori bounds on ωϕn\omega_{\phi}^{n}. A prototypical result is (cf. [32, section 2.2] for an exposition based on [15][16]):

009H

Theorem 2.2. Let (Y,ω)(Y,\omega) be a compact Kähler manifold, and ϕ∈P​S​H​(Y,ω)∩C0\phi\in PSH(Y,\omega)\cap C^{0}, such that ωϕn\omega_{\phi}^{n} is an absolutely continuous measure. Assume there are positive constants α,A\alpha,A, such that the Skoda type estimate holds with respect to ωϕn\omega_{\phi}^{n}:

∫Ye−α​u​ωϕnVol​(Y)≤A,∀u∈P​S​H​(Y,ω)​ with ​supYu=0.\int_{Y}e^{-\alpha u}\frac{\omega_{\phi}^{n}}{\text{Vol}(Y)}\leq A,\quad\forall u\in PSH(Y,\omega)\text{ with }\sup_{Y}u=0. (3)
  • •

    For fixed n,α,An,\alpha,A, there is number B⁡(n,α,A)B(n,\alpha,A), such that if ∫ϕ≤−t0ωϕnVol​(Y)<(2​B)−2​n\frac{\int_{\phi\leq-t_{0}}\omega_{\phi}^{n}}{\text{Vol}(Y)}<(2B)^{-2n} for some t0t_{0}, then min⁡ϕ≥−t0−4​B​(∫ϕ≤−t0ωϕnVol​(Y))1/2​n\min\phi\geq-t_{0}-4B(\frac{\int_{\phi\leq-t_{0}}\omega_{\phi}^{n}}{\text{Vol}(Y)})^{1/2n}.

  • •

    If supYϕ=0\sup_{Y}\phi=0, then ‖ϕ‖C0≤C⁡(n,α,A)\left\lVert\phi\right\rVert_{C^{0}}\leq C(n,\alpha,A).

The strength of this result is that it still applies when the complex/Kähler structures are highly degenerate, as it distills the dependence on (Y,ω)(Y,\omega) to only 3 constants n,α,An,\alpha,A. A minor variant gives a criterion for two Kähler potentials to be close to each other.

009I

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

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

.

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