Sphere theorem

In Riemannian geometry, the sphere theorem, also known as the quarter-pinched sphere theorem, strongly restricts the topology of manifolds admitting metrics with a particular curvature bound. The precise statement of the theorem is as follows. If M is a complete, simply-connected, n-dimensional Riemannian manifold with sectional curvature taking values in the interval then M is homeomorphic to the n-sphere. (To be precise, we mean the sectional curvature of every tangent 2-plane at each point must lie in .) Another way of stating the result is that if M is not homeomorphic to the sphere, then it is impossible to put a metric on M with quarter-pinched curvature.

This article is about sphere theorem for Riemannian manifolds. For a different result by the same name, see Sphere theorem (3-manifolds).

Note that the conclusion is false if the sectional curvatures are allowed to take values in the closed interval . The standard counterexample is complex projective space with the Fubini–Study metric; sectional curvatures of this metric take on values between 1 and 4, with endpoints included. Other counterexamples may be found among the rank one symmetric spaces.

Differentiable sphere theorem

The original proof of the sphere theorem did not conclude that M was necessarily diffeomorphic to the n-sphere. This complication is because spheres in higher dimensions admit smooth structures that are not diffeomorphic. (For more information, see the article on exotic spheres.) However, in 2007 Simon Brendle and Richard Schoen utilized Ricci flow to prove that with the above hypotheses, M is necessarily diffeomorphic to the n-sphere with its standard smooth structure. Moreover, the proof of Brendle and Schoen only uses the weaker assumption of pointwise rather than global pinching. This result is known as the differentiable sphere theorem.

History of the sphere theorem

Heinz Hopf conjectured that a simply connected manifold with pinched sectional curvature is a sphere. In 1951, Harry Rauch showed that a simply connected manifold with curvature in [3/4,1] is homeomorphic to a sphere. In 1960, Marcel Berger and Wilhelm Klingenberg proved the topological version of the sphere theorem with the optimal pinching constant.

gollark: It is very* real.
gollark: Oh, I already revealed the entire submission so far in <#802678225791746089>.
gollark: I can send you one of the resulting treeoids.
gollark: The automaton thing should be valid for any string length. As I assume strings are prenormalized to spaceless/lowercase, the lengths have to match for the anagram to be anagrammatical.
gollark: If you have arbitrary quantities of RAM, yes.

References
  • Brendle, Simon (2010). Ricci Flow and the Sphere Theorem. Graduate Studies in Mathematics. 111. Providence, RI: American Mathematical Society. doi:10.1090/gsm/111. ISBN 0-8218-4938-7. MR 2583938.
  • Brendle, Simon; Schoen, Richard (2009). "Manifolds with 1/4-pinched curvature are space forms". Journal of the American Mathematical Society. 22 (1): 287–307. arXiv:0705.0766. Bibcode:2009JAMS...22..287B. doi:10.1090/s0894-0347-08-00613-9. MR 2449060.
  • Brendle, Simon; Schoen, Richard (2011). "Curvature, Sphere Theorems, and the Ricci Flow". Bulletin of the American Mathematical Society. 48 (1): 1–32. arXiv:1001.2278. doi:10.1090/s0273-0979-2010-01312-4. MR 2738904.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.