Freudenthal suspension theorem

Freudenthal suspension theorem
Name	Freudenthal suspension theorem
Field	Algebraic topology
Introduced	1930s
Author	Hans Freudenthal
Related	Homotopy groups; Suspension; Hurewicz theorem; Serre spectral sequence

Freudenthal suspension theorem is a central result in algebraic topology connecting homotopy groups of a based space with those of its suspension, providing stable range isomorphisms that underlie stable homotopy theory and the construction of spectra. The theorem establishes connectivity-based isomorphisms and epimorphisms between homotopy groups of a CW-complex and shifted homotopy groups of its suspension, forming a cornerstone for the development of stable homotopy theory and influencing work by Jean-Pierre Serre, J. H. C. Whitehead, and Hilton.

Statement

Let X be a based CW-complex that is n-connected (i.e., π_i(X)=0 for i≤n) with n≥0. The suspension map Σ: X → ΣX induces homomorphisms Σ_*: π_k(X) → π_{k+1}(ΣX). The Freudenthal suspension theorem asserts that Σ_* is an isomorphism for k ≤ 2n and a surjection for k = 2n+1. This result is often stated for pointed connected CW-complexes and is used to define stable homotopy groups π_k^s(X) as colimits under successive suspensions, linking to constructions in Eilenberg–MacLane and Postnikov theory.

Historical background and motivation

The theorem was proved by Hans Freudenthal in the 1930s amid rapid developments in algebraic topology, concurrent with advances by Henri Poincaré in manifold theory and by Samuel Eilenberg and Norman Steenrod on axiomatic homology. Freudenthal's work addressed questions raised by computations of low-dimensional homotopy groups pursued by W. H. Young and by the later systematic treatments of homotopy by Edwin Spanier and J. H. C. Whitehead. Motivation came from attempts to relate unstable invariants, studied by Emil Artin and Lev Pontryagin, to more tractable stabilized invariants that were amenable to spectral sequence methods developed by Jean Leray and later refined by Jean-Pierre Serre.

Proof outline

Freudenthal's argument combines connectivity estimates with homotopy excision and suspension properties familiar to practitioners following the methods of J. H. C. Whitehead and Norman Steenrod. One considers the pair (CX,X) where CX is the cone on X and uses the long exact sequence of homotopy groups associated to the cofibration X → CX → ΣX. Connectivity hypotheses and the five-lemma, together with Hurewicz-type comparisons originating from W. V. D. Hodge and formalized in the Hurewicz theorem, yield isomorphism ranges. More modern proofs employ the Blakers–Massey theorem with input from R. H. Fox and A. H. Stone or use model category perspectives drawing on techniques from Daniel Quillen and Mark Hovey to express suspension as a left adjoint preserving homotopy colimits.

Consequences and corollaries

Freudenthal suspension theorem implies stabilization of homotopy groups in the stable range, enabling definition of stable homotopy groups of spheres that became central in the work of G. W. Whitehead and J. F. Adams. It underlies the construction of spectra used by Michael Boardman and Douglas Ravenel and supports computations via the Adams spectral sequence developed by J. F. Adams and applications by Haynes Miller. The theorem provides input to the Freudenthal suspension corollary that maps into infinite loop spaces studied by Graeme Segal and to Bott periodicity phenomena explored by Raoul Bott and Michael Atiyah.

Examples and computations

For spheres S^m one obtains the classical stability range: the suspension map π_k(S^m) → π_{k+1}(S^{m+1}) is an isomorphism for k ≤ 2m−1 and a surjection for k = 2m. This stabilizes computation of π_k^s(S^0) used by Henri Cartan and later tabulated by J. F. Adams and Mark Mahowald. For Eilenberg–MacLane spaces K(G,n) the theorem interacts with homology computations by Samuel Eilenberg and Norman Steenrod, and for Lie groups such as SO(n) and SU(n) the suspension behavior informs homotopy computations carried out by Raoul Bott and Murray Gerstenhaber.

Generalizations and related results

Generalizations include the Blakers–Massey theorem relating connectivity of pairs and triads proved by A. Hatcher and classical extensions in the literature of Jean-Pierre Serre on spectral sequences. Model category formulations by Daniel Quillen and modern stable homotopy approaches via Elmendorf–Kriz–Mandell–May frameworks recast Freudenthal as a statement about stabilization functors. Related results include the Hurewicz theorem, the EHP sequence studied by G. W. Whitehead and George W. Whitehead Jr., and the Freudenthal suspension's role in the development of infinite loop space theory of May and Boardman.

Category:Algebraic topology