On the Geometry of Cohomogeneity One Manifolds with Positive Curvature
We discuss manifolds with positive sectimal curvature on which a group acts isometrically with one dimensional quotient. A number of the known examples have this property, but some potential families for new examples in dimension 7 arise as well. We discuss the geometry of these known examples and the connection that the candidates have with self-dual Einstein metrics.
There are very few known examples of manifolds with positive sectional curvature. Apart from the compact rank one symmetric spaces, they exist only in dimensions 24 and below and are all obtained as quotients of a compact Lie group equipped with a biinvariant metric under an isometric group action. They consist of certain homogeneous spaces in dimensions 6,7,12,13, and 24 due to Berger [Be], Wallach [Wa], and Aloff–Wallach [AW], and of biquotients in dimensions 6,7, and 13 due to Eschenburg [E1],[E2],[E3] and Bazaikin [Ba].
When trying to find new examples, it is natural to search among manifolds with large isometry group, a program initiated by K. Grove in the 1990s, see [Wi] for a recent survey. Homogeneous spaces with positive curvature were classified in [Be],[Wa],[BB] in the 1970s. The next natural case to study is therefore manifolds on which a group acts isometrically with one dimensional quotient, so called co-homogeneity one manifolds. L. Verdiani [V1, V2] showed that in even dimensions, positively curved cohomogeneity one manifolds are equivariantly diffeomorphic to an isometric action on a rank one symmetric space. In odd dimensions, K. Grove and the author observed in 1998 that there are infinite families among the known nonsymmetric positively curved manifolds that admit isometric cohomogeneity one actions, and suggested a family of potential 7 dimensional candidates P k . In [GWZ], a classification in odd dimensions was carried out, and another family Q k and an isolated manifold R emerged in dimension 7. It is not yet known whether these manifolds admit a cohomogeneity one metric with positive curvature, although they all admit one with nonnegative curvature as a consequence of the main result in [GZ].
In [GWZ], the authors also discovered an intriguing connection that the manifolds P k and Q k have with a family of self-dual Einstein orbifold metrics constructed by Hitchin [Hi1] on S4. They naturally give rise to 3-Sasakian metrics on P k and Q k , which by definition have lots of positive curvature already.
The purpose of this survey is threefold. In Section 2, we study the positively curved cohomogeneity one metrics on known examples with positive curvature, including the explicit functions that define the metric. In Section 3, we describe the classification theorem in [GWZ]. It is remarkable that among 7-manifolds where G = S3 ×S3 acts by cohomogeneity one, one has the known positively curved Eschenburg spaces E p , the Berger space B 7, the Aloff–Wallach space W 7, and the sphere S7, and that the candidates P k , Q k , and R all carry such an action as well. We thus carry out the proof in this most intriguing case where G = S3 ×S3 acts by cohomogeneity one on a compact 7-dimensional simply connected manifold. In Section 4, we describe the relationship to Hitchin’s self-dual Einstein metrics. We also discuss some curvature properties of these Einstein metrics and the metrics they define on P k and Q k . The behavior of these metrics, as well as the known metrics with positive curvature, are illustrated in a series of pictures.
KeywordsWeyl Group Positive Curvature Principal Bundle Nonnegative Curvature Singular Orbit
Unable to display preview. Download preview PDF.
- [AA][AA] A.V. Alekseevsy and D.V. Alekseevsy, G-manifolds with one dimensional orbit space, A dv. Sov. Math. 8 (1992), 1–31.Google Scholar
- [AH]M. Atiyah and N. Hitchin, The geometry and dynamics of magnetic monopoles, Princeton University Press, 1988.Google Scholar
- [BB][BB] L. Bérard Bergery, Les variétés riemanniennes homogènes simplement connexes de dimension impaire à courbure strictement positive, J. Math. pure et appl. 55 (1976), 47–68. [Be] M. Berger, Les variétés riemanniennes homogènes normales simplement connexes à courbure strictement positive, Ann. Scuola Norm. Sup. Pisa 15 (1961), 179–246.MATHGoogle Scholar
- [DZ]D’Atri and W. Ziller, Naturally reductive metrics and Einstein metrics on compact Lie groups, Memoir of Am. Math. Soc. 215 (1979).Google Scholar
- [E2]J. H. Eschenburg, Freie isometrische Aktionen auf kompakten Lie-Gruppen mit positiv gekrümmten Orbiträumen, Schriftenr. Math. Inst. Univ. Münster 32 (1984).Google Scholar
- [Gr]K. Grove, Geometry of, and via, Symmetries, Conformal, Riemannian and Lagrangian geometry (Knoxville, TN, 2000), Am. Math. Soc. Univ. Lecture Series 27 (2002).Google Scholar
- [Hi1]N. Hitchin, A new family of Einstein metrics, Manifolds and geometry (Pisa, 1993), 190–222, Sympos. Math., XXXVI, Cambridge Univ. Press, Cambridge, 1996.Google Scholar
- [Hi2][Hi2] N. Hitchin, Poncelet Polygons and the Painlevé equations, Geometry and analysis (Bombay, 1992), Tata Inst. Fundam. Res. 13 (1995), 151–185.Google Scholar
- [Ho]C. Hoelscher, Cohomogeneity one manifolds in low dimensions, Ph.D. thesis, University of Pennsylvania, 2007.Google Scholar
- [Wi]B. Wilking, Nonnegatively and Positively Curved Manifolds, in: Metric and Comparison Geometry, Surv. Differ. Geom. 11, ed. K. Grove and J. Cheeger, International Press, 2007.Google Scholar
- [Zi1]W. Ziller, Homogeneous spaces, biquotients, and manifolds with positive curvature, Lecture Notes 1998, unpublished.Google Scholar
- [Zi2]W. Ziller, Examples of Riemannian Manifolds with non-negative sectional curvature, in: Metric and Comparison Geometry, Surv. Differ. Geom. 11, ed. K. Grove and J. Cheeger, International Press, 2007.Google Scholar