Postnikov system

Postnikov system
Name	Postnikov system
Field	Algebraic topology
Introduced by	Mikhail Postnikov
Year	1950s

Postnikov system is a method in algebraic topology for approximating a topological space by a tower of spaces each having controlled homotopy groups, enabling computations in homotopy theory and obstruction theory. It relates to homotopy types studied in the context of Serre spectral sequence, Eilenberg–MacLane spaces, and homological algebra, and interacts with concepts from Hatcher, Whitehead, and Spanier. The construction organizes information about a space's homotopy groups into a sequence of principal fibrations classified by cohomology classes, facilitating comparisons with models used by Adams, Sullivan, Quillen, and Brown.

Definition and basic properties

A Postnikov system for a connected CW complex or a simplicial set is a sequence of spaces and maps X → ... → X(n) → X(n−1) → ... → X(1) where each X(n) has trivial homotopy groups above degree n and the maps induce isomorphisms on π_i for i ≤ n. The concept formalizes truncations familiar from Eilenberg–MacLane constructions and is central to obstruction theory developed by Steenrod, Serre, and Eilenberg. Key properties include functoriality under maps arising in the homotopy category, uniqueness up to weak equivalence akin to uniqueness statements in Brown representability and Quillen model category frameworks, and compatibility with fibrations and spectral sequences introduced by Leray and Cartan. In practice one uses cellular approximation theorems of Whitehead and homotopy lifting properties from Hurewicz theory to verify the truncation properties.

Construction and Postnikov towers

The Postnikov tower is constructed inductively by killing homotopy above successive degrees using principal fibrations whose fibers are Eilenberg–MacLane spaces K(π, n). At each stage one forms a fibration K(π_n(X), n) → X(n) → X(n−1) where π_n(X) denotes the nth homotopy group of X. The obstruction to splitting or lifting maps along the tower is measured by cohomology classes in H^{n+1}(X(n−1); π_n(X)), reflecting obstruction theory developed by Whitehead, Moore, and Eilenberg–MacLane. Constructions use classifying spaces and loop space adjunctions exemplified by constructions appearing in Milnor, Mac Lane, and May, and rely on model categorical input from Quillen and Dwyer–Kan for simplicial and topological enrichment. In computations one often replaces spaces by CW complexes and uses cellular Whitehead theorems and tools from Serre and Adams spectral sequences to control extension problems.

Postnikov invariants (k-invariants)

Postnikov invariants, also called k-invariants, are cohomology classes k_n ∈ H^{n+1}(X(n−1); π_n(X)) that classify the extension K(π_n(X), n) → X(n) → X(n−1). These invariants play the role analogous to extension classes in group cohomology studied by Hochschild and Serre and analogous obstruction classes in the work of Steenrod and Cartan. The collection of k-invariants completely determines the homotopy type up to weak equivalence when combined with homotopy groups, paralleling classification results in Eilenberg–MacLane theory and the classification of fiber bundles by characteristic classes of Chern, Pontryagin, and Stiefel–Whitney for vector bundles. Calculations of k-invariants leverage cup products, Massey products studied by Massey and Kraines, and operations from Steenrod algebra and cohomology operations introduced by Steenrod and Adem.

Examples and computations

Classic examples include the Postnikov tower of spheres S^n where nontrivial homotopy groups and associated k-invariants capture phenomena studied by Serre, Toda, and Adams. The Postnikov system for complex projective spaces CP^n relates to cohomology operations in the work of Hatcher and Milnor, while the Postnikov invariants of Lie groups such as SU(n), SO(n), and Sp(n) connect to Bott periodicity and results of Bott and Milnor. Computations for Moore spaces and lens spaces exploit group cohomology calculations attributed to Eilenberg–MacLane and Cartan, and explicit k-invariants for classifying spaces BG for finite groups G are tied to group cohomology studied by Brown and Tate. Advanced computations use tools from Adams spectral sequence, Bousfield localization, and the nilpotence technology of Devinatz–Hopkins–Smith.

Applications in homotopy theory and algebraic topology

Postnikov systems are foundational in obstruction theory for extending maps and lifting homotopies, appearing in proofs and constructions by Whitehead, Eilenberg, and Mac Lane, and underpin rational homotopy theory developed by Sullivan and Quillen. They are used in classification problems for bundles and fibrations, comparisons of homotopy types via localization techniques of Bousfield, and calculations in stable homotopy theory involving spectra studied by Boardman and Adams. In higher category theory and derived algebraic geometry, Postnikov towers arise in truncation procedures used by Lurie and Toen–Vezzosi, and they appear in the study of cohomology operations, chromatic homotopy theory introduced by Ravenel, and obstruction-theoretic approaches to moduli problems in work of Goerss–Hopkins.

Variants and generalizations

Variants include relative Postnikov towers for pairs and maps, profinite Postnikov towers used in étale homotopy theory of Artin–Mazur and Quick, and simplicial or model-categorical Postnikov resolutions used by Dwyer–Kan and Hovey. Generalizations extend to spectral Postnikov towers for spectra in stable homotopy theory and to truncated objects in infinity-categories as in the work of Joyal and Lurie. Other directions include Postnikov-like filtrations in motivic homotopy theory of Voevodsky, tower constructions in operadic homotopy theory studied by Boardman–Vogt and May, and applications to obstruction problems in arithmetic topology influenced by Grothendieck and Sullivan.

Category:Algebraic topology