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.
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.
In this paper, we prove that the transverse Mabuchi K-energy functional is convex along the weak geodesic in the space of Sasakian metrics. As an application, we obtain the uniqueness of constant scalar curvature Sasakian metrics modulo automorphisms for the transverse holomorphic structure.
We develop some pluripotential theoretic techniques for the transversally holomorphic foliation of a Sasakian manifold. We prove the convexity of the K-energy along weak geodesics for Sasakian manifolds. This implies that the K-energy is bounded below if a constant scalar curvature structure exists with those metrics minimizing it. More generally, a relative version of the K-energy is convex, and bounded below if there exists a Sasaki-extremal metric, providing an important necessary condition for Sasaki-extremal metrics. Another application is a proof of the uniqueness of Sasaki-extremal metr…
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.
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…
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…
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…
In this paper, we show that the existence of Sasakian-Einstein metrics is closely related to the properness of corresponding energy functionals. Under the condition that admitting no nontrivial Hamiltonian holomorphic vector field, we prove that the existence of Sasakian-Einstein metric implies a Moser-Trudinger type inequality. At the end of this paper, we also obtain a Miyaoka-Yau type inequality in Sasakian geometry.
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.
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 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 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 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.
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 show that on a Sasakian 3-sphere the Sasaki-Ricci flow initiating from a Sasakian metric of positive transverse scalar curvature converges to a gradient Sasaki- Ricci soliton. We also show the existence and uniqueness of gradient Sasaki-Ricci soliton on each Sasakian 3-sphere.
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 …
FaMAF, Universidad Nacional de Córdoba(科尔多瓦国立大学数学与应用物理研究所);Ciem-Conicet(阿根廷国家科学研究委员会数学研究所);Departamento de Matemática Aplicada, Instituto de Matemática e Estatística, Universidade Federal Fluminense(弗鲁米嫩塞联邦大学数学与统计学院应用数学系);PGMat, Instituto de Matemática e Estatística, Universidade Federal Fluminense(弗鲁米嫩塞联邦大学数学与统计学院研究生数学项目)
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…
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 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 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…
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 discuss Sasakian-Einstein geometry under a quasi-regularity assumption. It is shown that the space of all quasi-regular Sasakian-Einstein orbifolds has a natural multiplication on it. Furthermore, necessary and sufficient conditions are given for the `product' of two Sasakian-Einstein manifolds to be a smooth Sasakian-Einstein manifold. Using spectral sequence arguments we work out the cohomology ring in many cases of interest. This type of geometry has recently become of interest in the physics of supersymmetric conformal field theories.
This article is an overview of some of the remarkable progress that has been made in Sasaki-Einstein geometry over the last decade, which includes a number of new methods of constructing Sasaki-Einstein manifolds and obstructions.
We decompose the de Rham Laplacian on Sasaki-Einstein manifolds as a sum over mostly positive definite terms. An immediate consequence are lower bounds on its spectrum. These bounds constitute a supergravity equivalent of the unitarity bounds in dual superconformal field theories. The proof uses a generalization of Kahler identities to the Sasaki-Einstein case.
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$.
Given a Sasaki manifold S, we prove the Sasaki-Ricci flow converges exponentially fast to a Sasaki-Einstein metric if one exists, provided the automorphism group of the transverse holomorphic structure is trivial.
We prove the following results: (i) A Sasakian metric as a non-trivial Ricci soliton is null $η$-Einstein, and expanding. Such a characterization permits to identify the Sasakian metric on the Heisenberg group $\mathcal{H}^{2n+1}$ as an explicit example of (non-trivial) Ricci soliton of such type. (ii) If an $η$-Einstein contact metric manifold $M$ has a vector field $V$ leaving the structure tensor and the scalar curvature invariant, then either $V$ is an infinitesimal automorphism, or $M$ is $D$-homothetically fixed $K$-contact.
The purpose of this paper is to study *-Ricci tensor on Sasakian manifold. Here, ϕ-confomally flat and confomally flat *-η-Einstein Sasakian manifold are studied. Next, we consider *-Ricci symmetric conditon on Sasakian manifold. Finally, we study a special type of metric called *-Ricci soliton on Sasakian manifold.
The Newman-Penrose-Perjes formalism is applied to Sasakian 3-manifolds and the local form of the metric and contact structure is presented. The local moduli space can be parameterised by a single function of two variables and it is shown that, given any smooth function of two variables, there exists locally a Sasakian structure with scalar curvature equal to this function. The case where the scalar curvature is constant ($η$-Einstein Sasakian metrics) is completely solved locally. The resulting Sasakian manifolds include $S^3$, $Nil$ and $\tilde{SL_2R}$, as well as the Berger spheres. It is al…
A 3-Sasakian structure on a 7-manifold may be used to define two distinct Einstein metrics: the 3-Sasakian metric and the squashed Einstein metric. Both metrics are induced by nearly parallel $G_2$-structures which may also be expressed in terms of the 3-Sasakian structure. Just as Einstein metrics are critical points for the Ricci flow up to rescaling, nearly parallel $G_2$-structures provide natural critical points of the (rescaled) geometric flows of $G_2$-structures known as the Laplacian flow and Laplacian coflow. We study each of these flows in the 3-Sasakian setting and see that their b…