Rectification replaces a homotopy-coherent algebraic object by a stricter model when the ambient homotopy theory and operadic hypotheses allow it. The phrase can sound canonical, yet actual constructions choose model categories, cofibrant replacements, operad maps and derived equivalences. Two competent choices may agree on the underlying homotopy type while leaving a genuine question about multiplicative transport.
This guide continues the symmetric-monoidal rectification work. It shows how to compare rectification functors rather than isolated outputs, test monoidal naturality through derived units, counits and tensor comparison maps, and use power operations as detectors of missing multiplicative compatibility. It also states the limit: agreement of familiar invariants is not automatically a complete classification.
The Gold Standard is calibrated conclusion. State the model and operad, derive the functors before comparing them, identify the coherence actually proved and distinguish a detected obstruction from an absence of detected obstruction.
A practical orientation
Keep three claims apart. An underlying weak equivalence compares objects after forgetting structure. An equivalence of algebra objects respects the chosen operadic structure in the derived sense. A monoidal natural equivalence compares functors coherently with units and tensor products. None follows merely from matching graded homotopy groups.
The worked example compares two rectification zigzags whose outputs have isomorphic graded homotopy rings. A power operation is transported along one documented monoidal zigzag but not along the other. The honest conclusion is not that the outputs differ, but that multiplicative equivalence through the second choice remains unproved until a suitable natural comparison is constructed.
- State the rectification context — for hypotheses and model choices.
- Test monoidal naturality — for units, tensors and coherence.
- Follow the two-zigzag example — for a calibrated obstruction argument.
- Interpret power operations — for detectors and their limits.
- Transfer across models — for spectra, characteristics and operads.
Chapter contents
Open a route that matches the decision in front of you, or read straight through. Each route returns to the same evidence chain.
Start with the operating question
Build the evidence chain
Test monoidal naturality through units and tensors
Use a common operadic refinement when direct comparison is absent
1. State the model, operad and rectification claim
Begin with a symmetric monoidal model category or presentable symmetric monoidal infinity-category, the weak and strict operads being compared, and the class of algebra objects under discussion. State admissibility, cofibrancy, monoid-axiom or flatness hypotheses required by the theorem actually used. Rectification is not a model-free slogan.
Name the target claim. It may be existence of a strict representative, a Quillen equivalence between algebra categories, equivalence of derived infinity-categories, or a monoidal natural comparison between two particular rectification functors. These strengths differ, and later invariant claims must match the proved level.
- Ambient monoidal homotopy theory and weak equivalences.
- Source and target operads and their admissibility hypotheses.
- Cofibrant or derived replacements used by each functor.
- Unit, tensor and operadic structure to be preserved.
- Exact equivalence or obstruction claim being tested.
2. Compare derived functors, not point-set formulas
A point-set rectification functor often contains replacement choices. Compare its total derived functor on the appropriate homotopy theory, and record the derived unit and counit supplied by the adjunction or zigzag. Point-set outputs can differ while their derived algebra objects agree.
Conversely, an underlying weak equivalence after forgetting algebra structure does not produce an equivalence of algebras. The comparison map must live in the algebra category or be accompanied by coherent operadic data that lifts it there.
| Level | Evidence | What it supports |
|---|---|---|
| Underlying object | Weak equivalence after forgetting | Same unstructured homotopy type |
| Algebra object | Derived map respecting operadic action | Structured equivalence |
| Monoidal functor | Tensor and unit comparison with coherence | Multiplicative transport across inputs |
| Natural system | Compatible comparisons for maps and compositions | Functorial, reusable rectification claim |
3. Test monoidal naturality through units and tensors
For a comparison between functors F and G, inspect the natural map or zigzag on every algebra in scope, its compatibility with morphisms, and the diagrams relating F(A) tensor F(B), F(A tensor B), G(A) tensor G(B) and G(A tensor B). Include the monoidal unit. A comparison that works object by object may fail to assemble monoidally.
Derived coherence matters. Replace objects as required before forming tensor products, and state whether the comparison is lax, oplax, strong or only defined after localisation. Do not draw a strict square when the theorem gives a homotopy-coherent one.
4. Use a common operadic refinement when direct comparison is absent
Two rectification choices may arise from different cofibrant operad replacements or different Quillen models. Seek a common operadic refinement and a zigzag of weak equivalences that induces comparison functors on algebra categories. Verify that each leg satisfies the hypotheses needed to lift equivalence from operads to algebras.
The common refinement does not make the choices literally identical. It provides a controlled path through which units, multiplications and higher operations can be transported. If one leg is not monoidal or not admissible, state the break rather than compressing the zigzag into a claimed canonical equivalence.
| Check | Question | Failure if omitted |
|---|---|---|
| Operad map | Is it a weak equivalence in the required model? | Algebra categories may not be equivalent |
| Admissibility | Do transferred model structures exist? | Derived functor may be undefined |
| Unit/tensor | Is the adjunction suitably monoidal? | Multiplicative data may not transport |
| Naturality | Are maps and compositions compatible? | Only isolated objects are compared |
5. Choose invariants according to the structure at risk
Graded homotopy groups and their ordinary product test less structure than an E-infinity or highly coherent multiplication carries. If the comparison claim is multiplicative, examine invariants sensitive to that structure: operations, module categories, mapping spaces of algebras, topological André-Quillen information or other context-appropriate data.
No single list is universal. The invariant must be defined in the model and characteristic at hand and must be known to transport along the claimed equivalence. An invariant that is unavailable or not functorial cannot be used as a silent test.
6. Worked example: two rectification zigzags and an untransported power operation
Let A be a homotopy-coherent commutative algebra in a spectral model. Rectification route R uses a documented weakly monoidal Quillen equivalence and produces R(A). Route S uses another strict model and produces S(A). After forgetting structure, R(A) and S(A) have isomorphic graded homotopy rings, and both agree with the expected underlying spectrum.
Along route R, the theorem and comparison maps transport the relevant power operation. Along route S, the available objectwise equivalence has not been shown monoidal, so transport of that operation is unknown. Matching graded rings does not fill the gap. The correct conclusion is that underlying equivalence is supported and multiplicative equivalence may be true, but the chosen route S has not yet supplied the required monoidal-natural evidence.
| Evidence | Route R | Route S | Supported conclusion |
|---|---|---|---|
| Underlying weak equivalence | Yes | Yes | Same unstructured type |
| Graded homotopy ring | Matches | Matches | Ordinary product agrees |
| Monoidal comparison theorem | Documented | Not established | Asymmetric evidence |
| Power-operation transport | Verified | Unknown | Do not claim full multiplicative agreement |
| Obstruction detected | No | No computed mismatch | Absence of proof is not a counterexample |
7. Distinguish an obstruction from a missing comparison
If a power operation is defined on both sides and any algebra equivalence would preserve it, a computed mismatch can obstruct the claimed structured equivalence. If transport is simply unavailable because the comparison is not known monoidal, that is an evidential gap, not a mathematical proof that no equivalence exists.
Record which implication is used. A detector may rule out one proposed map, one operadic structure or an entire equivalence class only under stated naturality and invariance hypotheses. Avoid upgrading a failure of the chosen construction into a universal non-existence theorem.
8. Use power operations as sensitive but incomplete detectors
Power operations can see multiplicative coherence invisible to the graded ring. Their form depends on prime, characteristic, operad and homotopy theory; examples include Dyer-Lashof-type or other structured operations. Compute only where the operation and comparison law are established.
Agreement of the operations tested is necessary in many contexts but need not be sufficient for equivalence. There may be higher coherence, secondary operations, module data or mapping-space information not captured by the selected family. State positive agreement as evidence, not as automatic completeness.
- Define the operation in the actual algebraic context.
- Prove or cite its invariance under the claimed equivalence.
- Compare corresponding classes under a specified map.
- Treat mismatch as an obstruction only within those hypotheses.
- Treat agreement as partial evidence unless completeness is proved.
9. Test naturality on maps, composites and the unit
Choose representative algebra maps, including the unit and maps that generate the application of interest. Compare whether rectification followed by the map agrees, in the derived coherent sense, with the map followed by rectification. Then test composition. Pairwise object equivalences that cannot be made compatible with maps do not define a natural equivalence of functors.
Mapping spaces can expose the issue more clearly than homotopy groups alone. A candidate comparison should determine the expected components and higher homotopies in the algebra mapping space, not merely an isomorphism between decategorified invariants.
10. State fallback conclusions when full rectification comparison is unavailable
Sometimes the strongest justified result is that two outputs have equivalent underlying objects and matching selected invariants. That can still be useful. State exactly which structures are transported, which operations agree, and which naturality diagrams remain unproved. Do not use the word canonical to conceal a missing choice.
A good fallback also names the next discriminating test: construct a common operadic refinement, compute a power operation on a class that separates candidates, compare module categories, or examine an algebra mapping space. This turns limitation into a precise research route.
11. Misconceptions, practical questions and transfer
Common errors include comparing point-set outputs before deriving, inferring algebra equivalence from an underlying weak equivalence, treating a matching graded ring as complete multiplicative evidence, and calling an unknown transport an obstruction. The repair is to align the conclusion with the category and coherence actually controlled.
If all computed power operations agree, are the rectifications equivalent as algebras?
Not automatically. Agreement is valuable evidence, but completeness requires a theorem showing that those operations classify the relevant structures. Other coherence or mapping-space data may remain.
Does failure to construct a monoidal natural comparison prove that none exists?
No. It identifies a gap in the chosen route. A genuine obstruction needs an invariant mismatch or theorem that rules out every suitable comparison under stated hypotheses.
12. Changed-context evidence check and authoritative sources
Transfer the method to another spectral model or to algebras in a different characteristic. Recheck admissibility, monoidal properties and the definition of the relevant power operations; do not carry a detector across contexts merely because its name is familiar. Build a new common refinement and state which parts of the earlier zigzag survive.
Pavlov and Scholbach develop conditions for admissibility and rectification of coloured symmetric operads. Balderrama studies algebraic theories of power operations in structured homotopy settings. These sources support the rectification and operation framework; the exact model-category hypotheses and completeness of any chosen invariant must be checked in the theorem actually applied.
Continue through the Gold Standard ecosystem
Return to the Topology subject root, the Gold Standard of Education parent, or the How X Works hub.
Immediate predecessor: symmetric-monoidal rectification and multiplicative-invariant limits · Earlier guide: monoidal comparison obstructions and invariant-only fallbacks · Topology root
These routes are grouped by learning purpose: prerequisite model, immediate predecessor, and the wider transfer framework. They are not substitutes for the evidence and limits stated in this guide.