Kähler-Einstein metrics on stable varieties and log canonical pairs (Q484467)

The fundamental work of S.-T. Yau and T. Aubin shows that if \(X\) is a compact complex manifold with \(K_X\) ample, then there exists a unique Kähler-Einstein metric \(\omega\) on \(X\) with \[ \mathrm{Ric}(\omega)=-\omega. \] This was extended to projective varieties with at worst canonical singularities and with \(K_X\) ample by P. Eyssidieux, V. Guedj and A. Zeriahi. In this paper the authors extend this even further, to the largest meaningful class of varieties, namely stable varieties: these have semi-log-canonical singularities and \(K_X\) is ample. The authors construct a unique Kähler-Einstein metric \(\omega\) on the regular part of \(X\), which extends globally as a current in \(c_1(K_X)\) and has finite total volume, equal to the intersection number \(\int_X c_1(K_X)^n\). When \(n=1\) this recovers the classical construction of hyperbolic cusp metrics on stable curves. The authors also show that a projective variety with \(K_X\) ample admits such a Kähler-Einstein metric if and only if it is semi-log-canonical and if and only if \((X,K_X)\) is K-stable. They also extend these results to the logarithmic setting, where \(K_X\) is replaced by \(K_X+D\) where \(D\) is a simple normal crossings \(\mathbb{R}\)-divisor with coefficients \(\leq 1\).