We give some detailed numerical information about extremal metrics on four different toric surfaces. These are sample of many other cases which can be treated using a computer programme outlined in the paper.
The paper develops a continiuty method for solutions of the Abreu equation, which include extremal metrics on toric surfaces. Results are obtained, assuming a hypothesis (the "M-condition") on the solutions.
This paper consists of real and complex affine techniques for studying the Abreu equation on toric surfaces. In particular, an interior estimate for Ricci tensor is given.
In this short note, we prove that a Calabi extremal Kaehler-Ricci soliton on a compact toric Kaehler manifold is Einstein. This solves for the class of toric manifolds a general problem stated by the authors that they solved only under some curvature assumptions.
In this paper, we study the Abreu equation on toric surfaces. In particular, we prove the existence of the positive extremal metric when relative $K$-stability is assumed.
Using the short time existence of the Calabi flow, we prove that any extremal Kaehler metric on a product toric variety is a product extremal Kaehler metric.
We derive a formula for the L^2 norm of the scalar curvature of any extremal Kaehler metric on a compact toric manifold, stated purely in terms of the geometry of the corresponding moment polytope. The main interest of this formula pertains to the case of complex dimension 2, where it plays a key role in construction of Bach-flat metrics on appropriate 4-manifolds.
In this paper, we discuss a Donaldson's version of the modified $K$-energy associated to the Calabi's extremal metrics on toric manifolds and prove the existence of the weak solution for extremal metrics in the sense of convex functions which minimizes the modified $K$-energy.
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…
Let $X$ be a compact toric extremal Kähler manifold. Using the work of Székelyhidi, we provide a combinatorial criterion on the fan describing $X$ to ensure the existence of complex deformations of $X$ that carry extremal metrics. As an example, we find new CSC metrics on 4-points blow-ups of $\C¶^1\times\C¶^1$.
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 established a Yau--Tian--Donaldson type correspondence, expressed in terms of a single Delzant polytope, concerning the existence of extremal Kähler metrics on a large class of toric fibrations, introduced by Apostolov--Calderbank--Gauduchon--Tonnesen-Friedman and called semi-simple principal toric fibrations. We use that an extremal metric on the total space corresponds to a weighted constant scalar curvature Kähler metric (in the sense of Lahdili) on the corresponding toric fiber in order to obtain an equivalence between the existence of extremal Kähler metrics on the total space and a su…
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.
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…
Recently Guillemin gave an explicit combinatorial way of constructing "toric" Kahler metrics on (symplectic) toric varieties, using only data on the moment polytope. In this paper, differential geometric properties of these metrics are investigated using Guillemin's construction. In particular, a nice combinatorial formula for the scalar curvature is given, and the Euler-Lagrange condition for such "toric" metrics being extremal (in the sense of Calabi) is derived. A construction, due to Calabi, of a 1-parameter family of extremal metrics of non-constant scalar curvature is recast very simply …
We provide an explicit resolution of the existence problem for extremal Kaehler metrics on toric 4-orbifolds M with second Betti number b2(M)=2. More precisely we show that M admits such a metric if and only if its rational Delzant polytope (which is a labelled quadrilateral) is K-polystable in the relative, toric sense (as studied by S. Donaldson, E. Legendre, G. Szekelyhidi et al.). Furthermore, in this case, the extremal Kaehler metric is ambitoric, i.e., compatible with a conformally equivalent, oppositely oriented toric Kaehler metric, which turns out to be extremal as well. These results…
We generalise a theorem of Engman and Abreu--Freitas on the first invariant eigenvalue of non-negatively curved $S^{1}$-invariant metrics on $\mathbb{CP}^{1}$ to general toric Kähler metrics with non-negative scalar curvature. In particular, a simple upper bound of the first non-zero invariant eigenvalue for such metrics on complex projective space $\mathbb{C}P^{n}$ is exhibited. We derive an analogous bound in the case when the metric is extremal and a detailed study is made of the accuracy of the bound in the case of Calabi's extremal metrics on $\mathbb{C}P^{2}\sharp -\mathbb{C}P^{2}$.
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.
In this note, we prove that on polarized toric manifolds the relative $K$-stability with respect to Donaldson's toric degenerations is a necessary condition for the existence of Calabi's extremal metrics, and also we show that the modified $K$-energy is proper in the space of $G_0$-invariant Kähler metrics for the case of toric surfaces which admit the extremal metrics.
We show that, on the connected sum of complex projective planes, any toric LeBrun metric can be identified with a Joyce metric admitting a semi-free circle action through an explicit conformal equivalence. A crucial ingredient of the proof is an explicit connection form for toric LeBrun metrics.
We investigate the relationship between stability and the existence of extremal Kähler metrics on certain toric surfaces. In particular, we consider how log stability depends on weights for toric surfaces whose moment polytope is a quadrilateral. We introduce a space of symplectic potentials for toric manifolds, which induces metrics with mixed Poincaré type and cone angle singularities. For quadrilaterals, we give a computable criterion for stability with 0 weights along two of the edges of the quadrilateral. This in turn implies the existence of a definite log-stable region for generic quadr…
We give criterions for the existence of toric conical Kahler-Einstein and Kahler-Ricci soliton metrics on any toric manifold in relation to the greatest Ricci and Bakry-Emery-Ricci lower bound. We also show that any two toric manifolds with the same dimension can be joined by a continuous path of toric manifolds with conical Kahler-Einstein metrics in the Gromov-Hausdorff topology.
We show that any toric Kähler cone with smooth compact cross-section admits a family of Calabi-Yau cone metrics with conical singularities along its toric divisors. The family is parametrized by the Reeb cone and the angles are given explicitly in terms of the Reeb vector field. The result is optimal, in the sense that any toric Calabi-Yau cone metric with conical singularities along the toric divisor (and smooth elsewhere) belongs to this family. We also provide examples and interpret our results in terms of Sasaki-Einstein metrics.
We provide an explicit resolution of the Abreu equation on convex labeled quadrilaterals. This confirms a conjecture of Donaldson in this particular case and implies a complete classification of the explicit toric Kähler-Einstein and toric Sasaki-Einstein metrics constructed in [6,22,14]. As a byproduct, we obtain a wealth of extremal toric (complex) orbi-surfaces, including Kähler-Einstein ones, and show that for a toric orbi-surface with 4 fixed points of the torus action, the vanishing of the Futaki invariant is a necessary and sufficient condition for the existence of Kähler metric with co…
We give an explicit local classification of conformally equivalent but oppositely oriented Kaehler metrics on a 4-manifold which are toric with respect to a common 2-torus action. In the generic case, these structures have an intriguing local geometry depending on a quadratic polynomial and two arbitrary functions of one variable, these two functions being explicit degree 4 polynomials when the Kaehler metrics are extremal (in the sense of Calabi). One motivation for and application of this result is an explicit local description of Einstein 4-manifolds which are hermitian with respect to eith…
Abreu-Sena-Dias have constructed two distinct families of scalar-flat Kähler non-compact toric metrics using Donaldson's rephrasing of Joyce's construction in action-angle coordinates. In this paper and using the same set-up, we show that these are the only J-complete scalar-flat Kähler metrics on any given strictly unbounded toric surface. We also show that the asymptotic behaviour of such a metric determines it uniquely.
We study compatible toric Sasaki metrics with constant scalar curvature on co-oriented compact toric contact manifolds of Reeb type of dimension at least 5. These metrics come in rays of transversal homothety due to the possible rescaling of the Reeb vector fields. We prove that there exist Reeb vector fields for which the transversal Futaki invariant (restricted to the Lie algebra of the torus) vanishes. Using existence result of [25], we show that a co-oriented compact toric contact 5-manifold whose moment cone has 4 facets admits a finite number of rays of transversal homothetic compatible …
We give a complete criterion for the existence of generalized Kähler Einstein metrics on toric Fano manifolds from view points of a uniform stability in a sense of GIT and the properness of a functional on the space of Kähler metrics.
Various curvature conditions are studied on metrics admitting a symmetry group. We begin by examining a method of diagonalizing cohomogeneity-one Einstein manifolds and determine when this method can and cannot be used. Examples, including the well-known Stenzel metrics, are discussed. Next, we present a simplification of the Einstein condition on a compact four manifold with $T^{2}$-isometry to a system of second-order elliptic equations in two-variables with well-defined boundary conditions. We then study the Einstein and extremal Kahler conditions on Kahler toric manifolds. After constructi…
Using the twistor correspondence, we give a classification of toric anti-self-dual Einstein metrics: each such metric is essentially determined by an odd holomorphic function. This explains how the Einstein metrics fit into the classification of general toric anti-self-dual metrics given in an earlier paper (math.DG/0602423). The results complement the work of Calderbank-Pedersen (math.DG/0105263), who describe where the Einstein metrics appear amongst the Joyce spaces, leading to a different classification. Taking the twistor transform of our result gives a new proof of their theorem.
We give a classification of toric, Hermitian, Ricci flat, ALF Riemannian metrics in dimension 4, including metrics with conical singularities. The only smooth examples are on one hand the hyperKaehler ALF metrics, on the other hand, the Kerr, Taub-NUT and Chen-Teo metrics. There are examples with conical singularities with infinitely many distinct topologies. We provide explicit formulas.
We prove the longtime existence and convergence of the Calabi flow on toric Fano surfaces in a large family of Kahler classes where the class has positive extremal Hamiltonian potential and the initial Calabi energy is bounded by some constant. This is an extension of our previous work. We use the toric condition in a more essential way to rule out bubbles.
This is a continuation of paper \cite{Li}. On any toric Fano manifold, we discuss the behavior of limit metric of a sequence of metrics, which are solutions to a continuity family of complex Monge-Ampere equations in Kahler-Einstein problem. We show that the limit metric satisfies a singular complex Monge-Ampere equation. This shows the conic type singularity for the limit metric. The information of conic type singularities can be read from the geometry of the moment polytope.
We show that any compact convex simple lattice polytope is the moment polytope of a Kähler-Einstein orbifold, unique up to orbifold covering and homothety. We extend the Wang-Zhu Theorem \cite{WZ} giving the existence of a Kähler-Ricci soliton on any toric monotone manifold on any compact convex simple labelled polytope satisfying the combinatoric condition corresponding to monotonicity. We obtain that any compact convex simple polytope $P\subset \bR^n$ admits a set of inward normals, unique up to dilatation, such that there exists a symplectic potential satisfying the Guillemin boundary condi…
This is an expository article. Among other topics, we discuss the existence of Kahler-Ricci soliton metrics on toric Fano manifolds, and Kahler-Einstein metrics on deformations of the Mukai-Umemura 3-fold
These lecture notes are written for a PhD mini-course I gave at the CIRM in Luminy in 2019. Their intended purpose was to present, in the context of smooth toric varieties, a relatively self-contained and elementary introduction to the theory of extremal Kähler metrics pioneered by E. Calabi in the 1980's and extensively developed in recent years. The framework of toric manifolds, used in both symplectic and algebraic geometry, offers a fertile testing ground for the general theory of extremal Kähler metrics and provides an important class of smooth complex varieties for which the existence th…
Let $X$ be a toric surface and $u$ be a normalized symplectic potential on the corresponding polygon $P$. Suppose that the Riemannian curvature is bounded by a constant $C_1$ and $\int_{\partial P} u ~ d σ< C_2, $ then there exists a constant $C_3$ depending only on $C_1, C_2$ and $P$ such that the diameter of $X$ is bounded by $C_3$. Moreoever, we can show that there is a constant $M > 0$ depending only on $C_1, C_2$ and $P$ such that Donaldson's $M$-condition holds for $u$. As an application, we show that if $(X,P)$ is (analytic) relative $K$-stable, then the modified Calabi flow converges t…
In these notes, after an introduction to toric Kahler geometry, we present Calabi's family of U(n)-invariant extremal Kahler metrics in symplectic action-angle coordinates and show that it actually contains, as particular cases, many interesting cohomogeneity one examples of constant scalar curvature.
We prove a theorem which asserts that the Lie algebra of all holomorphic vector fields on a compact Kähler manifold with a perturbed extremal metric has the structure similar to the case of an unperturbed extremal Kähler metric proved by Calabi.
We present a general numerical method for investigating prescribed Ricci curvature problems on toric Kähler manifolds. This method is applied to two generalisations of Einstein metrics, namely Ricci solitons and quasi-Einstein metrics. We begin by recovering the Koiso--Cao soliton and the Lü--Page--Pope quasi-Einstein metrics on $\mathbb{CP}^{2}\sharp\overline{\mathbb{CP}}^{2}$ (in both cases the metrics are known explicitly). We also find numerical approximations to the Wang--Zhu soliton on $\mathbb{CP}^{2}\sharp 2\overline{\mathbb{CP}}^{2}$ (here the metric is not known explicitly). Finally,…
We apply a local differential geometric framework from Kähler toric geometry to (re)construct Calabi's extremal Kähler metrics on $\bbC\bbP^n$ blown-up at a point from data on the moment polytope.
We give conditions under which the blowup of an extremal Kähler manifold along a submanifold of codimension greater than two admits an extremal metric. This generalizes work of Arezzo-Pacard-Singer, who considered blowups in points.
Given a compact Kahler manifold with an extremal metric (M,ω), we give sufficient conditions on finite sets points p_1,...,p_n and weights a_1,...a_n for which the blow up of M at p_1,...,p_n has an extremal metric in the Kahler class π^*[ω] - ε(a_1 PD[E_1] + .. + a_n PD[E_n]) for all εsufficiently small. In particular our result implies that if (M,ω) is a toric manifold and p_1,...,p_n is any subset of the fixed locus of the torus action, then such metrics exist for any choice of the weights. The relationship with previous constructions of the first two authors for Kahler constant scalar curv…
This paper is a survey of some recent progress on the study of Calabi's extremal Kähler metrics. We first discuss the Yau-Tian-Donaldson conjecture relating the existence of extremal metrics to an algebro-geometric stability notion and we give some example settings where this conjecture has been established. We then turn to the question of what one expects when no extremal metric exists.
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
Consider a compact Kähler manifold X with a simple normal crossing divisor D, and define Poincaré type metrics on X\D as Kähler metrics on X\D with cusp singularities along D. We prove that the existence of a constant scalar curvature (resp. an extremal) Poincaré type Kähler metric on X\D implies the existence of a constant scalar curvature (resp. an extremal) Kähler metric, possibly of Poincaré type, on every component of D. We also show that when the divisor is smooth, the constant scalar curvature/extremal metric on X\D is asymptotically a product near the divisor.
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.
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…