Read rational homotopy from a minimal model without overclaiming
Formality means a differential graded model carries no essential information beyond its cohomology algebra in the stated setting. Massey products are powerful obstructions, but their vanishing is not a universal certificate.
This guide extends The Gold Standard of Topology within The Gold Standard of Education and the verified How X Works hub.
Choose a reading route
Chapter contents
- Chapter 1: What formality says—and what it does not
- Chapter 2: The differential graded algebra ledger
- Chapter 3: Sullivan minimal models
- Chapter 4: Massey products detect hidden multiplication
- Chapter 5: Worked example: the Heisenberg minimal algebra
- Chapter 6: What a formality proof must supply
- Chapter 7: Changed-context transfer: add a generator that kills the obstruction
- Chapter 8: Why vanishing is necessary but not sufficient
- Chapter 9: A reliable formality audit
- Chapter 10: Frequently asked questions
- Chapter 11: Evidence and source checks
- Chapter 12: Continue through the verified topology route
CHAPTER 1 OF 12
What formality says—and what it does not
Cohomology records closed forms modulo exact forms and carries a graded product. A space is formal, over a chosen field, when its differential graded algebra model can be connected to its cohomology algebra with zero differential by quasi-isomorphisms.
Informally, the rational or real homotopy information carried by the model is then determined by the cohomology ring without needing hidden higher-order differential data. This is stronger than knowing the Betti numbers and stronger than knowing the ring only as an ungraded collection.
Formality depends on the coefficient field and the category under discussion. It does not mean the space has a simple geometric shape, that all integral torsion disappears, or that every chain-level choice is literally zero.
CHAPTER 2 OF 12
The differential graded algebra ledger
A commutative differential graded algebra A has graded pieces, a product and a differential d that raises degree by one, satisfies d²=0 and obeys the graded Leibniz rule. Closed elements are cocycles; exact elements are boundaries.
The cohomology H*(A) retains products of classes but sets its differential to zero. Passing directly from A to H*(A) can lose information about how products became exact and about higher operations built from those null-homologies.
A quasi-isomorphism is a DGA map inducing an isomorphism in cohomology. Formality allows a zigzag of such maps; it does not require one naïve projection to be a valid DGA map in every presentation.
CHAPTER 3 OF 12
Sullivan minimal models
A Sullivan minimal algebra is a free graded-commutative algebra ΛV with generators introduced in an order such that each differential uses earlier generators and has no linear part. A minimal model maps by quasi-isomorphism to a suitable algebra of forms on the space.
Minimality removes contractible algebraic clutter. For simply connected finite-type spaces, the degrees and differentials of generators encode rational homotopy information. A zero differential is a special easy case, not the general definition.
To test formality, one asks whether the minimal model can be related to its cohomology algebra without retaining nontrivial higher interactions. A decomposition of generators into closed and nonclosed parts can supply practical criteria, but the required ideal conditions must be proved.
CHAPTER 4 OF 12
Massey products detect hidden multiplication
A triple Massey product ⟨a,b,c⟩ is defined when ab and bc vanish in cohomology. Choosing cochains that witness those products as exact produces a new cohomology class, well-defined only up to an indeterminacy subgroup.
A nonzero Massey product is a standard obstruction to formality: a formal DGA cannot retain such a higher multiplication. The converse is the crucial limit. Vanishing of ordinary Massey products, even globally in some settings, need not prove formality.
Always distinguish “undefined”, “defined and contains zero”, and “the entire subset equals zero”. These are different statements. The defining system and coefficient field belong in the claim.
CHAPTER 5 OF 12
Worked example: the Heisenberg minimal algebra
Consider the graded-commutative algebra Λ(x₁,x₂,x₃) with all three generators in degree one, dx₁=dx₂=0 and dx₃=x₁x₂. The classes [x₁] and [x₂] survive, while [x₁x₂]=0 because x₁x₂ is exact.
The triple product ⟨[x₁],[x₁],[x₂]⟩ is defined: x₁x₁=0 and x₁x₂=dx₃. With a compatible defining system, a representative is x₁x₃ up to sign. It is closed because d(x₁x₃)=−x₁dx₃=−x₁²x₂=0.
There is no degree-one element whose differential is x₁x₃, so its cohomology class is nonzero in this model. The nontrivial triple Massey product obstructs formality. The argument works because the differential and the indeterminacy are audited, not because the symbol “Massey” alone proves anything.
| Expression | Differential | Cohomology status | Role |
|---|---|---|---|
| x₁, x₂ | 0 | Nonzero degree-one classes | Inputs |
| x₁x₂ | dx₃ | Exact | Defines the product |
| x₁x₃ | 0 | Nonzero degree-two class | Massey representative |
| ⟨[x₁],[x₁],[x₂]⟩ | Defined | Does not reduce to zero | Nonformality obstruction |
CHAPTER 6 OF 12
What a formality proof must supply
One route constructs a DGA morphism from a minimal model to its cohomology that induces the identity on cohomology. Another supplies a zigzag through a simpler DGA. Geometric proofs may use extra structure, such as a lemma identifying suitable closed representatives.
Compact Kähler manifolds are a classical formal class over the reals, through the Deligne–Griffiths–Morgan–Sullivan argument. Spheres and many familiar homogeneous examples are formal for more elementary reasons, but each claim still has a coefficient field and finiteness context.
A list of vanished Massey products is supporting evidence, not a complete formality proof unless a theorem for the stated class makes it sufficient.
CHAPTER 7 OF 12
Changed-context transfer: add a generator that kills the obstruction
Return to the Heisenberg algebra and adjoin a degree-one or degree-two generator only after checking the grading needed for its differential. To kill the class [x₁x₃], a new generator y must have degree one if dy=x₁x₃ has degree two.
This algebraic extension makes the earlier representative exact, so that particular Massey obstruction disappears. But the new generator can create other classes or higher products. The changed model must be recomputed rather than declared formal.
Transfer check: if all you know is that one nonzero class was killed, the valid conclusion is “this obstruction has been removed”. The invalid conclusion is “the extended DGA is formal”. Formality is global.
CHAPTER 8 OF 12
Why vanishing is necessary but not sufficient
Formality forces all defined Massey products to contain zero in the appropriate sense. Yet Massey products form only one family of higher operations. A model can be nonformal for reasons not detected by the collection being tested, or the relevant products may become visible only after changing coefficients.
Partial or q-formality sharpens the range of degrees in which a formal comparison exists. Corresponding vanishing statements are degree-bounded. This is more informative than treating formality as an all-or-nothing label when only low-degree data are available.
When a paper states that Massey products vanish, check which lengths, degrees, coefficient field and version of uniform vanishing are meant.
| Claim | What it establishes | What remains open |
|---|---|---|
| One Massey product is nonzero | The DGA is nonformal | Other products |
| Tested products vanish | No obstruction found in that test | Formality |
| Quasi-isomorphism to H*(A) | Formality over stated field | Integral information |
| q-formality | Formal behaviour in a degree range | Higher degrees |
CHAPTER 9 OF 12
A reliable formality audit
First name the DGA model and coefficient field. Second write its generators, degrees and differentials. Third compute cohomology products needed for the claim. Fourth inspect candidate quasi-isomorphisms or a recognised formality criterion. Fifth use Massey or higher operations as obstructions with full indeterminacy.
Separate evidence for formality from absence of a discovered obstruction. Computer algebra can enumerate generators and products, but it does not turn a finite unsuccessful search into a proof.
For a space, state the hypotheses that connect the chosen DGA to its rational or real homotopy type: connectedness, nilpotence, simple connectivity and finite type may matter.
CHAPTER 10 OF 12
Frequently asked questions
Does zero differential in one model prove formality?
If it is a valid DGA model connected by quasi-isomorphisms to the space and identified with its cohomology algebra, yes. An arbitrary presentation with some zero differentials is not enough.
Does every nonformal space have a nonzero triple Massey product?
No. Triple products are important obstructions, but nonformality can escape that test.
Why does the coefficient field matter?
Decomposability, cohomology and higher operations can change after extending scalars. State whether the argument is rational, real or over another field.
What does it mean for a Massey product to vanish?
Conventions vary. Usually the defined subset contains zero; stronger uniform or global vanishing statements require their own definitions.
CHAPTER 11 OF 12
Evidence and source checks
The source trail should identify the minimal-model convention, the definition of formality and the exact Massey-product statement being used. Classical and modern references below cover those layers.
The Heisenberg calculation is a standard type of example written here as a complete teaching ledger. Sign conventions for Massey representatives vary, but nontriviality is invariant once the convention and indeterminacy are handled correctly.
- Kathryn Hess: Rational homotopy theory, a brief introduction
- Formality and finiteness in rational homotopy theory
- EMS Press version: Formality and finiteness in rational homotopy theory
- Deligne–Griffiths–Morgan–Sullivan: real homotopy theory of Kähler manifolds
- Field extension and global vanishing of Massey products
CHAPTER 12 OF 12
Continue through the verified topology route
The preceding Massey-products guide develops defining systems and indeterminacy in more detail. The obstruction-cocycle guide is useful when the same “choice plus obstruction” pattern appears in lifting problems.
The grouped links below keep the minimal-model argument connected to the live topology root, the Gold Standard parent and the How X Works programme.