Find your next learning step
Three composable maps can carry information even when both adjacent composites vanish in homotopy. Choosing null-homotopies lets the outer maps be fitted around a cone or suspension, producing a secondary composite. Different valid choices may change the answer. A Toda bracket therefore records a set or coset of possible homotopy classes together with explicit indeterminacy, not a single canonical product.
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. Start with two null composites
Take pointed maps A→ᶠB→ᵍC→ʰD with g∘f null-homotopic and h∘g null-homotopic. The primary composites vanish, so one may ask whether their chosen null-homotopies fit coherently.
The triple Toda bracket ⟨h,g,f⟩ is defined only under these nullity conditions and lives, with convention-dependent ordering, in homotopy classes of maps from the suspension ΣA to D.
CHAPTER 2 OF 12 · DEFINE THE DECISION
2. Construct the secondary composite
A null-homotopy of g f extends g across the mapping cone of f. A null-homotopy of h g coextends f through a suitable fibre or cone construction. Composing the resulting extension and coextension produces a map ΣA→D.
The construction uses choices: representatives of homotopy classes, null-homotopies and identifications of cones or suspensions. The bracket collects the values produced by all allowed choices.
CHAPTER 3 OF 12 · WORK THE LEDGERS
3. Work a formal Toda-bracket ledger
Suppose [g f]=0 and [h g]=0. Choose null-homotopies F and G. They determine one value τ(F,G)∈[ΣA,D]. Replacing F or G may shift τ by composites that already come from the outer maps.
| Input | Declared fact | Constructed object | Role |
|---|---|---|---|
| g∘f | Null-homotopic | Choice F | Extends across a cone |
| h∘g | Null-homotopic | Choice G | Coextends through suspension |
| F and G | Compatible choices | τ(F,G):ΣA→D | One bracket value |
| All choices | Varied systematically | ⟨h,g,f⟩ | Set of values |
CHAPTER 4 OF 12 · WORK THE LEDGERS
4. Compute the ordinary indeterminacy
In a common stable convention, changing the choices shifts a triple bracket by the sum h∘[ΣA,C]+[ΣB,D]∘Σf inside [ΣA,D]. Thus the bracket is naturally a coset or subset modulo these left and right composition terms.
Saying “the bracket is zero” should mean that the zero class lies in the bracket, not merely that one representative becomes zero after an unrelated quotient.
CHAPTER 5 OF 12 · WORK THE LEDGERS
5. Change a null-homotopy and track the shift
Keep G fixed and replace F by another null-homotopy. The difference between the two choices determines a class in [ΣA,C], and postcomposition with h shifts the bracket value. Changing G instead contributes the right-indeterminacy term through Σf.
| Changed choice | Difference class | Shift term | Unchanged fact |
|---|---|---|---|
| F only | u∈[ΣA,C] | h∘u | Primary composites vanish |
| G only | v∈[ΣB,D] | v∘Σf | Bracket remains defined |
| Both | u and v | h∘u+v∘Σf | Same indeterminacy coset |
| Representatives | Homotopic replacements | Conventionally equivalent set | Secondary nature |
CHAPTER 6 OF 12 · TRANSFER THE METHOD
6. Connect brackets to obstruction theory
The obstruction-cocycle guide shows why a vanishing primary class leaves a torsor of choices. A Toda bracket packages the next compatibility question generated by such choices.
When zero lies in the bracket, a longer diagram may be rectifiable or extendable at the next stage, subject to the exact theorem. A nonzero bracket can obstruct that refinement.
CHAPTER 7 OF 12 · TRANSFER THE METHOD
7. Connect towers and spectral sequences
The Moore–Postnikov guide organises successive lifting problems. The Whitehead-tower guide tracks connected covers and obstruction layers.
Use the descent spectral-sequence guide when differentials and extensions encode higher coherence, and the coskeleta guide for truncated matching data.
CHAPTER 8 OF 12 · TRANSFER THE METHOD
8. Compare Toda brackets and Massey products
Toda brackets are secondary compositions in homotopy; Massey products play an analogous role in differential graded algebra and cohomology. Both require vanishing lower products and both carry indeterminacy from defining choices.
The analogy guides calculations but does not identify the constructions automatically. A comparison theorem, sign convention and model are needed before a Massey product is used to infer a Toda value.
CHAPTER 9 OF 12 · CHECK LIMITS AND EVIDENCE
9. Know the limits and common misconceptions
A bracket is not defined merely because the composite h g f is null. Each adjacent composite must satisfy the defining nullity condition. Nor is a bracket a single element unless its indeterminacy vanishes or a canonical refinement is supplied.
Higher Toda brackets involve more coherence choices, and their indeterminacy may not be captured by one simple subgroup formula. Stable, unstable, enriched and model-categorical versions also use different conventions.
CHAPTER 10 OF 12 · CHECK LIMITS AND EVIDENCE
10. Use a proof and source routine
Record the spaces or spectra, map order, grading convention, representatives, the two primary composites, chosen null-homotopies, cone construction, bracket target group, one value, left and right indeterminacy, sign convention and the meaning of vanishing.
Baues, Blanc and Gondhali’s note on Toda brackets develops brackets as obstructions to rectification in pointed model categories. Bruner’s Adams spectral sequence primer introduces Toda brackets as secondary compositions formed from null-homotopies. Kochman’s chapter on Toda brackets shows how bracket indeterminacy enters stable homotopy calculations.
CHAPTER 11 OF 12 · ASK AND CONTINUE
11. Frequently asked questions
Why does the suspension ΣA appear?
The two null-homotopies glue along cone boundaries, leaving a map from the suspended source into the final target.
What does it mean for a bracket to vanish?
Under the stated convention, the bracket contains the zero homotopy class.
Can indeterminacy be useful?
Yes. Its subgroup or coset structure records exactly which earlier choices can change the secondary value.
CHAPTER 12 OF 12 · ASK AND CONTINUE
12. Continue with a null-homotopy transfer check
Begin with one value τ(F,G). Replace F by F′ whose difference is u∈[ΣA,C], and write the shifted value τ+h∘u. Then replace G by G′ with difference v∈[ΣB,D], add v∘Σf, and explain why all resulting values belong to the same indeterminacy coset.
Continue through the Topology root, the Gold Standard of Education and the How X Works hub.
Top · Contents · Previous · How X Works