Sphere theorem

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

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 (1,4] 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 (1,4].) 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.

Note that the conclusion is false if the sectional curvatures are allowed to take values in the closed interval [1,4]. 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 of Stanford University 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

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

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Sphere theorem (3-manifolds) — In the topology of 3 manifolds, the sphere theorem denotes a family of statements which show us how the image of a 2 sphere, under a continuous map into a 3 manifold, may behave.One example is the following:Let M be an orientable 3 manifold such… …   Wikipedia

  • Sphère exotique — En mathématiques, et plus précisément en topologie différentielle, une sphère exotique est une variété différentielle M qui est homéomorphe, mais non difféomorphe, à la n sphère euclidienne standard. Autrement dit, M est une sphère du point de… …   Wikipédia en Français

  • Loop theorem — In the topology of 3 manifolds, the loop theorem is a generalization of Dehn s lemma. The loop theorem was first proven by Christos Papakyriakopoulos in 1956, along with Dehn s lemma and the sphere theorem.A simple and useful version of the loop… …   Wikipedia

  • Circle packing theorem — Example of the circle packing theorem on K5, the complete graph on five vertices, minus one edge. The circle packing theorem (also known as the Koebe–Andreev–Thurston theorem) describes the possible tangency relations between circles in the plane …   Wikipedia

  • Hairy ball theorem — The hairy ball theorem of algebraic topology states that there is no nonvanishing continuous tangent vector field on the sphere. If f is a continuous function that assigns a vector in R3 to every point p on a sphere such that f ( p ) is always… …   Wikipedia

  • Rokhlin's theorem — In 4 dimensional topology, a branch of mathematics, Rokhlin s theorem states that if a smooth, compact 4 manifold M has a spin structure (or, equivalently, the second Stiefel Whitney class w 2( M ) vanishes), then the signature of its… …   Wikipedia

  • Ham sandwich theorem — In measure theory, a branch of mathematics, the ham sandwich theorem, also called the Stone–Tukey theorem after Arthur H. Stone and John Tukey, states that given n objects in n dimensional space, it is possible to divide all of them in half… …   Wikipedia

  • Jordan curve theorem — Illustration of the Jordan curve theorem. The Jordan curve (drawn in black) divides the plane into an inside region (light blue) and an outside region (pink). In topology, a Jordan curve is a non self intersecting continuous loop in the plane.… …   Wikipedia

  • Gauss–Bonnet theorem — The Gauss–Bonnet theorem or Gauss–Bonnet formula in differential geometry is an important statement about surfaces which connects their geometry (in the sense of curvature) to their topology (in the sense of the Euler characteristic). It is named …   Wikipedia

  • Noether's theorem — This article discusses Emmy Noether s first theorem, which derives conserved quantities from symmetries. For her related theorem on infinite dimensional Lie algebras and differential equations, see Noether s second theorem. For her unrelated… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”