Stable homotopy groups are homotopy groups as seen in stable homotopy theory.
A morphism inducing an isomorphism on all stable homotopy groups is called a stable weak homotopy equivalence.
Given a pointed topological space , its stable homotopy groups are the colimit of ordinary homotopy groups of its reduced suspensions
Given a sequential spectrum , in the form of a sequence of component spaces with structure maps , then for the th homotopy group of is the colimit
over the homotopy groups of the component spaces.
For sequential spectra in simplicial sets, the same formula applies for the geometric realization of the component simplicial sets.
(For details see this definition.)
If a sequential spectrum is an Omega-spectrum, then its colimiting stable homotopy groups according to Def. reduce to the actual homotopy groups of the component spaces , in that:
(For details see this example.)
Let
be the operation of forming degreewise the smash product with the circle, the (un-derived, reduced) suspension of .
For a sequential spectrum, smashing with constitutes natural isomorphisms of stable homotopy groups of with the stable homotopy groups in one degree higher of the suspension spectrum of
(e.g. Schwede 12, part I, prop. 2.6)
For the suspension spectrum of a pointed topological space, we have
The assignment of stable homotopy groups to topological spaces (CW-complexes)
satisfies the axioms of a generalized homology theory. As such this is also called stable homotopy homology theory.
The homotopy groups of a suspension spectrum of a pointed topological space are the stable homotopy groups of .
In particular the homotopy groups of the sphere spectrum are the stable homotopy groups of spheres.
Thom's theorem says that the homotopy groups of the Thom spectrum form the (unoriented) cobordism ring.
Frank Adams, part III, section 2 of Stable homotopy and generalised homology, 1974
Stefan Schwede, Symmetric spectra (2012)
Last revised on January 20, 2021 at 14:04:30. See the history of this page for a list of all contributions to it.