ScalingStacks

Theorem 7 [029J]

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 7

. Let XX be a compact Kähler manifold of complex dimension nn, let ω≥0\omega\geq 0 be a big closed smooth (1,1)(1,1)-form such that {ωn=0}\{\omega^{n}=0\} is a set of zero measure and let Ω>0\Omega>0 be a smooth volume form. Consider also σj∈H0​(X,Ej)\sigma_{j}\in H^{0}(X,E_{j}), τr∈H0​(X,Fr)\tau_{r}\in H^{0}(X,F_{r}), j=1,…,Nj=1,...,N, r=1,…,Mr=1,...,M be non identically zero holomorphic sections of some holomorphic vector bundles over XX, such that the intregral condition

∫X∏j=1N|σj|2​lj⋅∏r=1M|τr|−2​hr​Ω=∫Xωn\displaystyle\int\limits_{X}\,\prod\limits_{j=1}^{N}|\sigma_{j}|^{2l_{j}}\cdot\prod\limits_{r=1}^{M}|\tau_{r}|^{-2h_{r}}\,\Omega=\int\limits_{X}\omega^{n} (5.1)

holds for some real numbers lj≥0,hr≥0l_{j}\geq 0,\,h_{r}\geq 0. Then there exists a unique solution φ∈𝒫^ω\varphi\in\hat{\cal P}_{\omega} of the degenerate complex Monge-Ampère equation

(ω+i​∂∂¯​φ)n=∏j=1N|σj|2​lj⋅∏r=1M|τr|−2​hr​eλ​φ​Ω,λ≥0.\displaystyle(\omega+i\partial\bar{\partial}\varphi)^{n}=\prod\limits_{j=1}^{N}|\sigma_{j}|^{2l_{j}}\cdot\prod\limits_{r=1}^{M}|\tau_{r}|^{-2h_{r}}\,e^{\lambda\varphi}\,\Omega\,,\quad\lambda\geq 0\,. (5.2)

Moreover there exists a complex analytic set Σω⊂X\Sigma_{\omega}\subset X depending only on the (1,1)(1,1)-cohomology class of ω\omega possessing the following properties.

(A). The set Σω\Sigma_{\omega} is empty if and only if the class of ω\omega is Kähler.

(B). If we define the complex analytic sets

S0′:=⋃r{τr=0},S0:=S0′∪(⋃j{σj=0}),\displaystyle S^{\prime}_{0}:=\bigcup_{r}\{\tau_{r}=0\}\,,\quad S_{0}:=S^{\prime}_{0}\cup(\bigcup_{j}\{\sigma_{j}=0\})\,,
S′:=Σω∪S0′,S:=S′∪(⋃j{σj=0}),\displaystyle S^{\prime}:=\Sigma_{\omega}\cup S^{\prime}_{0}\,,\quad S:=S^{\prime}\cup(\bigcup_{j}\{\sigma_{j}=0\})\,,

then in the case n≥2n\geq 2

φ∈𝒫ω∩C0​(X)∩Cα​(X∖S′)∩C∞​(X∖S),\varphi\in{\cal P}_{\omega}\cap C^{0}(X)\cap C^{\alpha}(X\smallsetminus S^{\prime})\cap C^{\infty}(X\smallsetminus S)\,,

for all α∈(0,1)\alpha\in(0,1). If n=1n=1 then φ∈𝒫ω∩C0​(X)∩Cα​(X∖S0′)∩C∞​(X∖S0)\varphi\in{\cal P}_{\omega}\cap C^{0}(X)\cap C^{\alpha}(X\smallsetminus S^{\prime}_{0})\cap C^{\infty}(X\smallsetminus S_{0}) and the class of of ω\omega is Kähler.

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