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 normal bundle of the Reeb foliation is positive and the first Chern class of the contact bundle is trivial. We will further show that if $S$ is a compact toric Sasaki manifold with the above assumption then by deforming the Reeb field we get a Sasaki-Einstein structure on $S$. As an application we obtain irregular toric Sasaki-Einstein metrics on the unit circle bundles of the powers of the canonical bundle of the two-point blow-up of the complex projective plane.
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…
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…
For the sake of hyperk{ä}hler SYZ conjecture, finding holomorphic Lagrangian fibrations becomes an important issue. Toric hyperk{ä}hler manifolds are real dimension $4n$ non-compact hyperk{ä}hler manifolds which are quaternion analog of toric varieties. The $n$ dimensional residue circle action on it admitting a hyperk{ä}hler moment map. We use the complex part of this moment map to construct a holomorphic Lagrangian fibration with generic fiber diffeomorphic to $(\mathbb{C}^*)^n$, and study the singular fibers.
Toric hyperk{ä}hler manifolds are quaternion analog of toric varieties. Bielawski pointed out that they can be glued by cotangent bundles of toric varieties. Following his idea, viewing both toric varieties and toric hyperk{ä}her manifolds as GIT quotients, we first establish geometrical criteria for the semi-stable points. Then based on these criteria, we show that the cotangent bundles of compact toric varieties in the core of toric hyperk{ä}hler manifold are sufficient to glue the desired toric hyperk{ä}hler manifold.
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…
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…
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…
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…
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 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 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$.
Vaisman manifolds are strongly related to Kähler and Sasaki geometry. In this paper we introduce toric Vaisman structures and show that this relationship still holds in the toric context. It is known that the so-called minimal covering of a Vaisman manifold is the Riemannian cone over a Sasaki manifold. We show that if a complete Vaisman manifold is toric, then the associated Sasaki manifold is also toric. Conversely, a toric complete Sasaki manifold, whose Kähler cone is equipped with an appropriate compatible action, gives rise to a toric Vaisman manifold. In the special case of a strongly r…
We determine the greatest lower bounds on the transverse Ricci curvature of compact toric Sasaki manifolds with positive basic first Chern class and with the first Chern class of the contact bundle being trivial. This is based on Wang-Zhu's and Futaki-Ono-Wang's works, and is an analogue of C. Li's work on toric Fano manifolds.
We study a class of simply connected manifolds in all odd dimensions greater than 3 that exhibit an infinite number of toric contact structures of Reeb type that are inequivalent as contact structures. We compute the cohomology ring of our manifolds by using the join construction for Sasaki manifolds and show that all such contact structures admit a ray of compatible Sasaki metrics of constant scalar curvature (CSC). Furthermore, infinitely many such structures admit at least 3 rays of constant scalar curvature Sasaki metrics.
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 [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…
We construct some examples of special Lagrangian submanifolds and Lagrangian self-similar solutions in almost Calabi-Yau cones over toric Sasaki manifolds. For example, for any integer g>0, we can construct a real 6 dimensional Calabi-Yau cone M_g and a 3 dimensional special Lagrangian submanifold L^1_g in M_g which is diffeomorphic to the product of a closed surface of genus g and the real line R, and a 3 dimensional compact Lagrangian self-shrinker L^2_g in M_g which is diffeomorphic to the product of the closed surface of genus g and a circle S^1.
We construct new explicit toric scalar-flat K{ä}hler ALE metrics on weighted projective spaces of non-compact type, which we use to obtain smooth extremal K{ä}hler metrics on appropriate resolutions of orbifolds. In particular, we obtain new extremal metrics certain resolutions of weighted projective spaces of compact type.
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.
We introduce a class of almost homogeneous varieties contained in the class of spherical varieties and containing horospherical varieties as well as complete symmetric varieties. We develop K{ä}hler geometry on these varieties, with applications to canonical metrics in mind, as a generalization of the Guillemin-Abreu-Donaldson geometry of toric varieties. Namely we associate convex functions with hermitian metrics on line bundles, and express the curvature form in terms of this function, as well as the corresponding Monge-Amp{è}re volume form and scalar curvature. We then provide an expression…
We describe various constructions in Sasakian geometry. First we generalize the join construction of the first two authors to arbitrary Sasakian manifolds. We then give several examples, including ones which prove the existence of Sasakian-Einstein metrics on manifolds homeomorphic to $S^2\times S^5.$ Then we use a generalization of the join construction due to Lerman, namely contact fibre bundles, to give a theorem constructing toric Sasakian structures. Finally, we explicitly construct regular toric Sasakian structures on all simply connected regular contact manifolds in dimension five.
The purpose of this paper is to study reducibility properties in Sasakian geometry. First we give the Sasaki version of the de Rham Decomposition Theorem; however, we need a mild technical assumption on the Sasaki automorphism group which includes the toric case. Next we introduce the concept of {\it cone reducible} and consider $S^3$ bundles over a smooth projective algebraic variety where we give a classification result concerning contact structures admitting the action of a 2-torus of Reeb type. In particular, we can classify all such Sasakian structures up to contact isotopy on $S^3$ bundl…
This article is a summary of some of the author's work on Sasaki-Einstein geometry. A rather general conjecture in string theory known as the AdS/CFT correspondence relates Sasaki-Einstein geometry, in low dimensions, to superconformal field theory; properties of the latter are therefore reflected in the former, and vice versa. Despite this physical motivation, many recent results are of independent geometrical interest, and are described here in purely mathematical terms: explicit constructions of infinite families of both quasi-regular and irregular Sasaki-Einstein metrics; toric Sasakian ge…
We introduce the cutting construction of possibly non-compact symplectic toric manifolds, in particular, toric symplectic cones that correspond to a weakly convex good cone. Since the symplectization of a toric contact manifold is a toric symplectic cone, we can also construct toric contact manifolds that correspond to a weakly convex good cone by the cutting construction. (Note that these toric contact manifolds can not be constructed by Delzant construction.) We further prove there are no toric Sasakian structures on these contact manifolds. From this, contact toric manifolds of toric K-cont…
The aim of this thesis is to construct new examples of compact orbifolds $\mathcal{O}^4(Θ)$ which admit a self dual Einstein (SDE) metric of positive scalar curvature $s>0$, with a one-dimensional group of isometries. In particular we want to prove that these examples are different from those described by Boyer, Galicki and Piccinni in \emph{$3-$Sasakian geometry, nilpotents orbits, and exeptional quotients}. We construct explicitly our new examples as quaternion-K$\ddot{\mathrm{a}}$hler reductions of the quaternion K$\ddot{\mathrm{a}}$hler Grassmannian $Gr_4(\mathbb{R}^8)$ by an isometric act…
We consider some natural infinitesimal Einstein deformations on Sasakian and 3-Sasakian manifolds. Some of these are infinitesimal deformations of Killing spinors and further some integrate to actual Killing spinor deformations. In particular, on 3-Sasakian 7 manifolds these yield infinitesimal Einstein deformations preserving 2, 1, or none of the 3 independent Killing spinors. Toric 3-Sasakian manifolds provide non-trivial examples with integrable deformation preserving precisely 2 Killing spinors. Thus the dimension of Killing spinors is not preserved under Einstein deformations but is only …
We construct gradient Kähler-Ricci solitons on Ricci-flat Kähler cone manifolds and on line bundles over toric Fano manifolds. Certain shrinking and expanding solitons are pasted together to form eternal solutions of the Ricci flow. The method we employ is the Calabi ansatz over Sasaki-Einstein manifolds, and the results generalize constructions of Cao and Feldman-Ilmanen-Knopf.
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 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.
Motivated by the study of coupled Kähler-Einstein metrics by Hultgren and Witt Nyström and coupled Kähler-Ricci solitons by Hultgren, we study in this paper coupled Sasaki-Einstein metrics and coupled Sasaki-Ricci solitons. We first show an isomorphism between the Lie algebra of all transverse holomorphic vector fields and certain space of coupled basic functions related to coupled twisted Laplacians for basic functions, and obtain extensions of the well-known obstructions to the existence of Kähler-Einstein metrics to this coupled case. These results are reduced to coupled Kähler-Einstein met…
We study a variational problem whose critical point determines the Reeb vector field for a Sasaki-Einstein manifold. This extends our previous work on Sasakian geometry by lifting the condition that the manifolds are toric. We show that the Einstein-Hilbert action, restricted to a space of Sasakian metrics on a link L in a Calabi-Yau cone X, is the volume functional, which in fact is a function on the space of Reeb vector fields. We relate this function both to the Duistermaat-Heckman formula and also to a limit of a certain equivariant index on X that counts holomorphic functions. Both formul…
We consider an extension of the results of S. Bando, R. Kobyashi, G. Tian, and S. T. Yau on the existence of Ricci-flat Kähler metrics on quasi-projective varieties Y=X\D with α[D]=c_1(X), α>1. The requirement that D admit a Kähler-Einstein metric is generalized to the condition that the link S in the normal bundle of D admits a Sasaki-Einstein structure in the Sasaki-cone of the usual Sasaki structure provided the embedding D\subset X satisfies an additional holomorphic condition. If D is a toric variety, then S always admits a Sasaki-Einstein metric. As an application we prove that every sma…
We show that transverse coupled Kähler-Einstein metrics on toric Sasaki manifolds arise as a critical point of a volume functional. As a preparation for the proof, we re-visit the transverse moment polytopes and contact moment polytopes under the change of Reeb vector fields. Then we apply it to a coupled version of the volume minimization by Martelli-Sparks-Yau. This is done assuming the Calabi-Yau condition of the Kähler cone, and the non-coupled case leads to a known existence result of a transverse Kähler-Einstein metric and a Sasaki-Einstein metric, but the coupled case requires an assump…
We extend Calabi ansatz over Kähler-Einstein manifolds to Sasaki-Einstein manifolds. As an application we prove the existence of a complete scalar-flat Kähler metric on Kähler cone manifolds over Sasaki-Einstein manifolds. In particular there exists a complete scalar-flat Kähler metric on the toric Kähler cone manifold constructed from a toric diagram with a constant height.
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.
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…
We verify the extension to the zero section of momentum construction of Kaehler-Einstein metrics and Kaehler-Ricci solitons on the total space Y of positive rational powers of the canonical line bundle of toric Fano manifolds with possibly irregular Sasaki-Einstein metrics. More precisely, we show that the extended metric along the zero section has an expression which can be extended to Y, restricts to the associated unit circle bundle as a transversely Kaehler-Einstein (Sasakian eta-Einstein) metric scaled in the Reeb flow direction, and that there is a Riemannian submersion from the scaled S…
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 study the contact equivalence problem for toric contact structures on $S^3$-bundles over $S^2$. That is, given two toric contact structures, one can ask the question: when are they equivalent as contact structures while inequivalent as toric contact structures? In general this appears to be a difficult problem. To find inequivalent toric contact structures that are contact equivalent, we show that the corresponding 3-tori belong to distinct conjugacy classes in the contactomorphism group. To show that two toric contact structures with the same first Chern class are contact inequivalent, we …
We construct the moduli space of contact instantons, an analogue of Yang-Mills instantons defined for contact metric $5$-manifolds and initiate the study of their structure. In the $K$-contact case we give sufficient conditions for smoothness of the moduli space away from reducible connections and show the dimension is given by the index of an operator elliptic transverse to the Reeb foliation. The moduli spaces are shown to be Kähler when the $5$-manifold $M$ is Sasakian and hyperKähler when $M$ is transverse Calabi-Yau. We show how the transverse index can be computed in various cases, in pa…
In this paper we provide an explicit description of normal almost contact structures obtained from Cartan-Ehresmann connections (gauge fields) on principal $S^{1}$-bundles over complex flag manifolds. The main feature of our approach is to employ elements of representation theory of complex simple Lie algebras in order to describe and classify these structures. We use these normal almost contact structures to explicitly describe a huge class of compact Hermitian non-Kähler manifolds obtained from products of principal $S^{1}$-bundles over complex flag manifolds. Moreover, we obtain from our de…
