A canonical filtration of a space (or spectrum) by stages whose homotopy groups vanish above a given degree: each stage is a principal fibration with fiber an Eilenberg–MacLane space, and the successive extensions are encoded by k-invariants.

Principle

Decompose a space into its Postnikov truncations X⟨n⟩ that capture homotopy groups up to degree n and kill higher groups; the construction proceeds inductively by principal fibrations whose fibers are K(π_n, n) and whose gluing is governed by cohomology classes (k-invariants).

Demonstration

For a simply connected CW complex one builds X→...→X⟨n⟩→X⟨n−1⟩→...→X⟨1⟩ where each fiber is an Eilenberg–MacLane space; computing the k-invariants in H^{n+1}(X⟨n−1⟩; π_n) reconstructs the extensions and allows stepwise computation of mapping spaces and obstructions.

Misapplication

Confusing the Postnikov tower with the skeletal filtration of a CW complex or assuming that Postnikov invariants determine all higher homotopical structure without accounting for nontrivial secondary operations or non-nilpotent actions leads to incorrect reconstructions.

Consequence

Enables inductive calculation of homotopy classes of maps, reduction of global homotopy problems to cohomological extension problems, and systematic obstruction theory to decide existence and uniqueness of lifts or maps.

Reversal

The Whitehead (or connectivity) tower is the dual viewpoint: instead of killing homotopy above degrees, it kills homotopy below degrees to produce increasingly connected covers; comparing the two clarifies how low- and high-degree data control the space.

Boundary

Applies to spaces (or spectra) with well-defined homotopy groups and basepoints; in non-nilpotent, highly nonconnected, or wild equivariant settings additional complications arise and Postnikov decompositions may not capture actions or higher coherence without extra structure.

Semantic Tension

Tension appears with skeletal or cellular filtrations and with computational approaches that emphasize homology rather than homotopy: Postnikov towers focus on organized homotopy-group data and cohomological k-invariants, which can be cumbersome but are more directly tied to higher homotopy structure.

Synthesis

A Postnikov tower breaks a space into successive principal fibrations with Eilenberg–MacLane fibers, encoding the step-by-step assembly of homotopy groups via k-invariants; this inductive structure turns homotopy classification into a sequence of cohomological extension and obstruction problems, valid where homotopy groups and their actions are controlled.