Postnikov tower

Postnikov tower A Postnikov tower is a filtered system of spaces that recovers the homotopy type of a topological space by successive approximations using Eilenberg–MacLane spaces and principal fibrations. Introduced by Mikhail Postnikov, the construction organizes the homotopy data of a CW complex into layers controlled by cohomology classes and provides a categorical method for comparing spaces via truncations and obstruction theory.

Definition and construction

Given a connected CW complex X, the Postnikov construction produces a sequence of spaces X_n and maps ... → X_{n+1} → X_n → ... → X_1 → X_0 such that each X_n has the same homotopy groups as X in degrees ≤ n and vanishing homotopy groups in degrees > n. The tower is built inductively using principal fibrations with fibres equivalent to Eilenberg–MacLane spaces K(π_n(X), n), where π_n(X) denotes the n-th homotopy group of X. At each stage the extension data are encoded by obstruction classes in cohomology groups H^{n+1}(X_{n-1}; π_n(X)), often realized as k-invariant maps into classifying spaces such as BGL_1 of suitable spectra. The output respects homotopy equivalences and is functorial up to homotopy, making the Postnikov tower a tool in relation to constructions by Serre, Hurewicz, and methods appearing in the work of Eilenberg and Mac Lane.

Homotopy groups and k-invariants

The n-th stage X_n carries the truncated homotopy groups π_i(X_n) ≅ π_i(X) for i ≤ n and π_i(X_n) = 0 for i > n. The obstruction to lifting a map X_{n-1} → K(π_n(X), n+1) to a fibration corresponds to a cohomology class called the k-invariant k_{n+1} ∈ H^{n+1}(X_{n-1}; π_n(X)). These k-invariants are central in classification results akin to the Postnikov invariants used by Whitehead and play roles in computations influenced by techniques from Adams spectral sequences and Moore spaces. In favorable cases where π_i(X) are modules over rings like Z or Z/p, the k-invariants live in Ext groups appearing in the Yoneda interpretation of extensions, connecting to the machinery developed by Cartan and Eilenberg–Mac Lane.

Properties and uniqueness

The Postnikov tower is unique up to homotopy equivalence: given two towers approximating the same space, there exist maps intertwining stages that are equivalences in the appropriate truncation ranges. Functoriality holds up to homotopy, compatible with maps between spaces as used in constructions by Serre and in the context of model categories by Quillen. The tower interacts well with products, smash products, and mapping spaces, reflecting properties studied by Spanier and Whitehead. Under localization at sets of primes as in work by Bousfield and Kan, Postnikov towers can be refined to p-local or nilpotent settings, connecting to notions from Sullivan's rational homotopy theory and to the Brown–Gitler spectrum techniques.

Examples and computations

For spheres S^n the Postnikov tower is trivial up to the first nonzero homotopy groups; classical computations by Freudenthal and Serre show nontrivial higher homotopy groups detected by k-invariants related to the Hopf fibration and to operations like the Steenrod algebra action. For classifying spaces such as BGL_n and BG the Postnikov truncations reflect characteristic classes like the Stiefel–Whitney classes and Chern classes appearing as k-invariants in H^*(B; π_*). Calculations for complex projective spaces CP^n and real projective spaces RP^n use cell structures exploited by CW complex theory developed by J. H. C. Whitehead and computations by Milnor and Stasheff; for Lie groups such as SU(n) and SO(n) the Postnikov stages reveal homotopy groups computed by techniques due to Cartan, Bott, and H. Hopf. Examples in stable homotopy theory, including Moore spaces and spectra like the Eilenberg–Mac Lane spectrum HZ or Morava E-theory, illustrate how Postnikov layers correspond to truncated spectra and relate to the Adams–Novikov spectral sequence and to work by Ravenel.

Applications and related constructions

Postnikov towers underpin obstruction theory for extending maps and classifying principal fibrations, central to results by Hurewicz, Serre, and Eilenberg–Mac Lane. They are foundational in the study of localization and completion techniques by Bousfield–Kan and in rational homotopy theory influenced by Sullivan and Quillen's models. Variants include the Whitehead tower dual to the Postnikov tower, the Moore–Postnikov factorization used in the study of maps between spaces by Moore and Postnikov's contemporaries, and higher-categorical analogues in the theory of infinity-categories developed by Grothendieck's descendants and formalized by Lurie. In algebraic contexts, Postnikov-like filtrations appear in spectral sequences such as the Serre spectral sequence, the Adams spectral sequence, and the Atiyah–Hirzebruch spectral sequence, connecting to computations in K-theory and cobordism theories studied by Thom and Conner–Floyd.

Category:Algebraic topology