X
\pin+k(\SigmanX)
n
\pin+k(Sn)
n\gek+2
\langle
id | |
S1 |
\rangle=\Z=
1)\cong | |
\pi | |
1(S |
2)\cong | |
\pi | |
2(S |
3)\cong … | |
\pi | |
3(S |
\langleη\rangle=\Z=
2)\to | |
\pi | |
3(S |
3)\cong | |
\pi | |
4(S |
4)\cong … | |
\pi | |
5(S |
In the two examples above all the maps between homotopy groups are applications of the suspension functor. The first example is a standard corollary of the Hurewicz theorem, that
n)\cong | |
\pi | |
n(S |
\Z
η
\Sigmaη
3)\cong | |
\pi | |
4(S |
\Z/2
One of the most important problems in stable homotopy theory is the computation of stable homotopy groups of spheres. According to Freudenthal's theorem, in the stable range the homotopy groups of spheres depend not on the specific dimensions of the spheres in the domain and target, but on the difference in those dimensions. With this in mind the k-th stable stem is
s | |
\pi | |
k |
:=\limn\pin+k(Sn)
k\ne0
S | |
\pi | |
* |
s | |
\pi | |
0 |
\cong\Z
s | |
\pi | |
* |
In the modern treatment of stable homotopy theory, spaces are typically replaced by spectra. Following this line of thought, an entire stable homotopy category can be created. This category has many nice properties that are not present in the (unstable) homotopy category of spaces, following from the fact that the suspension functor becomes invertible. For example, the notion of cofibration sequence and fibration sequence are equivalent.