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 every odd dimesion >3.
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…
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 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.
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 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…
In this paper we give a diameter bound for Sasaki manifolds with positive transverse Ricci curvature. As an application, we obtain the uniqueness of Sasaki-Einstein metrics on compact Sasaki manifolds modulo the action of the identity component of the automorphism group for the transverse holomorphic structure.
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…
Let $S$ be a compact Sasakian manifold which does not admit non-trivial Hamiltonian holomorphic vector fields. If there exists an Einstein-Sasakian metric on $S$, then it is unique.
The aim of this paper is to study Sasakian immersions of (non-compact) complete regular Sasakian manifolds into the Heisenberg group and into $ \mathbb{B}^N\times \mathbb{R}$ equipped with their standard Sasakian structures. We obtain a complete classification of such manifolds in the $η$-Einstein case.
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…
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…
By combining the join construction from Sasakian geometry with the Hamiltonian 2-form construction from Kähler geometry, we recover Sasaki-Einstein metrics discovered by physicists. Our geometrical approach allows us to give an algorithm for computing the topology of these Sasaki-Einstein manifolds. In particular, we explicitly compute the cohomology rings for several cases of interest and give a formula for homotopy equivalence in one particular 7-dimensional case. We also show that our construction gives at least a two dimensional cone of both Sasaki-Ricci solitons and extremal Sasaki metric…
We prove that any non-Sasakian contact metric (κ,μ)-space admits a canonical η-Einstein Sasakian or η-Einstein paraSasakian metric. An explicit expression for the curvature tensor fields of those metrics is given and we find the values of κand μfor which such metrics are Sasaki-Einstein and paraSasaki-Einstein. Conversely, we prove that, under some natural assumptions, a K-contact or K-paracontact manifold foliated by two mutually orthogonal, totally geodesic Legendre foliations admits a contact metric (κ,μ)-structure. Furthermore, we apply the above results to the geometry of tangent sphere b…
We extend a result of Patodi for closed Riemannian manifolds to the context of closed contact manifolds by showing the condition that a manifold is an $η$-Einstein Sasakian manifold is spectrally determined. We also prove that the condition that a Sasakian space form has constant $ϕ$-sectional curvature $c$ is spectrally determined.
We show that a connection with skew-symmetric torsion satisfying the Einstein metricity condition exists on an almost contact metric manifold exactly when it is D-homothetic to a cosymplectic manifold. In dimension five, we get that the existence of a connection with skew torsion satisfying the Einstein metricity condition is equivalent to the existence of a Sasaki-Einstein 5-manifold and vice versa, any Sasaki-Einstein 5-manifold generates a two parametric family of connections with skew torsion satisfying the Einstein metricity condition. Formulas for the curvature and the Ricci tensors of t…
We prove the existence of Sasaki-Einstein metrics on certain simply connected 5-manifolds where until now existence was unknown. All of these manifolds have non-trivial torsion classes. On several of these we show that there are a countable infinity of deformation classes of Sasaki-Einstein structures.
We present a non existence result of complete, Einstein hypersurfaces tangent to the Reeb vector field of a regular Sasakian manifold which fibers onto a complex Stein manifold.
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 show that the Einstein-Hilbert functional, as a functional on the space of Reeb vector fields, detects the vanishing Sasaki-Futaki invariant. In particular, this provides an obstruction to the existence of a constant scalar curvature Sasakian metric. As an application we prove that K-semistable polarized Sasaki manifold has vanishing Sasaki-Futaki invariant. We then apply this result to show that under the right conditions on the Sasaki join manifolds of [7] a polarized Sasaki manifold is K-semistable if only if it has constant scalar curvature.
We show that a polarized affine variety admits a Ricci flat Kähler cone metric, if and only if it is K-stable. This generalizes Chen-Donaldson-Sun's solution of the Yau-Tian-Donaldson conjecture to Kähler cones, or equivalently, Sasakian manifolds. As an application we show that the five-sphere admits infinitely many families of Sasaki-Einstein metrics.
We show that $\scriptstyle{#9(S^2\times S^3)}$ admits an 8-dimensional complex family of inequivalent non-regular Sasakian-Einstein structures. These are the first known Einstein metrics on this 5-manifold. In particular, the bound $\scriptstyle{b_2(M)\leq8}$ which holds for any regular Sasakian-Einstein $\scriptstyle{M}$ does not apply to the non-regular case. We also discuss the failure of the Hitchin-Thorpe inequality in the case of 4-orbifolds and describe the orbifold version.
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.
In this article we study the stability problem for the Einstein metrics on Sasaki Einstein and on complete nearly parallel ${\rm G}_2$ manifolds. In the Sasaki case we show linear instability if the second Betti number is positive. Similarly we prove that nearly parallel $\rm G_2$ manifolds with positive third Betti number are linearly unstable. Moreover, we prove linear instability for the Berger space ${\rm SO}(5)/{\rm SO}(3)_{irr} $ which is a $7$-dimensional homology sphere with a proper nearly parallel ${\rm G}_2$ structure.
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.
In this note, we construct new examples of Lorentzian Sasaki-Einstein (LSE) metrics on Smale manifolds $M.$ It has already been established in \cite{Gmz2} that such metrics exist on the so-called torsion free Smale manifolds, i.e. the $k$-fold connected sum of $S^{2}\times S^{3}.$ Now, we show that LSE metrics exist on Smale manifolds for which $H_{2}(M,\mathbb{Z})_{tor}$ is nontrivial. In particular, we show that most simply-connected positive Sasakian rational homology 5-spheres are also negative Sasakian (hence Lorentzian Sasaki-Einstein). Moreover, we show that for each pair of positive in…
We extract a new class of paracontact paracomplex Riemannian manifolds arising from certain cone construction, call it para-Sasaki-like Riemannian manifold and give explicit examples. We define a hyperbolic extension of a paraholomorphic paracomplex Riemannian manifold, which is a local product of two Riemannian spaces with equal dimensions, showing that it is a para-Sasaki-like Riemannian manifold. If the starting paraholomorphic paracomplex Riemannian manifold is complete Einstein with negative scalar curvature then its hyperbolic extension is a complete Einstein para-Sasaki-like Riemannian …
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…
For a given minimal Legendrian submanifold $L$ of a Sasaki-Einstein manifold we construct two families of eigenfunctions of the Laplacian of $L$ and we give a lower bound for the dimension of the corresponding eigenspace. Moreover, in the case the lower bound is attained, we prove that $L$ is totally geodesic and a rigidity result about the ambient manifold. This is a generalization of a result for the standard Sasakian sphere done by Lê and Wang.
The orthogonal decomposition of the Webster curvature provides us a way to characterize some canonical metrics on a pseudo-Hermitian manifold. We derive some subelliptic differential inequalities from the Weitzenböck formulas for the traceless pseudo-Hermitian Ricci tensor and the Chern-Moser tensor of Sasakian manifolds with constant pseudo-Hermitian scalar curvature and Sasakian pseudo-Einstein manifolds respectively. By means of either subelliptic estimates or maximum principle, some rigidity theorems are established to characterize Sasakian pseudo-Einstein manifolds among Sasakian manifold…
The aim of this paper is to study Sasakian immersions of compact Sasakian manifolds into the odd-dimensional sphere equipped with the standard Sasakian structure. We obtain a complete classification of such manifolds in the Einstein and $η$-Einstein cases when the codimension of the immersion is $4$. Moreover, we exhibit infinite families of compact Sasakian $η$--Einstein manifolds which cannot admit a Sasakian immersion into any odd-dimensional sphere. Finally, we show that, after possibly performing a ${\mathcal {D}}$-homothetic deformation, a homogeneous Sasakian manifold can be Sasakian im…
Negative Sasakian manifolds, where the first Chern class of the contact subbundle is a torsion class, can be viewed as Seifert-$S^1$ bundles where the base orbifold has an ample orbifold canonical class. We use this framework to settle completely an open problem formulated by C.Boyer and K.Galicki which asks whether or not arbitrary connected sums of $S^2\times S^3$ are negative Sasakian manifolds. As a consequence of the affirmative answer to this problem, there exists so-called Sasaki eta-Einstein and Lorentzian Sasaki-Einstein metrics on all of these five-manifolds and moreover all of these…
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 show that the standard definitions of Sasaki structures have elegant and simplifying interpretations in terms of projective differential geometry. For Sasaki-Einstein structures we use projective geometry to provide a resolution of such structures into geometrically less rigid components; the latter elemental components are separately, complex, orthogonal, and symplectic holonomy reductions of the canonical projective tractor/Cartan connection. This leads to a characterisation of Sasaki-Einstein structures as projective structures with certain unitary holonomy reductions. As an immediate ap…
In this paper we study the deformation theory of submanifolds characterized by a system of differential forms and provide a criterion for deformations of such submanifolds to be unobstructed. We apply this deformation theory to special Legendrian submanifolds in Sasaki-Einstein manifolds. In general, special Legendrian deformations have the obstruction. However, we show that the deformation space of special Legendrian submanifolds is the intersection of two larger smooth deformation spaces of different types. We also prove that any special Legendrian submanifold admits smooth deformations, whi…
In this paper, we introduce the trans-para-Sasakian manifolds and we study their geometry. These manifolds are an analogue of the trans-Sasakian manifolds in the Riemannian geometry. We shall investigate many curvature properties of these manifolds and we shall give many conditions under which the manifolds are either $η-$Einstein or Einstein manifolds.
This is a sequel to our paper arXiv:1402.2546 to appear in the Journal of Geometric Analysis in which we concentrate on developing some of the topological properties of Sasaki-Einstein manifolds. In particular, we explicitly compute the cohomology rings for several cases not treated in arXiv:1402.2546 and give a formula for homotopy equivalence in one particular 7-dimensional case.
We carry on a systematic study of nearly Sasakian manifolds. We prove that any nearly Sasakian manifold admits two types of integrable distributions with totally geodesic leaves which are, respectively, Sasakian or $5$-dimensional nearly Sasakian manifolds. As a consequence, any nearly Sasakian manifold is a contact manifold. Focusing on the $5$-dimensional case, we prove that there exists a one-to-one correspondence between nearly Sasakian structures and a special class of nearly hypo $SU(2)$-structures. By deforming such a $SU(2)$-structure one obtains in fact a Sasaki-Einstein structure. Fu…
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…
Extending the work of G. Székelyhidi and T. Brönnle to Sasakian manifolds we prove that a small deformation of the complex structure of the cone of a constant scalar curvature Sasakian manifold admits a constant scalar curvature structure if it is K-polystable. This also implies that a small deformation of the complex structure of the cone of a constant scalar curvature structure is K-semistable. As applications we give examples of constant scalar curvature Sasakian manifolds which are deformations of toric examples, and we also show that if a 3-Sasakian manifold admits a non-trivial transvers…
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.
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…
