Find your next learning step
A Postnikov tower keeps low homotopy information and discards the high layers. A Whitehead tower moves in the complementary direction: each connected cover removes another low homotopy group while preserving the groups above it. The map that kills a layer also creates a lifting question, and its cohomology class records the obstruction. The indices are compact; the logic deserves to be unpacked slowly.
Open the chapter contents · Topology root · Gold Standard of Education · How X Works
Chapter contents
Choose the route closest to the decision, or read from Chapter 1. The chapters remain open; these grouped routes are a navigable index.
Route 1 · Define the decision
Route 2 · Work the ledgers
Route 3 · Transfer the method
Route 4 · Check limits and evidence
Route 5 · Ask and continue
CHAPTER 1 OF 12 · DEFINE THE DECISION
1. Fix the connected-cover convention
Here X⟨n⟩ denotes an n-connected cover: πᵢ(X⟨n⟩)=0 for i≤n, while the map X⟨n⟩→X induces isomorphisms on πᵢ for i>n. Some texts shift the brackets by one, so the vanishing range must accompany the notation.
For a connected space, X⟨1⟩ is its simply connected cover. Higher stages remove π₂, then π₃ and so on, without deliberately truncating the groups above the current stage.
CHAPTER 2 OF 12 · DEFINE THE DECISION
2. Build a stage as a homotopy fibre
Suppose X⟨n−1⟩ is already (n−1)-connected. A map from it to K(πₙX,n) representing the relevant class has homotopy fibre X⟨n⟩. The fibre of X⟨n⟩→X⟨n−1⟩ is K(πₙX,n−1), up to the chosen model and twisting hypotheses.
This fibre sequence explains the bookkeeping: the new stage removes πₙ while leaving higher homotopy groups unchanged. It also turns a construction into a lifting problem.
CHAPTER 3 OF 12 · WORK THE LEDGERS
3. Work a Whitehead-tower ledger
Take the product X=S¹×K(ℤ,2)×K(ℤ/2,4). It has nonzero homotopy groups π₁=ℤ, π₂=ℤ and π₄=ℤ/2, with trivial attaching data in this product example.
| Stage | Groups removed | Groups retained | Simple model |
|---|---|---|---|
| X | None | π₁, π₂, π₄ | S¹×K(ℤ,2)×K(ℤ/2,4) |
| X⟨1⟩ | π₁ | π₂, π₄ | K(ℤ,2)×K(ℤ/2,4) |
| X⟨2⟩ | π₁, π₂ | π₄ | K(ℤ/2,4) |
| X⟨4⟩ | π₁ through π₄ | None here | Contractible in this model |
CHAPTER 4 OF 12 · WORK THE LEDGERS
4. Read the obstruction to a lift
For a map f:Y→X⟨n−1⟩, a lift to X⟨n⟩ exists precisely when the composite Y→X⟨n−1⟩→K(πₙX,n) is null-homotopic, with the usual local-coefficient qualifications. Its represented cohomology class is the primary obstruction.
Vanishing says a lift exists; it does not select a unique lift. When lifts exist, their choices are typically organised by a lower-degree cohomology set or group. Existence and classification are separate questions.
CHAPTER 5 OF 12 · WORK THE LEDGERS
5. Change the source and watch the obstruction move
For the product ledger, a map S²→X⟨1⟩ representing 3∈π₂ cannot lift to X⟨2⟩: the degree-two class is nonzero. A null map can lift, and different null-homotopies can encode different lift data.
| Input map | Target stage | Obstruction layer | Conclusion |
|---|---|---|---|
| Generator S²→K(ℤ,2) | X⟨1⟩ | 1∈H²(S²;ℤ) | No lift to X⟨2⟩ |
| Three times generator | X⟨1⟩ | 3∈H²(S²;ℤ) | No lift |
| Null map | X⟨1⟩ | 0 | Lift exists |
| Map S³→X⟨2⟩ | K(ℤ/2,4) target class | H⁴(S³;ℤ/2)=0 | Primary lift obstruction vanishes |
CHAPTER 6 OF 12 · TRANSFER THE METHOD
6. Keep fundamental-group actions visible
When π₁ acts nontrivially on higher homotopy groups, coefficients may be local rather than constant and principal-fibration descriptions require care. Passing first to a simply connected cover simplifies, but does not erase the need to state the action.
Nilpotence, simplicity and CW-type hypotheses often control how cleanly a tower is constructed and used. A slogan such as “kill one group at a time” is safest after these conditions are made explicit.
CHAPTER 7 OF 12 · TRANSFER THE METHOD
7. Connect the established topology routes
The Postnikov and hypercompletion guide studies the complementary tower that retains lower layers. The coskeleta guide shows how bounded information is assembled in descent.
Use the descent spectral-sequence guide when obstruction layers appear through filtered totalisations, and return to the Topology root for homotopy-fibre foundations.
CHAPTER 8 OF 12 · TRANSFER THE METHOD
8. Compare Whitehead and Postnikov directions
The Postnikov section τ≤nX preserves πᵢ for i≤n and removes groups above n. The connected cover X⟨n⟩ removes πᵢ for i≤n and preserves groups above n. They answer opposite approximation questions.
A fracture-style fibre sequence can relate a connected cover, the original space and a Postnikov stage, but it must be written with the chosen indices. Calling the towers dual is helpful intuition, not a license to reverse every map mechanically.
CHAPTER 9 OF 12 · CHECK LIMITS AND EVIDENCE
9. Know the limits and common misconceptions
A highly connected cover is not an ordinary covering space beyond the first fundamental-group stage. Its fibre is generally an Eilenberg–Mac Lane space rather than a discrete set.
Vanishing homotopy groups do not make a map uniquely lift, and matching lists of homotopy groups do not identify spaces without k-invariants and actions. Infinite towers also introduce convergence questions separate from each finite stage.
CHAPTER 10 OF 12 · CHECK LIMITS AND EVIDENCE
10. Use a proof and source routine
Record basepoints, connectedness, CW or model-category setting, indexing convention, π₁ actions, coefficient systems, the classifying map to K(A,n), its homotopy fibre, the obstruction class, the torsor of lift choices and any limit or convergence claim.
The Postnikov and Whitehead tower notes give a concise construction by killing homotopy groups. Whitehead’s Elements of Homotopy Theory provides the broader classical framework, while Higher Topos Theory supplies modern truncation and connectivity language.
CHAPTER 11 OF 12 · ASK AND CONTINUE
11. Frequently asked questions
Is X⟨1⟩ always the universal cover?
For a suitably connected, locally well-behaved space, it models the simply connected cover; higher stages are homotopy-theoretic connected covers.
Why is the fibre one degree lower?
The homotopy fibre of a map to K(A,n) has loop-space fibre ΩK(A,n)≃K(A,n−1).
Does a zero obstruction give one canonical lift?
No. It gives existence; choices can differ by lower-degree cohomological data.
CHAPTER 12 OF 12 · ASK AND CONTINUE
12. Continue with an obstruction transfer check
Replace the source S² in the ledger by S²∨S² and map the two summands to 2 and −2 in π₂. Decide whether the class vanishes on each summand and whether the map lifts to X⟨2⟩. Then precompose with the fold map S²→S²∨S² and explain why the pulled-back obstruction can vanish even though the original pair does not.
Continue through the Topology root, the Gold Standard of Education and the How X Works hub.
Top · Contents · Previous · How X Works