This paper concerns the explicit construction of extremal Kaehler metrics on total spaces of projective bundles, which have been studied in many places. We present a unified approach, motivated by the theory of hamiltonian 2-forms (as introduced and studied in previous papers in the series) but this paper is largely independent of that theory.
We obtain a characterization, on a large family of projective bundles, of those `admissible' Kaehler classes (i.e., the ones compatible with the bundle structure in a way we make precise) which contain an extremal Kaehler metric. In many cases, such as on geometrically ruled surfaces, every Kaehler class is admissible. In particular, our results complete the classification of extremal Kaehler metrics on geometrically ruled surfaces, answering several long-standing questions.
We also find that our characterization agrees with a notion of K-stability for admissible Kaehler classes. Our examples and nonexistence results therefore provide a fertile testing ground for the rapidly developing theory of stability for projective varieties, and we discuss some of the ramifications. In particular we obtain examples of projective varieties which are destabilized by a non-algebraic degeneration.
We give a moment map interpretation of some relatively balanced metrics. As an application, we extend a result of S. K. Donaldson on constant scalar curvature Kähler metrics to the case of extremal metrics. Namely, we show that a given extremal metric is the limit of some specific relatively balanced metrics. As a corollary, we recover uniqueness and splitting results for extremal metrics in the polarized case.
We study algebro-geometric consequences of the quantised extremal Kähler metrics, introduced in the previous work of the author. We prove that the existence of quantised extremal metrics implies weak relative Chow polystability. As a consequence, we obtain asymptotic weak relative Chow polystability and $K$-semistability of extremal manifolds by using quantised extremal metrics; this gives an alternative proof of the results of Mabuchi and Stoppa--Székelyhidi. In proving them, we further provide an explicit local density formula for the equivariant Riemann--Roch theorem.
The aim of this paper is to solve a uniform version of the Yau-Tian-Donaldson conjecture for polarized toric manifolds. Also, we show a combinatorial sufficient condition for uniform relative K-polystability.
We develop a general theory for the existence of extremal Kähler metrics of Poincaré type in the sense of Auvray, defined on the complement of a toric divisor of a polarized toric variety. In the case when the divisor is smooth, we obtain a list of necessary conditions which must be satisfied for such a metric to exist. Using the explicit methods of Apostolov-Calderbank-Gauduchon together with the computational approach of Sektnan, we show that on a Hirzebruch complex surface the necessary conditions are also sufficient. In particular, on such a complex surface the complement of the infinity s…
Suppose that a polarised Kähler manifold $(X,L)$ admits an extremal metric $ω$. We prove that there exists a sequence of Kähler metrics $\{ ω_k \}_k$, converging to $ω$ as $k \to \infty$, each of which satisfies the equation $\bar{\partial} \text{grad}^{1,0}_{ω_k} ρ_k (ω_k)=0$; the $(1,0)$-part of the gradient of the Bergman function is a holomorphic vector field.
We study Laplace eigenvalues $λ_k$ on Kähler manifolds as functionals on the space of Kähler metrics with cohomologous Kähler forms. We introduce a natural notion of a $λ_k$-extremal Kähler metric and obtain necessary and sufficient conditions for it. A particular attention is paid to the $λ_1$-extremal properties of Kähler-Einstein metrics of positive scalar curvature on manifolds with non-trivial holomorphic vector fields.
In this paper, we study rotationally symmetric extremal Kähler metrics on $\mathbb C^n$ ($n\geq 2$) and $\mathbb C^2 \backslash\{0\}$. We present a classification of such metrics based on the zeros of the polynomial appearing in Calabi's Extremal Equation. As applications, we prove that there are no $U(n)$ invariant complete extremal Kähler metrics on $\mathbb C^n$ with positive bisectional curvature, and we give a smooth extension lemma for $U(n)$ invariant extremal Kähler metrics on $\mathbb{C}^n\backslash\{0\}$. We retrieve known examples of smooth or singular extremal Kähler metrics on Hir…
We construct extremal metrics on the total space of certain destabilising test configurations for strictly semistable Kähler manifolds. This produces infinitely many new examples of manifolds admitting extremal Kähler metrics. It also shows for such metrics a new phenomenon of jumping of the complex structure along fibres.
We establish an equivalence between conformally Einstein--Maxwell Kahler 4-manifolds (recently studied in many works) and extremal Kahler 4-manifolds (in the sense of Calabi) with nowhere vanishing scalar curvature. The corresponding pairs of Kahler metrics arise as transversal Kahler structures of Sasaki metrics compatible with the same CR structure and having commuting Sasaki--Reeb vector fields. This correspondence extends to higher dimensions using the notion of a weighted extremal Kahler metric, illuminating and uniting several explicit constructions in Kahler and Sasaki geometry. It also…
Consider a fibred compact Kähler manifold X endowed with a relatively ample line bundle, such that each fibre admits a constant scalar curvature Kähler metric and has discrete automorphism group. Assuming the base of the fibration admits a twisted extremal metric where the twisting form is a certain Weil-Petersson type metric, we prove that X admits an extremal metric for polarisations making the fibres small. Thus X admits a constant scalar curvature Kähler metric if and only if the Futaki invariant vanishes. This extends a result of Fine, who proved this result when the base admits no contin…
We prove the uniqueness, up to a pull-back by an element of a suitable subgroup of complex automorphisms, of the weighted extremal Kähler metrics on a compact Kähler manifold introduced in our previous work. This extends a result by Berman--Berndtsson and Chen--Paun--Zeng in the extremal Kähler case. Furthermore, we show that a weighted extremal Kähler metric is a global minimum of a suitable weighted version of the modified Mabuchi energy. This implies a suitable notion of weighted K-semistability of a Kähler manifold admitting a weighted extremal Kähler metric.
An almost Kähler structure is {\it extremal} if the Hermitian scalar curvature is a Killing potential [29]. When the almost complex structure is integrable it coincides with extremal Kähler metric in the sense of Calabi [8]. We observe that the existence of an extremal {\it toric} almost Kähler structure of involutive type implies uniform K-stability and we point out the existence of a formal solution of the Abreu equation for any angle along the invariant divisor. Applying the recent result of Chen--Cheng [10] and He [27], we conclude that the existence of a compatible extremal toric almost K…
We study the existence of weighted extremal Kähler metrics in the sense of Apostolov-Calderbank-Gauduchon-Legendre and Lahdili on the total space of an admissible projective bundle over a Hodge Kähler manifold of constant scalar curvature. Admissible projective bundles have been defined by Apostolov-Calderbank-Gauduchon-Tønnesen-Friedman, and they include the projective line bundles (Hwang-Singer) and their blow-downs (Koiso-Sakane), thus providing a most general setting for extending the existence theory for extremal Kähler metrics pioneered by a seminal construction of Calabi. We obtain a ge…
The aim of this article is to study expansions of solutions to an extremal metric type equation on the blow-up of constant scalar curvature Kähler surfaces. This is related to finding constant scalar curvature Kähler (cscK) metrics on K-stable blow-ups of extremal Kähler surfaces
We develop new algorithms for approximating extremal toric Kähler metrics. We focus on an extremal metric on $\mathbb{CP}^{2}\sharp2\overline{\mathbb{CP}}^{2}$, which is conformal to an Einstein metric (the Chen-LeBrun-Weber metric). We compare our approximation to one given by Bunch and Donaldson and compute various geometric quantities. In particular, we demonstrate a small eigenvalue of the scalar Laplacian of the Einstein metric which gives a numerical evidence that the Einstein metric is conformally unstable under the Ricci flow.
Given a collection of Kähler forms and a continuous weight on a compact complex manifold we show that it is possible to define natural new notions of extremal potentials and equilibrium measures which coincide with classical notions when the collection is a singleton. We prove two regularity results and set up a variational framework. Applications to Fekete points are treated elsewhere.
We establish the convexity of Mabuchi's K-energy functional along weak geodesics in the space of Kahler potentials on a compact Kahler manifold thus confirming a conjecture of Chen and give some applications in Kahler geometry, including a proof of the uniqueness of constant scalar curvature metrics (or more generally extremal metrics) modulo automorphisms. The key ingredient is a new local positivity property of weak solutions to the homogenuous Monge-Ampere equation on a product domain, whose proof uses plurisubharmonic variation of Bergman kernels.
We obtain a structure theorem for the group of holomorphic automorphisms of a conformally Kähler, Einstein-Maxwell metric, extending the classical results of Matsushima, Licherowicz and Calabi in the Kähler-Einstein, cscK, and extremal Kähler cases. Combined with previous results of LeBrun, Apostolov-Maschler and Futaki-Ono, this completes the classification of the conformally Kähler, Einstein--Maxwell metrics on $\mathbb{CP}^1 \times \mathbb{CP}^1$. We also use our result in order to introduce a (relative) Mabuchi energy in the more general context of $(K, q, a)$-extremal Kähler metrics in a …
We study the existence of extremal Kähler metrics on Kähler manifolds. After introducing a notion of relative K-stability for Kähler manifolds, we prove that Kähler manifolds admitting extremal Kähler metrics are relatively K-stable. Along the way, we prove a general $L^p$ lower bound on the Calabi functional involving test configurations and their associated numerical invariants, answering a question of Donaldson. When the Kähler manifold is projective, our definition of relative K-stability is stronger than the usual definition given by Székelyhidi. In particular our result strengthens the k…
Conformally Kähler, Einstein-Maxwell metrics and $f$-extremal metrics are generalization of canonical metrics in Kähler geometry. We introduce uniform K-stability for toric Kähler manifolds, and show that uniform K-stability is necessary condition for the existence of $f$-extremal metrics on toric manifolds. Furthermore, we show that uniform K-stability is equivalent to properness of relative K-energy.
