Complex Monge-Ampère equations with solutions in finite energy classes (Q6039569)

The aim of this paper is to characterize the class of probability measures on a compact Kähler manifold such that the associated Monge-Ampère equation has a solution of finite pluricomplex energy. Let \(X\) be a compact Kähler manifold of complex dimension \(n\), and let \(\omega\) be a fixed Kähler form such that \(\int_X\omega^n=1\). Let \(\mathcal E\) be the set of nonnegative \(\omega\)-plurisubharmonic functions \(\varphi\) of full Monge-Ampère mass, i.e., the non-pluripolar part \(\left<(dd^c\varphi+\omega)^n\right>\) is of mass equal to \(1\). Let \(\mathcal W^-\) be the set of convex increasing functions \(\chi:\mathbb R\to \mathbb R\) such that \(\chi(0)=0\) and \(\chi(-\infty)=-\infty\). For a constant \(M\geq 1\) denote by \(\mathcal W_M^+\) the set of concave increasing functions \(\chi:\mathbb R\to \mathbb R\) such that \(\chi(0)=0\), \(\chi(-\infty)=-\infty\) and \(|t\chi'(t)|\leq M|\chi(t)|\). For \(\chi\in \mathcal W^-\cup \mathcal W^+_M\) denote by \(\mathcal E_{\chi}\) the family of \(\omega\)-plurisubharmonic functions \(\varphi\in \mathcal E\) with finite \(\chi\)-energy \[ E_{\chi}(\varphi)=-\int_X\chi(\varphi)\left<(dd^c\varphi+\omega)^n\right><\infty. \] The main result of the paper is the following theorem. Let \(\chi\in \mathcal W^-\cup \mathcal W^+_M\). Then \(\mu=\left<(dd^c\varphi+\omega)^n\right>\), for some \(\varphi \in \mathcal E_{\chi}\), if and only if there exists a constant \(A>0\) such that, for every \(\psi\in \mathcal E_{\chi}\) with \(\sup_X\psi=-1\), holds \[ -\int_X\chi(\varphi)d\mu\leq A\left(E_{\chi}(\psi)^{\lambda}+1\right), \] where \(\lambda=\frac 12\) if \(\chi\in \mathcal W^-\), and \(\lambda=\frac {M}{M+1}\) if \(\chi\in \mathcal W_M^+\). In particular the set of measures \(\left<(dd^c\varphi+\omega)^n\right>\), for \(\varphi\in \mathcal E_{\chi}\), is convex, and if \(\nu\) is a probability measure \(\nu\leq C\left<(dd^c\varphi+\omega)^n\right>\), for some \(C>0\) and \(\varphi\in \mathcal E_{\chi}\), then there exists \(\psi\in \mathcal E_{\chi}\) such that \(\nu=\left<(dd^c\psi+\omega)^n\right>\). Finally, the authors prove that the above result is valid also in the big cohomology class setting.