We construct complete noncompact Riemannian metrics with $G_2$-holonomy on noncompact orbifolds that are $\Bbb R^3$-bundles with the twistor space $\mathcal{Z}$ as a spherical fiber.
We study compact Sasakian manifolds whose Tondeur connection has holonomy group either trivial or contained in Sp(n). We show that the first condition forces the manifold to be a compact quotient of the Heisenberg Lie group, while in the simply-connected case a Sasakian structure has the holonomy of the Tondeur connection contained in Sp(n) if and only if there exists a transverse hypercomplex structure. This latter result is the "Sasakian version" of a theorem of Verbitsky.
Our aim is to support the choice of two remarkable connections with torsion in a 3-Sasakian manifold, proving that, in contrast to the Levi-Civita connection, the holonomy group in the homogeneous cases reduces to a proper subgroup of the special orthogonal group, of dimension considerably smaller. We realize the computations of the holonomies in a unified way, by using as a main algebraic tool a nonassociative structure, that one of symplectic triple system.
In this expository article we discuss the relations between Sasakian geometry, reduced holonomy and supersymmetry. It is well known that the Riemannian manifolds other than the round spheres that admit real Killing spinors are precisely Sasaki-Einstein manifolds, 7-manifolds with a nearly parallel G2 structure, and nearly Kaehler 6-manifolds. We then discuss the relations between the latter two and Sasaki-Einstein geometry.
We completely explore the system of ODE's which is equivalent to the existence of a parallel $Spin(7)$-structure on the cone over a 7-dimensional 3-Sasakian manifold. The one-dimensional family of solutions of this system is constructed. The solutions of this family correspond to metrics with holonomy SU(4) which generalize the Calabi metrics.
We construct a compact simply-connected 7-dimensional manifold admitting a K-contact structure but not a Sasakian structure. We also study rational homotopy properties of such manifolds, proving in particular that a simply-connected 7-dimensional Sasakian manifold has vanishing cup-product on the second cohomology and that it is formal if and only if all its triple Massey products vanish.
We solve the problem posed by Boyer and Galicki about the existence of K-contact simply connected manifolds with no Sasakian structure. Although the result lies in the framework of metric contact geometry, our methods come from contact and symplectic geometry and are based on the method of fat bundles developed by Sternberg, Weinstein and Lerman.
We prove that any simply connected compact 3-Sasakian manifold, of dimension seven, is formal if and only if its second Betti number is $b_2<2$. In the opposite, we show an example of a 7-dimensional Sasaki-Einstein manifold, with second Betti number $b_2\geq 2$, which is formal. Therefore, such an example does not admit any 3-Sasakian structure. Examples of 7-dimensional simply connected compact formal Sasakian manifolds, with $b_2\geq 2$, are also given.
We provide a new, self-contained proof of the classification of homogeneous 3-Sasakian manifolds, which was originally obtained by Boyer, Galicki and Mann. In doing so, we construct an explicit one-to-one correspondence between simply connected homogeneous 3-Sasakian manifolds and simple complex Lie algebras via the theory of root systems. We also discuss why the real projective spaces are the only non-simply connected homogeneous 3-Sasakian manifolds and derive the famous classification of homogeneous positive quaternionic Kähler manifolds due to Wolf and Alekseevskii from our results.
We study the control system of a Riemannian manifold $M$ of dimension $n$ rolling on the sphere $S^n$. The controllability of this system is described in terms of the holonomy of a vector bundle connection which, we prove, is isomorphic to the Riemannian holonomy group of the cone $C(M)$ of $M$. Using Berger's list, we reduce the possible holonomies to a few families. In particular, we focus on the cases where the holonomy is the unitary and the symplectic group. In the first case, using the rolling formalism, we construct explicitly a Sasakian structure on $M$; and in the second case, we cons…
We investigate the holonomy group of a linear metric connection with skew-symmetric torsion. In case of the euclidian space and a constant torsion form this group is always semisimple. It does not preserve any non-degenerated 2-form or any spinor. Suitable integral formulas allow us to prove similar properties in case of a compact Riemannian manifold equipped with a metric connection of skew-symmetric torsion. On the Aloff-Wallach space N(1,1) we construct families of connections admitting parallel spinors. Furthermore, we investigate the geometry of these connections as well as the geometry o…
In this paper, we derive a sub-gradient estimate for pseudoharmonic maps from noncompact complete Sasakian manifolds which satisfy CR sub-Laplace comparison property, to simply-connected Riemannian manifolds with nonpositive sectional curvature. As its application, we obtain some Liouville theorems for pseudoharmonic maps. In the Appendix, we modify the method and apply it to harmonic maps from noncompact complete Sasakian manifolds.
By a classical theorem of Gallot (1979), a Riemannian cone over a complete Riemannian manifold is either flat or has irreducible holonomy. We consider metric cones with reducible holonomy over pseudo-Riemannian manifolds. First we describe the local structure of the base of the cone when the holonomy of the cone is decomposable. For instance, we find that the holonomy algebra of the base is always the full pseudo-orthogonal Lie algebra. One of the global results is that a cone over a compact and complete pseudo-Riemannian manifold is either flat or has indecomposable holonomy. Then we analyse …
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…
We study several questions on the existence of negative Sasakian structures on simply connected rational homology spheres and on Smale-Barden manifolds of the form $\#_k(S^2\times S^3)$. First, we prove that any simply connected rational homology sphere admitting positive Sasakian structures also admits a negative one. This result answers the question, posed by Boyer and Galicki in their book [BG], of determining which simply connected rational homology spheres admit both negative and positive Sasakian structures. Second, we prove that the connected sum $\#_k(S^2\times S^3)$ admits negative qu…
The problem of classification of connected holonomy groups (equivalently of holonomy algebras) for pseudo-Riemannian manifolds is open. The classification of Riemannian holonomy algebras is a classical result. The classification of Lorentzian holonomy algebras was obtained recently. In the present paper weakly-irreducible not irreducible subalgebras of $\su(1,n+1)$ ($n\geq 0$) are classified. Weakly-irreducible not irreducible holonomy algebras of pseudo-Kählerian and special pseudo-Kählerian manifolds are classified. An example of metric for each possible holonomy algebra is given. This gives…
A Sasakian structure on a manifold is called {\it positive} if its basic first Chern class can be represented by a positive (1,1)-form with respect to its transverse holomorphic CR-structure. We prove a theorem that says that every positive Sasakian structure can be deformed to a Sasakian structure whose metric has positive Ricci curvature. This allows us by example to give a completely independent proof of a result of Sha and Yang [SY] that for every positive integer k the k-fold connected sum of $S^2\times S^3$ admits metrics of positive Ricci curvature.
We apply the Berglund-Hübsch transpose rule from BHK mirror symmetry to show that to an $n-1$-dimensional Calabi-Yau orbifold in weighted projective space defined by an invertible polynomial, we can associate four (possibly) distinct Sasaki manifolds of dimension $2n+1$ which are $n-1$-connected and admit a metric of positive Ricci curvature. We apply this theorem to show that for a given K3 orbifold, there exists four seven dimensional Sasakian manifolds of positive Ricci curvature, two of which are actually Sasaki-Einstein.
We give a new, connected-sum-like construction of Riemannian metrics with special holonomy G_2 on compact 7-manifolds. The construction is based on a gluing theorem for appropriate elliptic partial differential equations. As a prerequisite, we also obtain asymptotically cylindrical Riemannian manifolds with holonomy SU(3) building up on the work of Tian and Yau. Examples of new topological types of compact 7-manifolds with holonomy G_2 are constructed using Fano 3-folds.
We investigate some topological properties, in particular formality, of compact Sasakian manifolds. Answering some questions raised by Boyer and Galicki, we prove that all higher (than three) Massey products on any compact Sasakian manifold vanish. Hence, higher Massey products do obstruct Sasakian structures. Using this we produce a method of constructing simply connected K-contact non-Sasakian manifolds. On the other hand, for every $n \geq 3$, we exhibit the first examples of simply connected compact Sasakian manifolds of dimension $2n + 1$ which are non-formal. They are non-formal because …
We give an exhaustive description of all simply connected odd dimensional cohomogeneity one manifolds that can possibly support an invariant metric with positive sectional curvature. Among the known examples of odd dimensional manifolds with positive curvature, apart from spheres, there are two infinite families among the 7-dimensional Eschenburg spaces and 13-dimensional Bazaikin spaces and one isolated 7-dimensional Berger space with this property. In addition to these examples, it turns out that only one isolated 7-manifold, and two infinite 7-dimensional families, potentially admit invaria…
We describe the possible holonomy groups of simply connected irreducible non-locally symmetric pseudo-Riemannian spin manifolds which admit parallel spinors.
We construct the first example of a 5-dimensional simply connected compact manifold that admits a K-contact structure but does not admit a semi-regular Sasakian structure. For this, we need two ingredients: (a) to construct a suitable simply connected symplectic 4-manifold with disjoint symplectic surfaces spanning the homology, all of them but one of genus 1 and the other of genus g>1, (b) to prove a bound on the second Betti number $b_2$ of an algebraic surface with $b_1=0$ and having disjoint complex curves spanning the homology when all of them but one are of genus 1 and the other of genus…
In this paper we demonstrate the existence of Sasakian-Einstein structures on certain 2-connected rational homology 7-spheres. These appear to be the first non-regular examples of Sasakian-Einstein metrics on simply connected rational homology spheres. We also briefly describe the rational homology 7-spheres that admit regular positive Sasakian structures.
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.
We prove that SU(n) (n > 2) and Sp(n)U(1) (n > 1) are the only connected Lie groups acting transitively and effectively on some sphere which can be weak holonomy groups of a Riemannian manifold without having to contain its holonomy group. In both cases the manifold is Kaehler.
The holonomy group $G$ of a pseudo-quaternionic-Kählerian manifold of signature $(4r,4s)$ with non-zero scalar curvature is contained in $\Sp(1)\cdot\Sp(r,s)$ and it contains $\Sp(1)$. It is proved that either $G$ is irreducible, or $s=r$ and $G$ preserves an isotropic subspace of dimension $4r$, in the last case, there are only two possibilities for the connected component of the identity of such $G$. This gives the classification of possible connected holonomy groups of pseudo-quaternionic-Kählerian manifolds of non-zero scalar curvature.
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…
In this paper we prove that the holonomy group of a simply connected locally projectively flat Finsler manifold of constant curvature is a finite dimensional Lie group if and only if it is flat or it is Riemannian.
The problem of classification of connected holonomy groups (equivalently of holonomy algebras) for pseudo-Riemannian manifolds is open. The classification of Riemannian holonomy algebras is a classical result. The classification of Lorentzian holonomy algebras was obtained recently. In the present paper weakly-irreducible not irreducible subalgebras of $\su(1,n+1)$ ($n\geq 0$) are classified. Weakly-irreducible not irreducible holonomy algebras of pseudo-Kählerian and special pseudo-Kählerian manifolds are classified. An example of metric for each possible holonomy algebra is given. This gives…
Possible holonomy algebras of pseudo-quaternionic-Kählerian manifolds of signature $(4,4)$ are classified. Using this, a new proof of the classification of simply connected pseudo-quaternionic-Kählerian symmetric spaces of signature $(4,4)$ is obtained.
The holonomy algebra of a pseudo-hyper-Kählerian manifold of signature $(4,4n+4)$ is a subalgebra of $\sp(1,n+1)$. Possible holonomy algebras of these manifolds are classified. Using this, a new proof of the classification of simply connected pseudo-hyper-Kählerian symmetric spaces of index 4 is obtained.
We prove the existence of Sasakian metrics with positive Ricci curvature on certain highly connected odd dimensional manifolds. In particular, we show that manifolds homeomorphic to the 2k-fold connected sum of S^{2n-1} x S^{2n} admit Sasakian metrics with positive Ricci curvature for all k. Furthermore, a formula for computing the diffeomorphism types is given and tables are presented for dimensions 7 and 11.
If the conformal holonomy group $Hol(\mathcal{T})$ of a simply connected space with conformal structure of signature $(2p-1,2q-1)$ is reduced to $\U(p,q)$ then the conformal holonomy is already contained in the special unitary group $\SU(p,q)$. We present two different proofs of this statement, one using conformal tractor calculus and an alternative proof using Sparling's characterisation of Fefferman metrics.
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 present a construction of closed 7-manifolds of holonomy G_2, which generalises Kovalev's twisted connected sums by taking quotients of the pieces in the construction before gluing. This makes it possible to realise a wider range of topological types, and Crowley, Goette and the author arXiv:1505.02734 use this to exhibit examples of closed 7-manifolds with disconnected moduli space of holonomy G_2 metrics.
In the first part, we define and investigate new classes of almost 3-contact metric manifolds, with two guiding ideas in mind: first, what geometric objects are best suited for capturing the key properties of almost 3-contact metric manifolds, and second, the newly defined classes should admit 'good' metric connections with skew torsion. In particular, we introduce the Reeb commutator function and the Reeb Killing function, we define the new classes of canonical almost 3-contact metric manifolds and of 3-$(α,δ)$-Sasaki manifolds (including as special cases 3-Sasaki manifolds, quaternionic Heis…
In this paper, we investigate the holonomy structure of the most accessible and demonstrative 2-dimensional Finsler surfaces, the Randers surfaces. Randers metrics can be considered as the solutions of the Zermelo navigation problem. We give the classification of the holonomy groups of locally projectively flat Randers two-manifolds of constant curvature. In particular, we prove that the holonomy group of a simply connected non-Riemannian projectively flat Finsler two-manifold of constant non-zero flag curvature is maximal and isomorphic to the orientation preserving diffeomorphism group of th…
In this paper we show that the topological closure of the holonomy group of a certain class of projectively flat Finsler 2-manifolds of constant curvature is maximal, that is isomorphic to the connected component of the diffeomorphism group of the circle. This class of 2-manifolds contains the standard Funk plane of constant negative curvature and the Bryant-Shen-spheres of constant positive curvature. The result provides the first examples describing completely infinite dimensional Finslerian holonomy structures.
If the holonomy representation of an $(n+2)$--dimensional simply-connected Lorentzian manifold $(M,h)$ admits a degenerate invariant subspace its holonomy group is contained in the parabolic group $(\mathbb{R} \times SO(n))\ltimes \mathbb{R}^n$. The main ingredient of such a holonomy group is the SO(n)--projection $G:=pr_{SO(n)}(Hol_p(M,h))$ and one may ask whether it has to be a Riemannian holonomy group. In this paper we show that this is the case if $G\subset U(n/2)$ or if the irreducible acting components of $G$ are simple.
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…
The holonomy group of an (n+2)-dimensional simply-connected, indecomposable but non-irreducible Lorentzian manifold (M,h) is contained in the parabolic group $(\mathbb{R} \times SO(n))\ltimes \mathbb{R}^n$. The main ingredient of such a holonomy group is the SO(n)--projection $G:=pr_{SO(n)}(Hol_p(M,h))$ and one may ask whether it has to be a Riemannian holonomy group. In this paper we show that this is always the case, completing our results of the first part math.DG/0305139. We draw consequences for the existence of parallel spinors on Lorentzian manifolds.
We characterise simply-connected biquotients which potentially admit metrics of holonomy G_2. We prove that there are at most three real homotopy types of rationally elliptic such manifolds---all of them being formal. In the course of this examination we classify rationally elliptic homotopy types and characterise 7-dimensional simply-connected biquotients from a rational point of view. Moreover, we also investigate further manifolds of special holonomy, like manifolds of holonomy Spin(7) or Sp(n)\Sp(1) in special situations provided by rational ellipticity or geometric formality.
Using $S^1$-equivariant symplectic homology, in particular its mean Euler characteristic, of the natural filling of links of Brieskorn-Pham polynomials, we prove the existence of infinitely many inequivalent contact structures on various manifolds, including in dimension 5 the k-fold connected sums of $S^2\times S^3$ and certain rational homology spheres. We then apply our result to show that on these manifolds the moduli space of classes of positive Sasakian structures has infinitely many components. We also apply our results to give lower bounds on the number of components of the moduli spac…
On a closed connected oriented manifold $M$ we study the space $\mathcal{M}_\|(M)$ of all Riemannian metrics which admit a non-zero parallel spinor on the universal covering. Such metrics are Ricci-flat, and all known Ricci-flat metrics are of this form. We show the following: The space $\mathcal{M}_\|(M)$ is a smooth submanifold of the space of all metrics, and its premoduli space is a smooth finite-dimensional manifold. The holonomy group is locally constant on $\mathcal{M}_\|(M)$. If $M$ is spin, then the dimension of the space of parallel spinors is a locally constant function on $\mathcal…
We classify those manifolds mentioned in the title which have finite topological type. Namely we show any such connected M is isomorphic to a hyperkaehler quotient of a flat quaternionic vector space by an abelian group. We also show that a compact connected and simply connected 3-Sasakian manifold of dimension 4n-1 whose isometry group has rank n+1 is isometric to a 3-Sasakian quotient of a sphere by a torus. As a corollary, a compact connected quaternion-Kaehler 4n-manifold with positive scalar curvature and isometry group of rank n+1 is isometric to the quaternionic projective space or the …
M-theory on compact eight-manifolds with $\mathrm{Spin}(7)$-holonomy is a framework for geometric engineering of 3d $\mathcal{N}=1$ gauge theories coupled to gravity. We propose a new construction of such $\mathrm{Spin}(7)$-manifolds, based on a generalized connected sum, where the building blocks are a Calabi-Yau four-fold and a $G_2$-holonomy manifold times a circle, respectively, which both asymptote to a Calabi-Yau three-fold times a cylinder. The generalized connected sum construction is first exemplified for Joyce orbifolds, and is then used to construct examples of new compact manifolds…
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…
We show that if a compact connected $n$-dimensional manifold $M$ has a conformal class containing two non-homothetic metrics $g$ and $\tilde g=e^{2φ}g$ with non-generic holonomy, then after passing to a finite covering, either $n=4$ and $(M,g,\tilde g)$ is an ambikähler manifold, or $n\ge 6$ is even and $(M,g,\tilde g)$ is obtained by the Calabi Ansatz from a polarized Hodge manifold of dimension $n-2$, or both $g$ and $\tilde g$ have reducible holonomy, $M$ is locally diffeomorphic to a product $M_1\times M_2\times M_3$, the metrics $g$ and $\tilde g$ can be written as $g=g_1+g_2+e^{-2φ}g_3$ …
We construct examples of exponentially asymptotically cylindrical Riemannian 7-manifolds with holonomy group equal to G_2. To our knowledge, these are the first such examples. We also obtain exponentially asymptotically cylindrical coassociative calibrated submanifolds. Finally, we apply our results to show that one of the compact G_2-manifolds constructed by Joyce by desingularisation of a flat orbifold T^7/Γcan be deformed to one of the compact G_2-manifolds obtainable as a generalized connected sum of two exponentially asymptotically cylindrical SU(3)-manifolds via the method given by the f…
Smale-Barden manifolds are simply-connected closed 5-manifolds. It is an important and difficult question to decide when a Smale-Barden manifold admits a Sasakian or a K-contact structure. The known constructions of Sasakian and K-contact structures are obtained mainly by two techniques. These are either links (Boyer and Galicki), or semi-regular Seifert fibrations over smooth orbifolds (Kollár). Recently, the second named author of this article started the systematic development of quasi-regular Seifert fibrations, that is, over orbifolds which are not necessarily smooth. The present work is …
We prove a quaternionic contact versions of the Obata's sphere theorems. We show that if the first positive eigenvalue of the sub-Laplacian on a compact qc manifold of dimension bigger than seven takes the smallest possible value then, up to a homothety of the qc structure, the manifold is qc equivalent to the standard 3-Sasakian sphere. We also give a version of the theorem on non-compact qc manifold which is complete with respect to the associated Riemannian metric using the existence of a function with traceless horizontal Hessian. A qc version of the Liouville theorem is shown for qc-confo…