Continuity of the complex Monge-Ampère operator on compact Kähler manifolds (Q841102): Difference between revisions

Let \(X\) be an \(n\)-dimensional Kähler manifold with a fundamental form \(\omega\). An upper-semicontinuous function \(u\) on \(X\) is called \(\omega\)-plurisubharmonic if it is integral with respect to \(\omega^n\) and \(\omega_u:=\omega+dd^cu\geq 0\). Let further \({\mathcal E}(X,\omega)\) be the class of all \(\omega\)-plurisubharmonic functions \(u\) such that \(\omega_u^n(\{u>-\infty\})=\omega^n(X)\); this is the largest class of \(\omega\)-plurisubharmonic functions for which the complex Monge-Ampère operator is well defined and the comparison principle is valid [see \textit{V. Guedj} and \textit{A. Zeriahi}, J. Funct. Anal. 250, No.~2, 442--482 (2007; Zbl 1143.32022)]. The author proves the following convergence theorem. If \(u_j,u\in {\mathcal E}(X,\omega)\) and \(u_j\to u\) in the capacity \(\text{Cap}_\omega\), then \(\omega_{u_j}^n\to\omega_u^n\); here \(\text{Cap}_\omega(E)=\sup\{\omega_u^n(E): u\in {\mathcal E}(X,\omega),\;-1\leq u\leq 0\}\), \(E\subset X\). Some corollaries are derived. It is used to get new proofs for characterizations of the range of the Monge-Ampère operator in \({\mathcal E}(X,\omega)\) due to Guedj and Zeriahi. Also, a stability theorem for solutions of the Monge-Ampère equations is proved.