ScalingStacks

Theorem 6 [029F]

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 6

. Let XX be a compact Kähler manifold of complex dimension nn, let Ω>0\Omega>0 be a smooth volume form, let θ\theta be a continuous closed positive (1,1)(1,1)-form such that {θn=0}\{\theta^{n}=0\} is a set of measure 00, let γ\gamma be a closed positive (1,1)(1,1)-current with continuous local potentials such that γ≥η​θ\gamma\geq\eta\,\theta, η>0\eta>0. Let also f∈L​logn+δ​L​(X)f\in L\log^{n+\delta}L(X), δ>0\delta>0 such that ∫Xγn=∫Xf​Ω\int_{X}\gamma^{n}=\int_{X}f\,\Omega and λ≥0\lambda\geq 0 be a real number. Then there exists a unique solution ψ∈𝒫^γ\psi\in\hat{\cal P}_{\gamma} of the degenerate complex Monge-Ampère equation

(γ+i​∂∂¯​ψ)n=f​eλ​ψ​Ω,(\gamma+i\partial\bar{\partial}\psi)^{n}=f\,e^{\lambda\,\psi}\Omega\,,

which in the case λ=0\lambda=0 is normalized by 0=maxX⁡ψ0=\max_{X}\psi. The solution is continuous and satisfies the C0C^{0}-estimate ‖ψ‖C0​(X)≤C⁡(δ,γ,Ω)​Iδ​(f)nδ+1\|\psi\|_{C^{0}(X)}\leq C(\delta,\gamma,\Omega)\,I_{\delta}(f)^{\frac{n}{\delta}}+1, with

Iδ​(f):={γ}−n​∫Xf​logn+δ⁡(e+{γ}−n​f)​Ω.I_{\delta}(f):=\{\gamma\}^{-n}\int\limits_{X}f\log^{n+\delta}\left(e+\{\gamma\}^{-n}f\right)\Omega\,.

Moreover the constant C⁡(δ,γ,Ω)>0C(\delta,\gamma,\Omega)>0 stays bounded for perturbations of γ≥0\gamma\geq 0 as in the statement (C) of theorem 3.

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