A cohomology ring remembers multiplication. A transferred C∞ structure records higher corrections that multiplication alone forgets.
Reading μ3 and μ4 without turning choices into invariants
Homotopy transfer can place higher operations μ3, μ4, … on cohomology. Formulas depend on contraction data, but the correct equivalence class carries homotopy information. In low dimensions, degree bounds force high operations to vanish.
This guide builds the first transferred operations, explains the Harrison class of μ3 and shows where μ4 becomes the next possible obstruction layer.
Choose a reading route
Start with the route closest to the decision you need to make. Every route reaches the same worked example, transfer check and evidence limits.
- Transfer route — follow multiplication through a contraction.
- Obstruction route — see why μ3 comes first.
- Cohomology route — separate a representative from its class.
- Dimension route — decide which μk can survive.
- Audit route — test a formality claim step by step.
Open the 12-chapter contents
- 1. The ring is only the first layer
- 2. Homotopy transfer supplies operations
- 3. μ3 is the first correction
- 4. The invariant is [μ3]
- 5. Worked schematic boundary example
- 6. Why μ4 appears in the next window
- 7. μ4 is not automatically a class
- 8. Tensor obstructions compress evaluations
- 9. Changed context: alter the contraction
- 10. A low-dimensional formality audit
- 11. Limits and misconceptions
- 12. A reproducible transfer workflow
1. The ring is only the first layer
A differential graded commutative algebra A gives cohomology H(A) with product μ2. Formality means A is connected to H(A), with zero differential, through quasi-isomorphisms of commutative differential graded algebras.
When formality fails, the ring may not explain why. Higher transferred operations record corrections created by representatives and homotopies.
2. Homotopy transfer supplies operations
Choose inclusion i, projection p and homotopy h satisfying a contraction identity. Multiplication in A transfers to a minimal C∞ structure on H with μ1 = 0, μ2 the cup product and μk built from multiplication and h along trees.
Different choices alter displayed formulas. Compare resulting structures up to C∞ isomorphism; raw coefficients are not automatic invariants.
3. μ3 is the first correction
In the convention used here, μ3 has cohomological degree −1. It records a three-input correction when products of chosen representatives are returned through the homotopy.
| Layer | Arity | Inspect |
|---|---|---|
| μ2 | 2 | cohomology product |
| μ3 | 3 | first Harrison obstruction |
| μ4 | 4 | next correction when bounds permit |
| μk, k≥5 | higher | excluded in specified low ranges |
The C∞ identity makes μ3 a cocycle in the relevant Harrison complex. A nonzero class obstructs removal of μ3 and hence formality.
4. The invariant is [μ3]
Changing transfer data can add a Harrison coboundary to μ3. The class [μ3], not one coordinate table, is choice-independent in the theorem’s setting.
Two models with different raw coefficients may encode the same homotopy type after the allowed gauge change.
5. Worked schematic boundary example
Let x, y and z have closed representatives a, b and c. Suppose ab = d u and bc = d v. A homotopy chooses u and v as witnesses. The transferred three-input expression combines u·c and a·v with graded signs, then projects to cohomology.
Changing witnesses alters the representative. Harrison cohomology asks whether those changes can remove the operation coherently. Exact signs follow the declared C∞ convention.
6. Why μ4 appears in the next window
For an (r−1)-connected compact n-manifold, Fiorenza and Lê prove that if n ≤ ℓ(r−1)+2, then μk vanish for k ≥ ℓ−1 in the stated transferred model.
With ℓ = 5, n ≤ 5r−3 leaves only μ3. With ℓ = 6, n ≤ 6r−4 excludes k ≥ 5, so μ3 and μ4 remain possible. The arithmetic—not analogy—places μ4 in the next range.
7. μ4 is not automatically a class
C∞ identities couple μ4 to μ3. Before μ3 is removed or normalised, the equation for μ4 contains lower-operation terms, so raw μ4 is not simply a Harrison cocycle.
Define a secondary obstruction only after the lower class vanishes or within a precise quotient or twisting convention.
8. Tensor obstructions compress evaluations
Bianchi–Massey and pentagon-type tensors package parts of higher multiplication on kernels of cup-product maps. Carefully chosen domains cancel transfer choices and isolate an invariant.
| Claim | Check | Unsafe shortcut |
|---|---|---|
| μ3 obstructs | nonzero Harrison class | one nonzero coordinate |
| tensor detects class | theorem hypotheses | similar formula |
| μ4 is next | μ3 handled and bound | skip lower layer |
| higher vanish | correct r, n, ℓ | dimension intuition |
9. Changed context: alter the contraction
Choose a different harmonic splitting or homotopy. μ3 and μ4 coefficients may change. Compute the C∞ equivalence or Harrison coboundary before claiming the homotopy type changed.
A proved choice-independent tensor should remain fixed, making contraction change a useful implementation test.
10. A low-dimensional formality audit
Identify r and n. Choose ℓ and verify n ≤ ℓ(r−1)+2. Determine surviving operations. Compute [μ3]. If nonzero, formality fails. If zero, choose a gauge removing μ3 before the next obstruction.
When the bound leaves only μ3, vanishing is sufficient under the theorem’s assumptions. Outside that range it only clears the first layer.
11. Limits and misconceptions
Vanishing ordinary triple Massey products need not prove formality. A nonzero representative μ3 is insufficient if its class vanishes. μ4 is not a universal invariant without resolving lower choices.
The dimension bounds apply to specified connected compact manifolds or Poincaré DGCAs and transferred minimal unital C∞ structures, not every DGA.
12. A reproducible transfer workflow
Declare grading and signs, publish contraction maps, generate μ3 and μ4 from tree formulas, verify identities, reduce μ3 modulo Harrison coboundaries, test tensor maps on stated kernels, apply the exact dimension inequality, and repeat with another contraction.
The goal is a small choice-controlled obstruction statement, not a large unqualified table.
Changed-context transfer check
Let M be (r−1)-connected with n = 6r−4. The ℓ = 6 bound excludes μk for k ≥ 5 but leaves μ3 and μ4. If [μ3] vanishes, choose a model removing μ3 and then investigate the next obstruction. If n increases, repeat the inequality.
A successful transfer states what stayed invariant, what changed and which conclusion must be recalculated.
Frequently asked questions
Are μ3 and a triple Massey product identical?
No. They are related in suitable cases, but μ3 is a global transferred operation while a Massey product is partially defined with indeterminacy.
Why Harrison cohomology?
The structure is commutative up to coherent homotopy; Harrison cohomology isolates the commutative deformation component.
Does vanishing [μ3] prove formality?
Only when theorem hypotheses exclude later obstructions. Otherwise μ4 and higher layers may remain.
Can software compare μ3 tables directly?
Coordinates can be compared, but invariance requires quotienting by coboundaries or constructing a C∞ equivalence.
Sources and evidence trail
These sources support the definitions and limits above. The numerical teaching examples are original illustrations, not reproduced experimental results.
- Fiorenza and Lê, Unital C∞-algebras — general dimension bound and [μ3].
- Almost Formality of Manifolds — the 5r−3 range.
- Crowley and Nordström on Rational Homotopy Type — the Bianchi–Massey framework.
- Crowley–Nordström journal article — precise dimension hypotheses.
- Almost Formality journal record — peer-reviewed Harrison obstruction result.
Continue through the eduKate ecosystem
Return to Topology
The Gold Standard of Topology places this specialist problem inside the subject’s wider methods, limits and applications.
Follow the closest specialist routes
- Formality, Minimal Models and Vanishing Massey Products — the base distinction.
- Bianchi–Massey Tensor and Massey Blind Spots — the first tensor route.
- Pentagon Massey Tensor and Dimension Bounds — the adjacent obstruction route.
Continue to The Gold Standard of Education: Learning Transfers into Life and the How X Works hub.