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 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.
A series of examples of toric Sasaki-Einstein 5-manifolds is constructed. These are submanifolds of toric 3-Sasaki 7-manifolds and such a Sasaki-Einstein 5-manifold corresponds uniquely to a toric 3-Sasaki 7-manifold. This produces examples of quasi-regular Sasaki-Einstein structures on every #k(S^2 xS^3), for k odd. Toric geometry is used to construct examples of positive Ricci curvature toric Sasaki structures on non-spin 5-manifolds. Then the join construction is used to construct infinitely many quasi-regular toric Sasaki-Einstein manifolds with arbitrarily high second Betti number in ever…
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.
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.
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 prove a conjecture saying that complex projective space has maximal volume (degree) among all toric Kaehler-Einstein manifolds of dimension n. The proof is inspired by our recent work on sharp Moser-Trudinger and Brezis-Merle type inequalities for the complex Monge-Ampere operator, but is essentially self-contained.
We give a correspondence between toric 3-Sasaki 7-manifolds S and certain toric Sasaki-Einstein 5-manifolds M. These 5-manifolds are all diffeomorphic to k#(S^2\times S^3), where k=2b_2(S)+1, and are given by a pencil of Sasaki embeddings of M in S and are given concretely by the zero set of a component of the 3-Sasaki moment map. It follows that there are infinitely many examples of these toric Sasaki-Einstein manifolds M for each odd b_2(M)>1. As an application of the proof of the above, we prove that the local deformation space of ASD structures on a compact toric ASD Einstein orbifold is g…
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 show that every toric Sasaki-Einstein manifold $S$ admits a special Legendrian submanifold $L$ which arises as the link ${\rm fix}(τ)\cap S$ of the fixed point set ${\rm fix}(τ)$ of an anti-holomorphic involution $τ$ on the cone $C(S)$. In particular, an irregular toric Sasaki-Einstein manifold $S^{2}\times S^{3}$ has a special Legendrian torus $S^{1}\times S^{1}$. Moreover, we also obtain a special Legendrian submanifold in $\sharp m(S^{2}\times S^{3})$ for each $m\ge 1$.
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…
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,…
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.
As seen in the works of Calabi, Cheng-Yau and Loftin, affine sphere equations have a close relationship with Kaehler-Einstein metrics. The main purpose of this note is to show that an equation analogous to those of hyperbolic affine spheres arises naturally from Kaehler-Einstein metrics on Einstein toric surfaces. The case for the remaining toric surfaces with Kaehler-Ricci solitons will also be discussed.
In this short note, we investigate the existence of orbifold Kähler-Einstein metrics on toric varieties. In particular, we show that every $\mathbb{Q}$-factorial normal projective toric variety allows an orbifold Kähler-Einstein metric. Moreover, we characterize the K-stability of $\mathbb{Q}$-factorial toric pairs of Picard number one in terms of the log Cox ring and the universal orbifold cover.
In this note we report on examples of 7- and 8-dimensional toric Fano manifolds that are not symmetric and still admit a Kaehler-Einstein metric. This answers a question first posed by V.V. Batyrev and E. Selivanova. The examples were found in the classification of toric Fano manifolds up to dimension 8 obtained by M. Oebro. We also discuss related open questions and conjectures.
In this expository paper we review on the existence problem of Einstein-Maxwell Kähler metrics, and make several remarks. Firstly, we consider a slightly more general set-up than Einstein-Maxwell Kähler metrics, and give extensions of volume minimization principle, the notion of toric K-stability and other related results to the general set-up. Secondly, we consider the toric case when the manifold is the one point blow-up of the complex project plane and the Kähler class $Ω$ is chosen so that the area of the exceptional curve is sufficiently close to the area of the rational curve of self-int…
We show that by taking a certain scaling limit of a Euclideanised form of the Plebanski-Demianski metrics one obtains a family of local toric Kahler-Einstein metrics. These can be used to construct local Sasaki-Einstein metrics in five dimensions which are generalisations of the Y^{p,q} manifolds. In fact, we find that these metrics are diffeomorphic to those recently found by Cvetic, Lu, Page and Pope. We argue that the corresponding family of smooth Sasaki-Einstein manifolds all have topology S^2 x S^3. We conclude by setting up the equations describing the warped version of the Calabi-Yau c…
We show that the Reeb vector, and hence in particular the volume, of a Sasaki-Einstein metric on the base of a toric Calabi-Yau cone of complex dimension n may be computed by minimising a function Z on R^n which depends only on the toric data that defines the singularity. In this way one can extract certain geometric information for a toric Sasaki-Einstein manifold without finding the metric explicitly. For complex dimension n=3 the Reeb vector and the volume correspond to the R-symmetry and the a central charge of the AdS/CFT dual superconformal field theory, respectively. We therefore interp…
Simons Center for Geometry and Physics, Stony Brook University（石溪大学西蒙斯几何与物理中心）；Institute for Advanced Study in Mathematics, Zhejiang University（浙江大学数学高等研究院）
In [11] it was proved that, given a compact toric Sasaki manifold of positive basic first Chern class and trivial first Chern class of the contact bundle, one can find a deformed Sasaki structure on which a Sasaki-Einstein metric exists. In the present paper we first prove the uniqueness of such Einstein metrics on compact toric Sasaki manifolds modulo the action of the identity component of the automorphism group for the transverse holomorphic structure, and secondly remark that the result of [11] implies the existence of compatible Einstein metrics on all compact Sasaki manifolds obtained fr…
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
Let $M$ be a projective toric manifold. We prove two results concerning respectively Kaehler-Einstein submanifolds of M and symplectic embeddings of the standard euclidean ball in M. Both results use the well-known fact that M contains an open dense subset biholomorphic to C^n.
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…
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…
In this paper we study compact Sasaki manifolds in view of transverse Kähler geometry and extend some results in Kähler geometry to Sasaki manifolds. In particular we define integral invariants which obstruct the existence of transverse Kähler metric with harmonic Chern forms. The integral invariant $f_1$ for the first Chern class case becomes an obstruction to the existence of transverse Kähler metric of constant scalar curvature. We prove the existence of transverse Kähler-Ricci solitons (or {\it Sasaki-Ricci soliton}) on compact toric Sasaki manifolds whose basic first Chern form of the nor…
Let $X$ be a complex toric Fano $n$-fold and ${\cal N}(T)$ the normalizer of a maximal torus $T$ in the group of biholomorphic authomorphisms $Aut(X)$. We call $X$ {\em symmetric} if the trivial character is a single ${\cal N}(T)$-invariant algebraic character of $T$. Using an invariant $α_G(X)$ introduced by Tian, we show that all symmetric toric Fano $n$-folds admit an Einstein-Kähler metric. We remark that so far one doesn't know any example of a toric Fano $n$-fold $X$ such that $Aut(X)$ is reductive, the Futaki character of $X$ vanishes, but $X$ is not symmetric.
Using the twistor correspondence, this article gives a one-to-one correspondence between germs of toric anti-self-dual conformal classes and certain holomorphic data determined by the induced action on twistor space. Recovering the metric from the holomorphic data leads to the classical problem of prescribing the Cech coboundary of 0-cochains on an elliptic curve covered by two annuli. The classes admitting Kahler representatives are described; each such class contains a circle of Kahler metrics. This gives new local examples of scalar-flat Kahler surfaces and generalises work of Joyce who con…
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 partially confirm a conjecture of Donaldson relating the greatest Ricci lower bound $R(X)$ to the existence of conical Kahler-Einstein metrics on a Fano manifold $X$. In particular, if $D\in |-K_X|$ is a smooth simple divisor and the Mabuchi $K$-energy is bounded below, then there exists a unique conical Kahler-Einstein metric satisfying $Ric(g) = βg + (1-β) [D]$ for any $β\in (0,1)$. We also construct unique smooth conical toric Kahler-Einstein metrics with $β=R(X)$ and a unique effective Q-divisor $D\in [-K_X]$ for all toric Fano manifolds. Finally we prove a Miyaoka-Yau type inequality f…
We prove that any compact selfdual Einstein 4-orbifold of positive scalar curvature whose isometry group contains a 2-torus is, up to an orbifold covering, a quaternion Kaehler quotient of (k-1)-dimensional quaternionic projective space by a (k-2)-torus for some $k\geq 2$. We also obtain a topological classification in terms of the intersection form of the 4-orbifold.
We use the quaternion Kahler reduction technique to study old and new self-dual Einstein metrics of negative scalar curvature with at least a two-dimensional isometry group, and relate the quotient construction to the hyperbolic eigenfunction Ansatz. We focus in particular on the (semi-)quaternion Kahler quotients of (semi-)quaternion Kahler hyperboloids, analysing the completeness and topology, and relating them to the self-dual Einstein Hermitian metrics of Apostolov-Gauduchon and Bryant.
We show that the complex projective space has maximal degree (volume) among all n-dimensional Kahler-Einstein Fano manifolds admitting a holomorphic C^*-action with a finite number of fixed points. The toric version of this result, translated to the realm of convex geometry, thus confirms Ehrhart's volume conjecture for a large class of rational polytopes, including duals of lattice polytopes. The case of spherical varieties/multiplicity free symplectic manifolds is also discussed. The proof uses Moser-Trudinger type inequalities for Stein domains and also leads to criticality results for mean…
In this note, stimulated by the existence result of Futaki-Ono-Wang for toric Sasaki-Einstein metrics, we obtain new examples of Sasaki-Einstein metrics on S^1-bundles associated to canonical line bundles of P^1-bundles over Kähler-Einstein Fano manifolds, even though the Futaki's obstruction does not vanish. Here the method of Sakane and Koiso is used, and our examples include non-toric Sasaki-Einstein manifolds.
Recently an infinite family of explicit Sasaki-Einstein metrics Y^{p,q} on S^2 x S^3 has been discovered, where p and q are two coprime positive integers, with q<p. These give rise to a corresponding family of Calabi-Yau cones, which moreover are toric. Aided by several recent results in toric geometry, we show that these are Kahler quotients C^4//U(1), namely the vacua of gauged linear sigma models with charges (p,p,-p+q,-p-q), thereby generalising the conifold, which is p=1,q=0. We present the corresponding toric diagrams and show that these may be embedded in the toric diagram for the orbif…
Anti-diagonal toric generalized K$\ddot{a}$hler structures of symplectic type on a compact toric symplectic manifold were investigated in \cite{Wang2} . In this article, we consider \emph{general} toric generalized K$\ddot{a}$hler structures of symplectic type, without requiring them to be anti-diagonal. Such a structure is characterized by a triple $(τ, C, F)$ where $τ$ is a strictly convex function defined in the interior of the moment polytope $Δ$ and $C, F$ are two constant anti-symmetric matrices. We prove that underlying each such a structure is a \emph{canonical} toric K$\ddot{a}$hler s…
We prove that the quasi-Einstein metrics found by Lü, Page and Pope on $\mathbb{C}P^{1}$-bundles over Fano Kähler-Einstein bases are conformally Kähler and that the Kähler class of the conformal metric is a multiple of the first Chern class. A detailed study of the lowest-dimensional example of such metrics on $\mathbb{C}P^{2}\sharp \overline{\mathbb{C}P}^{2}$ using the methods developed by Abreu and Guillemin for studying toric Kähler metrics is given. Our methods yield, in a unified framework, proofs of the existence of the Page, Koiso-Cao and Lü-Page-Pope metrics on $\mathbb{C}P^{2}\sharp \…
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.
We obtain a residue formula for an obstruction to the existence of coupled Kähler-Einstein metrics described by Futaki-Zhang. We apply it to an example studied separately by Futaki and Hultgren which is a toric Fano manifold with reductive automorphism, does not admit a Kähler-Einstein metric but still admits coupled Kähler-Einstein metrics.
The self-similar solutions to the mean curvature flows have been defined and studied on the Euclidean space. In this paper we initiate a general treatment of the self-similar solutions to the mean curvature flows on Riemannian cone manifolds. As a typical result we extend the well-known result of Huisken about the asymptotic behavior for the singularities of the mean curvature flows. We also extend the results on special Lagrangian submanifolds on $\mathbb C^n$ to the toric Calabi-Yau cones over Sasaki-Einstein manifolds.
The global holomorphic α-invariant introduced by Tian is closely related with the study in the existence of Kahler-Einstein metric. We apply the result of Tian, Lu and Zelditch on polarized Kahler metrics to approximate plurisubharmonic functions and compute the α-invariant of toric Fano manifolds.
A theorem of E.Lerman and S.Tolman, generalizing a result of T.Delzant, states that compact symplectic toric orbifolds are classified by their moment polytopes, together with a positive integer label attached to each of their facets. In this paper we use this result, and the existence of "global" action-angle coordinates, to give an effective parametrization of all compatible toric complex structures on a compact symplectic toric orbifold, by means of smooth functions on the corresponding moment polytope. This is equivalent to parametrizing all toric Kahler metrics and generalizes an analogous…
On a given compact complex manifold or orbifold $(M,J)$, we study the existence of Hermitian metrics $\tilde g$ in the conformal classes of Kähler metrics on $(M,J)$, such that the Ricci tensor of $\tilde g$ is of type $(1,1)$ with respect to the complex structure, and the scalar curvature of $\tilde g$ is constant. In real dimension $4$, such Hermitian metrics provide a Riemannian counter-part of the Einstein--Maxwell (EM) equations in general relativity, and have been recently studied in \cite{ambitoric1, LeB0, LeB, KTF}. We show how the existence problem of such Hermitian metrics (which we …
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…
We calculate an upper bound for the second nonzero eigenvalue of the scalar Laplacian, $λ_{2}$, for toric Kähler-Einstein metrics in terms of the polytope data. We give some detailed examples in complex dimensions 1, 2 and 3. We also discuss extensions of this method to other geometries.
In this article we focus on multiplier Hermitian-Einstein metrics introduced by Mabuchi which include Kähler-Einstein metrics, Kähler-Ricci solitons and Mabuchi solitons as special cases. We also focus on KSM-manifolds, which are introduced by the first author as toric bundles, to establish a criterion for the existence of multiplier Hermitian-Einstein metrics in terms of KSM-data. An explicit example for a KSM-manifold admitting a family of multiplier Hermitian-Einstein metrics is constructed by using a continuous path connecting a Kähler-Ricci soliton and a Mabuchi soliton.
This is a sequel of \cite{Wang}, which provides a general formalism for this paper. We mainly investigate thoroughly a subclass of toric generalized K$\ddot{a}$hler manifolds of symplectic type introduced by Boulanger in \cite{Bou}. We find torus actions on such manifolds are all \emph{strong Hamiltonian} in the sense of \cite{Wang}. For each such a manifold, we prove that besides the ordinary two complex structures $J_\pm$ associated to the biHermitian description, there is a \emph{third} canonical complex structure $J_0$ underlying the geometry, which makes the manifold toric K$\ddot{a}$hler…
It is shown that any, possibly singular, Fano variety X admitting a Kahler-Einstein metric is K-polystable, thus confirming one direction of the Yau-Tian-Donaldson conjecture in the setting of Q-Fano varieties equipped with their anti-canonical polarization. The proof exploits convexity properties of the Ding functional along weak geodesic rays in the space of all bounded positively curved metrics on the anti-canonical line bundle of X and also gives a new proof in the non-singular case. One consequence is that a toric Fano variety X is K-polystable iff it is K-polystable along toric degenerat…
In this expository article we review the problem of finding Einstein metrics on compact Kähler manifolds and Sasaki manifolds. In the former half of this article we see that, in the Kähler case, the problem fits better with the notion of stability in Geometric Invariant Theory if we extend the problem to that of finding extremal Kähler metrics or constant scalar curvature Kähler (cscK) metrics. In the latter half of this paper we see that most of ideas in Kähler geometry extend to Sasaki geometry as transverse Kähler geometry. We also summarize recent results about the existence of toric Sasak…
Motivated by a probabilistic approach to Kahler-Einstein metrics we consider a general non-equilibrium statistical mechanics model in Euclidean space consisting of the stochastic gradient flow of a given (possibly singular) quasi-convex N-particle interaction energy. We show that a deterministic "macroscopic" evolution equation emerges in the large N-limit of many particles. This is a strengthening of previous results which required a uniform two-sided bound on the Hessian of the interaction energy. The proof uses the theory of weak gradient flows on the Wasserstein space. Applied to the setti…
We show that there are no irregular Sasaki-Einstein structures on rational homology 5-spheres. On the other hand, using K-stability we prove the existence of continuous families of non-toric irregular Sasaki-Einstein structures on odd connected sums of $S^2 \times S^3$.
We discuss a certain Riemannian metric, related to the toric Kahler-Einstein equation, that is associated in a linearly-invariant manner with a given log-concave measure in R^n. We use this metric in order to bound the second derivatives of the solution to the toric Kahler-Einstein equation, and in order to obtain spectral-gap estimates similar to those of Payne and Weinberger.
An index theorem for the anti-self-dual deformation complex on anti-self-dual orbifolds with cyclic quotient singularities is proved. We present two applications of this theorem. The first is to compute the dimension of the deformation space of the Calderbank-Singer scalar-flat Kahler toric ALE spaces. A corollary of this is that, except for the Eguchi-Hanson metric, all of these spaces admit non-toric anti-self-dual deformations, thus yielding many new examples of anti-self-dual ALE spaces. For our second application, we compute the dimension of the deformation space of the canonical Bochner-…
In this short note we prove that any complete four dimensional anti-self-dual (or self-dual) quasi-Einstein manifolds is either Einstein or locally conformally flat. This generalizes a recent result of X. Chen and Y. Wang.
