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 result for toric manifolds.
A simple explicit description of interesting families of extremal Kahler metrics, arising from recent work of R.Bryant, is given as an application of the approach in this paper. The fact that in dimension four these metrics are self-dual and conformally Einstein is also discussed. This gives rise in particular to a one parameter family of self-dual Einstein metrics connecting the well known Eguchi-Hanson and Taub-NUT metrics.
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.
In the same way that a contact manifold determines and is determined by a symplectic cone, a Sasaki manifold determines and is determined by a suitable Kahler cone. Kahler-Sasaki geometry is the geometry of these cones. This paper presents a symplectic action-angle coordinates approach to toric Kahler geometry and how it was recently generalized, by Burns-Guillemin-Lerman and Martelli-Sparks-Yau, to toric Kahler-Sasaki geometry. It also describes, as an application, how this approach can be used to relate a recent new family of Sasaki-Einstein metrics constructed by Gauntlett-Martelli-Sparks-W…
In a recent paper Donaldson explains how to use an older construction of Joyce to obtain four dimensional local models for scalar-flat Kahler metrics with a 2-torus symmetry. Using this idea, he recovers and generalizes the Taub-NUT metric by including it in a new family of complete scalar-flat toric Kahler metrics. In this paper we generalize Donaldson's method and construct complete scalar-flat toric Kahler metrics on any symplectic toric 4-manifold with "strictly unbounded" moment polygon. These include the asymptotic locally Euclidean scalar-flat Kahler metrics previously constructed by Ca…
In this paper, we show that the complete scalar-flat Kahler metrics constructed by Abreu and the author on strictly unbounded toric 4-dimensional orbifolds have finite $L^2$ norm of the full Riemannian tensor. In particular, this answers a question of Donaldon's on the corresponding Generalized Taub-NUT metric on $R^4$. This norm is explicitly determined when the underlying toric manifold is the minimal resolution of a cyclic singularity. In the Ricci-flat case corresponding to gravitational instantons, this recovers a recent result of Atiyah-Lebrun.
Let O be a symplectic toric 2n-dimensional orbifold with a fixed T^n-action and with a toric Kahler metric g. We previously explored whether, when O is a manifold, the equivariant spectrum of the Laplace operator acting on smooth functions on (O,g) determines the moment polytope of O, and hence by Delzant's theorem determines O up to symplectomorphism. In the setting of toric orbifolds we significantly improve upon our previous results and show that the moment polytope of a generic toric orbifold is determined by its equivariant spectrum, up to two possibilities and up to translation. This inv…
We generalize the results of Song-Zelditch on geodesics in spaces of Kahler metrics on toric varieties to harmonic maps of any compact Riemannian manifold with boundary into the space of Kahler metrics on a toric variety. We show that the harmonic map equation can always be solved and that such maps may be approximated in the C^2 topology by harmonic maps into the spaces of Bergman metrics. In particular, WZW maps, or equivalently solutions of a homogeneous Monge-Ampere equation on the product of the manifold with a Riemann surface with S^1 boundary admit such approximations. We also show that…
We proved the convergence of a sequence of 2 dimensional comapct Kahler-Einstein orbifolds with rational quotient singularities and with some uniform bounds on the volumes and on the Euler characteristics of our orbifods to a Kahler-Einstein 2-dimensional orbifold. Our limit orbifold can have worse singularities than the orbifolds in our sequence. We will also derive some estimates on the norms of the sections of plurianticanonical bundles of our orbifolds in the sequence that we are considering and our limit orbifold.
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 symplectic toric orbifold is a compact connected orbifold $M$, a symplectic form $ω$ on $M$, and an effective Hamiltonian action of a torus $T$ on $M$, where the dimension of $T$ is half the dimension of $M$. We prove that there is a one-to-one correspondence between symplectic toric orbifolds and convex rational simple polytopes with positive integers attached to each facet.
We study compact toric strict locally conformally Kähler manifolds. We show that the Kodaira dimension of the underlying complex manifold is $-\infty$ and that the only compact complex surfaces admitting toric strict locally conformally Kähler metrics are the diagonal Hopf surfaces. We also show that every toric Vaisman manifold has lcK rank 1 and is isomorphic to the mapping torus of an automorphism of a toric compact Sasakian manifold.
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
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.
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.
Let $(X, ω, J)$ be a toric variety of dimension $2n$ determined by a Delzant polytope. In this paper, we first construct the polarizations $\shP_{k}$ by the Hamiltonian $T^{k}$-action on $X$ (see Theorem 3.11). We will show that $\shP_{k}$ is a singular mixed polarization for $1\le k < n$, and $\shP_{n}$ is a singular real polarization which coincides with the real polarization studied in \cite{BFMN} on the open dense subset of $X$. Then for each $1\le k \le n$, we will find a one-parameter family of Kähler polarizations $\shP_{k,t}$ on $X$ that converges to $\shP_{k}$ (see Theorem 3.12). Fina…
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.
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.
Hypertoric varieties are hyperkähler analogues of toric varieties, and are constructed as abelian hyperkähler quotients of a quaternionic affine space. Just as symplectic toric orbifolds are determined by labelled polytopes, orbifold hypertoric varieties are intimately related to the combinatorics of hyperplane arrangements. By developing hyperkähler analogues of symplectic techniques developed by Goldin, Holm, and Knutson, we give an explicit combinatorial description of the Chen-Ruan orbifold cohomology of an orbifold hypertoric variety in terms of the combinatorial data of a rational coorie…
A theorem of Delzant states that any symplectic manifold $(M,\om)$ of dimension $2n$, equipped with an effective Hamiltonian action of the standard $n$-torus $\T^n = \R^{n}/2π\Z^n$, is a smooth projective toric variety completely determined (as a Hamiltonian $\T^n$-space) by the image of the moment map $ϕ:M\to\R^n$, a convex polytope $P=ϕ(M)\subset\R^n$. In this paper we show, using symplectic (action-angle) coordinates on $P\times \T^n$, how all $\om$-compatible toric complex structures on $M$ can be effectively parametrized by smooth functions on $P$. We also discuss some topics suited for a…
In this note, we prove that on an $n$-dimensional compact toric manifold with positive first Chern class, the Kähler-Ricci flow with any initial $(S^1)^n$-invariant Kähler metric converges to a Kähler-Ricci soliton. In particular, we give another proof for the existence of Kähler-Ricci solitons on a compact toric manifold with positive first Chern class by using the Kähler-Ricci flow.
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…
In this note, we prove that any non-collapsing and compact Gromov-Hausdorff limit of Kahler-Einstein manifolds is either smooth or is orbifold outside a subvariety of complex codimension at least 3.
For a holomorphic vector bundle over a compact Kähler orbifold, the slope stability of the bundle is shown to be equivalent to the existence of a Hermitian-Einstein metric or to the properness of a certain functional introduced by Donaldson.
In the classical theory of toric manifolds polytopes appear in two guises -- as Newton polytopes of line bundles on the complex, and as moment polytopes on the symplectic side, the link between the two being established by the prequantizability condition on the cohomology class of the symplectic form. Here we give a combinatorial description of the orbifold Picard group for complete toric orbifolds, with the aim of detailing the relation between complex and symplectic aspects in the orbifold setting. In particular this permits to illustrate the breakdown of identification of (orbifold) line bu…
We show that, up to biholomorphism, there is at most one complete $T^n$-invariant shrinking gradient Kähler-Ricci soliton on a non-compact toric manifold $M$. We also establish uniqueness without assuming $T^n$-invariance if the Ricci curvature is bounded and if the soliton vector field lies in the Lie algebra $\mathfrak{t}$ of $T^n$. As an application, we show that, up to isometry, the unique complete shrinking gradient Kähler-Ricci soliton with bounded scalar curvature on $\mathbb{CP}^{1} \times \mathbb{C}$ is the standard product metric associated to the Fubini-Study metric on $\mathbb{CP}^…
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…
In this paper, given a compact Kcsc orbifolds of any dimension and with nontrivial holomorphic vector fields, we find sufficient conditions on the position of singular points in order to admit a Kcsc desingularization, generalizing the result of the first author with F. Pacard in the case of blowing up smooth points. A series of explicit examples are discussed.
We prove that a compact toric locally conformally Kähler manifold which is not Kähler admits a toric Vaisman structure, a fact which was conjectured in \cite{mmp}. This is the final step leading to the classification of compact toric locally conformally Kähler manifolds started in \cite{p} and \cite{mmp}. We also show, by constructing an example, that unlike in the symplectic case, toric locally conformally symplectic manifolds are not necessarily toric locally conformally Kähler.
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…
In [LS], it is shown shown that the first eigenvalue of the Laplacian restricted to the space of invariant functions on a toric Kähler manifold (i.e. $λ_1^\mathbb{T}$, the invariant first eigenvalue) is an unbounded function of the toric Kähler metric. In this note we show that, seen as a function on the space of toric Kähler metrics on a fixed toric manifold, $λ_1^\mathbb{T}$ admits no analytic critical points. We also show that on $S^2$, the first eigenvalue of the Laplacian restricted to the space of $S^1$-equivariant functions of any given integer weight admits no critical points.
In the first part of the paper, we build a foundation for further work on Hamiltonian actions on symplectic orbifolds. Most importantly we prove the orbifold versions of the abelian connectedness and convexity theorems. In the second half, we prove that compact symplectic orbifolds with completely integrable torus actions are classified by convex simple rational polytopes with a positive integer attached to each facet and that all such orbifolds are algebraic toric varieties.
We show that the orbifold fundamental group of an effective compact K{ä}hler orbifold with nef anticanonical bundle has polynomial growth, which generalizes M.P ăun's results for manifolds [P ău97, Theorem 1,Theorem 2]
We present a correspondence between real analytic Kähler toric manifolds and dually flat spaces, similar to Delzant correspondence in symplectic geometry. This correspondence gives rise to a lifting procedure: if $f:M\to M'$ is an affine isometric map between dually flat spaces and if $N$ and $N'$ are Kähler toric manifolds associated to $M$ and $M'$, respectively, then there is an equivariant Kähler immersion $N\to N'$. For example, we show that the Veronese and Segre embeddings are lifts of inclusion maps between appropriate statistical manifolds. We also discuss applications to Quantum Mech…
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.
In this note we prove that toric Kähler metrics on complex projective space which are also $U(n)$-invariant are determined by their equivariant spectrum i.e. the list of eigenvalues of the Laplacian together with weights of the torus representation on the eigenspaces.
We embed polarised orbifolds with cyclic stabiliser groups into weighted projective space via a weighted form of Kodaira embedding. Dividing by the (non-reductive) automorphisms of weighted projective space then formally gives a moduli space of orbifolds. We show how to express this as a reductive quotient and so a GIT problem, thus defining a notion of stability for orbifolds. We then prove an orbifold version of Donaldson's theorem: the existence of an orbifold Kahler metric of constant scalar curvature implies K-semistability. By extending the notion of slope stability to orbifolds we there…
In this paper we study the gradient steady Kähler-Ricci soliton metrics on non-compact toric manifolds. We show that the orbit space of the free locus of such a manifold carries a natural Hessian structure with a nonnegative Bakry-Émery tensor. We generalize Calabi's classical rigidity result and use this to prove that any complete $\mathbf T^n$-invariant gradient steady Kähler-Ricci soliton with a free torus action must be a flat $(\mathbb C^*)^n$.
We study CR geometry in arbitrary codimension, and introduce a process, which we call the Levi-Kahler quotient, for constructing Kahler metrics from CR structures with a transverse torus action. Most of the paper is devoted to the study of Levi-Kahler quotients of toric CR manifolds, and in particular, products of odd dimensional spheres. We obtain explicit descriptions and characterizations of such quotients, and find Levi-Kahler quotients of products of 3-spheres which are extremal in a weighted sense introduced by G. Maschler and the first author.
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 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 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 show that on a Kahler manifold whether the J-flow converges or not is independent of the chosen background metric in its Kahler class. On toric manifolds we give a numerical characterization of when the J-flow converges, verifying a conjecture of Lejmi and the second author in this case. We also strengthen existing results on more general inverse $σ_{k}$ equations on Kahler manifolds.
One has believed that low energy effective theories of the Higgs branch of gauged linear sigma models correspond to supersymmetric nonlinear sigma models, which have been already investigated by many works. In this paper we discuss a explicit derivation of supersymmetric nonlinear sigma models from gauged linear sigma models. In this process we construct Kahler potentials of some two-dimensional toric varieties explicitly. Thus we will be able to study some algebraic varieties in the language of differential geometry.
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…
Assume that $X$ is a homogeneous toric bundle of the form $G^{\mathbb{C}}\times_{P,τ} F$ and is Fano, where $G$ is a compact semisimple Lie group with complexification $G^\mathbb{C}$, $P$ a parabolic subgroup of $G^\mathbb{C}$, $τ:P\rightarrow (T^m)^\mathbb{C}$ is a surjective homomorphism from $P$ to the algebraic torus $(T^m)^\mathbb{C}$, and $F$ is a compact toric manifold of complex dimension $m$. In this note we show that the normalized Kähler-Ricci flow on $X$ with a $G\times T^m$-invariant initial Kähler form in $c_1(X)$ converges, modulo the algebraic torus action, to a Kähler-Ricci so…
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 …
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.
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…
We show the properties of the blowup limits of \KRf solutions on Fano surfaces if Riemannian curvature is unbounded. As an application, on every toric Fano surface, we prove that \KRf converges to a Kähler Ricci soliton metric if the initial metric has toric symmetry. Therefore we give a new Ricci flow proof of existence of Kähler Ricci soliton metrics on toric surfaces.
