Rational homotopy theory of operad modules through colored operads

Thomas Willwacher

REVIEW 2 major objections 6 minor 15 references

Rational homotopy theory of operad modules through colored operads

T0 review · 2 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper extends rational homotopy theory of operads to operadic bimodules, left/right modules, and infinitesimal bimodules by encoding each bimodule as a two-colored operad.

desk verdict Useful and honest note that extends Fresse's rational homotopy theory to operadic modules via colored operads, but the main comparison theorem currently rests on an unproved colored generalization and a cofibrancy hypothesis that Corollary 5.9 does not verify. read the letter →

arxiv 2412.11182 v1 pith:HILEXR4F submitted 2024-12-15 math.AT math.QA

Thomas Willwacher This is my paper · ORCID

classification math.ATmath.QA MSC 55P62

keywords rationalhomotopytheoryoperadicmodulesbimodulescoloredoperadsdgHopfcooperadspiecewisepolynomialformsmodelcategoriesinfinitesimal

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper aims to extend the rational homotopy theory of operads to operadic bimodules, left/right modules, and infinitesimal modules. Rational homotopy theory assigns to a space an algebraic model of its rational cohomology; for operads, it packages as a Quillen adjunction between simplicial operads and dg Hopf cooperads (cooperads in differential graded commutative algebras), with a comparison map from an operadic forms functor to ordinary piecewise-polynomial forms. The key device is to view a $P$-$Q$-bimodule $M$ as a two-colored operad, so that the colored version of the theory can be restricted to module categories. Under connectivity and finite-type hypotheses, the main theorem says that each arity of the resulting forms functor is weakly equivalent to the ordinary forms on the underlying simplicial set. Nullary operations are restricted to be empty or a single point, leaving out the classical case of algebras over an operad.

What carries the argument

The load-bearing construction is the two-colored operad encoding of a bimodule: given operads $P$, $Q$ and a $P$-$Q$-bimodule $M$, one forms a colored operad with colors $\{I, II\}$ whose operations are $P$ (colors I to I), $Q$ (II to II), and $M$ (II inputs to I output), so that colored operadic composition packages all bimodule structure maps. The paper then takes the Quillen adjunction between colored simplicial operads and colored dg Hopf cooperads, with $\Omega^\sharp$ the operadic lift of the piecewise-polynomial forms functor, and restricts it along (co)reflective embeddings and slice categories to obtain adjunctions for triples, for fixed bimodules, and for infinitesimal bimodules. The comparison statement $\Omega^\sharp(P)(r;c) \to \Omega(P(r;c))$ for cofibrant colored operads, carried over from the uncolored case, is what yields the arity-wise comparison for modules.

What would settle it

Take a concrete cofibrant two-colored simplicial operad encoding a bimodule whose operation spaces satisfy the connectivity and finite-type hypotheses, compute both $\Omega^\sharp(P)(r;c)$ and $\Omega(P(r;c))$ in a fixed arity and degree, and compare their cohomology. A single degree in which the comparison map is not a quasi-isomorphism would falsify the colored comparison theorem on which Theorem A rests.

Watch

Extended reading notes

Core claim

The central claim, Theorem A, is that for simplicial operads $P, Q$ and a cofibrant $P$-$Q$-bimodule $M$, subject to $P(1)$ and $Q(1)$ being connected and all $P(r)$, $Q(r)$, $M(r)$ having finite-dimensional rational cohomology in each degree, there is a natural weak equivalence $\Omega^\sharp(M)(r) \to \Omega(M(r))$ for each arity $r$, where $\Omega(M(r))$ is the standard piecewise-polynomial differential forms functor on the simplicial set $M(r)$. The paper further claims cofibrantly generated model structures on the category of $P$-$Q$-bimodules, with weak equivalences and fibrations detected arity-wise, and on dg Hopf cooperadic bicomodules, joined by a Quillen adjunction whose right adjoint is arity-wise application of forms. Specializing the unit operad gives corresponding results for left and right modules, and a further specialization yields a version for infinitesimal bimodules. The whole development rests on the observation that a triple $(P, M, Q)$ is a two-colored operad with $M$ the operations of input color II and output color I.

Load-bearing premise

The entire paper leans on the assertion that the rational homotopy theory already established for ordinary operads carries over to colored operads with a finite color set with no new conditions, and the colored comparison theorem is quoted rather than proved; every module-level result is obtained by restricting that colored theory.

Editorial extensions

If this is right

For every cofibrant $P$-$Q$-bimodule satisfying the connectivity and finite-type hypotheses, the rational homotopy type of $M(r)$ is controlled by the dg Hopf bicomodule $\Omega^\sharp(M)$, which can serve as an algebraic model for module-level rational homotopy.
The category of simplicial $P$-$Q$-bimodules and the opposite category of dg Hopf $C$-$D$-bicomodules, with $C = \Omega^\sharp(P)$ and $D = \Omega^\sharp(Q)$, form a Quillen adjunction, so derived mapping spaces on both sides are weakly equivalent.
Left and right modules are covered by setting $Q$ or $P$ to the unit operad, and infinitesimal bimodules are covered by a colored-operad specialization, so the same machinery applies to those module types.
The $\Lambda$-operad variant extends the results to unital simplicial operads, where the spaces of nullary operations are single points, without changing the comparison statement.
The methods are flexible enough that other operadic module types encodable as colored operads with a finite color set should admit the same rational homotopy adjunction, subject to the same hypotheses.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

An unstated consequence is that the same restriction argument should produce rational homotopy models for any operadic module type encodable as a finite-color operad, provided the colored comparison theorem holds.
The paper does not cover algebras over an operad, that is, left modules concentrated in arity zero; a natural extension would be to find a colored encoding that allows nullary operations without violating the connectivity hypotheses.
If the main comparison is valid in the configuration-space setting, one expects explicit Hopf-bicomodule models for modules over the little discs operad, giving rational invariants for spaces of long knots and related embedding spaces.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Useful and honest note. The paper does something genuinely useful: it gives a clean categorical route from Fresse's rational homotopy theory of operads to the analogous theory for operadic bimodules, left/right modules, and infinitesimal bimodules, including Lambda variants. Encoding a bimodule as a two-colored operad is a known device, but the systematic construction of model structures and Quillen adjunctions for all these module categories is new, and the undercategory/coreflective subcategory machinery is elegant and, as far as I can tell, correct. Credit where due: the transfer arguments are standard and clearly presented, and the paper is open about its reliance on Fresse.

The soft spots are real. Section 3 states that Fresse's results carry over 'virtually unchanged' to colored operads, but does not reproduce the proofs. That would be acceptable in a note if the colored case were routine, but it is load-bearing: every module-level comparison in Sections 4-6 is obtained by restriction from the colored comparison theorem 3.7. Corollary 5.9 applies that theorem to the two-colored operad encoding a cofibrant bimodule, but Theorem 3.7 requires the colored operad itself to be cofibrant in CsSetOp. Cofibrancy of the bimodule only gives cofibrancy in the undercategory; the underlying colored operad still contains P and Q as suboperads, and those are not assumed cofibrant. No relative version of Theorem 3.7 is stated. That is a genuine gap in the proof of the main comparison. It is likely fixable, but as written the hypotheses do not match.

A second concern in the stress-test note, about the poset orientation, does not hold up: the bimodule operations go from color II to color I, and the declared order I > II gives II <= I, which is exactly what Theorem 3.7's vanishing condition requires. So that piece is a non-issue. There are also internal typos (e.g., Proposition 5.13's proof refers to itself) and the cross-referencing needs a pass, but these are minor.

Who is this for? People working on rational homotopy of configuration spaces and operadic modules who want a single reference for the module-level Quillen adjunctions and the comparison. It deserves a serious referee: the framework is likely right and the paper is honest, but the referee should ask for a proof or a precise statement of the colored extension, and for hypotheses under which Corollary 5.9 actually applies. I wouldn't cite the comparison theorem until the gap is closed.

Referee Report

2 major / 6 minor

Summary. The paper claims to extend Fresse's rational homotopy theory of operads to several types of operadic modules. The strategy is to encode a P-Q-bimodule M as a two-colored operad, use a colored version of the Sullivan–Fresse adjunction, and then restrict this adjunction to undercategories and slice categories to obtain model structures and Quillen adjunctions for bimodules, one-sided modules, and infinitesimal bimodules. The central assertions are Theorem A, which includes model structures on simplicial bimodules and dg Hopf bicomodules, a Quillen adjunction between them, and a comparison weak equivalence Ω^♯(M)(r) → Ω(M(r)) under connectivity, finite-type, and cofibrancy hypotheses, and Propositions 5.8, 5.13, and 6.8 giving the module-level Quillen adjunctions. The surrounding text also establishes simplicial enrichment and induction/restriction Quillen equivalences in an appendix.

Significance. If the colored generalization of Fresse's theory is valid, the paper constitutes a clean and useful extension of rational homotopy theory to operadic modules. It unifies the treatment of bimodules, left/right modules, and infinitesimal modules by reducing them to colored operads, and it spells out explicit model structures and adjunctions. The main strengths are the clear categorical framework, the use of standard transfer and slice-category arguments, and the explicit statement of the comparison result. However, the paper's central claim depends on an unproved colored version of Fresse's comparison theorem, and the verification of the hypotheses of that theorem in the bimodule setting is incomplete. The contribution is therefore conditional on a substantial external result.

major comments (2)

[Section 3, Theorem 3.7 and Propositions 3.2–3.4] The paper states that the colored versions of the model structures on colored simplicial operads, colored dg Hopf cooperads, and the comparison theorem 'carry over virtually unchanged' and that 'the proof is identical', but no proof is reproduced and no reference is given for a colored statement in the literature. This is load-bearing because every module-level comparison in Sections 4–6 is obtained by restricting Theorem 3.7. The proof sketch for Theorem 3.7 mentions a finiteness condition involving finite posets and the vanishing of unary operations, but it does not address whether the same argument works for the two-color posets used later, particularly when the module operation has input and output colors ordered as in Section 6. Please either provide a complete proof, give a precise citation to a colored version, or state the exact hypotheses under which the colored theorem is known to hold.
[Corollary 5.9; chain of adjunctions (17)] The derivation of the final comparison weak equivalence in Corollary 5.9 does not verify the hypotheses of Theorem 3.7. Theorem 3.7 requires the input to be a cofibrant object of CsSetOp, but Corollary 5.9 assumes only that M is cofibrant in BiMod_{P,Q}, with P and Q arbitrary simplicial operads. Cofibrancy of M in the undercategory sSetTrip_{(P,∅,Q)/} (or in CsSetOp_{ι(P,∅,Q)/}) does not imply that the underlying colored operad is cofibrant in CsSetOp, because the underlying colored operad contains P and Q as suboperads and these are not assumed cofibrant. A relative version of Theorem 3.7 would be needed. In addition, Theorem 3.7 requires P(c;d)=∅ unless c≤d for a poset of colors, while Section 6 declares c1>c2 for c1∈C1 and c2∈C2; for the bimodule operation (input color II, output color I) this requires I≤II, the opposite orientation. This is likely fixable, but as written the hypotheses are not checked.

minor comments (6)

[Proof of Proposition 5.8] The displayed identity 'ιB Ω^♯ = ιB Ω' does not type-check: the left side is a functor on BiMod_{P,Q}, while the right side involves the two-sided adjunction on triples. Presumably 'Ω^♯ ιB' is intended. Please correct the displayed equation and clarify the commutativity statement, since it is what allows the application of Lemma 2.9.
[Theorem A, first bullet] The text says 'G• the arity-wise application of Quillen's realization functor, see (3) below', but the functor G in equation (3) is HomsSet(−, Ω(Δ•)), which is the Sullivan forms functor or its right adjoint, not the geometric realization functor. Please correct the terminology.
[Proposition 4.16, proof] The equation 'ι(S^L) → ι(T^L ×_{T^K} T^K)' is labelled as (24) in the proof, but the displayed pullback-corner map is (15). The equation number should be updated.
[Section 5.13 / Proposition 5.13] The proof of Proposition 5.13 says it is 'analogous to the proof of Proposition 5.13', which is a self-reference; it should refer to Proposition 5.8.
[Section 5.14.1] There are several typographical issues in this subsection, including 'dgHTripc /(C ,∗ D)' with a missing comma, and the reference 'eqrefequ:slice cores coind 1' which is malformed. Please proofread the displayed equations and references.
[Section 6.5, Proposition 6.8] The proof of Proposition 6.8 invokes a slice of the Quillen adjunction of Proposition 6.4, but the notation '(C^1,∗)' should presumably be '((Ass_M)^c, D)' or similar. Please clarify the object being sliced.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular derivation: the module-level comparison is a restriction of Fresse's external colored-operad theory, and the only self-citation ([7]) is not load-bearing for Theorem A.

full rationale

The paper's derivation chain is: (i) assume Fresse's model structures and Sullivan comparison for simplicial operads; (ii) assert these extend 'virtually unchanged' to colored operads (Section 3, Propositions 3.2–3.4, Theorem 3.7); (iii) encode P-Q-bimodules as two-colored operads and restrict the colored adjunction through coreflective subcategories and slice categories (Sections 4–5); (iv) derive Theorem A, especially the arity-wise comparison Omega_sharp(M)(r) -> Omega(M(r)), as an immediate consequence of the colored comparison theorem (Corollary 5.9). None of these steps defines the conclusion in terms of itself, nor does it fit a parameter and then predict the same quantity. The colored extension is external to this paper: it cites Fresse's book and paper [5, 6], not the present author, and the module-level results are obtained by restriction rather than by assuming the target equivalence. There is one self-citation, [7] (Fresse–Willwacher), used for mapping-space models in Section 3.10 and Corollary 3.12, but the main comparison and Quillen adjunction results of Theorem A do not depend on it. The skeptical concerns about Corollary 5.9 (cofibrancy of the encoded colored operad and the poset orientation c1 > c2 versus the required c <= d) are potential correctness gaps in verifying hypotheses of Theorem 3.7, not circularity: if those hypotheses fail, the argument is incomplete, but it would not be circular. Hence no significant circularity; the score reflects only the presence of a minor, non-load-bearing self-citation.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters or invented entities. The paper rests on two large external inputs: Fresse's rational homotopy theory and its asserted colored generalization. The latter is the main axiomatic dependency.

assumptions (5)

domain assumption Fresse's rational homotopy theory of non-colored operads: model structures on sSetOp and dgH Opc and the Quillen adjunction (1).
This is the foundation of the paper; the author extends it rather than reproving it. Cited to [5,6].
domain assumption Colored generalization of Fresse's theory for finite colors: model structures on C sSetOp and C dgH Opc and the comparison theorem 3.7.
Stated in Section 3 with proofs 'carrying over virtually unchanged'; load-bearing for all subsequent results.
domain assumption Berger-Moerdijk transfer theorem for algebras over colored operads ([2, Theorem 2.1]), used to define model structures on triples and bimodules.
Provides the cofibrantly generated model structures on sSetTrip and BiMod_{P,Q} in Propositions 4.2 and 5.2.
standard math Standard model category transfer and slice model category theorems (Kan, Hirschhorn, Li).
Used throughout to transfer model structures and slice adjunctions; cited to [5,8,10,11].
standard math Finite group coinvariants preserve quasi-isomorphisms over the rationals.
Used in Lemma 4.7 to show the inclusion of dg Hopf triples into colored dg Hopf cooperads preserves quasi-isomorphisms.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Rational homotopy theory of operad modules through colored operads." pith.science (2026). https://pith.science/paper/HILEXR4F

@misc{pith2026241211182,
  author       = {Pith},
  title        = {Pith review of: Rational homotopy theory of operad modules through colored operads},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HILEXR4F}},
  note         = {Machine review of arXiv:2412.11182}
}

read the original abstract

We extend the rational homotopy theory of operads developed by B. Fresse to several types of modules over operads.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 12 canonical work pages

[1]

On the rational homology of h igh- dimensional analogues of spaces of long knots

Gregory Arone and Victor Turchin. On the rational homology of h igh- dimensional analogues of spaces of long knots. Geom. Topol., 18(3):1261–1322, 2014

work page 2014
[2]

Resolution of coloured opera ds and recti- ﬁcation of homotopy algebras

Clemens Berger and Ieke Moerdijk. Resolution of coloured opera ds and recti- ﬁcation of homotopy algebras. In Categories in algebra, geometry and math- ematical physics , volume 431 of Contemp. Math. , pages 31–58. Amer. Math. Soc., Providence, RI, 2007

work page 2007
[3]

Handbook of Categorical Algebra

Francis Borceux. Handbook of Categorical Algebra . Encyclopedia of Mathe- matics and its Applications. Cambridge University Press, 1994

1994
[4]

Modules over operads and functors , volume 1967 of Lecture Notes in Mathematics

Benoit Fresse. Modules over operads and functors , volume 1967 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2009

1967
[5]

Homotopy of operads and Grothendieck-Teichm¨ uller groups , volume 217 of Mathematical Surveys and Monographs

Benoit Fresse. Homotopy of operads and Grothendieck-Teichm¨ uller groups , volume 217 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2017

work page 2017
[6]

The extended rational homotopy theory of ope rads

Benoit Fresse. The extended rational homotopy theory of ope rads. Georgian Math. J. , 25(4):493–512, 2018

work page 2018
[7]

Mapping Spaces for DG Hopf Coop- erads and Homotopy Automorphisms of the Rationalization of En-operads,

Benoit Fresse and Thomas Willwacher. Mapping Spaces for DG Hopf Coop- erads and Homotopy Automorphisms of the Rationalization of En-operads,

work page
[8]

Simplicial and dendroidal homotopy theory , volume 75 of Ergebnisse der Mathematik und ihrer Grenzgebiete

Gijs Heuts and Ieke Moerdijk. Simplicial and dendroidal homotopy theory , volume 75 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge . A Series of Modern Surveys in Mathematics [Results in Mathema tics and Related 32 THOMAS WILL W ACHER Areas. 3rd Series. A Series of Modern Surveys in Mathematics ]. Springer, Cham, [2022] ©2022

work page 2022

Show all 15 references

[9]

Hirschhorn

Philip S. Hirschhorn. Model categories and their localizations , volume 99 of Mathematical Surveys and Monographs. American Mathematical Society, Prov- idence, RI, 2003

2003
[10]

Hirschhorn

Philip S. Hirschhorn. Overcategories and undercategories of m odel categories, 2015

2015
[11]

A note on model (co)slice categories

Zhiwei Li. A note on model (co)slice categories. Chinese Ann. Math. Ser. B , 37(1):95–102, 2016

2016
[12]

Enriched slice category

nLab authors. Enriched slice category. https://ncatlab.org/nlab/show/enriched+slice+category, 2024. revision 4

2024
[13]

Slice model structure

nLab authors. Slice model structure. https://ncatlab.org/nlab/show/slice+model+structure,
[2020]

Preprint arXiv:2003.02939

2003 arXiv
[2024]

Department of Mathematics, ETH Z ¨urich, R ¨amistrasse 101, 8092 Z ¨urich, Switzerland Email address : thomas.willwacher@math.ethz.ch

revision 42. Department of Mathematics, ETH Z ¨urich, R ¨amistrasse 101, 8092 Z ¨urich, Switzerland Email address : thomas.willwacher@math.ethz.ch

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [1]

On the rational homology of h igh- dimensional analogues of spaces of long knots

Gregory Arone and Victor Turchin. On the rational homology of h igh- dimensional analogues of spaces of long knots. Geom. Topol., 18(3):1261–1322, 2014

work page 2014

[2] [2]

Resolution of coloured opera ds and recti- ﬁcation of homotopy algebras

Clemens Berger and Ieke Moerdijk. Resolution of coloured opera ds and recti- ﬁcation of homotopy algebras. In Categories in algebra, geometry and math- ematical physics , volume 431 of Contemp. Math. , pages 31–58. Amer. Math. Soc., Providence, RI, 2007

work page 2007

[3] [3]

Handbook of Categorical Algebra

Francis Borceux. Handbook of Categorical Algebra . Encyclopedia of Mathe- matics and its Applications. Cambridge University Press, 1994

1994

[4] [4]

Modules over operads and functors , volume 1967 of Lecture Notes in Mathematics

Benoit Fresse. Modules over operads and functors , volume 1967 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2009

1967

[5] [5]

Homotopy of operads and Grothendieck-Teichm¨ uller groups , volume 217 of Mathematical Surveys and Monographs

Benoit Fresse. Homotopy of operads and Grothendieck-Teichm¨ uller groups , volume 217 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2017

work page 2017

[6] [6]

The extended rational homotopy theory of ope rads

Benoit Fresse. The extended rational homotopy theory of ope rads. Georgian Math. J. , 25(4):493–512, 2018

work page 2018

[7] [7]

Mapping Spaces for DG Hopf Coop- erads and Homotopy Automorphisms of the Rationalization of En-operads,

Benoit Fresse and Thomas Willwacher. Mapping Spaces for DG Hopf Coop- erads and Homotopy Automorphisms of the Rationalization of En-operads,

work page

[8] [8]

Simplicial and dendroidal homotopy theory , volume 75 of Ergebnisse der Mathematik und ihrer Grenzgebiete

Gijs Heuts and Ieke Moerdijk. Simplicial and dendroidal homotopy theory , volume 75 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge . A Series of Modern Surveys in Mathematics [Results in Mathema tics and Related 32 THOMAS WILL W ACHER Areas. 3rd Series. A Series of Modern Surveys in Mathematics ]. Springer, Cham, [2022] ©2022

work page 2022