Existence of weak conical Kähler-Einstein metrics along smooth hypersurfaces (Q2516875)

Let \((M, J, \omega_o)\) be an \(n\)-dimensional compact Kähler manifold, \(D \subset M\) a smooth divisor, with associated line bundle \(L_D\), and \(\beta\) a real number in \((0, 1)\). A \(2\)-form \(\omega_\phi = \omega_0 + i \partial \bar \partial \phi\), determined by a function \(\phi \in L^\infty(M) \cap \mathcal C^\infty(M \setminus D)\), is called a \textit{weak conical Kähler-Einstein metric with cone angle \(2 \pi \beta\) along \(D\)} if it satisfies the following conditions: a) on \(M \setminus D\), the \(2\)-form \(\omega_\phi\) is Kähler-Einstein with Ricci curvature \(\mu\); b) for each \(x \in D\), there are complex coordinates \((z_0, z_1, \ldots, z_{n-1})\) on a neighbourhood \(\mathcal U\) of \(x\), such that \(D \cap \mathcal U = \{ z_0 = 0\}\) and \(\omega_\phi|_{\mathcal U \setminus D}\) is quasi-isometric to the conical Kähler metric \(\omega_{(\beta)} = i \beta^2 |z_0|^{2 \beta - 2} d z_0 \wedge d \overline{z_0} + i \sum_{i = 1}^{n-1} d z_i \wedge d \overline{z_i}\). Note that any such \(\omega_\phi \) satisfies the current equation \(\text{Ric}(\omega_\phi) = \mu \omega_\phi + 2 \pi (1 - \beta)[D]\). In fact this is one of the main reasons of interest for this class of singular Kähler-Einstein metrics, also because of the crucial role that they play in the recent proof of the Yau-Tian-Donaldson conjecture by \textit{Chen} et al. [J. Am. Math. Soc. 28, No. 1, 183--197 (2015; Zbl 1312.53096); Am. Math. Soc. 28, No. 1, 199--234 (2015; Zbl 1312.53097); J. Am. Math. Soc. 28, No. 1, 235--278 (2015; Zbl 1311.53059)]. The main result of the paper is the following: Assume that \(M\) satisfies the cohomological condition \[ 2 \pi c_1(M) = \mu [\omega_0] + 2 \pi (1 - \beta) c_1(L_D)\qquad \text{for some constant}\;\mu \;\text{and with}\;\beta \in (0,1)\;. \] Then \(M\) admits a weak conical Kähler-Einstein metric with Ricci curvature \(\mu\) if either \(\mu \leq 0\) or \(\mu > 0\), \(c_1(L_D)\) is nonnegative and the twisted \(K\)-energy is proper. The proof is based on a special use of the local Moser's iteration technique and needs no additional assumptions on a background conical Kähler metric or on the constant \(\beta \in (0,1)\), in contrast with previous results of the same type. It should be also mentioned that, with different techniques and in the more general setting of simple normal crossing divisors, a general result on existence and regularity for weak conical Kähler-Einstein metrics has been recently obtained also by \textit{H. Guenancia} and \textit{M. Pǎun} [``Conic singularities metrics with prescribed Ricci curvature: General cone angles along normal crossing divisors'', J. Differential Geom. 103, No. 1, 15--57 (2016)].