You are currently browsing the tag archive for the ‘sphere theorem’ tag.

Peter Petersen and I have just uploaded to the arXiv our paper, “Classification of Almost Quarter-Pinched Manifolds“, submitted to Proc. Amer. Math. Soc..  This is perhaps the shortest paper (3 pages) I have ever been involved in, because we were fortunate enough that we could simply cite (as a black box) a reference for every single fact that we needed here.

The paper is related to the famous sphere theorem from Riemannian geometry.  This theorem asserts that any n-dimensional complete simply connected Riemannian manifold which was strictly quarter-pinched (i.e. the sectional curvatures all in the interval $(K/4,K]$ for some $K > 0$) must necessarily be homeomorphic to the n-sphere $S^n$.    (In dimensions 3 or less, this already follows from simple connectedness thanks to the Poincaré conjecture (and Myers theorem), so the theorem is really only interesting in higher dimensions.  One can easily drop the simple connectedness hypothesis by passing to a universal cover, but then one has to admit sphere quotients $S^n/\Gamma$ as well as spheres.)

Due to the existence of exotic spheres in higher dimensions, being homeomorphic to a sphere does not necessarily imply being diffeomorphic to a sphere.  (For instance, an example of an exotic sphere with positive sectional curvature (but not quarter-pinched) was recently constructed by Petersen and Wilhelm.)  Nevertheless, Brendle and Schoen recently proved the diffeomorphic version of the sphere theorem: every strictly quarter-pinched complete simply connected Riemannian manifold is diffeomorphic to a sphere.  The proof is based on Ricci flow, and involves three main steps:

1. A verification that if M is quarter-pinched, then the manifold $M \times {\Bbb R}^2$ has non-negative isotropic curvature.  (The same statement is true without adding the two additional flat dimensions, but these additional dimensions are very convenient for simplifying the analysis by allowing certain two-planes to wander freely in the product tangent space.)
2. A verification that the property of having non-negative isotropic curvature is preserved by Ricci flow.  (By contrast, the quarter-pinched property is not preserved by Ricci flow.)
3. The pinching theory of Böhm and Wilking, which is a refinement of the work of Hamilton (who handled the three and four-dimensional cases).

Brendle and Schoen in fact proved a slightly stronger statement in which the curvature bound K is allowed to vary with position x, but we will not discuss this strengthening here.

The quarter-pinching is sharp; the Fubini-Study metric on complex projective spaces ${\Bbb CP}^n$ is non-strictly quarter-pinched (the sectional curvatures lie in ${}[K/4,K]$ but is not homeomorphic to a sphere).  Nevertheless, by refining the above methods, an endpoint result was established by Brendle and Schoen (see also a later refinement by Seshadri): any complete simply-connected manifold which is non-strictly quarter-pinched is diffeomorphic to either a sphere or a compact rank one symmetric space (or CROSS, for short) such as complex projective space.  (In the latter case one also has some further control on the metric, which we will not detail here.)  The homeomorphic version of this statement was established earlier by Berger and by Klingenberg.

Our result pushes this further by an epsilon.  More precisely, we show for each dimension n that there exists $\varepsilon > 0$ such that any $\frac{1}{4}-\varepsilon_n$-pinched complete simply connected manifold (i.e. the curvatures lie in ${}[K (\frac{1}{4}-\varepsilon_n), K]$) is diffeomorphic to either a sphere or a CROSS.  (The homeomorphic version of this statement was established earlier in even dimensions by Berger.)  We do not know if $\varepsilon_n$ can be made independent of n.