Model structures on operads and algebras from a global perspective

David White; Florian De Leger; Michael Batanin

arxiv: 2311.07320 · v1 · pith:P5DPJVVYnew · submitted 2023-11-13 · 🧮 math.AT · math.CT

Model structures on operads and algebras from a global perspective

Michael Batanin , Florian De Leger , David White This is my paper

Pith reviewed 2026-05-24 05:43 UTC · model grok-4.3

classification 🧮 math.AT math.CT

keywords model categoriessemi-model categoriesGrothendieck constructionoperadsalgebrasmodulesrectificationhomotopy theory

0 comments

The pith

A global semi-model structure on the Grothendieck construction induces model structures on operads and their algebras and modules.

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

The paper develops a framework for homotopy theories of operads by beginning with a global semi-model structure on the Grothendieck construction and then inducing structures on the base category and its fibers. This reverses prior approaches that built structures upward from the base. The method unifies treatments of operads encoded by polynomial monads and substitudes, covering symmetric, non-symmetric, cyclic, modular, higher operads, dioperads, properads, and PROPs, along with commutative monoids and their modules plus twisted modular operads. It yields model structures, rectification results, and properness results in new settings, plus a general upgrade from semi-model to full model structures.

Core claim

If a suitable global semi-model structure exists on the Grothendieck construction, then semi-model structures can be induced on the base of operads and on the fibers of algebras and modules, supplying a single framework that produces new model structures, rectification theorems, and properness results across many operad flavors.

What carries the argument

The Grothendieck construction of a functor, equipped with a global semi-model structure from which structures are induced downward onto the base and fibers.

If this is right

Model structures exist on algebras over numerous operad types encoded by polynomial monads where none were known before.
Rectification results connect different presentations of the same operads and algebras in new cases.
Properness holds for the induced model structures on operads and modules.
A general criterion upgrades any semi-model structure to a full model structure.
The framework covers commutative monoids, their modules, and twisted modular operads uniformly.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The induction technique could apply to other structures built from monads, such as certain higher categories.
Verification in a concrete case like dioperads would test whether the global-to-fiber induction preserves all required axioms.
Links to existing homotopy theories of PROPs might be clarified by specializing the global structure.

Load-bearing premise

Suitable global semi-model structures exist on the Grothendieck construction for the categories of polynomial monads and substitudes under consideration.

What would settle it

Construct an explicit global semi-model structure on one Grothendieck construction for a polynomial monad but verify that the induced structure on the algebra fiber fails the lifting axiom of a model category.

read the original abstract

This paper studies the homotopy theory of the Grothendieck construction using model categories and semi-model categories, provides a unifying framework for the homotopy theory of operads and their algebras and modules, and uses this framework to produce model structures, rectification results, and properness results in new settings. In contrast to previous authors, we begin with a global (semi-)model structure on the Grothendieck and induce (semi-)model structures on the base and fibers. In a companion paper, we show how to produce such global model structures in general settings. Applications include numerous flavors of operads encoded by polynomial monads and substitudes (symmetric, non-symmetric, cyclic, modular, higher operads, dioperads, properads, and PROPs), (commutative) monoids and their modules, and twisted modular operads. We also prove a general result for upgrading a semi-model structure to a full model structure.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The global-to-local induction via Grothendieck construction is the real shift here, but the paper's applications rest on a companion paper delivering the global structures.

read the letter

The paper reverses the usual direction in this area. Instead of starting from model structures on the base category or fibers and lifting up, it assumes a global (semi-)model structure on the Grothendieck construction and induces structures downward onto the base and fibers. This produces model structures, rectification theorems, and properness results for a range of operads and algebras encoded by polynomial monads and substitudes, plus monoids and their modules, and twisted modular operads. It also gives a general result for turning semi-model structures into full ones. That reversal and the breadth of examples covered in one framework are what is actually new relative to earlier work on operad homotopy theory. The induction machinery itself looks like a clean piece of work that could be applied more widely if the starting global data exists. The main soft spot is the explicit dependence on a companion paper for the existence of those global structures in the claimed generality. Without that companion, the new applications to the listed operad flavors do not yet follow, and the unification claim stays conditional. The abstract is clear about this division of labor, so there is no hidden circularity, but it does mean the present paper is mostly the induction engine rather than a self-contained existence proof. This is for readers already working with model categories on operads or Grothendieck constructions who want a single method that handles many variants at once. It is worth sending to peer review because the direction is different enough to matter if the companion holds up, and the upgrade theorem could be independently useful. A referee should see both papers together to judge the full strength of the applications.

Referee Report

2 major / 2 minor

Summary. The paper develops a global-to-local framework for homotopy theory of the Grothendieck construction in model and semi-model categories. It starts from a global (semi-)model structure on the Grothendieck construction and induces (semi-)model structures on the base and fibers, yielding a unifying approach to operads, algebras, and modules. Applications include model structures, rectification, and properness results for operads encoded by polynomial monads and substitudes (symmetric, non-symmetric, cyclic, modular, higher, dioperads, properads, PROPs), (commutative) monoids and modules, and twisted modular operads. A general theorem upgrades semi-model structures to full model structures. Existence of the required global structures is deferred to a companion paper.

Significance. If the induction machinery is correct and the companion delivers the global structures, the reversal of the usual local-to-global direction supplies a potentially unifying perspective that could streamline constructions across many operad flavors. The upgrade theorem is presented as general and could be broadly useful. No machine-checked proofs, code, or parameter-free derivations are indicated in the manuscript.

major comments (2)

[Introduction] Introduction (and abstract): the claimed model structures, rectification results, and properness results in new settings for polynomial monads, substitudes, monoids, etc., are load-bearing on the existence of suitable global (semi-)model structures, whose construction is stated to appear only in the companion paper; without independent verification or a self-contained existence argument here, the unification and applications do not follow from this manuscript alone.
[Upgrade theorem section] The upgrade theorem (general result for semi-model to model): the statement is presented without an explicit list of hypotheses or a counterexample showing when the upgrade fails, making it difficult to assess whether the conditions are met in the operad applications cited later in the paper.

minor comments (2)

Notation for the Grothendieck construction and the induced functors could be introduced with a short diagram or explicit formula in an early section to aid readability for readers outside the immediate subfield.
The abstract and introduction should more explicitly delineate which theorems are proved in this paper versus the companion (e.g., by labeling results as 'assuming global structure from [companion]').

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. We respond to each major comment below.

read point-by-point responses

Referee: [Introduction] Introduction (and abstract): the claimed model structures, rectification results, and properness results in new settings for polynomial monads, substitudes, monoids, etc., are load-bearing on the existence of suitable global (semi-)model structures, whose construction is stated to appear only in the companion paper; without independent verification or a self-contained existence argument here, the unification and applications do not follow from this manuscript alone.

Authors: We agree that the concrete model structures, rectification results, and properness results for polynomial monads, substitudes, monoids, and related structures depend on the existence of the requisite global (semi-)model structures, which are constructed in the companion paper. The present manuscript develops the general induction machinery from a global (semi-)model structure on the Grothendieck construction to (semi-)model structures on the base and fibers. The unifying perspective arises from this general framework being applicable across operad flavors once the global structures are available. We will revise the introduction and abstract to state this division of labor more explicitly and to note that the applications to new settings are conditional on the companion paper. revision: yes
Referee: [Upgrade theorem section] The upgrade theorem (general result for semi-model to model): the statement is presented without an explicit list of hypotheses or a counterexample showing when the upgrade fails, making it difficult to assess whether the conditions are met in the operad applications cited later in the paper.

Authors: We will revise the relevant section to present the upgrade theorem with an explicit, enumerated list of hypotheses immediately before the statement. We will also add a short remark outlining conditions under which the upgrade may fail (for instance, when certain lifting axioms or properness assumptions on the semi-model structure are not met), which will help readers verify the hypotheses in the operad applications. revision: yes

Circularity Check

0 steps flagged

No significant circularity; induction machinery is independent of companion existence proof

full rationale

The paper's core derivation is the global-to-local induction of (semi-)model structures on base and fibers from a given global structure on the Grothendieck construction. This step is presented as a general theorem that applies whenever a suitable global structure exists; the existence claim itself is explicitly deferred to a separate companion paper and is not used to justify or derive any result inside the present text. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear in the provided abstract or description. The framework is therefore self-contained as a conditional derivation, with the companion supplying an independent external input rather than closing a definitional circle.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the production of global (semi-)model structures on the Grothendieck construction, which is stated to be handled in a companion paper rather than derived here.

axioms (1)

domain assumption Existence of global (semi-)model structures on the Grothendieck construction in general settings
Invoked as the starting point; production shown in companion paper.

pith-pipeline@v0.9.0 · 5688 in / 1290 out tokens · 33423 ms · 2026-05-24T05:43:45.990413+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · 1 internal anchor

[1]

Reedy Model Structures in Families

[Bal18] Eduard Balzin, Reedy Model Structures in Families, arXiv:1803.00681. [Bar10] Clark Barwick. On left and right model categories an d left and right Bousﬁeld localizations. Homology, Homotopy Appl., 12(2):245–320,

work page internal anchor Pith review Pith/arXiv arXiv
[2]

Interactions between Representation Theory, Alge braic Topology, and Commutative Algebra,

[BW15] Michael Batanin and David White. Baez-Dolan Stabili zation via (Semi-)Model Categories of Oper- ads, in “Interactions between Representation Theory, Alge braic Topology, and Commutative Algebra,” Research Perspectives CRM Barcelona, V olume 5 (2015), pages 175-179, ed. Dolors Herbera, Wolfga ng Pitsch, and Santiago Zarzuela, Birkh¨ auser. [BW20] Mi...

work page arXiv 2015
[3]

Homotopy theory of a lgebras of substitudes and their localisation

[BW22] Michael Batanin and David White. Homotopy theory of a lgebras of substitudes and their localisation. Transactions of the American Mathematical Society , V olume 375, Number 5, May 2022, Pages 3569-

work page 2022
[4]

Resolution of colo ured operads and rectiﬁcation of homotopy algebras

[BM07] Clemens Berger and Ieke Moerdijk. Resolution of colo ured operads and rectiﬁcation of homotopy algebras. Contemporary mathematics, 431 (2007):31-58. [BK72] Aldridge Bousﬁeld and Daniel Kan. Homotopy Limits, Completions and Localizations . Lecture Notes in Math. 304, Springer-V erlag, New Y ork (1972). [BR19] Nero Budur and Marcel Rubi´ o. L-inﬁnity...

work page 2007
[5]

Coﬁnal morphism of polynomial mon ads and double delooping

[DeL22] Florian De Leger. Coﬁnal morphism of polynomial mon ads and double delooping. Available as arXiv:2205.09149,

work page arXiv
[6]

Triple delooping f or multiplicative hyperoperads

[DG23] Florian De Leger and Maroˇ s Grego. Triple delooping f or multiplicative hyperoperads. Available as arXiv:2309.15055,

work page arXiv
[7]

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

[Fre09] Benoit Fresse. Modules over operads and functors , volume 1967 of Lecture Notes in Mathematics . Springer-V erlag, Berlin,

work page 1967
[8]

Relat ive left properness of colored operads

[HRY16] Philip Hackney, Marcy Robertson, Donald Yau. Relat ive left properness of colored operads. Algebr . Geom. Topol. 16(5): 2691-2714 (2016). MODEL STRUCTURES ON OPERADS AND ALGEBRAS FROM A GLOBAL PERSP ECTIVE 43 [HP15] Y onatan Harpaz and Matan Prasma. The Grothendieck co nstruction for model categories. Advances in Mathematics, 281 (2015), 1306–1363...

work page 2016
[9]

Polynomial functors and trees

[Koc11] Joachim Kock. Polynomial functors and trees. Int. Math. Res. Notices 3(2011):609–673. [Lac07] Stephen Lack, Homotopy-theoretic aspects of 2-mon ads, Journal of Homotopy and Related Struc- tures, vol. 2(2), pp. 229-260,

work page 2011
[10]

Monoidal Bousﬁeld localizations and algebras over operads, Equivariant Topology and Derived Algebra, Cambridge University Press (2021), 179-239

[Whi21a] David White. Monoidal Bousﬁeld localizations and algebras over operads, Equivariant Topology and Derived Algebra, Cambridge University Press (2021), 179-239. [Whi21b] David White. Substitudes, Bousﬁeld localization , higher braided operads, and Baez-Dolan stabi- lization, Mathematisches F orschungsinstitut Oberwolfach, Number 46, 2021: Homotopica...

work page 2021
[11]

Comonadic Coalgebras an d Bousﬁeld Localization

[WY18b] David White and Donald Yau. Comonadic Coalgebras an d Bousﬁeld Localization. Available as arXiv:1805.11536. [WY19] David White and Donald Yau. Homotopical adjoint lift ing theorem, Applied Categorical Structures, 27:385-426,

work page arXiv
[12]

Right Bousﬁeld localizat ion and operadic algebras, Tbilisi Math

[WY20] David White and Donald Yau. Right Bousﬁeld localizat ion and operadic algebras, Tbilisi Math. Jour- nal, Special issue (HomotopyTheorySpectra - 2020), 71-118, 20

work page 2020

[1] [1]

Reedy Model Structures in Families

[Bal18] Eduard Balzin, Reedy Model Structures in Families, arXiv:1803.00681. [Bar10] Clark Barwick. On left and right model categories an d left and right Bousﬁeld localizations. Homology, Homotopy Appl., 12(2):245–320,

work page internal anchor Pith review Pith/arXiv arXiv

[2] [2]

Interactions between Representation Theory, Alge braic Topology, and Commutative Algebra,

[BW15] Michael Batanin and David White. Baez-Dolan Stabili zation via (Semi-)Model Categories of Oper- ads, in “Interactions between Representation Theory, Alge braic Topology, and Commutative Algebra,” Research Perspectives CRM Barcelona, V olume 5 (2015), pages 175-179, ed. Dolors Herbera, Wolfga ng Pitsch, and Santiago Zarzuela, Birkh¨ auser. [BW20] Mi...

work page arXiv 2015

[3] [3]

Homotopy theory of a lgebras of substitudes and their localisation

[BW22] Michael Batanin and David White. Homotopy theory of a lgebras of substitudes and their localisation. Transactions of the American Mathematical Society , V olume 375, Number 5, May 2022, Pages 3569-

work page 2022

[4] [4]

Resolution of colo ured operads and rectiﬁcation of homotopy algebras

[BM07] Clemens Berger and Ieke Moerdijk. Resolution of colo ured operads and rectiﬁcation of homotopy algebras. Contemporary mathematics, 431 (2007):31-58. [BK72] Aldridge Bousﬁeld and Daniel Kan. Homotopy Limits, Completions and Localizations . Lecture Notes in Math. 304, Springer-V erlag, New Y ork (1972). [BR19] Nero Budur and Marcel Rubi´ o. L-inﬁnity...

work page 2007

[5] [5]

Coﬁnal morphism of polynomial mon ads and double delooping

[DeL22] Florian De Leger. Coﬁnal morphism of polynomial mon ads and double delooping. Available as arXiv:2205.09149,

work page arXiv

[6] [6]

Triple delooping f or multiplicative hyperoperads

[DG23] Florian De Leger and Maroˇ s Grego. Triple delooping f or multiplicative hyperoperads. Available as arXiv:2309.15055,

work page arXiv

[7] [7]

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

[Fre09] Benoit Fresse. Modules over operads and functors , volume 1967 of Lecture Notes in Mathematics . Springer-V erlag, Berlin,

work page 1967

[8] [8]

Relat ive left properness of colored operads

[HRY16] Philip Hackney, Marcy Robertson, Donald Yau. Relat ive left properness of colored operads. Algebr . Geom. Topol. 16(5): 2691-2714 (2016). MODEL STRUCTURES ON OPERADS AND ALGEBRAS FROM A GLOBAL PERSP ECTIVE 43 [HP15] Y onatan Harpaz and Matan Prasma. The Grothendieck co nstruction for model categories. Advances in Mathematics, 281 (2015), 1306–1363...

work page 2016

[9] [9]

Polynomial functors and trees

[Koc11] Joachim Kock. Polynomial functors and trees. Int. Math. Res. Notices 3(2011):609–673. [Lac07] Stephen Lack, Homotopy-theoretic aspects of 2-mon ads, Journal of Homotopy and Related Struc- tures, vol. 2(2), pp. 229-260,

work page 2011

[10] [10]

Monoidal Bousﬁeld localizations and algebras over operads, Equivariant Topology and Derived Algebra, Cambridge University Press (2021), 179-239

[Whi21a] David White. Monoidal Bousﬁeld localizations and algebras over operads, Equivariant Topology and Derived Algebra, Cambridge University Press (2021), 179-239. [Whi21b] David White. Substitudes, Bousﬁeld localization , higher braided operads, and Baez-Dolan stabi- lization, Mathematisches F orschungsinstitut Oberwolfach, Number 46, 2021: Homotopica...

work page 2021

[11] [11]

Comonadic Coalgebras an d Bousﬁeld Localization

[WY18b] David White and Donald Yau. Comonadic Coalgebras an d Bousﬁeld Localization. Available as arXiv:1805.11536. [WY19] David White and Donald Yau. Homotopical adjoint lift ing theorem, Applied Categorical Structures, 27:385-426,

work page arXiv

[12] [12]

Right Bousﬁeld localizat ion and operadic algebras, Tbilisi Math

[WY20] David White and Donald Yau. Right Bousﬁeld localizat ion and operadic algebras, Tbilisi Math. Jour- nal, Special issue (HomotopyTheorySpectra - 2020), 71-118, 20

work page 2020