Hurewicz theorem

Hurewicz theorem is a fundamental result in algebraic topology that relates homotopy groups to homology groups via the Hurewicz homomorphism. The theorem plays a central role in computations involving CW complexes, the study of simply connected spaces, and the classification of manifolds, connecting the work of pioneers such as Henri Poincaré, Emmy Noether, Solomon Lefschetz, and John Milnor with later developments by Spanier, Eilenberg, and Steenrod. It underpins many techniques used in modern texts by Allen Hatcher, Raoul Bott, and Jean-Pierre Serre.

Statement

The classical statement concerns a pointed, path-connected CW complex or topological space X and its Hurewicz homomorphism from the nth homotopy group to the nth homology group. In the simply connected case one finds that if π_i(X)=0 for 1 ≤ i < n, then the Hurewicz homomorphism induces an isomorphism π_n(X) → H_n(X) and that H_i(X)=0 for i < n; this statement refines earlier insights of Poincaré and was formalized by Hurewicz to guide calculations akin to those in works by Witold Hurewicz and J. H. C. Whitehead. Variants address non-simply-connected spaces, using the abelianization map π_1(X) → H_1(X) related to the Hurewicz homomorphism and building on structural results from Heinz Hopf and Eilenberg–MacLane constructions.

Proofs and Variants

Proofs typically proceed via cellular approximation and spectral sequence arguments drawing on tools from singular homology, the Serre spectral sequence, and CW approximation theorems by J. H. C. Whitehead and John Milnor. Alternate proofs employ the Hurewicz fibration concept, Postnikov towers associated with Postnikov decompositions, and the interplay with Eilenberg–MacLane fibers as found in work of Kenneth S. Brown and Jean-Pierre Serre. General variants involve relative versions for pairs (X,A) and relative Hurewicz maps developed in texts by Edwin Spanier and appear in expositions by J. Peter May and Saunders Mac Lane.

Applications

The theorem is applied in computations of homotopy groups of spheres, influencing work by Hans Freudenthal, J. F. Adams, and Hiroshi Toda, and plays a role in classification problems for manifolds addressed by John Milnor, René Thom, and Lev Pontryagin. It is essential in obstruction theory as used by Kenneth S. Brown and M. M. Postnikov, and it informs computations involving the Hurewicz map in the study of loop spaces and H-spaces appearing in research by Hans Samelson and Peter Hilton. The theorem also aids in determining connectivity properties of spaces constructed in the spirit of CW complexes and in proofs related to the Poincaré conjecture-era developments studied by Grigori Perelman and historical work by Stephen Smale.

Generalizations and Related Results

Generalizations include the relative Hurewicz theorem, the Hurewicz theorem with local coefficients related to work by Samuel Eilenberg and Saunders Mac Lane, and spectral sequence formulations due to Jean-Pierre Serre and Henri Cartan. The Hurewicz theorem is closely related to the Hurewicz spectral sequence, the Hurewicz homomorphism in stable homotopy theory developed in the context of Brown–Peterson and Morava K-theory, and to dualities formulated by Poincaré and extended in Alexander duality frameworks. Connections to modern invariants appear in work by Jacob Lurie and Douglas Ravenel on chromatic homotopy theory.

Examples and Computations

Classic computations illustrate that for n≥2 the n-sphere S^n satisfies π_n(S^n) ≅ H_n(S^n) ≅ Z by the Hurewicz isomorphism, a fact used in expositions by Allen Hatcher and Edwin Spanier. For simply connected CW complexes with first nontrivial homotopy in degree n, the theorem reduces the computation of π_n to homology calculations as carried out in works by Saunders Mac Lane and J. H. C. Whitehead. Relative examples include pairs (D^n,S^{n-1}) and mapping cones used in calculations by Michael Freedman and in obstruction-theoretic contexts treated by Kenneth S. Brown.

Category:Algebraic topology