Extremal Kähler Poincaré type metrics on toric varieties (Q2659468)

The authors consider torus-invariant divisors of a compact toric manifold, and study the existence of extremal Kähler metrics defined on the complement of a divisor with a prescribed singular behaviour near the divisor. Let \(X\) be a compact complex manifold, and let \(Z\) be a divisor of \(X\). For a system of local holomorphic coordinates \((z^1,\dots,z^n)\) in which \(Z\) is described by \(z^1\cdot z^2\cdots z^k=0\), the chosen model behaviour for the metric is \[ \omega=\sqrt{-1}\sum_{j=1}^k\left(\left|z^j\right|\,\log\left|z^j\right|\right)^{-2}\mathrm{d}z^j\wedge\mathrm{d}\bar{z}^j+\sqrt{-1}\sum_{j=k+1}^n\mathrm{d}z^j\wedge\mathrm{d}\bar{z}^j. \] These are called \textit{Kähler metrics of Poincaré type} on \(X\setminus Z\). A general theory for extremal Kähler metrics of Poincaré type has been developed by the second author [J. Lond. Math. Soc., II. Ser. 87, No. 2, 607--621 (2013; Zbl 1268.53077); Proc. Lond. Math. Soc. (3) 115, No. 4, 813--853 (2017; Zbl 1380.32023); J. Reine Angew. Math. 722, 1--64 (2017; Zbl 1358.53074); Ann. Inst. Fourier 68, No. 1, 319--344 (2018; Zbl 1402.53056)]. In this work, the authors study torus-invariant metrics of Poincaré type, adapting the Abreu-Guillemin theory [\textit{V. Guillemin}, J. Differ. Geom. 40, No. 2, 285--309 (1994; Zbl 0813.53042); \textit{M. Abreu}, Int. J. Math. 9, No. 6, 641--651 (1998; Zbl 0932.53043)] of toric Kähler metrics to this singular context. Their goal is to characterize the existence of extremal torus-invariant metrics of Poincaré type in terms of a stability condition of the pair \((\Delta,F)\), where \(\Delta\) is the moment polytope \(\Delta\) for the torus action and \(F\) is the image, via the moment map for the action, of the torus invariant divisor, so that \(F=\cup_{j}F_j\) for some faces \(F_j\) of the polytope \(\Delta\). The authors describe a stability condition for \((\Delta,F)\), similar to toric \(K\)-stability, that is necessary for the existence of these metrics at least in the case when the fixed torus-invariant divisor is smooth (i.e., \(F_j\) are non-intersecting faces of \(\Delta\)). This stability condition (or a uniform version of it) is conjectured to be also sufficient for the existence of extremal metrics of Poincaré type. The last part of the paper is devoted to the in-depth study of examples, Hirzebruch surfaces in particular, for which it is shown that the afore-mentioned conjecture holds. The techniques employed come from \textit{ambitoric geometry}, see [the first author et al., Ann. Sci. Éc. Norm. Supér. (4) 48, No. 5, 1075--1112 (2015; Zbl 1346.32007); J. Reine Angew. Math. 721, 109--147 (2016; Zbl 1355.32018)], and the computational approach to log-stability of quadrilaterals of \textit{L. M. Sektnan} [New York J. Math. 24, 317--354 (2018; Zbl 1395.53081)].