Regularity of envelopes in Kähler classes (Q722900)

Let \((X^n,\omega)\) be a compact Kähler manifold and \(\theta=\omega+ \sqrt{-1} \partial \overline{\partial} v\) a closed real \((1,1)\)-form cohomologous to \(\omega\), where \(v\in C^\infty(X,\mathbb{R})\). The envelope (or extremal function) \(u_\theta\) is defined by \(u_\theta(x)=\sup\{u(x)\;|\;u\in \operatorname{PSH}(X,\theta), u\leq 0\}\) is a \(\theta\)-psh function with minimal singularities in the class \([\omega]\), and has received much attention recently. By [\textit{R. Berman} and \textit{J.-P. Demailly}, in: Perspectives in analysis, geometry, and topology. On the occasion of the 60th birthday of Oleg Viro. Based on the Marcus Wallenberg symposium on perspectives in analysis, geometry, and topology, Stockholm, Sweden, 2008. Basel: Birkhäuser. 39--66 (2012; Zbl 1258.32010)], we know that the complex Hessian (or equivalently the Laplacian) of \(u_\theta\) belongs to \(L^\infty(X)\), and so in particular \(u_\theta\) is \(C^{1,\alpha}(X)\) for all \(0<\alpha<1\). In this paper, the author establishes the \(C^{1,1}\) regularity of quasi-psh envelopes in a Kähler class, confirming a conjecture of \textit{R. Berman} [Am. J. Math. 131, No. 5, 1485--1524 (2009; Zbl 1191.32008)].