Sasakian Geometry, Hypersurface Singularities, and Einstein Metrics
Charles P. Boyer, Krzysztof Galicki
备注:
This is an expository article that grew out of notes for the three lectures the second author presented during the XXIV-th Winter School of {\it Geometry and Physics} in Srni, Czech Republic, in January of 2004., 30 pages. Some new examples and references were added
发表信息:
Supplemento ai Rendiconti del Circolo Matematico di Palermo Serie II. Suppl 75 (2005), 57-87.
We review our study of Sasakian geometry as an agent for proving the existence of Einstein metrics on odd dimensional manifolds. Particular emphasis is given to the Sasakian structures occuring on links of isolated hypersurface singularities.
In this article we consider the concept of biharmonicity about the hypersurfaces in the Sasakian space form which is equipped with the Tanaka-Webster connection.
We introduce two classes of null hypersurfaces of an indefinite Sasakian manifold, $(\overline{M}, \overlineϕ,ζ, η)$, tangent to the characteristic vector field $ζ$, called; {\it contact screen conformal} and {\it contact screen umbilic} null hypersurfaces. These hypersurfaces come in to fill the existing gap in screen conformal and screen totally umbilic null hypersurfaces. We prove that such hypersurfaces are contained in indefinite Sasakian space forms of constant $\overlineϕ$-sectional curvature of $-3$.
In this paper, we study the invariant and noninvariant hypersurfaces of (1,1,1) almost contact manifolds, Lorentzian almost paracontact manifolds and Lorentzian para-Sasakian manifolds, respectively. We show that a noninvariant hypersurface of an (1,1,1) almost contact manifold admits an almost product structure. We investigate hypersurfaces of affinely cosymplectic and normal (1,1,1) almost contact manifolds. It is proved that a noninvariant hypersurface of a Lorentzian almost paracontact manifold is an almost product metric manifold. Some necessary and sufficient conditions have been given f…
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 paper we have studied the properties of Quasi umbilical hypersurface $M$ of a Sasakian manifold $\tilde M$ with $(ϕ, g, u, v, λ)-$structure and established the relation for $M$ to be cylindrical.
In this paper, we initiate the study of lightlike hypersurfaces of an $(ε)$-almost paracontact metric manifold which are tangent to the structure vector field. In particular, we give definitions of invariant lightlike hypersurfaces and screen semi-invariant lightlike hypersurfaces, and give some examples. Integrability conditions for the distributions involved in the screen semi-invariant lightlike hypersurface are investigated when the ambient manifold is an $(ε)$-para Sasakian manifold.
In 1970, Samuel I. Goldberg and Kentaro Yano defined the notion of noninvariant hypersurface of a Sasakian manifold [1]. In this paper we have studied the properties of parallel vector fields with respect to induced connection on the noninvariant hypersurface $M$ of a Sasakian manifold $\tilde M$ with $(ϕ, g, u, v, λ)-$ structure and proved that if the vector field $V$ is parallel with respect to induced connection on $M$ then $M$ is totally geodesic.
In this paper we have studied the properties of covariant almost analytic vector field on Q - quasi umbilical hypersurface $M$ of a Sasakian manifold $\tilde M$ with $(ϕ, g, u, v, λ)-$structure and obtained the scalars $α$ and $β$ using $1 - form u, v$ covariant almost analytic for the hypersurface $M$ to be totally umbilical and cylindrical.
In this study, we introduce indefinite sasakian statistical manifolds and lightlike hypersurfaces of an indefinite sasakian statistical manifold. Some relations among induced geometrical objects with respect to dual connections in a lightlike hypersurface of an indefinite sasakian manifold are obtained. Some examples related to these concepts are also presented. Finally, we prove that an invariant lightlike submanifold of indefinite sasakian statistical manifold is an indefinite sasakian statistical manifold.
Einstein like $(\varepsilon)$-para Sasakian manifolds are introduced. For an $(\varepsilon) $-para Sasakian manifold to be Einstein like, a necessary and sufficient condition in terms of its curvature tensor is obtained. The scalar curvature of an Einstein like $(\varepsilon) $-para Sasakian manifold is obtained and it is shown that the scalar curvature in this case must satisfy certain differential equation. A necessary and sufficient condition for an $(\varepsilon) $-almost paracontact metric hypersurface of an indefinite locally Riemannian product manifold to be $(\varepsilon) $-para Sasaki…
This is an expository paper describing the geometry of certain Sasakian-Einstein manifolds. Such manifolds have recently become of interest due to Maldacena's AdS/CFT conjecture. They describe near-horizon geometries of branes at conical singularities.
On simply connected five manifolds Sasakian-Einstein metrics coincide with Riemannian metrics admitting real Killing spinors which are of great interest as models of near horizon geometry for three-brane solutions in superstring theory [KW]. We expand on the recent work of Demailly and Kollár [DK] and Johnson and Kollár [JK1] who give methods for constructing Kähler-Einstein metrics on log del Pezzo surfaces. By [BG1] circle V-bundles over log del Pezzo surfaces with Kähler-Einstein metrics have Sasakian-Einstein metrics on the total space of the bundle. Here these simply connected 5-manifolds…
Let (M,η,ξ,Φ,g) be a compact quasi-regular Sasakian 5-manifold with finite cyclic quotient foliation singularities of type (1/r)(1,a). First, we derive the foliation minimal model program by applying the resolution of cyclic quotient foliation singularities. Secondly, based on the study of local model of resolution of foliation singularities, we prove the foliation canonical surgical contraction or the foliation extremal ray contraction under the Sasaki-Ricci flow. As a consequence, we prove a Sasaki analogue of analytic minimal model program with the Keahler-Ricci flow due to Song-Tian and So…
We classify all proper-biharmonic Legendre curves in a Sasakian space form and point out some of their geometric properties. Then we provide a method for constructing anti-invariant proper-biharmonic submanifolds in Sasakian space forms. Finally, using the Boothby-Wang fibration, we determine all proper-biharmonic Hopf cylinders over homogeneous real hypersurfaces in complex projective spaces.
The purpose of this note is to introduce a new method for proving the existence of Sasakian-Einstein metrics on certain simply connected odd dimensional manifolds. We then apply this method to prove the existence of new Sasakian-Einstein metrics on $\scriptstyle{S^2\times S^3}$ and on $\scriptstyle{(S^2\times S^3)# (S^2\times S^3).}$ These give the first known examples of non-regular Sasakian-Einstein 5-manifolds. Our method involves describing the Sasakian-Einstein structures as links of certain isolated hypersurface singularities, and makes use of the recent work of Demailly and Kollár, AG/9…
Let $X_0$ be an affine variety with only normal isolated singularity $p$ and $π: X\to X_0$ a smooth resolution of the singularity with trivial canonical line bundle $K_X$. If the complement of the affine variety $X_0\backslash\{p\}$ is the cone $C(S)=\Bbb R_{>0}\times S$ of an Einstein-Sasakian manifold $S$, we shall prove that the crepant resolution $X$ of $X_0$ admits a complete Ricci-flat Kähler metric in every Kähler class in $H^2(X)$. We apply the continuity method for solving the Monge-Ampère equation to obtain a relevant existence theorem and a uniqueness theorem of Ricci-flat conical K…
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…
In this article, we study the biharmonic hypersurfaces in the Sasakian space form with the induced metric of tensor Ricci. We find the existence necessary and sufficient condition of the biharmonic hypersurfaces there. We show that the biharmonic Hopf hypersurfaces are minimal where gradient of the mean curvature is in direction of the structural vector fields. Furthermore, we prove that does not exist any biharmonic Hopf hypersurfaces when the gradient of the mean curvature is a principal direction.
We extend the results of Hardt and Simon on area-minimizing cones to prove that isolated singularities of stationary one-sided area-minimizing hypersurfaces can be locally perturbed away on the side that they are minimizing.
Using 3-Sasakian reduction techniques we obtain infinite families of new 3-Sasakian manifolds $\scriptstyle{{\cal M}(p_1,p_2,p_3)}$ and $\scriptstyle{{\cal M}(p_1,p_2,p_3,p_4)}$ in dimension 11 and 15 respectively. The metric cone on $\scriptstyle{{\cal M}(p_1,p_2,p_3)}$ is a generalization of the Kronheimer hyperkähler metric on the regular maximal nilpotent orbit of $\scriptstyle{{\Got s}{\Got l}(3,\bbc)}$ whereas the cone on $\scriptstyle{{\cal M}(p_1,p_2,p_3,p_4)}$ generalizes the hyperkähler metric on the 16-dimensional orbit of $\scriptstyle{{\Got s}{\Got o}(6,\bbc)}$. These are first ex…
We study the Sasaki cone of a CR structure of Sasaki type on a given closed manifold. We introduce an energy functional over the cone, and use its critical points to single out the strongly extremal Reeb vectors fields. Should one such vector field be a member of the extremal set, the scalar curvature of a Sasaki extremal metric representing it would have the smallest $L^2$-norm among all Sasakian metrics of fixed volume that can represent vector fields in the cone. We use links of isolated hypersurface singularities to produce examples of manifolds of Sasaki type, many of these in dimension f…
In this paper, we show that the uniform L^{4}-bound of the transverse Ricci curvature along the Sasaki-Ricci flow on a compact quasi-regular Sasakian (2n+1)-manifold M of general type. As an application, any solution of the normalized Sasaki-Ricci flow converges in the Cheeger-Gromov sense to the unique singular Sasaki η-Einstein metric on the transverse canonical model M_{can} of M if n is less than or equal to 3. In particular for n equal to 2, M_{can} is a S^{1}-orbibundle over the unique Keahler-Einstein orbifold surface (Z_{can},ω_{KE}) with finite point orbifold singularities. The floati…
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…
Locally stable minimal hypersurface could have singularities in dimension $\geq 7$ in general, locally modeled on stable and area-minimizing cones in the Euclidean spaces. In this paper, we present different aspects of how these singularities may affect the local behavior of minimal hypersurfaces. First, given a non-degenerate minimal hypersurface with strictly stable and strictly minimizing tangent cone at each singular point, under any small perturbation of the metric, we show the existence of a nearby minimal hypersurface under new metric. For a generic choice of perturbation direction, we …
This is Part 1 of two papers where we develop the basic potential theory of elliptic operators on posssibly singular almost minimzers using their hyperbolic unfoldings. We can establish surprisingly robust boundary Harnack inequalities along the singular set. We apply them to derive a Martin theory and solve classical boundary value problems and we also consider eigenvalue problems and variational problems on such singular spaces.
Anti-de Sitter space is the Lorentzian space form with negative curvature. In this paper we consider lightlike hypersurfaces along spacelike submanifolds in anti-de Sitter space with general codimension. In particular, we investigate the singularities of lightlike hypersurfaces as an application of the theory of Legendrian singularities.
The total curvature of complex hypersurfaces in $\bC^{n+1}$ and its variation in families appear to depend not only on singularities but also on the behaviour in the neighbourhood of infinity. We find the asymptotic loss of total curvature towards infinity and we express the total curvature and the Gauss-Bonnet defect in terms of singularities and tangencies at infinity.
In a previous work, the authors gave a definition of `front bundles'. Using this, we give a realization theorem for wave fronts in space forms, like as in the fundamental theorem of surface theory. As an application, we investigate the behavior of principal singular curvatures along A_2-singularities of hypersurfaces with non-negative sectional curvature in Euclidean space.
We prove that every Kaehler metric, whose potential is a function of the time-like distance in the flat Kaehler-Lorentz space, is of quasi-constant holomorphic sectional curvatures, satisfying certain conditions. This gives a local classification of the Kaehler manifolds with the above mentioned metrics. New examples of Sasakian space forms are obtained as real hypersurfaces of a Kaehler space form with special invariant distribution. We introduce three types of even dimensional rotational hypersurfaces in flat spaces and endow them with locally conformal Kaehler structures. We prove that thes…
In this paper we develop methods to extend the minimal hypersurface approach to positive scalar curvature problems to all dimensions. This includes a proof of the positive mass theorem in all dimensions without a spin assumption. It also includes statements about the structure of compact manifolds of positive scalar curvature extending the work of \cite{sy1} to all dimensions. The technical work in this paper is to construct minimal slicings and associated weight functions in the presence of small singular sets and to show that the singular sets do not become too large in the lower dimensional…
A mean curvature flow starting from a closed embedded hypersurface in $R^{n+1}$ must develop singularities. We show that if the flow has only generic singularities, then the space-time singular set is contained in finitely many compact embedded $(n-1)$-dimensional Lipschitz submanifolds plus a set of dimension at most $n-2$. If the initial hypersurface is mean convex, then all singularities are generic and the results apply. In $R^3$ and $R^4$, we show that for almost all times the evolving hypersurface is completely smooth and any connected component of the singular set is entirely contained …
This paper establishes the geometric structure of the lines of principal curvature of a hypersurface immersed in ${\mathbb R}^4$ in a neighborhood of the set $\mathcal{S}$ of its principal curvature singularities, consisting of the points at which atF least two principal curvatures are equal. Under generic conditions defined by appropriate transversality hypotheses it is proved that $\mathcal{S}$ is the union of regular smooth curves $\mathcal{S}_{12}$ and $\mathcal{S}_{23}$, consisting of partially umbilic points, where only two principal curvatures coincide. This curve is partitioned into re…