Not to be confused with the Hurwitz theorem.
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
The first nonzero homotopy group and ordinary/singular homology group of a simply-connected topological space occur in the same dimension and are isomorphic.
(Hurewicz homomorphism)
For a pointed topological space, the Hurewicz homomorphism is the function
from the th homotopy group of to the th singular homology group defined by sending
a representative singular -sphere in to the push-forward along of the fundamental class .
The above construction has an immediate analog in stable homotopy theory:
For a ring, its Eilenberg-MacLane spectrum is an E-infinity ring and hence receives a canonical unit homomorphism from the sphere spectrum.
Under smash product and passing to stable homotopy group, this induces a natural transformation from stable homotopy groups of (its stable homotopy homology theory) to ordinary homology of with coefficients in :
If here the Eilenberg-MacLane spectrum is replaced by any other E-infinity ring spectrum the analogous construction is called the Boardman homomorphism.
If a topological space (or infinity-groupoid) is (n-1)-connected for then the Hurewicz homomorphism, def.
is an isomorphism.
A proof is spelled out for instance with theorem 2.1 in (Hutchings).
With the universal coefficient theorem a corresponding statement follows for the cohomology group .
The Adams spectral sequence is a vast generalization of the computation of homotopy groups from cohomology groups via the Hurewicz theorem.
Named after Witold Hurewicz.
The basic statement is for instance in
Lecture notes include
For discussion in stable homotopy theory modeled on symmetric spectra is in
See also
In the generality of the Boardman homomorphism:
Discussion of the stable Hurewicz homomorphism includes
Last revised on February 17, 2019 at 05:56:23. See the history of this page for a list of all contributions to it.