Sphere theorem (3-manifolds)

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 that pi_2(M) is not the trivial group. Then there exists a non-zero element ofpi_2(M) having a representative that is an embedding S^2 o M.

The proof of this version can be based on transversality methods, see Batude below.

Another more general version (also called the projective plane theorem due to Epstein) is:

Let M be any 3-manifold and N a pi_1(M)-invariant subgroup of pi_2(M). If fcolon S^2 o M is a general position map such that [f] otin N and U is any neighborhood of the singular set Sigma(f), then there is a map gcolon S^2 o M satisfying

# [g] otin N,
#g(S^2)subset f(S^2)cup U,
#gcolon S^2 o g(S^2) is a covering map, and
#g(S^2) is a 2-sided submanifold (2-sphere or projective plane) of M. quoted in Hempel (p. 54)

References

* cite journal
author = Batude, J. L.
title = Singularité générique des applications différentiables de la 2-sphère dans une 3-variété différentiable
journal = Annales de l'Institut Fourier
volume = 21
issue = 3
year = 1971
pages = 151–172

* cite journal
author = Epstein, D. B. A.
authorlink = David B. A. Epstein
title = Projective planes in 3-manifolds
journal = Proceedings of the London Mathematical Society, III Ser.
volume = 11
year = 1961
pages = 469–484
doi = 10.1112/plms/s3-11.1.469

* cite book
author = Hempel, J.
title = 3-manifolds
publisher = Princeton University Press
year = 1978

* cite journal
author = C. Papakyriakopoulos
authorlink = Christos Papakyriakopoulos
title = On Dehn's lemma and asphericity of knots
journal = Annals of Mathematics
volume = 66
year = 1957
pages = 1–26
doi = 10.2307/1970113

* cite journal
author = Whitehead, J. H. C.
authorlink = J. H. C. Whitehead
title = On 2-spheres in 3-manifolds
journal = Bulletin of the American Mathematical Society
volume = 64
year = 1958
pages = 161–166
doi = 10.1090/S0002-9904-1958-10193-7


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • 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… …   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

  • Classification of manifolds — In mathematics, specifically geometry and topology, the classification of manifolds is a basic question, about which much is known, and many open questions remain. Contents 1 Main themes 1.1 Overview 1.2 Different categories and additional… …   Wikipedia

  • 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

  • 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

  • Atiyah–Singer index theorem — In the mathematics of manifolds and differential operators, the Atiyah–Singer index theorem states that for an elliptic differential operator on a compact manifold, the analytical index (closely related to the dimension of the space of solutions) …   Wikipedia

  • Exotic sphere — In differential topology, a mathematical discipline, an exotic sphere is a differentiable manifold M that is homeomorphic but not diffeomorphic to the standard Euclidean n sphere. That is, M is a sphere from the point of view of all its… …   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

  • Kuiper's theorem — In mathematics, Kuiper s theorem (after Nicolaas Kuiper) is a result on the topology of operators on an infinite dimensional, complex Hilbert space H. It states that the space GL(H) of invertible bounded endomorphisms H is such that all maps …   Wikipedia

  • Riemann sphere — The Riemann sphere can be visualized as the complex number plane wrapped around a sphere (by some form of stereographic projection – details are given below). In mathematics, the Riemann sphere (or extended complex plane), named after the 19th… …   Wikipedia

Share the article and excerpts

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