model category, model -category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of -categories
Model structures
for -groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant -groupoids
for rational -groupoids
for rational equivariant -groupoids
for -groupoids
for -groups
for -algebras
general -algebras
specific -algebras
for stable/spectrum objects
for -categories
for stable -categories
for -operads
for -categories
for -sheaves / -stacks
symmetric monoidal (∞,1)-category of spectra
A model category structure on a category of algebras over an operad enriched in some suitable homotopical category is supposed to be a presentation of the (∞,1)-category of ∞-algebras over an (∞,1)-operad.
Let be a cofibrantly generated symmetric monoidal model category. Let be a cofibrant operad. If satisfies the monoid axiom in a monoidal model category, then there is an induced model structure on the category of algebras over an operad.
See (Spitzweck 01, Theorem 4).
Let be a category equipped with the structure of
such that
the model structure is cofibrantly generated;
the tensor unit is cofibrant.
Under these conditions there is for each finite group the structure of a monoidal model category on the category of objects in equipped with a -action, for which the forgetful functor
preserves and reflects fibrations and weak equivalences.
This is discussed in the examples at monoidal model category.
For Set a set of colours and a -coloured operad in we write for the category of -algebras over an operad. There is a forgetful functor
from the category of algebras over the operad in to the underlying -colored objects of .
A -coloured operad is called admissible if the transferred model structure on along the forgetful functor
exists.
So if is admissible, then carries the model structure where a morphism of algebras is a fibration or weak equivalence if the underlying morphism in is, respectively.
Below we discuss general properties of under which this model structure indeed exists.
The above transferred model structure on algebras over an operad exists if there is a suitable interval object in .
A cocommutative coalgebra interval object is
a cocommutative co-unital comonoid in
equipped with a factorization
of the codiagonal on into two homomorphisms of comonoids with the first a cofibration and the second a weak equivalence in .
Such cocommutative coalgebra intervals exist in
In
there is a coalgebra interval.
If has a symmetric monoidal fibrant replacement functor and a coalgebra interval object then every non-symmetric coloured operad in is admissible, def. : the transferred model structure on algebras exists.
If the interval is moreover cocommutative, then the same is true for every symmetric coloured operad.
This is (BergerMoerdijk, theorem 2.1), following (BergerMoerdijk-Homotopy, theorem 3.2). For more details see at model structure on operads.
Since the coalgebra interval in the category of chain complexes is not cocommutative, this case requires special discussion, as some of the statements below will not apply to it. For more on this case see model structure on dg-algebras over an operad.
Recall the notion of resolutions of operads and of the Boardman-Vogt resolution from model structure on operads.
We now discuss conditions under which model categories of algebras over a resolved operad is Quillen equivalent to that over the original operad. This yields general rectification results for homotopy-algebras over an operad (see also the Examples below.)
Let be in addition a left proper model category.
Then for a weak equivalence between admissible -cofibrant well-pointed -coloured operads in , the adjunction
is a Quillen equivalence.
This is (BergerMoerdijk, theorem 4.1).
(rectification of homotopy -algebras)
Let still be left proper.
Let be an admissible -cofibrant operad in such that also is admissible.
Then
is a Quillen equivalence.
The results of Lurie, Pavlov–Scholbach, and Haugseng establish an equivalence of quasicategories between the underlying quasicategory of the model category of algebras over an operad and the quasicategory of quasicategorical algebras over the underlying quasicategorical operad, provided some mild conditions are met.
(Theorem 7.11 in Pavlov–Scholbach, Theorem 4.10 in Haugseng.) Suppose is a symmetric monoidal model category equipped with a subcategory of flat objects. Given a flat admissible Σ-cofibrant -operad , the canonical comparison functor
is an equivalence of quasicategories.
Here a full subcategory is a subcategory of flat objects (Haugseng, Definition 4.1) if it contains all cofibrant objects of , is closed under monoidal products, and tensoring a weak equivalence with an object produce a weak equivalence (in ).
Here a -operad is flat if it is enriched in the subcategory .
An operad is admissible if the category of algebras admits a transferred model structure.
An operad is Σ-cofibrant if the unit map is a cofibration and the object is cofibrant in the projective model structure on -objects in .
By Remark 4.9 in Haugseng, a Σ-cofibrant operad is flat whenever the objects of unary endomorphisms are flat.
For the associative operad it category of algebras is the category of monoids in . The above model structure on is the standard model structure on monoids in a monoidal model category.
Let be the associative operad in Set regarded as an operad in Top under the discrete space embedding .
Let be the operad whose algebras are pointed objects. There is a canonical morphism .
This is (BergerMoerdijk, page 13)
This follows from the rectification theorem, using that by the above algebras over are precisely A-∞ spaces.
This is a classical statement. See A-∞ algebra for background and references.
Let be the Lie operad.
A cofibrant resolution is , the operad whose algebras in chain complexes are L-infinity algebras.
Now (…)
Let be a small -enriched category with set of objects . There is an operad
whose algebras are enriched functors
hence diagrams in . Then the Boardman-Vogt resolution
is the operad for homotopy coherent diagrams over in .
The rectification theorem above now says that every homotopy coherent diagram is equivalent to an ordinary -diagram. For Top this is known as Vogt's theorem.
The constuction of a category of algebras over an operad is contravariantly functorial in . Therefore if is a cosimplicial object in the category of operads, we have that is a (large) simplicial category of algebras. Moreover, the Boardman-Vogt resolution is functorial in .
These two facts together allow us to construct simplicial categories of homotopy algebras.
Specifically, there is a cosimplicial operad which
in degree 0 is the usual associative operad ,
in degree 1 is the operad whose algebras are triples consisting of two associative monoids and one bimodule between them;
in degree 2 it is the operad whose algebras are tuples consisting of three associative algebras as well as one --bimodule for each and a homomorphism of bimodules
and so on.
The simplicial category of algebras over is one incarnation of the 2-category of algebras, bimodules and bimodules homomorphisms.
We can pass to the corresponding -algebras by applying the Boardman-Vogt resolution to the entire cosimplicial diagram of operads, to obtain the cosimplicial A-∞ operad
The simplicial category of algebras over this has as objects A-∞ algebras, as morphism bimodules between these, and so on.
This is discussed in (BergerMoerdijkAlgebras, section 6).
(∞,1)-operad, model structure on operads
algebra over an (∞,1)-operad, model structure on algebras over an operad
A general discussion of the model structure on operads is in
See also
The concrete construction of the specific cofibrant resolutions in these structures going by the name Boardman-Vogt resolution is in
The discussion of the model structure on algebras over a suitable operad:
More discussion on the transport of operad algebra structures along Quillen adjunctions/Bousfield localizations between the underlying model categories is in
Carles Casacuberta, Javier Gutiérrez, Ieke Moerdijk, Rainer Vogt, Localization of algebras over coloured operads, Proceedings of the London Mathematical Society (3) 101 (2010), no. 1, 105-136 (arXiv:0806.3983)
Javier Gutiérrez, Transfer of algebras over operads along derived Quillen adjunctions, Journal of the London Mathematical Society 86 (2012), 607-625 (arXiv:1104.0584)
Discussion with an eye towards ring spectra realized as symmetric spectra is in
Discussion with application to homotopical algebraic quantum field theory is in
On rectification of symmetric colored operads:
Dmitri Pavlov, Jakob Scholbach, Admissibility and rectification of colored symmetric operads, Journal of Topology 11 3 (2018) 559-601 doi:10.1112/topo.12008, arXiv:1410.5675
Rune Haugseng, Algebras for enriched ∞-operads, arXiv.
These are based on an earlier account by Lurie:
Last revised on July 22, 2023 at 15:11:04. See the history of this page for a list of all contributions to it.