ScalingStacks

Theorem 3 [028V]

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 3

. Let XX be a compact Kähler manifold of complex dimension nn, let Ω>0\Omega>0 be a smooth volume form, let γ\gamma be a big closed positive (1,1)(1,1)-current with continuous local potentials. Let also ψ∈𝒫γ∩L∞​(X)\psi\in{\cal P}_{\gamma}\cap L^{\infty}(X) be a solution of the degenerate complex Monge-Ampère equation (γ+i​∂∂¯​ψ)n=f​Ω,(\gamma+i\partial\bar{\partial}\psi)^{n}=f\,\Omega\,, with f∈L​logn+ε0⁡L⁡(X)f\in L\log^{n+\varepsilon_{0}}L(X) for some ε0>0\varepsilon_{0}>0. Then the following conclusions hold.
(A) There exist a uniform constant C1=C1​(ε0,γ,Ω)>0C_{1}=C_{1}(\varepsilon_{0},\gamma,\Omega)>0 such that for all ε∈(0,ε0]\varepsilon\in(0,\varepsilon_{0}] holds an estimate

Osc⁡(ψ)≤C1 2​n​(1+nε)​[e⁡(3+2​nε)]n2ε​Iε​(f)nε+ 1,\operatorname{Osc}(\psi)\leq C_{1}^{\,2n\left(1+\frac{n}{\varepsilon}\right)}\,\left[e\left(3+\frac{2n}{\varepsilon}\right)\right]^{\,\frac{\;n^{2}}{\varepsilon}}I_{\varepsilon}(f)^{\frac{n}{\varepsilon}}+\;1\,,

where

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

(B) Assume that the solution ψ\psi is continuous, normalized by the condition supXψ=0\sup_{X}\psi=0 and consider also a continuous solution φ∈𝒫γ\varphi\in{\cal P}_{\gamma}, supXφ=0\sup_{X}\varphi=0 of the degenerate complex Monge-Ampère equation (γ+i​∂∂¯​φ)n=g​Ω,(\gamma+i\partial\bar{\partial}\varphi)^{n}=g\,\Omega\,, with g∈L​logn+ε0⁡L⁡(X)g\in L\log^{n+\varepsilon_{0}}L(X). Let K>0K>0 be a constant such that Iε0​(f),Iε0​(g)≤KI_{\varepsilon_{0}}(f),I_{\varepsilon_{0}}(g)\leq K. Then there exists a constant C2=C2​(ε0,γ,Ω,K)>0C_{2}=C_{2}(\varepsilon_{0},\gamma,\Omega,K)>0 such that

∥φ−ψ∥C0​(X)\displaystyle\|\varphi-\psi\|_{{}_{C^{0}(X)}} ≤\displaystyle\leq 2C2α0(log∥φ−ψ∥L1​(X,Ω)−1)−α0,\displaystyle 2C_{2}^{{}^{\alpha_{0}}}\,\left(\log\|\varphi-\psi\|^{-1}_{{}_{L^{1}(X,\,\Omega)}}\right)^{{}^{-\alpha_{0}}}\,,
α0\displaystyle\alpha_{0} :⁣=\displaystyle:= 1(n+1+n2/ε0),\displaystyle\frac{1}{(n+1+n^{2}/\varepsilon_{0})}\,,

provided that the inequality ∥φ−ψ∥L1​(X,Ω)≤min{1/2,e−C2}\|\varphi-\psi\|_{{}_{L^{1}(X,\,\Omega)}}\leq\min\{1/2,e^{-C_{2}}\} holds.
(C) Let (γt)t>0(\gamma_{t})_{t>0} be a family of currents satisfying the same properties as γ\gamma, fix a finite covering (Uα)α(U_{\alpha})_{\alpha} of coordinate starshaped open sets, and let us write γt=i​∂∂¯​ht,α\gamma_{t}=i\partial\bar{\partial}h_{t,\alpha} with supUαht,α=0\sup_{U_{\alpha}}h_{t,\alpha}=0 over UαU_{\alpha} and C1,t:=C1​(ε0,γt,Ω)C_{1,t}:=C_{1}(\varepsilon_{0},\gamma_{t},\Omega), C2,t=C2​(ε0,γt,Ω,K)C_{2,t}=C_{2}(\varepsilon_{0},\gamma_{t},\Omega,K). Assume
(C1) supt>0maxα⁡‖ht,α‖L∞​(Uα)<+∞\sup_{t>0}\max_{\alpha}\|h_{t,\alpha}\|_{L^{\infty}(U_{\alpha})}<+\infty and
(C2a) there exist a decomposition of the type γt=θt+i​∂∂¯​ut\gamma_{t}=\theta_{t}+i\partial\bar{\partial}u_{t}, whith θt\theta_{t} smooth, minX⁡ut=0\min_{X}u_{t}=0, supt>0maxX⁡ut<+∞\sup_{t>0}\max_{X}u_{t}<+\infty and θt≤({γt}n)1/n​ω\theta_{t}\leq(\{\gamma_{t}\}^{n})^{1/n}\omega for some Kähler metric ω>0\omega>0 on XX,
or
(C2b) the distributions γtn/Ω\gamma^{n}_{t}/\Omega are represented by functions and

supt>0{γt}−n​∫Xlog⁡(e+{γt}−n​γtn/Ω)​γtn<+∞.\sup_{t>0}\;\;\{\gamma_{t}\}^{-n}\int\limits_{X}\log\left(e+\{\gamma_{t}\}^{-n}\gamma^{n}_{t}/\Omega\right)\gamma^{n}_{t}<+\infty\,.

Then supt>0Cj,t<+∞\sup_{t>0}C_{j,t}<+\infty for j=1,2j=1,2.

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