# Symmetries of Spaces with Lower Curvature Bounds

Communicated by *Notices* Associate Editor Chikako Mese

## 1. Introduction

Global Riemannian Geometry generalizes the classical Euclidean, Spherical, and Hyperbolic geometries. One of the major challenges in this area is to understand how local invariants such as curvature, that is, how much a space “bends,” relate to global topological invariants such as the fundamental group, itself a measure of how “connected” a manifold is. While locally Riemannian manifolds have the topology of Euclidean space, the geometry typically deviates from that of curvature is the cause of this deviation. :

In this article our main focus is on closed Riemannian manifolds with *sectional* curvature bounded from below. A simple way to understand a lower sectional curvature bound is via triangle comparisons. We say that a manifold has a lower curvature bound if the angle sum of any geodesic triangle, that is, a triangle formed by shortest length curves, is larger than or equal to the angle sum of the corresponding triangle in the , model space with constant curvature -dimensional Thus, we say that a manifold has positive, zero, or negative curvature, that is, . , or , respectively, if the angle sum of a geodesic triangle, is strictly greater than , equal to , or strictly less than , respectively. In Figure ,1.1 we see how a geodesic triangle looks in positive, zero, and negative curvature, that is for and , respectively. ,

## 2. Closed Manifolds of Positive and Non-negative Sectional Curvature

The classification of closed manifolds of positive and non-negative sectional curvature is a long-standing and very difficult problem in Riemannian geometry. Unless otherwise stated, all curvatures considered here are sectional. For positive curvature, to date, other than some special examples in dimensions less than or equal to all known simply-connected examples are spherical in nature, that is, they are spheres, or quotients of spheres: , , or , There are many more examples of Riemannian manifolds of non-negative curvature. We list a few examples: .

- •
Homogeneous spaces, ;

- •
Products of manifolds of non-negative curvature;

- •
Biquotients, and ;

- •
Bases of Riemannian submersions of non-negatively curved manifolds.

When approaching classification problems, one looks for *obstructions* and *constructions*. Among the obstructions to positive and non-negative curvature we have the following five, now classical, results.

### 2.1. Obstructions

We begin by listing obstructions for non-negative sectional curvature. Note that some of these come from results about other types of lower curvature bounds such as Ricci, which is an average of the sectional curvatures, and scalar, which is an average of the Ricci curvatures. In particular, if then both the Ricci and scalar curvatures are bounded below by .

The first result is due to Cheeger and Gromoll and tells us that when studying manifolds of non-negative curvature, it suffices to limit our attention to those that are closed, that is, compact without boundary.

The next theorem limits the fundamental group of a closed, non-negatively curved manifold and is also due to Cheeger and Gromoll. It was originally stated for compact manifolds of non-negative Ricci curvature.

The next theorem, due to Gromov, limits the total Betti number of a manifold of non-negative curvature. As one application, it tells us that we can only take a limited number of connected sums of complex projective spaces and maintain non-negative sectional curvature.

We say a manifold is flat if all of its sectional curvatures are identically zero. It is known that compact, flat, spin manifolds all have vanishing and -genus Thus, the topological obstructions for positive scalar curvature due to Hitchin and Lichnerowicz give us an obstruction for manifolds of non-negative curvature. -invariant.

For example, via this theorem, there are exotic spheres that carry no metric of non-negative sectional curvature. -dimensional

We now pass to obstructions for strictly positive sectional curvature. The first is due to Bonnet and Myers. It was originally stated for manifolds with uniformly bounded positive Ricci curvature, and tells us that when studying manifolds of positive curvature, we may restrict our attention to those that are compact and simply-connected.

Finally, a result due to Synge gives us information about the fundamental groups and orientability of closed manifolds of positive curvature.

In particular, Synge’s Theorem tells us that does not admit a metric of positive sectional curvature. Likewise, for a closed, orientable, odd-dimensional manifold the product manifold, , does not admit positive sectional curvature.

It bears mentioning at this point that despite the difference in magnitude of the number of examples of positive and non-negative sectional curvature, when we restrict our attention to the class of closed, simply-connected manifolds, there are no examples of manifolds that admit a metric of non-negative sectional curvature that are known to not admit a metric of positive sectional curvature.

### 2.2. Constructions

Turning our attention to constructions, we have the Gray–O’Neill curvature equations and Cheeger deformations. The Gray–O’Neill curvature equations tell us that for a Riemannian submersion, if , for some real number then , That is, curvatures can only increase. For example, via the Gray–O’Neill equations, it follows that any homogeneous space, . admits a submersion metric of non-negative curvature from the bi-invariant metric , on the compact Lie group The same can be seen to be true for bi-quotients, . defined as quotients of the free action of , on given by Observe that while . covers if , were to admit positive sectional curvature, see the first Hopf Conjecture below, then the covering map is *not* a Riemannian submersion.

Let be a closed subgroup of the isometry group of a Riemannian manifold, endowed with any bi-invariant metric , Cheeger deformations on a Riemannian manifold, . leverage the power of Riemannian submersions by submersing from a , of the manifold, -extension where the base space of the Riemannian submersion is , with the free , given by -action We obtain a one-parameter family of metrics on the total space, . giving us a one-parameter family of metrics on the quotient space , This family of metrics is called a Cheeger deformation of the original manifold . As . approaches infinity, the deformed metrics converge to the original metric and as , approaches the sequence of manifolds , converge to the quotient space Note that positive curvature is preserved under such deformations, while non-negative curvature may be improved to positive curvature. .

Cheeger deformations have been useful in deforming metrics and were originally used by Cheeger to show that -invariant admits a metric of non-negative sectional curvature. In particular, while not named explicitly, they feature in the theorem of Lawson and Yau showing that the existence of a smooth non-abelian compact Lie group action guarantees positive scalar curvature on a compact manifold. They are also an important tool for many lifting theorems, where one tries to lift a synthetic curvature lower bound on the quotient space to the manifold such as in work of Searle and Wilhelm. Additionally, they have recently been used by Cavenaghi, Grama, and Sperança ,3 who announced that the base of a positively curved principal or - must have dimension greater than or equal to -bundle If the result is true, it provides an answer to a special case of the Petersen–Wilhelm conjecture which states that for a fibration of a positively curved manifold, the dimension of the fiber must be strictly less than the dimension of the base. .

### 2.3. Important open questions

Finally, three important open questions for manifolds of positive and non-negative curvature are contained in the following conjectures.

- •
(H. Hopf)

*does not admit a metric of positive sectional curvature.*- •
(H. Hopf)

*Let be an even-dimensional, closed Riemannian manifold of positive, respectively, non-negative, sectional curvature. Then has positive, respectively, non-negative, Euler characteristic.*- •
(Bott)

*Let be a closed, simply-connected Riemannian manifold of non-negative sectional curvature. Then is rationally elliptic.*

Recall that a closed, simply-connected topological space is called *rationally elliptic* if and are finite-dimensional spaces. If we drop the simply-connected hypothesis, we refer to the space as -vector*rationally -elliptic*. Rationally elliptic manifolds have been classified in dimensions less than or equal to and are diffeomorphic to the known examples of manifolds of non-negative curvature. The classification in dimensions and is curvature-free and due to Paternain and Petean, while in dimensions less than or equal to we only have spheres by the Gauss–Bonnet Theorem in dimension and the work of Hamilton in dimension Rationally elliptic manifolds have non-negative Euler characteristic and if the Euler characteristic is positive, then all odd degree Betti numbers vanish. Resolving the Bott Conjecture would then resolve the second Hopf Conjecture for non-negatively curved manifolds. .

Note that in dimensions greater than or equal to the classification of closed, simply-connected, positively and non-negatively curved manifolds is still open. In an attempt to address this issue in dimension , we have the following theorem due to Hsiang and Kleiner. ,

Let be a closed, simply-connected, of positive sectional curvature admitting an isometric and effective -manifold Then -action. is homeomorphic to or .

The proof of this theorem reduces to proving that the Euler characteristic of the manifold is bounded between and and applying deep classification work of Freedman. In particular, the theorem tells us that if were to admit a metric of positive curvature, then it must have a finite group of isometries.

The theorem has since been improved to diffeomorphism by work of Grove and Searle and Grove and Wilking. It was extended to non-negative curvature by work of Kleiner, Searle and Yang, Galaz-García, Galaz-García and Kerin, and Grove and Wilking. There, one sees that three more manifolds occur: and More recently, the theorem was extended to almost non-negative curvature by Harvey and Searle .13, who showed that only the same manifolds occur. Grove and Halperin suggested extending the Bott Conjecture to include almost non-negatively curved manifolds. The result in 13 confirms this extended Bott Conjecture with the addition of in dimension -symmetry .

### 2.4. The symmetry program

In the early nineties, Karsten Grove, inspired by Theorem 2.2 and observing that the known examples at that time of positive and non-negative curvature were all highly symmetric, proposed his *Symmetry Program*:

Classify closed manifolds of positive and non-negative curvature with “large” symmetries.

By work of Myers and Steenrod, the isometry group of a compact manifold is a compact Lie group, so when we talk about “symmetries,” we mean an isometric action by a compact Lie group. An attractive aspect of this program is the flexibility of the term “large.” For example, for a given on a Riemannian manifold -action “large” can mean that the dimension of the quotient space, , is small. Another perspective is to consider , with large fixed point sets, and yet another is to consider -actions with large rank. The goal of this program is to successively lower the size of the group and in the process find new examples, new obstructions, or new constructions. To date the program has been quite successful in positive and non-negative curvature and has been extended to other types of lower curvature bounds, as well as other spaces that generalize Riemannian manifolds. We will survey some of the results leading to partial classifications, as well as partial resolutions of the three conjectures mentioned earlier. -actions

For further information on the subject of positive and non-negatively curved manifolds with symmetries, there are surveys by Grove, Ziller, and Wilking.

## 3. Preliminaries

Before we begin, we first establish some notation as well as some useful facts about transformation groups in general. Remark that manifolds are assumed to be closed unless otherwise specified.

### 3.1. Transformation groups

Let be a compact Lie group acting on a smooth manifold We denote by . the *isotropy group* at and by the *orbit* of Orbits are called .*principal, exceptional,* or *singular* depending on the size of their isotropy group, as follows. An orbit is principal if the isotropy group is the smallest possible among all isotropy groups. Orbits are called exceptional when their isotropy group is a non-trivial finite extension of the principal isotropy subgroup, and singular when their isotropy group is of strictly larger dimension than that of the principal orbits. The isotropy subgroups of an orbit are conjugate to one another, that is, given , for some and , It makes sense then to talk of the .*isotropy type* of an orbit. A on a manifold -action defines a natural stratification of with strata corresponding to the union of orbits of each isotropy type. ,

For isometric actions of compact Lie groups, the Slice Theorem gives us an explicit description of a sufficiently small tubular neighborhood of any orbit. Namely, given an orbit a sufficiently small , neighborhood, -tubular is diffeomorphic to , where , is the corresponding at the origin of the normal space -ball to at the point called the normal slice to the orbit. ,

For more details on the theory of transformation groups see Bredon.

### 3.2. Alexandrov spaces

An Alexandrov space, is defined to be a finite-dimensional length space with curvatures bounded below via triangle comparisons with the corresponding model spaces. All closed Riemannian manifolds are Alexandrov spaces and limits of Gromov–Hausdorff sequences of closed Riemannian manifolds with the same lower curvature bound are, also. ,

For closed manifolds with sectional curvature bounded below by and admitting an isometric the quotient space -action, is an Alexandrov space with curvature bounded below by (see Perelman and Petrunin) with locally totally geodesic orbit strata. There is also a Soul Theorem for Alexandrov spaces of non-negative curvature due to Perelman.

Let be a complete, Alexandrov space with boundary -dimensional and with Then there exists a convex subset . the ,*soul* of at maximal distance from , and a deformation retraction of onto .

For more basic information about Alexandrov spaces, see Burago, Burago, and Ivanov, and Alexander, Kapovitch, and Petrunin 1.

### 3.3. Fixed point sets

We will denote by the *fixed point set* of the If -action. then we will often simply write , for its fixed point set.

The components of the fixed point set of an isometry are closed, totally geodesic submanifolds of and orientable if is, by work of Kobayashi. In the special case of a circle action, the components of are of even codimension. Note as well that for a proper subgroup of , and , the normalizer of , in acts invariantly on , with ineffective kernel Thus, there is an induced action of . on If, moreover, . is connected, then the action is invariant on each connected component of So, for the special case where . and is orientable, for every subtorus every , is also an orientable, closed submanifold admitting an induced with the same lower curvature bound and the same parity of dimension as -action This sets the stage for induction arguments, something quite unusual in Riemannian geometry. .

Finally, we mention some results about the existence of fixed point sets in positive curvature. A result of Weinstein guarantees the existence of a fixed point for any orientation preserving isometry on an even-dimensional, orientable, closed manifold of positive curvature. This result was generalized to general torus actions in even dimensions by Berger and in odd dimensions by Sugahara as follows.

Let be a closed, of positive sectional curvature admitting an isometric, effective -manifold Then the following hold: -action.

- 1.
(Berger) If then , and ;

- 2.
(Sugahara) If then either there is a point , such that or , .

The results of Berger and Sugahara do not hold for For example, letting -actions. there exists a , action on which has no fixed points, generated by the orientation-preserving involutions

Likewise, there are free and actions on closed, positively curved by work of Shankar and of Grove and Shankar, respectively, and free -manifolds actions on closed, positively curved manifolds by work of Bazaikin. -dimensional

The results of Berger and Sugahara no longer hold when we pass to non-negative curvature: there exist free actions on the product of three-spheres. On the other hand, if the Bott Conjecture holds, then for an effective torus action of sufficiently large rank on a closed, simply-connected manifold of non-negative curvature, the torus action will have non-trivial isotropy. -fold

This is quantified in the work of Galaz-García, Kerin, and Radeschi 11, who show that if a rationally elliptic , smooth manifold, admits a smooth and effective -dimensional then -action, and any subtorus acting freely on , has rank bounded above by .

### 3.4. What is “large”?

Here we give three examples of what “large” symmetries can mean. They are:

- •
*Small quotient space*, that is, is small;- •
*Large fixed point set*, that is, is large with respect to the dimension of the manifold and ;- •
*Large rank*, that is, we consider group actions for which is large with respect to the maximal possible rank of a group action on a manifold.

In what follows, we will discuss these three different meanings of large and survey results for these definitions in both positive and non-negative curvature. We note that for the last definition, if one passes to discrete groups, for example, we can define large discrete , rank, for -symmetry a prime, to be large with respect to the maximal possible number such that the isometry group of contains an elementary of rank -group .

## 4. Small Quotient Space

We survey results for on manifolds with small quotient spaces in both positive and non-negative curvature. Here, the general strategy is to leverage knowledge of the quotient space to identify the manifold. -actions

### 4.1. Positive sectional curvature

This constraint has been utilized to obtain classifications of closed manifolds of positive sectional curvature of low cohomogeneity, where the cohomogeneity of a on a manifold, -action is equal to the dimension of the quotient space, or equivalently, the codimension of the principal orbits, , of the , In particular, homogeneous spaces, those of cohomogeneity -action. have been classified by Berger, Bérard–Bérgery, Aloff and Wallach, Wallach, Wilking, and Wilking and Ziller ,20.

For cohomogeneity 1, closed manifolds of positive sectional curvature have been classified in dimension by Searle, in even dimensions by Verdiani, and in all odd dimensions but by Grove, Wilking, and Ziller. Additionally, a list of possible candidates for dimension is given in Grove, Wilking, and Ziller. They are grouped into one isolated -manifold, and two infinite families, , and with , These . candidates correspond to the total space of the Konishi bundle of the self dual Hitchin orbifold -dimensional Of these candidates, a metric of positive curvature was found to exist on . an exotic , homeomorphic, but not diffeomorphic, to the unit tangent bundle of the , independently by Dearricott, and by Grove, Verdiani, and Ziller. Verdiani and Ziller have also shown that -sphere, does not admit a cohomogeneity 1 metric of positive sectional curvature. More recently, Dearricott -invariant5 claimed to have shown that the remaining and all of the do admit metrics of positive curvature, although these metrics are not cohomogeneity 1 metrics. -invariant

When working with group actions, one may divide them into those that are *polar*, namely, those that admit a section, that is, a closed, totally geodesic immersed submanifold that meets all orbits orthogonally, and those that are *non-polar*. Note that all transitive actions and all actions of cohomogeneity 1 are polar, but there exist cohomogeneity 2 actions on spheres that are non-polar.

Viewing as the set of self-adjoint complex matrices,

we obtain an action of on as follows. Let , act by conjugation on and by matrix multiplication on The quotient space . is homeomorphic to a -disk, with a circle’s worth of singular orbits with , corresponding to -isotropy and an isolated vertex orbit with isotropy corresponding to a vertex on see Bredon. For more examples of non-polar cohomogeneity 2 actions on spheres, see work of Straume. ,

In Fang, Grove, and Thorberggson 10, they show that a closed, simply-connected, Riemannian -manifold of positive curvature with a polar of cohomogeneity -action is equivariantly diffeomorphic to a compact rank 1 symmetric space (CROSS) with the corresponding linear , Thus, in order to classify the remaining cohomogeneities up to -action. it remains to consider those actions that are non-polar. While the quotient spaces of polar actions on manifolds of positive curvature necessarily have boundary by work of Wilking, a result later generalized to singular Riemannian foliations by Corro and Moreno ,4, the quotient spaces of non-polar actions may or may not have boundary.

Some of the best known examples of positively curved manifolds are obtained as the base of a Riemannian submersion and correspond to the quotient space of a non-polar action, for example, and are both quotients of the Hopf action by and by respectively, on a sphere. Figure ,4.1 depicts the Hopf fibration of by .Footnote^{2}

^{2}

Image obtained from https://en.wikipedia.org/w/index.php?title=Hopf_fibration&oldid=1101601722.

**Figure 4.1.**

Stereographic projection of the Hopf fibration of by and the projection of its fibers onto .

A natural next step would be to tackle the following problem:

Classify non-polar manifolds of positive curvature of low cohomogeneity, beginning with cohomogeneity 2.

### 4.2. Non-negative sectional curvature

As mentioned earlier, we can put a metric of non-negative sectional curvature on any homogeneous space In contrast, closed, simply-connected, cohomogeneity 1 manifolds of non-negative curvature have not yet been classified. They naturally admit a . disk bundle decomposition over each of the two singular orbits. While both disk bundles admit a -invariant metric of non-negative sectional curvature, in general, their union does not. Grove, Verdiani, Wilking, and Ziller showed that some odd-dimensional exotic spheres, while they admit cohomogeneity 1 actions, do not admit such metrics. Later, C. He showed that a larger class of manifolds that includes those in the work of Grove, Verdiani, Wilking, and Ziller do not admit a cohomogeneity 1 metric of non-negative curvature. While closed, simply-connected manifolds admitting cohomogeneity 1 actions may not admit invariant metrics of non-negative curvature, they do admit invariant metrics of almost non-negative curvature by work of Schwachhöfer and Tuschmann. We say that a manifold, -invariant is ,*almost non-negatively curved* if there exists a sequence of metrics, on and a fixed so that and Moving on to cohomogeneity 2 actions, we see already in dimension . that there are examples that do not admit non-negative curvature, such as with a isometric and effective action.

For a fibration, it is known that if any two elements of the fibration are rationally then so is the third. Similarly, as observed by Grove and Halperin, for a manifold decomposing as a union of disk bundles -elliptic,

if one of , or , is rationally (and hence are all, as the common boundary, -elliptic, is a sphere bundle over both , and then ) is. Compact Lie groups are known to be rationally Moreover, a cohomogeneity 1 manifold decomposes as a union of disk bundles over its two singular orbits, glued along the principal orbit. Thus one sees that a closed, simply-connected manifold that is homogeneous or of cohomogeneity 1 is rationally elliptic, regardless of curvature. -elliptic.

As mentioned earlier, Grove and Halperin proposed that the Bott Conjecture will continue to hold for manifolds of almost non-negative curvature. While classifying non-negatively curved manifolds of cohomogeneities seems out of reach at the moment, in light of the Bott Conjecture, asking a different question seems more tractable.

Let be a closed, simply-connected, almost non-negatively curved manifold. If admits an isometric of low cohomogeneity, is -action rationally elliptic?

This question has already been answered affirmatively for cohomogeneity 2 manifolds of almost non-negative curvature by Grove, Wilking, and Yeager 12. Part of the proof of this result has been considerably simplified by recent work of Khalili Samani and Radeschi 14 on *singular Riemannian foliations*, an area of study which can be viewed as a generalization of the concept of a group action.

## 5. Large Fixed Point Set

Here we survey results for on manifolds with large fixed point sets. Once again, one of the main strategies employed is to leverage an understanding of the quotient space to obtain general structure theorems that potentially lead to classification theorems. -actions

### 5.1. Positive curvature

An important first example of how large fixed point sets in positive curvature may limit the group action under consideration is given by Frankel’s theorem, which tells us fixed point set components of sufficiently large dimension are unique in positive curvature.

Let be an closed Riemannian manifold admitting a metric of positive sectional curvature. Suppose that -dimensional and are two totally geodesic, embedded submanifolds of Then if . ,

We now observe that the dimension of the quotient space, is constrained by the dimension of the fixed point set , of in In fact, . for any non-trivial, non-transitive action. In light of this, the *fixed-point cohomogeneity* of an action, denoted by is defined by ,

A manifold with fixed-point cohomogeneity is also called a * point homogeneous manifold -fixed*. In Grove and Searle, they combine the critical point theory for distance functions introduced by Grove and Shiohama (see also a survey on the subject by Grove) and the Soul Theorem for Alexandrov spaces, to prove that for positively curved fixed point homogeneous manifolds there are at most three orbit types. These are given by the principal orbits, the fixed points contained in the fixed point set component of dimension equal to , and the unique orbit at maximal distance from the fixed point set component , They use this to obtain a . double disk bundle decomposition of the manifold, namely -equivariant decomposes as

where is the orbit in at maximal distance from They then use this decomposition to classify closed, simply-connected fixed point homogeneous manifolds of positive curvature, proving that for connected . such a manifold is equivariantly diffeomorphic to a CROSS with a linear , -action.

This theorem was extended to the case of closed, simply-connected, fixed point cohomogeneity 1 manifolds of positive curvature by Grove and Kim, who showed that such a manifold is also diffeomorphic to a CROSS. The fixed point homogeneous result has also been generalized to the case of involutions: Fang and Grove 9 showed that closed, positively curved, point homogeneous manifolds are diffeomorphic to spheres and real projective spaces. -fixed

### 5.2. Non-negative curvature

For the class of closed, simply-connected non-negatively curved manifolds, the fixed point homogeneous results were generalized to non-negative curvature in dimensions 3 and 4 by Galaz-García and in dimension 5 by Galaz-García and Spindeler. In his thesis, Spindeler was then able to fully generalize the disk bundle decomposition result in the following theorem.

Let act fixed point homogeneously on a closed, non-negatively curved Riemannian manifold Let . be a fixed point component of maximal dimension. Then there exists a smooth submanifold of without boundary, such that , is diffeomorphic to the normal disk bundles and of and glued together along their common boundaries;

Further, is and all points of -invariant belong to principal -orbits.

By contrast with the positively curved case, the submanifold at maximal distance from is not, in general, a single orbit. As noted by Spindeler, a classification of fixed point homogeneous manifolds of non-negative curvature in higher dimensions is currently out of reach since it is equivalent to a classification of non-negatively curved manifolds. To see this, observe that for a closed, simply-connected non-negatively curved manifold, the product manifold , with the product metric admits an isometric point homogeneous action. Since we only have a classification of closed, simply-connected non-negatively curved manifolds through dimension -fixed obtaining a classification in dimension , is the best we can hope for at the moment.

## 6. Large Symmetry and Discrete Symmetry Rank

In this section we discuss two notions of large rank. The first is large *symmetry rank*, where the symmetry rank of a on -action is defined to be the rank of the isometry group of that is ,

The second is large *discrete rank -symmetry*, for a prime, defined to be the largest number such that the isometry group of contains an elementary of rank -group In particular, we will focus on the case where . is abelian. In contrast to the other two types of “large” group actions, here strategies balance a mix of knowledge of the quotient space with more general connectedness principles, which lead to structure theorems for topological invariants of the manifold.

### 6.1. Positive curvature and large symmetry rank

Three fundamental results in this direction are the Maximal, Almost Maximal, and Half-Maximal Symmetry Rank theorems due to Grove and Searle, Rong and Fang and Rong, and Wilking, respectively. We present them together in one theorem.

Let be a closed, positively curved manifold admitting an isometric and effective Then the following are true: -action.

- (1)
**Maximal Symmetry Rank**(Grove and Searle) If then , and is diffeomorphic to , , or , for some ;- (2)
**Almost Maximal Symmetry Rank**(Rong, Fang and Rong) If , and , then , is homeomorphic to , or , for only; and- (3)
**Half-Maximal Symmetry Rank**(Wilking) If , and , then , is homeomorphic to or with or homotopy equivalent to , .

Observe first that the Maximal Symmetry Rank result can be improved from diffeomorphism to equivariant diffeomorphism with a linear action by work of Galaz-García. Additionally, by recent work of Kennard, Khalili Samani, and Searle 15, the Half-Maximal Symmetry Rank result can be improved as follows: dropping the hypothesis of simple-connectivity, one can show that the only additional manifolds that occur are homotopy equivalent to and lens spaces of dimension with , .

Some comments on the proofs are in order, as many results stemming from these theorems have leveraged the same techniques. The proof of the Maximal Symmetry Rank result hinges on the fact that for the maximal symmetry rank, one can always find a circle subgroup of the acting fixed point homogeneously. The Almost Maximal Symmetry Rank result follows from the Half-Maximal Symmetry Rank result and relies on Sullivan’s homeomorphism classification of homotopy complex projective spaces and an analysis of the singular set of the group action to improve the classification of the Half-Maximal Symmetry Rank result to homeomorphism, as well as extend the result to dimensions and The proof of the Half-Maximal Symmetry Rank result utilizes the theory of Error Correcting Codes, which give information about the dimensions of fixed point sets of involutions, and the following Connectedness Lemma of Wilking. .

Let be a closed Riemannian manifold with positive sectional curvature. If is a closed, totally geodesic submanifold of then the inclusion map , is -connected.

Recall that a map is called * -connected*, if is an isomorphism for all and is surjective. Using the Hurewicz isomorphism one can then make a similar statement about homology (and cohomology) groups. In Conclusion 3 of Theorem 6.1, the Connectedness Lemma is leveraged by combining Poincaré duality of with that of to obtain a certain periodicity of the cohomology ring of , which in turn can be used to obtain homotopy equivalence. These results have led to significant progress on both Hopf Conjectures. As mentioned in Section 2, for the first Hopf Conjecture, the seminal result of Hsiang and Kleiner established that in the presence of circle symmetry the conjecture is true. For the higher-dimensional Hopf conjecture, which states that the product of two positively curved manifolds does not admit positive curvature, Amann and Kennard ,2 have shown that if is a closed, simply-connected then the -manifold, product manifold -dimensional does not admit a metric of positive sectional curvature and an isometric torus action of rank .

For the second Hopf Conjecture, the main strategy for the proof of this conjecture with symmetries has been to use the fact, due to Kobayashi, that

for some subgroup of an isometric Püttmann and Searle and, independently, Rong showed that a -action. on a -action manifold -dimensional with has This lower bound for . was quickly improved to by Rong and Su, and to by Su and Wang. Using the method of Steenrod squares, Kennard was able to improve this lower bound to More recently Kennard, Wiemeler, and Wilking .16 announced a general lower bound for completely independent of dimension. ,

If is an even-dimensional, connected, closed, positively curved Riemannian manifold whose isometry group has rank at least five, then .

It is reasonable to expect that the tools used in the proof of this theorem will be useful in many different contexts. Finally, Nienhaus 19 has announced an improvement on this theorem, claiming to be able to lower the bound on the rank to .

### 6.2. Non-negative curvature and large symmetry rank

In strong contrast to the positive curvature case and in part due to the lack of guaranteed fixed point sets of torus actions, the maximal symmetry rank of a closed, simply-connected, non-negatively curved manifold has not yet been established in all dimensions.

Let act isometrically and effectively on a closed, simply-connected, non-negatively curved Riemannian manifold. Then , and when , is equivariantly diffeomorphic to with a linear where -action,

with and the , on -action is free and linear.

We can then ask the following question.

Let denote the class of closed, simply-connected, non-negatively curved For all -manifolds. establish the upper bound for the maximal symmetry rank and classify all of maximal and almost maximal symmetry rank.

Returning to the Maximal Symmetry Rank Conjecture, work of Galaz-García and Searle, Galaz-García and Kerin, and of Escher and Searle 7 shows that the conjecture holds in dimensions The upper bound for dimensions less than or equal to . was established by Escher and Searle 7.

We observe that is the maximal possible rank of an isotropy group of a torus action: the dimension of the unit normal sphere, to , is a function of the rank of and by the Maximal Symmetry Rank Theorem, see Figure 6.1. Notably, the described in Part 2 of the Maximal Symmetry Rank Conjecture all admit -manifolds such that there is a point -actions for which or equivalently, , We call such actions .*isotropy-maximal*.

**Figure 6.1.**

The range of possible ranks for the isotropy subgroup of a torus action.

In particular, for an isotropy-maximal -action, In fact, any component of . is contained in a *generalized characteristic submanifold* of That is, there is some circle subgroup . with a codimension two fixed point set component, that contains a , point set component. When -fixed is -dimensional, is simply called a characteristic submanifold. In particular, one sees that an isotropy-maximal is an example of a nested -action point homogeneous action, generating a tower of nested fixed point sets of subtori of the -fixed in -action .

The case where corresponds to that of *torus manifolds*. Wiemeler classified closed, simply-connected, non-negatively curved torus manifolds, finding that they are all equivariantly diffeomorphic to a quotient of a free linear torus action of as in the Maximal Symmetry Rank Conjecture. ,

Escher and Searle in 7 generalized this result to all isotropy-maximal torus actions on closed, simply-connected, non-negatively curved showing that they are all equivariantly diffeomorphic to a quotient of a free linear torus action of -manifolds, as in the Maximal Symmetry Rank Conjecture. Indeed, if the Bott Conjecture holds, one can combine the isotropy-maximal classification result of Escher and Searle ,7 with the work of Galaz-García, Kerin, and Radeschi 11 mentioned in Remark 3.3, to show that the Maximal Symmetry Rank Conjecture holds.

Since then, Dong, Escher, and Searle in 6 have extended the result to almost isotropy-maximal torus actions, where an action is *almost isotropy-maximal* if there is a point such that the dimension of its isotropy group is or, equivalently there is a point , whose orbit is of dimension In particular, the manifolds obtained are as in the isotropy-maximal classification. .

We observe that of almost maximal symmetry rank have also been classified in dimensions less than or equal to -manifolds by independent work of Kleiner and of Searle and Yang in dimension by work of Galaz-García and Searle in dimension , and by work of Escher and Searle 8 in dimension Notably, it is only in dimension . that we observe any difference with the maximal symmetry rank classification, as the Wu manifold, which is not the quotient of a linear torus action on a product of spheres of dimensions greater than or equal to 3, appears. The work above suggests that one approach to Problem ,6.4 would be to begin by classifying torus actions on closed, simply-connected, non-negatively curved manifolds via the rank of the largest possible isotropy group, beginning with those that have rank .

Remark that by work of Böhm and Wilking, a closed, simply-connected, non-negatively curved manifold admits a metric of positive Ricci curvature. Thus, another approach when studying the class is to consider the * Ricci curvature th-intermediate*, a curvature interpolating between sectional curvature and Ricci curvature. Of natural interest is the case where this curvature is positive. We say an Riemannian manifold -dimensional has *positive Ricci curvature th-intermediate* for if, for any choice of orthonormal vectors the sum of sectional curvatures , is positive. Observe that is equivalent to positive sectional curvature, and