On the Geometry of Cohomogeneity One Manifolds with Positive Curvature

Abstract

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 S⁴. 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 = S³ ×S³ acts by cohomogeneity one, one has the known positively curved Eschenburg spaces E _p , the Berger space B ⁷, the Aloff–Wallach space W ⁷, and the sphere S⁷, 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 = S³ ×S³ 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.