Freudenthal suspension theorem: Difference between revisions
m Standard headings &/or gen fixes. using AWB |
→References: add a couple including the original Freudenthal paper (?) — note date=1938 not 1937, although Whitehead gives the date as 1937 in his paper |
||
| Line 35: | Line 35: | ||
==References== |
==References== |
||
*{{citation|first=H.|last=Freudenthal|authorlink=Hans Freudenthal|title=Über die Klassen der Sphärenabbildungen. I. Große Dimensionen|journal=Compositio Mathematica|volume=5|year=1938|pages=299–314|url=http://www.numdam.org/item?id=CM_1938__5__299_0}}. |
|||
*P.G. |
*{{citation|first1=P. G.|last1=Goerss|first2=J. F.|last2=Jardine|title=Simplicial Homotopy Theory|series=Progress in Mathematics|volume=174|publisher=Birkhäuser|location=Basel-Boston-Berlin|year=1999}}. |
||
*{{citation|first=G. W.|last=Whitehead|authorlink=George W. Whitehead|title=On the Freudenthal Theorems|journal=Annals of Mathematics|volume=57|issue=2|year=1953|pages=209–228|url=http://www.jstor.org/stable/1969855|id={{MR|0055683}}}} |
|||
[[Category:Homotopy theory]] |
[[Category:Homotopy theory]] |
||
Revision as of 06:47, 3 March 2009
In mathematics, and specifically in the field of homotopy theory, the Freudenthal suspension theorem is the fundamental result leading to the concept of stabilization of homotopy groups and ultimately to stable homotopy theory. It explains the behavior of simultaneously taking suspensions and increasing the index of the homotopy groups of the space in question. It was proved in 1937 by Hans Freudenthal.
Statement of the theorem
Let X be an n-connected pointed space (a pointed CW-complex or pointed simplicial set). The map
- X → Ω(X ∧ S1)
induces a map
- πk(X) → πk(Ω(X ∧ S1))
on homotopy groups, where Ω denotes the loop functor and ∧ denotes the smash product. The suspension theorem then states that the induced map on homotopy groups is an isomorphism if k ≤ 2n and an epimorphism if k = 2n + 1.
A basic result on loop spaces gives the relation
- πk(Ω(X ∧ S1)) ≅ πk+1(X ∧ S1)
so the theorem could otherwise be stated in terms of the map
- πk(X) → πk+1(X ∧ S1),
with the small caveat that in this case one must be careful with the indexing.
Corollary 1
Let Sn denote the n-sphere and note that it is (n − 1)-connected so that the groups πn+k(Sn) stabilize for
- n ≥ k + 2
by the Freudenthal theorem. These groups represent the kth stable homotopy group of spheres.
Corollary 2
More generally, for fixed k ≥ 1, k ≤ 2n for sufficiently large n, so that any n-connected space X will have corresponding stabilized homotopy groups. These groups are actually the homotopy groups of an object corresponding to X in the stable homotopy category.
References
- Freudenthal, H. (1938), "Über die Klassen der Sphärenabbildungen. I. Große Dimensionen", Compositio Mathematica, 5: 299–314.
- Goerss, P. G.; Jardine, J. F. (1999), Simplicial Homotopy Theory, Progress in Mathematics, vol. 174, Basel-Boston-Berlin: Birkhäuser.
- Whitehead, G. W. (1953), "On the Freudenthal Theorems", Annals of Mathematics, 57 (2): 209–228, MR0055683