An effective weighted K-stability condition for polytopes and semisimple principal toric fibrations (Q6098914)

This article is concerned with the existence of extremal Kähler metrics on manifolds with large symmetry. An extremal metric in a given Kähler class \([\Omega]\) on a compact Kähler manifold \(X\) is a critical point of the Calabi functional, that is a metric \(\omega\) that minimises the \(L^2\)-norm of the scalar curvature. Constant scalar curvature Kähler metrics are extremal, but additional examples have been known since the work of Calabi, who constructed extremal metrics on Hirzebruch surfaces [\textit{E. Calabi}, Ann. Math. Stud. 102, 259--290 (1982; Zbl 0487.53057)]. This construction was extended in [\textit{V. Apostolov} et al., Invent. Math. 173, No. 3, 547--601 (2008; Zbl 1145.53055)] which establishes a criterion for the existence of extremal metrics on \(\mathbb P^1\)-bundles. This article generalises these results by establishing sufficient conditions for the existence of extremal Kähler metrics in admissible Kähler classes on semisimple principal toric fibrations \(\pi \colon Y\to B\). The base \(B\) of such a fibration is a product of Hodge manifolds (manifolds with an integral Kähler class) which have constant scalar curvature and the fibre \(X\) is toric. Roughly speaking, admissible Kähler classes are those that are compatible with the fibration structure. The main theorem gives an explicit criterion that guarantees the existence of an extremal metric in an admissible Kähler class \([\omega_Y]\) of a semisimple principal toric fibration \(Y\to B\) with Fano toric fibre \(X\). This criterion is especially simple to state when \(Y\) itself is Fano. The proof of the main theorem is based on the authors' earlier works [\textit{S. Jubert}, Ann. Inst. Fourier 73, No. 6, 2567--2604 (2023; Zbl 07756911)] and [\textit{T. Delcroix}, Géom. Algébr., EPIGA 7, Article 9, 27 p. (2023; Zbl 1520.14098)]. As an application, the authors give a number of examples of manifolds with extremal Kähler metrics. The article also provides a Python program checking the criterion when the base of the fibration is a single Hodge manifold and when the fibration is of relative dimension 1 or 2.