Abstract
Motivated by calculations of motivic homotopy groups, we give widely attained conditions under which operadic algebras and modules thereof are preserved under (co)localization functors.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Operads are key mathematical devices for organizing hierarchies of higher homotopies in a variety of settings. The earliest applications were concerned with iterated topological loop spaces. More recent developments have involved derived categories, factorization homology, knot theory, moduli spaces, representation theory, string theory, deformation quantization, and many other topics. This paper is a sequel to our work on operads in the context of the slice filtration in motivic homotopy theory [10].
The problem we address here is that of preservation of algebras over colored operads, and also modules over such algebras, under Bousfield (co)localization functors. For this we only require a few widely attained technical assumptions and notions on the underlying model categories and the operads, e.g., that of strongly admissible operads in a cofibrantly generated symmetric monoidal model category. We refer to [2, 6, 20, 22] and [21], for related results on (co)localization of monadic algebras.
Our main motivation for studying the mentioned problem of preservation of algebras is rooted in Morel’s \(\pi _{1}\)-conjecture [16, 17]. For a field F, this conjecture states there exists a short exact sequence of Nisnevich sheaves on the category of smooth F-schemes of finite type
Here, \({\mathbf {1}}\) is the motivic sphere spectrum, \({\mathbf {K}}^{{\mathsf {M}}}\) denotes Milnor K-theory, and \(\mathbf {KQ}\) is the hermitian K-theory spectrum. The solution of Morel’s \(\pi _{1}\)-conjecture [17] involves an explicit calculation in the slice spectral sequence of the motivic sphere spectrum. One of the precursors for this calculation is the fact that the total slice functor takes \(E_{\infty }\) motivic spectra, in particular the algebraic cobordism spectrum, to graded \(E_{\infty }\) \({\mathsf {M}}{\mathbf {Z}}\)-algebras in a functorial way. Here, \({\mathsf {M}}{\mathbf {Z}}\) denotes the motivic Eilenberg-MacLane spectrum. Theorems 3.8 and 3.14 in this paper coupled with our construction of the slice filtration in [10, §6] verify the mentioned multiplicative property (which in turn is used in the proof of [17, Theorem 2.20]). We envision that future calculations with slice spectral sequences will exploit multiplicative structures to a greater extent, and as such will be relying on the results herein.
The paper starts with §2 on model structures on operads and algebras. Our main results on preservation of algebras and modules under Bousfield (co)localization functors are shown in §3 and §4. To make the paper reasonably self-contained we have included two appendices fixing our conventions on model categories and colored operads. In particular, we review tensor-closed sets of objects in a homotopy category, the Reedy model structure, operadic algebras, and modules over such algebras.
2 Model structures of operads and algebras
Let \({{\mathcal {C}}}\) be a cocomplete closed symmetric monoidal category with tensor product \(\otimes \), unit I, initial object 0, and internal hom functor \(\mathrm {Hom}(-,-)\). For a set C we refer to Appendix B for the definitions of C-colored collections and C-colored operads in \({{\mathcal {C}}}\). Recall that a C-colored collection \({\mathcal {K}}\) is pointed if it is equipped with unit maps \(I\rightarrow {\mathcal {K}}(c;c)\) for every \(c\in C\). Denote by \(\mathsf {Coll}_C({{\mathcal {C}}})\) and \(\mathsf {Coll}_C^{\bullet }({{\mathcal {C}}})\) the categories of C-colored collections and pointed C-colored collections, respectively. If \({\mathcal {K}}\) is a C-colored collection, we can define a pointed C-colored collection \(F({\mathcal {K}})\) by setting \(F({\mathcal {K}})(c;c):={\mathcal {K}}(c;c)\coprod I\) for every c in C, and \(F({\mathcal {K}})(c_1,\ldots , c_n;c):={\mathcal {K}}(c_1,\ldots , c_n; c)\) if \(n\ne 1\). This defines the free-forgetful adjoint functor pair
We denote by \(\mathsf {Oper}_C({{\mathcal {C}}})\) and \(\mathsf {Oper}({{\mathcal {C}}})\) the categories of C-colored operads and (one-colored) operads in \({{\mathcal {C}}}\), respectively.
Suppose \({{\mathcal {C}}}\) is a cofibrantly generated symmetric monoidal model category. Then \(\mathsf {Coll}_C({{\mathcal {C}}})\) and \(\mathsf {Coll}_C^{\bullet }({{\mathcal {C}}})\) have transferred model structures, where weak equivalences and fibrations are defined colorwise. There is a free-forgetful adjoint pair
Under suitable conditions, the model structure on (pointed) C-colored collections can be transferred along (2) to a cofibrantly generated model structure on \(\mathsf {Oper}_C({{\mathcal {C}}})\), in which a map of C-colored operads is a fibration or a weak equivalence if its underlying (pointed) C-colored collection is so. This holds for k-spaces, simplicial sets, and symmetric spectra; see [3, Theorems 3.1, 3.2], [4, Theorem 2.1, Example 1.5.6] and [11, Corollary 4.1].
In general, (2) does not furnish a model structure on \(\mathsf {Oper}_C({{\mathcal {C}}})\), but rather the weaker structure of a semi model structure. In a semi model category the axioms of a model category hold with the exceptions of the lifting and factorization axioms, which hold only for maps with cofibrant domains. The trivial fibrations have the right lifting property with respect to cofibrant objects, since the initial object of a semi model category is assumed to be cofibrant. For operads the following result is shown in [19, Theorem 3.2] (cf. [8, Theorem 12.2A]). Our extension to colored operads follows similarly.
Theorem 2.1
If \({{\mathcal {C}}}\) is a cofibrantly generated symmetric monoidal model category, then the model structure on \(\mathsf {Coll}^{\bullet }_C({{\mathcal {C}}})\) transfers along the free-forgetful adjunction (2) to a cofibrantly generated semi model structure on \(\mathsf {Oper}_C({{\mathcal {C}}})\), in which a map \({\mathcal {O}}\rightarrow {\mathcal {O}}^\prime\) is a fibration or a weak equivalence if \({\mathcal {O}}(c_1,\ldots ,c_n;c)\rightarrow {\mathcal {O}}^\prime(c_1,\ldots , c_n; c)\) is a fibration or a weak equivalence in \({{\mathcal {C}}}\), respectively, for every tuple of colors \((c_1,\ldots , c_n, c)\).
Throughout the paper we will implicitly assume that \(\mathsf {Oper}_C({{\mathcal {C}}})\) always admits a cofibrantly generated transferred model structure, where the weak equivalences and fibrations are defined at the level of the underlying collections.
Let \({{\mathcal {C}}}^C\) denote the product category \(\prod _{c\in C}{{\mathcal {C}}}\). If \({\mathcal {O}}\) is a C-colored operad, denote by \(\mathsf {Alg}_{{\mathcal {O}}}({{\mathcal {C}}})\) the category of \({\mathcal {O}}\)-algebras in \({{\mathcal {C}}}\); see Appendix B. There is a free-forgetful adjoint pair
where the left adjoint is the free \({\mathcal {O}}\)-algebra functor defined by
If it is clear from the context we shall write F and U instead of \(F_{{\mathcal {O}}}\) and \(U_{{\mathcal {O}}}\), respectively.
Let \({{\mathcal {C}}}\) be a cofibrantly generated symmetric monoidal model category. Recall from [3] that a C-colored operad \({\mathcal {O}}\) is admissible if the product model structure on \({{\mathcal {C}}}^C\) transfers to a cofibrantly generated model structure on \(\mathsf {Alg}_{{\mathcal {O}}}({{\mathcal {C}}})\) via (3). An \({{\mathcal {O}}}\)-algebra \({\mathscr {A}}\) is underlying cofibrant if \(U({\mathscr {A}})\) is cofibrant in \({{\mathcal {C}}}^C\); i.e., \({\mathscr {A}}(c)\) is cofibrant in \({{\mathcal {C}}}\) for all \(c\in C\).
As indicated in [19, I.5], if \({{\mathcal {C}}}\) is a simplicial symmetric monoidal model category and \({\mathcal {O}}\) is an admissible C-colored operad, then \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) is naturally a simplicial model category. For a simplicial set K and an \({{\mathcal {O}}}\)-algebra \({\mathscr {A}}\), the cotensor \({\mathscr {A}}^K\) is the object \((U_{{{\mathcal {O}}}} {\mathscr {A}})^K\) with \({{\mathcal {O}}}\)-algebra structure given by the composition \({{\mathcal {O}}}\rightarrow \mathrm {End}({\mathscr {A}})\rightarrow \mathrm {End}({\mathscr {A}}^K)\) — for the endomorphism colored operad — induced by the diagonal map \(K\rightarrow K\times \cdots \times K\). For K fixed, the functor \((-)^K\) has a left adjoint defining the tensor. For \({\mathscr {A}}\) fixed, the functor \({\mathscr {A}}^{(-)}\) has a right adjoint defining the simplicial enrichment in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\).
Definition 2.2
Let \({{\mathcal {C}}}\) be a cofibrantly generated symmetric monoidal model category. A C-colored operad \({{\mathcal {O}}}\) in \({{\mathcal {C}}}\) is strongly admissible if there is a weak equivalence \(\varphi :{{\mathcal {O}}}^\prime \rightarrow {{\mathcal {O}}}\) of admissible C-colored operads inducing a Quillen equivalence
and \({{\mathcal {O}}}^\prime\) satisfies one of the conditions:
-
(i)
It has an underlying cofibrant C-colored collection.
-
(ii)
It has an underlying cofibrant pointed C-colored collection, and \({{\mathcal {C}}}\) has an additional cofibrantly generated symmetric monoidal model structure with the same weak equivalences, more cofibrations and cofibrant unit.
We call the triple \(({{\mathcal {O}}}, {{\mathcal {O}}}^\prime, \varphi )\) a strongly admissible pair.
Remark 2.3
By [15, Theorem 1] any combinatorial symmetric monoidal model category satisfying the very strong unit axiom admits a combinatorial symmetric monoidal model structure with the same weak equivalence and (possibly) more cofibrations making the unit cofibrant. The very strong unit axiom says that tensoring any object with a cofibrant approximation of the unit is a weak equivalence. This holds in many examples, e.g., when tensoring with cofibrant objects preserve weak equivalences [15, Corollary 9].
Remark 2.4
The category of symmetric spectra over simplicial sets with the positive model structure [18] is an example of a monoidal model structure where the unit is not cofibrant, but that satisfies condition (ii) of Definition 2.2. The same is true for the positive model structure on the category of motivic symmetric spectra [13].
Remark 2.5
If \({{\mathcal {C}}}\) is a symmetric monoidal model category with cofibrant unit, then every C-colored operad in \({{\mathcal {C}}}\) with an underlying cofibrant pointed C-colored collection has an underlying cofibrant C-colored collection.
Let \({\mathscr {A}}\) be a monoid in a closed symmetric monoidal category \({{\mathcal {C}}}\). Define the operad \({{\mathcal {O}}}_{\mathscr {A}}\) by \({{\mathcal {O}}}_{\mathscr {A}}(n)={\mathscr {A}}\) if \(n=1\) and zero otherwise. The algebras over \({{\mathcal {O}}}_{\mathscr {A}}\) in \({{\mathcal {C}}}\) are precisely the \({\mathscr {A}}\)-modules. A map of monoids \({\mathscr {A}}\rightarrow {\mathscr {B}}\) induces a map of operads \({{\mathcal {O}}}_{\mathscr {A}}\rightarrow {{\mathcal {O}}}_{{\mathscr {B}}}\).
Definition 2.6
Let \({{\mathcal {C}}}\) be a cofibrantly generated symmetric monoidal model category. A monoid \({\mathscr {A}}\) in \({{\mathcal {C}}}\) is strongly admissible if there is another monoid \({\mathscr {A}}'\) and a weak equivalence \(\varphi :{\mathscr {A}}'\rightarrow {\mathscr {A}}\) such that \(({{\mathcal {O}}}_{\mathscr {A}}, {{\mathcal {O}}}_{{\mathscr {A}}^\prime},\varphi )\) is a strongly admissible pair.
The constant simplicial object functor sends an object X to the simplicial object \(X_{\bullet }\) with \(X_n=X\) for all n. If \({{\mathcal {C}}}\) is symmetric monoidal, this is a symmetric monoidal functor for the objectwise tensor product on \(s{{\mathcal {C}}}\). Thus, if \({{\mathcal {O}}}\) is a C-colored operad in \({{\mathcal {C}}}\), we can view it as a C-colored operad in the category of simplicial objects \(s{{\mathcal {C}}}\) by applying the constant functor levelwise.
Lemma 2.7
Suppose \({{\mathcal {O}}}\) is an admissible C-colored operad in a simplicial symmetric monoidal model category \({{\mathcal {C}}}\). For every simplicial object \({\mathscr {A}}_\bullet \) in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) there is a natural isomorphism
where U and \(|-|\) denote the corresponding forgetful and realization functor, respectively.
Proof
In any simplicial model category there are adjoint functors \(|-|_{{\mathcal {C}}}:s {{\mathcal {C}}}\rightarrow {{\mathcal {C}}}\) and \(\mathrm {Sing}_{{{\mathcal {C}}}}:{{\mathcal {C}}}\rightarrow s{{\mathcal {C}}}\), where \({{\mathrm {Sing}}_{{{\mathcal {C}}}}}(X)\) is the simplicial object with \({{\mathrm {Sing}_{{{\mathcal {C}}}}}(X)_n=X^{\varDelta [n]}}\). Since \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) is also a simplicial model category, we have the adjunction
By Lemma A.3 (ii) \(| - |_{{\mathcal {C}}}\) is a symmetric monoidal functor. Hence there exists an induced adjunction between \({{\mathcal {O}}}\)-algebras in \(s{{\mathcal {C}}}\) and \({{\mathcal {C}}}\). But the \({{\mathcal {O}}}\)-algebras in \(s {{\mathcal {C}}}\) — viewing \({{\mathcal {O}}}\) as a constant simplicial object in \(s{{\mathcal {C}}}\) — are precisely \(s\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\). We claim the two adjoint pairs are isomorphic. Indeed, if \({\mathscr {A}}\) is an \({{\mathcal {O}}}\)-algebra, \({\mathscr {A}}^{\varDelta [n]}\) is \((U_{{{\mathcal {O}}}}{\mathscr {A}})^{\varDelta [n]}\) with \({{\mathcal {O}}}\)-algebra structure given by the composite \(\mathrm {End}({\mathscr {A}})\rightarrow \mathrm {End}({\mathscr {A}}^{\varDelta [n]})\), as explained in [19, I.5]. It follows easily that the right adjoints coincide. \(\square \)
Proposition 2.8
Suppose \({{\mathcal {O}}}\) is an admissible C-colored operad in a cofibrantly generated symmetric monoidal model category \({{\mathcal {C}}}\).
-
(i)
If \({{\mathcal {O}}}\) has an underlying cofibrant C-colored collection, then every cofibrant \({{\mathcal {O}}}\)-algebra is underlying cofibrant.
-
(ii)
If \({{\mathcal {O}}}\) has an underlying cofibrant pointed C-colored collection and \({{\mathcal {C}}}\) has a second symmetric monoidal model structure with the same weak equivalences and cofibrant unit, then every cofibrant \({{\mathcal {O}}}\)-algebra is underlying cofibrant in this model structure.
Proof
The proof for operads in [3, Corollary 5.5] extends to colored operads. (The proof of [4, Theorem 4.1] gives closely related steps.) Alternatively, use the colored operads version of [19, Proposition 4.8]. \(\square \)
We refer to Appendix A.1 for the Reedy model structure on simplicial categories.
Lemma 2.9
Suppose \({{\mathcal {O}}}\) is a C-colored operad with an underlying cofibrant collection in a cofibrantly generated symmetric monoidal model category \({{\mathcal {C}}}\). Then \({{\mathcal {O}}}\) — viewed as an operad in \(s{{\mathcal {C}}}\) via the constant functor — has an underlying cofibrant C-colored collection in \(s{{\mathcal {C}}}\).
Proof
Suppose G is a discrete group and \({{\mathcal {C}}}^G\) is the category of objects in \({{\mathcal {C}}}\) with right G-actions. Then the Reedy model structure on \(s({{\mathcal {C}}}^G)\) — for the transferred model structure on \({{\mathcal {C}}}^G\) — coincides with the model structure on \((s{{\mathcal {C}}})^G\) transferred from the Reedy model structure on \(s{{\mathcal {C}}}\). Thus the corresponding model structures on \(s\mathsf {Coll}_C({{\mathcal {C}}})\) and \(\mathsf {Coll}_C(s{{\mathcal {C}}})\) coincide. Recall that \(\varDelta ^{\mathrm{op}}\) has cofibrant constants [12, Corollary 15.10.5]. Thus cofibrancy of the underlying C-colored collection of \({{\mathcal {O}}}\) in \(\mathsf {Coll}_C({{\mathcal {C}}})\) implies the underlying C-colored collection of \({{\mathcal {O}}}\) — viewed as a constant simplicial object — is Reedy cofibrant in \(s\mathsf {Coll}_C({{\mathcal {C}}})\) [12, Theorem 15.10.8(1)], and hence it is cofibrant in \(\mathsf {Coll}_C(s{{\mathcal {C}}})\). \(\square \)
Lemma 2.10
Suppose \({{\mathcal {O}}}\) is an admissible C-colored operad in a symmetric monoidal model category \({{\mathcal {C}}}\). Then \(s \mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) has a model structure transferred from \((s {{\mathcal {C}}})^C\) — equipped with the colorwise Reedy model structure — which coincides with its Reedy model structure.
Proof
We show that the Reedy model structure on \(s \mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) is the transferred model structure from \((s {{\mathcal {C}}})^C\). Since the weak equivalences are defined objectwise in the Reedy model structure, the weak equivalences in \(s\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) are precisely the maps that become weak equivalences in \((s{{\mathcal {C}}})^C\). A map in \(s \mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) is a Reedy fibration if certain maps involving matching objects and fiber products are fibrations in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\). But since the fibrations in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) are the underlying fibrations and the matching objects and fiber products commute with taking the underlying collection, the result follows. \(\square \)
Corollary 2.11
Suppose \({{\mathcal {O}}}\) is an admissible C-colored operad in a cofibrantly generated symmetric monoidal model category \({{\mathcal {C}}}\).
-
(i)
If \({{\mathcal {O}}}\) has an underlying cofibrant C-colored collection, then any Reedy cofibrant object in \(s \mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) is Reedy cofibrant as an object in \(s {{\mathcal {C}}}\).
-
(ii)
Suppose \({{\mathcal {O}}}\) has an underlying cofibrant pointed C-colored collection and \({{\mathcal {C}}}\) has a second symmetric monoidal model structure with the same weak equivalences and cofibrant unit. Then any Reedy cofibrant object in \(s \mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) is cofibrant in \(s {{\mathcal {C}}}\) equipped with the Reedy model structure induced by this model structure on \({{\mathcal {C}}}\).
Proof
The category of \({{\mathcal {O}}}\)-algebras in \(s {{\mathcal {C}}}\) has a model structure transferred from \((s {{\mathcal {C}}})^C\) by assumption and Lemma 2.10. Moreover, \(s {{\mathcal {C}}}\) is a symmetric monoidal model category by Lemma A.3 (i). Also every object in \(s{{\mathcal {C}}}\) is small relative to the whole category.
To prove part (i) note that the constant operad on \({{\mathcal {O}}}\) in \(s{{\mathcal {C}}}\) has an underlying cofibrant collection by Lemma 2.9. Thus we can apply Proposition 2.8(i) to \(s {{\mathcal {C}}}\) with the Reedy model structure. Since a Reedy cofibrant object of \(s \mathsf {Alg}({{\mathcal {O}}})\) is cofibrant for the transferred model structure, by Lemma 2.10, this gives the result.
Part (ii) is proved similarly by reference to [19, Proposition 4.8]. (By assumption the constant operad on \({{\mathcal {O}}}\) in \(s{{\mathcal {C}}}\) has an underlying cofibrant collection in \(s{{\mathcal {C}}}\) for the Reedy model structure induced by the second model structure on \({{\mathcal {C}}}\).) \(\square \)
3 (Co)localization of algebras over colored operads
3.1 Colocalization of algebras
In this section we show that tensor-closed \({{\mathcal {K}}}\)-colocalization functors preserve algebras over cofibrant C-colored operads. More precisely, we prove that if \({{\mathcal {O}}}\) is a cofibrant C-colored operad and f is an \({\mathbf {L}}F({{\mathcal {K}}})\)-colocalization in the category of \({{\mathcal {O}}}\)-algebras \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\), then U(f) is a \({{\mathcal {K}}}\)-colocalization in \({{\mathcal {C}}}\), where U denotes the forgetful functor.
If \({{\mathcal {K}}}\) is a set of isomorphism classes of objects of \(\mathbf {Ho}({{\mathcal {C}}})\), and C is a set of colors, denote by \({{\mathcal {K}}}^C\) the set of objects in \(\mathbf {Ho}({{\mathcal {C}}})^C\) defined as \({{\mathcal {K}}}^C=\prod _{c\in C}{{\mathcal {K}}}\). Note that an object in \({{\mathcal {C}}}^C\) is \({{\mathcal {K}}}^C\)-colocal if and only if it is colorwise \({{\mathcal {K}}}\)-colocal.
Lemma 3.1
Suppose \({{\mathcal {O}}}\) is a strongly admissible C-colored colored operad in a cofibrantly generated simplicial symmetric monoidal model category \({{\mathcal {C}}}\). For a simplicial object \({\mathscr {A}}_\bullet \) in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\), the canonical map
is a weak equivalence, where U denotes the corresponding forgetful functor.
Proof
We give two proofs according to the two cases which appear in the definition of strongly admissible (Definition 2.2). In the first case, since \({{\mathcal {O}}}\) is strongly admissible, there is a weak equivalence \(\varphi :{{\mathcal {O}}}^\prime \rightarrow {{\mathcal {O}}}\) such that \({{\mathcal {O}}}^\prime\) has an underlying cofibrant C-colored collection and \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) is Quillen equivalent to \(\mathsf {Alg}_{{{\mathcal {O}}}^\prime}({{\mathcal {C}}})\). Let \({\mathscr {A}}_{\bullet }\) be a simplicial object in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) and consider the simplicial object \({\mathscr {B}}_{\bullet }=\varphi ^*{\mathscr {A}}_{\bullet }\) in \(\mathsf {Alg}_{{{\mathcal {O}}}^\prime}({{\mathcal {C}}})\). By the homotopy invariance of the homotopy colimit, we may further assume that \({\mathscr {B}}_\bullet \) is Reedy cofibrant. By Lemma A.4, \(s {{\mathcal {C}}}\) is cofibrantly generated. Thus by Corollary 2.11(i) \(U({\mathscr {B}}_\bullet )\) is Reedy cofibrant as well. By Lemma A.1, \(|{\mathscr {B}}_\bullet |_{\mathsf {Alg}_{{{\mathcal {O}}}^\prime}({{\mathcal {C}}})}\) computes the homotopy colimit of \({\mathscr {B}}_\bullet \), and \(|U({\mathscr {B}}_\bullet )|_{{{\mathcal {C}}}^C}\) computes the homotopy colimit of \(U({\mathscr {B}}_\bullet )\). Lemma 2.7 gives an isomorphism \(|U({\mathscr {B}}_\bullet )|_{{{\mathcal {C}}}^C} \cong U(|{\mathscr {B}}_\bullet |_{\mathsf {Alg}_{{{\mathcal {O}}}^\prime}({{\mathcal {C}}})})\). So we obtain that
is a weak equivalence for every simplicial object \({\mathscr {B}}_{\bullet }\in \mathsf {Alg}_{{{\mathcal {O}}}^\prime}(C)\). To finish the proof note that \(\mathrm {hocolim}_{\varDelta ^\mathrm {op}} U({\mathscr {A}}_\bullet )=\mathrm {hocolim}_{\varDelta ^\mathrm {op}} U({\mathscr {B}}_\bullet )\) since \({\mathscr {A}}_{\bullet }\) and \(\varphi ^*{\mathscr {A}}_{\bullet }\) have the same underlying object (we just change the algebra structure). But also
because the functor \(\varphi ^*\) is a right Quillen equivalence and hence commutes with homotopy colimits.
In the second case, we proceed as in the first case except that we also use the symmetric monoidal model category \(s{{\mathcal {C}}}\) equipped with the Reedy model structure induced by the second model structure on \({{\mathcal {C}}}\). Starting with a Reedy cofibrant \({\mathscr {B}}=\varphi ^*{\mathscr {A}}_\bullet \) (here only the first model structure on \({{\mathcal {C}}}\) enters) Corollary 2.11(ii) gives a Reedy cofibrant \(U({\mathscr {B}}_\bullet )\) (here the second model structure enters). The last part of the argument is as in the first case using the fact that \(|U({\mathscr {B}}_\bullet )|_{{{\mathcal {C}}}^C}\) also computes the homotopy colimit of \(U({\mathscr {B}}_\bullet )\) since the two model structures on \({{\mathcal {C}}}\) furnish a Quillen equivalence. \(\square \)
Let \({{\mathcal {C}}}\) be a symmetric monoidal model category and \({{\mathcal {O}}}\) a C-colored operad in \({{\mathcal {C}}}\). Given any \({{\mathcal {O}}}\)-algebra \({\mathscr {A}}\) in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) we define the standard simplicial object associated to \({\mathscr {A}}\) by setting \({\mathscr {A}}_n=(FU)^{n+1} {\mathscr {A}}\) with the usual structure maps. Here, F and U denote the free functor and the forgetful functor, respectively. There is a canonical augmentation \({\mathscr {A}}_{\bullet }\rightarrow {\mathscr {A}}\) obtained by viewing \({\mathscr {A}}\) as a constant simplicial object.
Lemma 3.2
Suppose \({{\mathcal {O}}}\) is a strongly admissible colored operad in a cofibrantly generated simplicial symmetric monoidal model category \({{\mathcal {C}}}\). For every \({{\mathcal {O}}}\)-algebra \({\mathscr {A}}\), the augmentation map induces a canonical weak equivalence \(\mathrm {hocolim}_{\varDelta ^{\mathrm {op}}}{\mathscr {A}}_\bullet \rightarrow {\mathscr {A}}\).
Proof
Let \({\widetilde{\varDelta }}\) denote the split augmented simplicial category with naturally ordered objects \([-1]_{+}=\{+\}\), \([n]_{+}=\{+,0,\dots ,n\}\) for \(n\ge 0\). Morphisms in \({\widetilde{\varDelta }}\) are monotone maps preserving \(+\), so \({\widetilde{\varDelta }}\) has an initial object. The evident functor from \(\varDelta ^{\mathrm op}\) to \({\widetilde{\varDelta }}^{\mathrm op}\) is homotopy right cofinal in the sense of [12, Definition 19.6.1]. Thus, by [12, Theorem 19.6.7(1)], for any split augmented simplicial object \(X_{\bullet }\) in \({{\mathcal {C}}}\) the natural map
is a weak equivalence. The result now follows from Lemma 3.1 since \(U({\mathscr {A}}_\bullet ) \rightarrow U({\mathscr {A}})\) is a split augmented simplicial object. \(\square \)
Remark 3.3
In Lemma 3.2 one should be mindful of forming the “correct” derived simplicial object, i.e., in degree n it is weakly equivalent to \((FQU)^{n+1} {\mathscr {A}}\), where Q is a cofibrant replacement functor in \({{\mathcal {C}}}^C\).
Lemma 3.4
Let \({{\mathcal {O}}}\) be a strongly admissible C-colored operad in a cofibrantly generated simplicial symmetric monoidal model category \({{\mathcal {C}}}\), and \({{\mathcal {K}}}\) a tensor-closed set of isomorphism classes of objects of \(\mathbf {Ho}({{\mathcal {C}}})\). Suppose \({{\mathcal {O}}}(c_1, \ldots , c_n;c)\otimes ^{{\mathbf {L}}} -\) preserves \({{\mathcal {K}}}\)-colocal objects for all \((c_1,\ldots , c_n,c)\), \(n\ge 0\). If X in \({{\mathcal {C}}}^C\) is colorwise \({{\mathcal {K}}}\)-colocal, then \({\mathbf {L}}F(X)\) is underlying colorwise \({{\mathcal {K}}}\)-colocal.
Proof
Since \({{\mathcal {O}}}\) is strongly admissible we may assume that \({{\mathcal {O}}}\) has an underlying cofibrant collection or an underlying cofibrant pointed collection. We note that \({{\mathcal {O}}}(c;c) \otimes X\) is cofibrant in \({{\mathcal {C}}}\) for every cofibrant X and every \(c \in C\) also in the second case. Moreover, we have
The result follows now from the fact that \({{\mathcal {K}}}\) is tensor-closed, \({{\mathcal {K}}}\)-colocal objects are closed under coproducts, and F(X)(c) is a homotopy quotient of \({{\mathcal {K}}}\)-colocal objects for every \(c\in C\), hence \({{\mathcal {K}}}\)-colocal. \(\square \)
Remark 3.5
If \({{\mathcal {O}}}(c_1,\ldots , c_n;c)\) is \({{\mathcal {K}}}\)-colocal, then \({{\mathcal {O}}}(c_1,\ldots , c_n;c)\otimes -\) preserves \({{\mathcal {K}}}\)-colocal objects for all \((c_1,\ldots , c_n, c)\), \(n\ge 0\), since \({{\mathcal {K}}}\) is tensor-closed. The converse holds provided the unit I is \({{\mathcal {K}}}\)-colocal.
Lemma 3.6
Under the same assumptions as in Lemma 3.4, let \(D:{\mathcal {I}} \rightarrow \mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) be a diagram of underlying colorwise \({{\mathcal {K}}}\)-colocal algebras. Then \(\mathrm {hocolim}_{{\mathcal {I}}} D\) is underlying colorwise \({{\mathcal {K}}}\)-colocal.
Proof
We give two proofs according to the two cases in the definition of strongly admissible. In the first case we can assume \({{\mathcal {O}}}\) has an underlying cofibrant collection. Also assume without loss of generality that D takes values in cofibrant objects. For every \(i\in {\mathcal {I}}\), let \(D(i)_\bullet \rightarrow D(i)\) be the augmented standard simplicial object associated to D(i). Note that by Proposition 2.8(i) and the explicit formula for the free functor F, \(U(FU)^n D(i)\) is cofibrant for every \(i\in {\mathcal {I}}\) and \(n \ge 0\). For \(X_n= \mathrm {hocolim}_I D(-)_n\) we have \(X_n\simeq {\mathbf {L}}F(\mathrm {hocolim}_I U(FU)^n D(-))\). By Lemma 3.4, each \(U(FU)^n D(i)\) is colorwise \({{\mathcal {K}}}\)-colocal and thus \(X_n\) is underlying colorwise \({{\mathcal {K}}}\)-colocal. Lemma 3.2 implies that \(\mathrm {hocolim}_ID \simeq \mathrm {hocolim}_{\varDelta ^{\mathrm{op}}} X_\bullet \). Finally, \(\mathrm {hocolim}_{\varDelta ^{\mathrm{op}}}U(X_\bullet ) \simeq U(\mathrm {hocolim}_{\varDelta ^{\mathrm{op}}} X_\bullet )\) follows from Lemma 3.1.
Now we treat the second case. We can assume that \({{\mathcal {O}}}\) has an underlying cofibrant pointed collection. Assume, without loss of generality, that D takes values in cofibrant objects. We note that the \((FU)^n D(i)\) have the correct homotopy type, that is, the canonical maps \((FQU)^n D(i) \rightarrow (FU)^n D(i)\) are weak equivalences, where Q denotes a cofibrant replacement functor in \({{\mathcal {C}}}^C\) and C is the set of colors of \({{\mathcal {O}}}\). This follows from Proposition 2.8(ii) and the fact \({\mathbf {L}}F\) can also be computed by applying F to an object of \({{\mathcal {C}}}^C\) which is colorwise cofibrant for the second cofibrantly generated model structure on \({{\mathcal {C}}}\) offered by the strong admissibility of \({{\mathcal {O}}}\). Using this the proof works as in the first case. \(\square \)
Proposition 3.7
With the same assumptions as in Lemma 3.4the following holds.
-
(i)
If \({\mathscr {A}}\) is an underlying colorwise \({{\mathcal {K}}}\)-colocal \({{\mathcal {O}}}\)-algebra, then \({\mathscr {A}}\) is \({\mathbf {L}}F({{\mathcal {K}}}^C)\)-colocal.
-
(ii)
If \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) has a good \({\mathbf {L}}F({{\mathcal {K}}}^C)\)-colocalization, then every \({\mathbf {L}}F({{\mathcal {K}}}^C)\)-colocal object is underlying colorwise \({{\mathcal {K}}}\)-colocal.
Proof
We may assume that \({{\mathcal {O}}}\) has an underlying cofibrant collection or an underlying cofibrant pointed collection depending on the strong admissibility condition used.
To prove part (i) we may assume \({\mathscr {A}}\) is cofibrant. Let \({\mathscr {A}}_\bullet \rightarrow {\mathscr {A}}\) be the associated augmented standard simplicial object. As in the proof of Lemma 3.6 it follows that \({\mathscr {A}}_n\) has the correct homotopy type for every n, i.e., each \({\mathscr {A}}_n\) is weakly equivalent to \((({\mathbf {L}}F) U)^{n+1}({\mathscr {A}})\). By Lemma 3.2, the map \(\mathrm {hocolim}{\mathscr {A}}_\bullet \rightarrow {\mathscr {A}}\) is a weak equivalence. Each \({\mathscr {A}}_n\) is \(F({{\mathcal {K}}}^C)\)-colocal by Lemmas 3.4 and A.7(ii). Thus \({\mathscr {A}}\) is \(F({{\mathcal {K}}}^C)\)-colocal.
For part (ii), note that if X in \({{\mathcal {C}}}^C\) is colorwise \({{\mathcal {K}}}\)-colocal, then \({\mathbf {L}}F(X)\) is underlying colorwise \({{\mathcal {K}}}\)-colocal by Lemma 3.4. We conclude from Lemma 3.6 since by assumption the \(F({{\mathcal {K}}}^C)\)-colocal objects are generated under homotopy colimits by \(F({{\mathcal {K}}}^C)\). \(\square \)
Theorem 3.8
Let \({{\mathcal {O}}}\) be a strongly admissible C-colored operad in a cofibrantly generated simplicial symmetric monoidal model category \({{\mathcal {C}}}\). Let \({{\mathcal {K}}}\) be a tensor-closed set of isomorphism classes of objects of \(\mathbf {Ho}({{\mathcal {C}}})\). Suppose \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) has a good \({\mathbf {L}}F({{\mathcal {K}}}^C)\)-colocalization and \({{\mathcal {O}}}(c_1,\ldots , c_n;c)\otimes -\) preserves \({{\mathcal {K}}}\)-colocal objects for all \((c_1,\ldots ,c_n,c)\), \(n\ge 0\). If \({\mathscr {A}}^\prime\rightarrow {\mathscr {A}}\) is an \({\mathbf {L}}F({{\mathcal {K}}}^C)\)-colocalization of \({\mathscr {A}}\) in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\), then \(U({\mathscr {A}}^\prime) \rightarrow U({\mathscr {A}})\) is a \({{\mathcal {K}}}^C\)-colocalization in \({{\mathcal {C}}}^C\).
Proof
By Proposition 3.7(ii) the object \(U({\mathscr {A}}^\prime)\) is \({{\mathcal {K}}}^C\)-colocal, and by Lemma A.7(ii) the map \(U({\mathscr {A}}^\prime) \rightarrow U({\mathscr {A}})\) is a \({{\mathcal {K}}}^C\)-colocal equivalence. \(\square \)
Remark 3.9
Theorem 3.8 implies Proposition 3.7(i) provided \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) acquires a good \({\mathbf {L}}F({{\mathcal {K}}}^C)\)-colocalization. If \({{\mathcal {C}}}^C\) has a good \({{\mathcal {K}}}^C\)-colocalization, the theorem states that for a cofibrant replacement \({\mathscr {A}}^\prime\rightarrow {\mathscr {A}}\) in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})^{{\mathbf {L}}F({{\mathcal {K}}}^C)}\) the map \(U({\mathscr {A}}^\prime)\rightarrow U({\mathscr {A}})\) is a cofibrant replacement in \(({{\mathcal {C}}}^C)^{{{\mathcal {K}}}^C}\).
Proposition 3.10
If either of the model structures \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})^{{\mathbf {L}}F({{\mathcal {K}}}^C)}\) or \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}}^{{{\mathcal {K}}}})\) exists, then so does the other and they coincide.
Proof
It suffices to check that the fibrations and weak equivalences coincide. For the fibrations, note that the model structures on the algebras are transferred from \({{\mathcal {C}}}\) and \({{\mathcal {C}}}^{{{\mathcal {K}}}}\), for the same classes of fibrations. For the weak equivalences we use Lemma A.7(ii). \(\square \)
Remark 3.11
The model structure \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})^{{\mathbf {L}}F({{\mathcal {K}}}^C)}\) exists if \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) is right proper, e.g., when \({{\mathcal {C}}}\) is right proper. We also remark that \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}}^{{{\mathcal {K}}}})\) exists if the colocalized model structure \({{\mathcal {C}}}^{{{\mathcal {K}}}}\) can be transferred. A version of Proposition 3.10 for model categories of algebras over monads can be found in [22, Theorem 2.6] and [6, Theorem 7.14(a)].
3.2 Localization of algebras
In this section we show that tensor-closed \({{\mathcal {S}}}\)-localization functors preserve algebras over cofibrant C-colored operads. More precisely, we prove that if \({{\mathcal {O}}}\) is a cofibrant C-colored operad and f an \({\mathbf {L}}F({{\mathcal {S}}})\)-localization in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\), then U(f) is an \({{\mathcal {S}}}\)-localization in \({{\mathcal {C}}}\).
If \({{\mathcal {S}}}\) is a set of homotopy classes of maps in \({{\mathcal {C}}}\) and C is a set of colors, we denote by \({{\mathcal {S}}}^C\) the set \(\prod _{c\in C}{{\mathcal {S}}}\). Note that a map in \({{\mathcal {C}}}^C\) is an \({{\mathcal {S}}}^C\)-local equivalence if and only if it is colorwise an \({{\mathcal {S}}}\)-local equivalence.
Lemma 3.12
Let \({{\mathcal {O}}}\) be a strongly admissible C-colored operad in a cofibrantly generated simplicial symmetric monoidal model category \({{\mathcal {C}}}\). Suppose \({{\mathcal {S}}}\) is set of homotopy classes of maps such that \({{\mathcal {S}}}\)-equivalences are tensor-closed. If g is colorwise an \({{\mathcal {S}}}\)-equivalence, then F(g) is underlying colorwise an \({{\mathcal {S}}}\)-equivalence.
Proof
Let \(g:{\mathscr {A}}\rightarrow {\mathscr {B}}\) be a map in \({{\mathcal {C}}}\). Then UF(g) is the map
By assumption, the map \({\mathscr {A}}(c_1)\otimes \cdots \otimes {\mathscr {A}}(c_n)\rightarrow {\mathscr {B}}(c_1)\otimes \cdots \otimes {\mathscr {B}}(c_n)\) is an \({{\mathcal {S}}}\)-local equivalence for every n-tuple \((c_1,\ldots , c_n)\), and tensoring with \({{\mathcal {O}}}(c_1,\ldots , c_n)\) preserves this property. The result follows by using that \({{\mathcal {S}}}\)-local equivalences are closed under homotopy colimits and coproducts. \(\square \)
Remark 3.13
The assumptions of the theorem are automatically satisfied if, for instance, the functor \(X\otimes ^{{\mathbf {L}}}-\) preserve \({{\mathcal {S}}}\)-local equivalences for all X in \({{\mathcal {C}}}\).
Theorem 3.14
Let \({{\mathcal {O}}}\), C, \({{\mathcal {C}}}\), and \({{\mathcal {S}}}\) be as above and suppose in addition that \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) has a good \({\mathbf {L}}F({{\mathcal {S}}}^C)\)-localization. If \({\mathscr {A}}\rightarrow {\mathscr {A}}'\) is an \({\mathbf {L}}F({{\mathcal {S}}}^C)\)-localization in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\), then \(U({\mathscr {A}}) \rightarrow U({\mathscr {A}}')\) is an \({{\mathcal {S}}}^C\)-localization in \({{\mathcal {C}}}^C\).
Proof
By Lemma A.7(i) it follows that \(U({\mathscr {A}}^\prime)\) is \({{\mathcal {S}}}^C\)-local. It remains to show the map \(U({\mathscr {A}})\rightarrow U({\mathscr {A}}^\prime)\) is an \({{\mathcal {S}}}^C\)-local equivalence. Consider the diagram
where \(U{\mathscr {A}}\rightarrow \widehat{U{\mathscr {A}}}\) is a fibrant replacement of \(U{\mathscr {A}}\) in the localized model category \(({{\mathcal {C}}}^C)_{{{\mathcal {S}}}^C}\). The leftmost vertical map is an \(F({{\mathcal {S}}}^C)\)-local equivalence by Lemma A.7(i).
By [9, Theorem 5.7] the map \(U{\mathscr {A}}\rightarrow \widehat{U{\mathscr {A}}}\) coincides with \(U({\mathscr {A}}\rightarrow {\mathscr {B}})\) for some map of \({{\mathcal {O}}}\)-algebras \({\mathscr {A}}\rightarrow {\mathscr {B}}\). Lemma 3.12 shows \(UFU{\mathscr {A}}\rightarrow UFU{\mathscr {B}}\) is an \({{\mathcal {S}}}^C\)-local equivalence, hence \(FUFU{\mathscr {A}}\rightarrow FUFU{\mathscr {B}}\) is an \(F({{\mathcal {S}}}^C)\)-local equivalence. Iterating this argument, it follows that
is an \(F({{\mathcal {S}}}^C)\)-local equivalence. Taking homotopy colimits in the previous diagrams yields the commutative square
The right vertical map is an \(F({{\mathcal {S}}}^C)\)-local equivalence (a homotopy colimit of \(F({{\mathcal {S}}}^C)\)-local equivalences). The horizontal maps are weak equivalences by Lemma 3.2. Hence \({\mathscr {A}}\rightarrow {\mathscr {B}}\) is an \(F({{\mathcal {S}}}^C)\)-local equivalence. By repeating the same construction with \({\mathscr {A}}'\) instead of \({\mathscr {A}}\), we obtain a commutative diagram
where all four maps are \(F({{\mathcal {S}}}^C)\)-local equivalences and \({\mathscr {A}}^\prime\), \({\mathscr {B}}\) and \({\mathscr {B}}'\) are \(F({{\mathcal {S}}}^C)\)-local. Hence the left vertical map and the bottom horizontal map are weak equivalences. If we apply the forgetful functor we get a commutative diagram
where the left vertical map is an \({{\mathcal {S}}}^C\)-local equivalence and the right vertical and bottom horizontal maps are weak equivalences. It follows that \(U({\mathscr {A}})\rightarrow U({\mathscr {A}}')\) is an \({{\mathcal {S}}}^C\)-local equivalence. \(\square \)
Proposition 3.15
If the transferred model structure \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}}_{{{\mathcal {S}}}})\) exists, then the localized model structure \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})_{{\mathbf {L}}F({{\mathcal {S}}}^C)}\) also exists and they coincide.
Proof
It suffices to check that \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}}_{{{\mathcal {S}}}})\) has the same cofibrations as \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) and that its fibrant objects are the \({{\mathbf {L}}F({{\mathcal {S}}}^C)}\)-local objects. The trivial fibrations of \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}}_{{{\mathcal {S}}}})\) are the same as the trivial fibrations of \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\), because the model structures are transferred from \({{\mathcal {C}}}\) and \({{\mathcal {C}}}_{{{\mathcal {S}}}}\), respectively. Hence, both model structures have the same cofibrations. For the fibrant objects we use Lemma A.7(i). \(\square \)
Remark 3.16
The model structure \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})_{{\mathbf {L}}F({{\mathcal {S}}}^C)}\) exists if \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) is left proper. We also remark that \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}}_{{{\mathcal {S}}}})\) exists if the localized model structure \({{\mathcal {C}}}_{{{\mathcal {S}}}}\) can be transferred. A version of Proposition 3.15 for model structures on algebras over monads can be found in [2, Theorem 3.4] and [6, Theorem 7.14(b)].
4 (Co)localization of modules over algebras
In the following we shall run similar arguments for modules over a given monoid instead of algebras over a colored operad, culminating in analogous statements of Theorem 3.8 and Theorem 3.14. When colocalizing (resp. localizing) a module over a monoid \({\mathscr {A}}\) with respect to a tensor-closed set of objects \({{\mathcal {K}}}\) (resp. of morphisms \({{\mathcal {S}}}\)) for which \({\mathscr {A}}\) is \({{\mathcal {K}}}\)-colocal (resp. \({{\mathcal {S}}}\)-local), one can simply apply Theorem 3.8 or Theorem 3.14 because there exists an operad whose algebras are exactly the modules over the given monoid. That is, let \({{\mathcal {O}}}\) be the operad with \({{\mathcal {O}}}(1)={\mathscr {A}}\) and \({{\mathcal {O}}}(i)=\emptyset \) for \(i \ne 1\). Then the categories of \({{\mathcal {O}}}\)-algebras and \({\mathscr {A}}\)-modules are equivalent. Furthermore, \({{\mathcal {O}}}\) is strongly admissible if \({\mathscr {A}}\) is. But in practice, e.g., for the motivic slice filtration, one wants to colocalize or localize a module with respect to a colocalization or localization functor other than the one for which the monoid is colocal or local.
4.1 Colocalization of modules
We first address colocalization of modules over monoids, and second colocalization of modules over arbitrary operads. In the latter case we employ enveloping algebras and restrict to monoids.
Lemma 4.1
Let \({\mathscr {A}}\) be a strongly admissible monoid in a symmetric monoidal model category \({{\mathcal {C}}}\). Then the forgetful functor \(U:\mathrm {Mod}({\mathscr {A}}) \rightarrow {{\mathcal {C}}}\) preserves homotopy colimits, where \(\mathrm {Mod}({\mathscr {A}})\) denotes the category of \({\mathscr {A}}\)-modules.
Proof
Since \({\mathscr {A}}\) is strongly admissible, we may assume its underlying object is cofibrant (case (i) in Definition 2.2), or its unit map is a cofibration in \({{\mathcal {C}}}\) (case (ii)). In the first case, U is a left Quillen functor since its right adjoint given by the internal hom \(\mathrm {Hom}({\mathscr {A}},-)\) preserves fibrations and trivial fibrations, so the result follows. In the second case, the same argument shows that U is a left Quillen functor for the model structure on \({{\mathcal {C}}}\) furnished by the strong admissibility of \({\mathscr {A}}\). \(\square \)
Proposition 4.2
With \({\mathscr {A}}\) and \({{\mathcal {C}}}\) as in Lemma 4.1, let \({{\mathcal {K}}}\) be a set of isomorphism classes of objects for \(\mathbf {Ho}({{\mathcal {C}}})\). Suppose \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\) is underlying \({{\mathcal {K}}}\)-colocal. If \({\mathscr {M}}\in \mathrm {Mod}({\mathscr {A}})\) is underlying \({{\mathcal {K}}}\)-colocal, then it is also \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\)-colocal. If, in addition, \(\mathrm {Mod}({\mathscr {A}})\) has a good \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\)-colocalization, then every \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\)-colocal \({\mathscr {A}}\)-module is underlying \({{\mathcal {K}}}\)-colocal.
Proof
We may assume \({\mathscr {M}}\) is cofibrant. It follows, using the left Quillen functor U in the proof of Lemma 4.1, that \({\mathscr {M}}\) is underlying cofibrant (in case (i)), or cofibrant in \({{\mathcal {C}}}\) for the second model structure (in case (ii)). Letting \({\mathscr {M}}_n={\mathscr {A}}^{\otimes (n+1)} \otimes {\mathscr {M}}\), the augmented simplicial \({\mathscr {A}}\)-module \({\mathscr {M}}_\bullet \rightarrow {\mathscr {M}}\) splits after forgetting the \({\mathscr {A}}\)-module structure. By Lemma 4.1 the natural \({\mathscr {A}}\)-module map \(\mathrm {hocolim}{\mathscr {M}}_\bullet \rightarrow {\mathscr {M}}\) is a weak equivalence. Each \({\mathscr {M}}_n\) is \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\)-colocal by Lemma A.7(ii) and the assumption that \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\) is underlying \({{\mathcal {K}}}\)-colocal, since \({{\mathcal {K}}}\)-colocal object are generated by taking the closure of \({{\mathcal {K}}}\) under weak equivalences and homotopy colimits. It follows that \({\mathscr {M}}\) is \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\)-colocal.
For the second assertion, we use Lemma 4.1, the fact that \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\)-colocal \({\mathscr {A}}\)-modules are generated under homotopy colimits by \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\), and the assumption that \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\) is underlying \({{\mathcal {K}}}\)-colocal. \(\square \)
Remark 4.3
Note that since we are dealing with monoids instead of arbitrary operads, we do not assume in Proposition 4.2 that the set \({{\mathcal {K}}}\) is tensor-closed (cf. Proposition 3.7).
Theorem 4.4
With \({\mathscr {A}}\), \({{\mathcal {C}}}\), and \({{\mathcal {K}}}\) as in Proposition 4.2, suppose that \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\) is underlying \({{\mathcal {K}}}\)-colocal and \(\mathrm {Mod}({\mathscr {A}})\) has a good \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\)-colocalization. If \({\mathscr {M}}^\prime \rightarrow {\mathscr {M}}\) is a \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\)-colocalization of \({\mathscr {M}}\in \mathrm {Mod}({\mathscr {A}})\), then \(U{\mathscr {M}}^\prime\rightarrow U{\mathscr {M}}\) is a \({{\mathcal {K}}}\)-colocalization in \({{\mathcal {C}}}\).
Proof
Proposition 4.2 implies that \({\mathscr {M}}^\prime\) is underlying \({{\mathcal {K}}}\)-colocal. Using Lemma A.7(ii) we conclude that \({\mathscr {M}}^\prime \rightarrow {\mathscr {M}}\) is an underlying \({{\mathcal {K}}}\)-colocal equivalence. \(\square \)
Next we discuss \(E_\infty \) operads, i.e., parameter spaces for multiplication maps that are associative and commutative up to all higher homotopies, and their algebras. For an operad \({{\mathcal {O}}}\) in \({{\mathcal {C}}}\) and an \({{\mathcal {O}}}\)-algebra \({\mathscr {A}}\) we denote by \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}})\) the enveloping algebra of \({\mathscr {A}}\). This is a monoid with the property that \(\mathrm {Mod}({\mathscr {A}})\simeq \mathrm {Mod}(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}}))\). For an operad \({{\mathcal {O}}}\) with underlying cofibrant collection, \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) has a left semi model structure [19, Theorem 4.7] provided the domains of the generating cofibrations of \({{\mathcal {C}}}\) are small relative to the whole category.
Theorem 4.5
Let \({{\mathcal {C}}}\) be a cofibrantly generated symmetric monoidal model category with a set \({{\mathcal {K}}}\) of isomorphism classes of objects for \(\mathbf {Ho}({{\mathcal {C}}})\). Suppose \({{\mathcal {C}}}\) is left proper, its generating cofibrations can be chosen in such a way that their domains are cofibrant and small relative to the whole category, and its unit is cofibrant. Let \({{\mathcal {O}}}\) be a pointed \(E_\infty \) operad in \({{\mathcal {C}}}\). Suppose \({\mathscr {A}}\in \mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) is cofibrant, the objects of \({\mathscr {A}}\otimes ^{\mathbf {L}}{{\mathcal {K}}}\) are underlying \({{\mathcal {K}}}\)-colocal, and \(\mathrm {Mod}({\mathscr {A}})\) has a good \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}})\otimes ^{\mathbf {L}}{{\mathcal {K}}}\)-colocalization. If \({\mathscr {M}}^\prime \rightarrow {\mathscr {M}}\) is an \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}}) \otimes ^{\mathbf {L}}{{\mathcal {K}}}\)-colocalization of \({\mathscr {M}}\in \mathrm {Mod}({\mathscr {A}})\), then \(U{\mathscr {M}}^\prime\rightarrow U{\mathscr {M}}\) is a \({{\mathcal {K}}}\)-colocalization in \({{\mathcal {C}}}\).
Proof
The enveloping algebra \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}})\) is underlying cofibrant in \({{\mathcal {C}}}\) [19, Corollary 6.6] (the cofibrancy assumption on the unit is missing in loc. cit.). By [19, Lemma 8.6], the adjoint \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}}) \rightarrow {\mathscr {A}}\) in \(\mathrm {Mod}({\mathscr {A}})\) of the unit map for \({\mathscr {A}}\) is a weak equivalence (here we use that \({{\mathcal {O}}}\) is an \(E_\infty \) operad). Hence the \({\mathscr {A}}\)-module \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}}) \otimes ^{\mathbf {L}}{{\mathcal {K}}}\) is underlying \({{\mathcal {K}}}\)-colocal. Thus \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}})\) satisfies the assumptions of Theorem 4.4, and the result follows. \(\square \)
Remark 4.6
In the above theorem we could also assume that \({{\mathcal {O}}}\) is cofibrant as an operad (the operads in \({{\mathcal {C}}}\) form a left semi model category over \({{\mathcal {C}}}^{\varSigma ,\bullet }\) — for notation, see [19, §3] — by [19, Theorem 3.2]), and \({\mathscr {A}}\) is underlying cofibrant [19, Corollaries 6.3, 8.7].
It is desirable to have a parallel theory for modules over operad algebras (in the one-colored case). Since we have the equivalence \(\mathrm {Mod}({\mathscr {A}})\simeq \mathrm {Mod}(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}}))\) and the enveloping algebra is always a monoid, we can restrict to the latter case. A key point is to show that \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}})\) is underlying \({{\mathcal {K}}}\)-colocal under suitable assumptions, making our proof of Theorem 4.5 for \(E_\infty \) operads go through. For this we employ the simplicial resolution \({\mathscr {A}}_\bullet \rightarrow {\mathscr {A}}\). It is easily seen that \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}}_n)\) is underlying \({{\mathcal {K}}}\)-colocal for each \(n \ge 0\), so the result follows provided \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}})\) is weakly equivalent to the homotopy colimit over \(\varDelta ^\mathrm {op}\) of the diagram \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}}_\bullet )\).
For a symmetric monoidal category \({{\mathcal {C}}}\), we denote by \(\mathsf {Pairs}({{\mathcal {C}}})\) the category of pairs \(({{\mathcal {O}}},{\mathscr {A}})\), where \({{\mathcal {O}}}\in \mathsf {Oper}({{\mathcal {C}}})\) and \({\mathscr {A}}\in \mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\). Next we review some facts about the colored operads \({\mathscr {O}}\) and \({\mathscr {P}}\) whose algebras are \(\mathsf {Oper}({{\mathcal {C}}})\) and \(\mathsf {Pairs}({{\mathcal {C}}})\), respectively. The set of colors for \({\mathscr {O}}\) is \({\mathbb {N}}\), while for \({\mathscr {P}}\) it is \({\mathbb {N}}\cup \{a\}\). The operad \({\mathscr {O}}\) is a special case of a colored operad defined in [11, §3] whose algebras are itself colored operads for a fixed set of colors C. We take C to be a one point set and let \({\mathscr {O}}=S_{{\mathcal {C}}}^C\) in the notation of [11]. The colored operad \({\mathscr {O}}\) is the image in \({{\mathcal {C}}}\) of an \({\mathbb {N}}\)-colored operad in sets denoted \(S^C\), which we now describe (an explicit description of \({\mathscr {O}}\) can be found in [4, 1.5.6]).
Let \(S^C(n_1,\ldots ,n_k;n)\) denote the set of isomorphism classes of certain trees. We consider planar connected directed trees such that each vertex has exactly one outgoing edge. There are two different types of edges, namely inner edges with vertices at both ends, and external edges with a vertex only at one end or no vertices at all. It follows that there is exactly one external edge leaving a vertex, the so-called root. There are n external edges which are input edges to vertices, called leaves. These are numbered by \(\{1,\ldots ,n\}\). There are k vertices numbered by \(\{1,\ldots ,k\}\). The planarity of the tree means that the input edges of each vertex v are numbered by \(\{1,\ldots ,\mathrm {in}(v)\}\), where if v is numbered by i, then \(\mathrm {in}(v)=n_i\). As described in [4, 1.5.6] or [11, §3.2] there is an \({\mathbb {N}}\)-colored operad structure on \(S^C\). We set \({\mathscr {O}}^s=S^C\). Then \({\mathscr {O}}\) is the image of \({\mathscr {O}}^s\) under the tensor functor sending the one point set to the unit, and \(\mathsf {Alg}({\mathscr {O}})\simeq \mathsf {Oper}({{\mathcal {C}}})\) [11, Proposition 3.5, §3.3].
Let \(c_1,\ldots ,c_k \in {\mathbb {N}}\cup \{a\}\), \(n \in {\mathbb {N}}\). If each \(c_i\) is in \({\mathbb {N}}\), we set \({\mathscr {P}}(c_1,\ldots ,c_k;n)={\mathscr {O}}(c_1,\ldots ,c_k;n)\), and otherwise we set \({\mathscr {P}}(c_1,\ldots ,c_k;n)=\emptyset \). If the output \(c=a\), then \({\mathscr {P}}(c_1,\ldots , c_k; c)={\mathscr {O}}(c'_1,\ldots , c'_k; 0)\), where \(c'_i=c_i\) if \(c_i\in {\mathbb {N}}\) and \(c'_i=0\) if \(c_i=a\).
Proposition 4.7
There is an \({\mathbb {N}}\cup \{a\}\)-colored operad structure on \({\mathscr {P}}\). Moreover, there is a natural equivalence \(\mathsf {Alg}({\mathscr {P}}) \simeq \mathsf {Pairs}({{\mathcal {C}}})\).
Proof
The composition product and the unit maps of \({\mathscr {P}}\) are defined using the composition product and unit maps of \({\mathscr {O}}\). If \({\mathscr {A}}\) is a \({\mathscr {P}}\)-algebra, then the structure maps
when \(c_1,\ldots , c_k, c\in {\mathbb {N}}\) give the sequence \({{\mathcal {O}}}=\{{\mathscr {A}}(n)\}_{n\ge 0}\) the structure of an operad, since \({\mathscr {P}}(c_1,\ldots , c_k;c)={\mathscr {O}}(c_1,\ldots , c_k; c)\). The \({{\mathcal {O}}}\)-algebra structure on \({\mathscr {A}}(a)\) is defined by the structure maps
since \({\mathscr {P}}(n, a,{\mathop {\ldots }\limits ^{(k)}}, a; a)={\mathscr {O}}(n, 0,{\mathop {\ldots }\limits ^{(n)}}, 0;0)\). \(\square \)
Note that, as for \({\mathscr {O}}\), \({\mathscr {P}}\) is the image in \({{\mathcal {C}}}\) of a colored operad, say \({\mathscr {P}}^s\), in sets.
Lemma 4.8
If the unit in \({{\mathcal {C}}}\) is cofibrant, then the underlying collections of \({\mathscr {O}}\) and \({\mathscr {P}}\) are cofibrant. More precisely, let \(c_1,\ldots ,c_k\) and c be sequences of colors for \({\mathscr {O}}\) and \({\mathscr {P}}\) , respectively. Then the stabilizer groups of these sequences — which are subgroups of \(\varSigma _k\) — act freely on \({\mathscr {O}}^s(c_1,\ldots ,c_k;c)\) and \({\mathscr {P}}^s(c_1,\ldots ,c_k;c)\) , respectively.
Proof
This uses the explicit description of these colored operads: two isomorphic planar trees of the type we consider are already uniquely isomorphic, the additional numbering of the vertices — and leaves for the case of \({\mathscr {P}}^s\) — force the actions to be free. \(\square \)
Proposition 4.9
Let \({{\mathcal {C}}}\) be a cofibrantly generated simplicial symmetric monoidal model category such that all of its objects are small relative to the whole category. Suppose \({\mathscr {P}}\) is strongly admissible (e.g., the unit in \({{\mathcal {C}}}\) is cofibrant and \(\mathsf {Pairs}({{\mathcal {C}}})\) has a transferred model structure by Lemma 4.8). For a simplicial object \({\mathscr {A}}_\bullet \) in \(\mathsf {Pairs}({{\mathcal {C}}})\) there is a canonical weak equivalence
Here, U denotes the forgetful functor \(\mathsf {Pairs}({{\mathcal {C}}})\rightarrow {{\mathcal {C}}}^{{\mathbb {N}}\cup \{a\}}\).
Proof
This follows directly from Lemma 3.1 and Proposition 4.7. \(\square \)
There is an embedding \(\phi :\mathsf {Oper}({{\mathcal {C}}}) \rightarrow \mathsf {Pairs}({{\mathcal {C}}})\) given by \({{\mathcal {O}}}\mapsto ({{\mathcal {O}}},{{\mathcal {O}}}(0))\). It is shown in [5, Proposition 1.6] that \(\phi \) has a left adjoint \(({{\mathcal {O}}},{\mathscr {A}}) \mapsto {{\mathcal {O}}}_{\mathscr {A}}\). The operad \({{\mathcal {O}}}_{\mathscr {A}}\) has the property that the category of \({{\mathcal {O}}}\)-algebras under \({\mathscr {A}}\) is equivalent to \({{\mathcal {O}}}_{\mathscr {A}}\)-algebras, and the canonical \({{\mathcal {O}}}\)-algebra map \({\mathscr {A}}\rightarrow {{\mathcal {O}}}_{\mathscr {A}}(0)\) is an isomorphism [5, Lemma 1.7]. Moreover, there is a canonical isomorphism of monoids \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}}) \cong {{\mathcal {O}}}_{\mathscr {A}}(1)\); see [5, Theorem 1.10].
Lemma 4.10
Suppose \({{\mathcal {C}}}\) is a symmetric monoidal model category, and \(\mathsf {Oper}({{\mathcal {C}}})\) and \(\mathsf {Pairs}({{\mathcal {C}}})\) have transferred model structures. Then the embedding \(\phi :\mathsf {Oper}({{\mathcal {C}}}) \rightarrow \mathsf {Pairs}({{\mathcal {C}}})\) is a right Quillen functor.
Proof
With these assumptions the functor \(\phi \) has a left adjoint and preserves fibrations and weak equivalences. \(\square \)
Lemma 4.11
Let \({{\mathcal {C}}}\) be a cofibrantly generated symmetric monoidal model category such that the domains of the generating cofibrations are small relative to the whole category. Suppose \(\mathsf {Pairs}({{\mathcal {C}}})\) has a transferred model structure. Then \(({{\mathcal {O}}},{\mathscr {A}})\in \mathsf {Pairs}\) is cofibrant if and only if \({{\mathcal {O}}}\) is cofibrant in \(\mathsf {Oper}({{\mathcal {C}}})\) and \({\mathscr {A}}\) is cofibrant in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\).
Proof
Recall \(\mathsf {Oper}({{\mathcal {C}}})\) has a left semi model structure over \({{\mathcal {C}}}^{\varSigma ,\bullet }\), and if \({{\mathcal {O}}}\in \mathsf {Oper}({{\mathcal {C}}})\) is cofibrant, then the same holds for \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) over \({{\mathcal {C}}}\) [19, Theorems 3.2, 4.3].
Suppose \(({{\mathcal {O}}},{\mathscr {A}})\) is cofibrant. The lifting property with respect to trivial fibrations \(({{\mathcal {O}}}_1,\mathrm {pt}) \rightarrow ({{\mathcal {O}}}_2,\mathrm {pt})\) shows that \({{\mathcal {O}}}\) is cofibrant. And the lifting property with respect to trivial fibrations \(({{\mathcal {O}}},{\mathscr {A}}_1) \rightarrow ({{\mathcal {O}}},{\mathscr {A}}_2)\) shows that \({\mathscr {A}}\) is cofibrant in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\).
Conversely, assume \({{\mathcal {O}}}\) and \({\mathscr {A}}\) are cofibrant. Let \(({{\mathcal {O}}}_1,{\mathscr {A}}_1) \rightarrow ({{\mathcal {O}}}_2,{\mathscr {A}}_2)\) be a trivial fibration in \(\mathsf {Pairs}({{\mathcal {C}}})\), and \(({{\mathcal {O}}},{\mathscr {A}}) \rightarrow ({{\mathcal {O}}}_2,{\mathscr {A}}_2)\) a map. First, we can lift \({{\mathcal {O}}}\rightarrow {{\mathcal {O}}}_2\) to a map \({{\mathcal {O}}}\rightarrow {{\mathcal {O}}}_1\). Pulling the algebras \({\mathscr {A}}_1\) and \({\mathscr {A}}_2\) back to \({{\mathcal {O}}}\) gives us a lifting problem in \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\), which can be solved. \(\square \)
Theorem 4.12
Let \({{\mathcal {C}}}\) be a cofibrantly generated simplicial symmetric monoidal model category such that all of its objects are small relative to the whole category. Let \({{\mathcal {K}}}\) be a tensor-closed set of isomorphism classes of objects for \(\mathbf {Ho}({{\mathcal {C}}})\). Suppose \({\mathscr {O}}\) and \({\mathscr {P}}\) are strongly admissible (e.g., if the unit in \({{\mathcal {C}}}\) is cofibrant and \(\mathsf {Oper}({{\mathcal {C}}})\) and \(\mathsf {Pairs}({{\mathcal {C}}})\) have transferred model structures). If \(({{\mathcal {O}}},{\mathscr {A}}) \in \mathsf {Pairs}({{\mathcal {C}}})\) is cofibrant and each \({{\mathcal {O}}}(n)\) is \({{\mathcal {K}}}\)-colocal and \({\mathscr {A}}\) is underlying \({{\mathcal {K}}}\)-colocal, then the enveloping algebra \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}})\) is underlying \({{\mathcal {K}}}\)-colocal.
Proof
Let \(F :{{\mathcal {C}}}\rightleftarrows \mathsf {Alg}({{\mathcal {O}}}) \; :\! U\) be the free-forgetful adjunction. Let \({\mathscr {A}}_\bullet \rightarrow {\mathscr {A}}\) be the standard augmented simplicial object with \({\mathscr {A}}_n=(FU)^{n+1} {\mathscr {A}}\). Since \(\mathsf {Alg}_{{{\mathcal {O}}}}({{\mathcal {C}}})\) is a left semi model category over \({{\mathcal {C}}}\) it follows that \(U(FU)^n {\mathscr {A}}\), \(n \ge 0\), is cofibrant (for \(n>0\) one can also use the explicit formula for F). By Lemma 4.11 it follows that \(({{\mathcal {O}}},{\mathscr {A}}_n) \in \mathsf {Pairs}({{\mathcal {C}}})\) is cofibrant.
For \(X \in {{\mathcal {C}}}\) the enveloping algebra \(\mathrm {Env}_{{\mathcal {O}}}(FX) \cong {{\mathcal {O}}}_{FX}(1)\) is given by the formula
It follows that \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}}_n)\) is underlying \({{\mathcal {K}}}\)-colocal for each \(n \ge 0\).
Since the augmented simplicial object \(U{\mathscr {A}}_\bullet \rightarrow U{\mathscr {A}}\) splits, Proposition 4.9 for \(\mathsf {Pairs}({{\mathcal {C}}})\) implies there is a canonical weak equivalence
Next we apply the derived functor of the left Quillen functor \(({{\mathcal {O}}}^\prime,{\mathscr {A}}^\prime) \mapsto {{\mathcal {O}}}^\prime_{{\mathscr {A}}^\prime}\) — see Lemma 4.10 — to \(({{\mathcal {O}}},{\mathscr {A}}_\bullet ) \rightarrow ({{\mathcal {O}}},{\mathscr {A}})\), giving the augmented simplicial object \({{\mathcal {O}}}_{{\mathscr {A}}_\bullet } \rightarrow {{\mathcal {O}}}_{\mathscr {A}}\) in \(\mathsf {Oper}({{\mathcal {C}}})\). Since derived left Quillen functors commute with homotopy colimits, there is a weak equivalence
Proposition 4.9 for \(\mathsf {Oper}({{\mathcal {C}}})\) implies the weak equivalence
Here, the homotopy colimit is computed in \({{\mathcal {C}}}\). It follows that \({{\mathcal {O}}}_{\mathscr {A}}(1) \cong \mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}})\) is underlying \({{\mathcal {K}}}\)-colocal, as claimed. \(\square \)
Corollary 4.13
Let \({{\mathcal {C}}}\), \({{\mathcal {O}}}\), \({\mathscr {A}}\), and \({{\mathcal {K}}}\) be as in Theorem 4.12and suppose that \(\mathrm {Mod}({\mathscr {A}})\) has a good \(\mathrm {Env}_{{{\mathcal {O}}}}({\mathscr {A}})\otimes ^{{\mathbf {L}}}{{\mathcal {K}}}\)-colocalization. If \({{\mathcal {M}}}^\prime\rightarrow {{\mathcal {M}}}\) is an \(\mathrm {Env}_{{{\mathcal {O}}}}({\mathscr {A}})\otimes ^{{\mathbf {L}}}{{\mathcal {K}}}\)-colocalization of \({{\mathcal {M}}}\in \mathrm {Mod}({\mathscr {A}})\), then \(U({{\mathcal {M}}}^\prime)\rightarrow U({{\mathcal {M}}})\) is a \({{\mathcal {K}}}\)-colocalization in \({{\mathcal {C}}}\).
Proof
Since \({{\mathcal {K}}}\) is tensor closed and \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}})\) is underlying \({{\mathcal {K}}}\)-colocal by Theorem 4.12, it follows that the \({\mathscr {A}}\)-module \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}})\otimes ^{{\mathbf {L}}}{{\mathcal {K}}}\) is underlying \({{\mathcal {K}}}\)-colocal. To conclude we proceed exactly as in the proof of Theorem 4.4, now with the monoid \(\mathrm {Env}_{{{\mathcal {O}}}}({\mathscr {A}})\). \(\square \)
Remark 4.14
One may ask for other hypothesis such that Theorem 4.12 still holds. With \({{\mathcal {C}}}\) and \({{\mathcal {K}}}\) as above, suppose \(\mathsf {Oper}({{\mathcal {C}}})\) and \(\mathsf {Pairs}({{\mathcal {C}}})\) have transferred model structures. Suppose \({{\mathcal {C}}}\) has a second simplicial model structure with the same weak equivalences and cofibrant unit. We wish to conclude that a cofibrant underlying \({{\mathcal {K}}}\)-colocal \(({{\mathcal {O}}},{\mathscr {A}})\) yields an underlying \({{\mathcal {K}}}\)-colocal enveloping algebra \(\mathrm {Env}_{{\mathcal {O}}}({\mathscr {A}})\).
As a replacement for Proposition 4.9 we sketch an alternate argument: Suppose every Reedy cofibrant object \(X_\bullet \in s\mathsf {Pairs}({{\mathcal {C}}})\) is cofibrant in \(s{{\mathcal {C}}}^{{\mathbb {N}}\cup \{a\}}\) for the Reedy model structure. Now \({\mathscr {P}}^s\) — viewed as a colored operad in \(s\mathsf {Sets}\) — has an underlying cofibrant collection. Let us assume the objectwise tensor functor \(s\mathsf {Sets}\times s{{\mathcal {C}}}\rightarrow s{{\mathcal {C}}}\) is a Quillen bifunctor. Then \(c {\mathsf {i}}\rightarrow X_\bullet \) is a cofibration in \(s\mathsf {Pairs}({{\mathcal {C}}})\), where \(c {\mathsf {i}}\) is the constant simplicial object on the initial object \({\mathsf {i}}\) of \(\mathsf {Pairs}({{\mathcal {C}}})\), see [19, Proposition 4.8]. Since \(\varDelta ^\mathrm {op}\) has cofibrant constants, it follows that \(X_\bullet \) is underlying Reedy cofibrant.
The same argument works for \(\mathsf {Oper}({{\mathcal {C}}})\). Alternatively, one can use that \(\mathsf {Oper}({{\mathcal {C}}})\) is a left semi model category over \({{\mathcal {C}}}^{\varSigma ,\bullet }\).
4.2 Localization of modules
As in the previous section, we first discuss localization of modules over monoids and then localization of modules over arbitrary operads.
Given a monoid \({\mathscr {A}}\), we say that the functor \({\mathscr {A}}\otimes ^{{\mathbf {L}}}-\) preserves \({{\mathcal {S}}}\)-equivalences if the tensor product of \({\mathscr {A}}\) with any \({{\mathcal {S}}}\)-equivalence is an underlying \({{\mathcal {S}}}\)-equivalence.
Theorem 4.15
Let \({\mathscr {A}}\) be a strongly admissible monoid in a symmetric monoidal model category \({{\mathcal {C}}}\). Let \({{\mathcal {S}}}\) be a set of homotopy classes of maps such that \({\mathscr {A}}\otimes ^{{\mathbf {L}}}-\) preserves \({{\mathcal {S}}}\)-local equivalences and \(\mathrm {Mod}({\mathscr {A}})\) has a good \({\mathscr {A}}\otimes ^{{\mathbf {L}}}{{\mathcal {S}}}\)-localization. If \({{\mathcal {M}}}\rightarrow {{\mathcal {M}}}^\prime\) is an \({\mathscr {A}}\otimes ^{{\mathbf {L}}}{{\mathcal {S}}}\)-localization of \({{\mathcal {M}}}\in \mathrm {Mod}({\mathscr {A}})\), then \(U({{\mathcal {M}}})\rightarrow U({{\mathcal {M}}}^\prime)\) is an \({{\mathcal {S}}}\)-localization in \({{\mathcal {C}}}\).
Proof
The proof is basically the same as for Theorem 3.14. We note the assumption of tensor-closedness on the \({{\mathcal {S}}}\)-local equivalences is not needed since the free \({\mathscr {A}}\)-module functor is defined by \(F(X)={\mathscr {A}}\otimes X\) for every X in \({{\mathcal {C}}}\), and therefore \({\mathscr {A}}_n=(FU)^{n+1}{\mathscr {A}}\rightarrow (FU)^{n+1}{\mathscr {B}}={\mathscr {B}}_n\) is an \(F({{\mathcal {S}}})\)-equivalence for every map of monoids \({\mathscr {A}}\rightarrow {\mathscr {B}}\). \(\square \)
Theorem 4.16
Let \({{\mathcal {C}}}\) be a cofibrantly generated simplicial symmetric monoidal model category such that all of its objects are small relative to the whole category. Let \({{\mathcal {S}}}\) be a set of homotopy classes of maps such that \({{\mathcal {S}}}\)-equivalences are tensor-closed. Suppose \({\mathscr {O}}\) and \({\mathscr {P}}\) are strongly admissible (e.g., if the unit in \({{\mathcal {C}}}\) is cofibrant and \(\mathsf {Oper}({{\mathcal {C}}})\) and \(\mathsf {Pairs}({{\mathcal {C}}})\) have transferred model structures). Let \(({{\mathcal {O}}},{\mathscr {A}})\in \mathsf {Pairs}({{\mathcal {C}}})\) be cofibrant. If \({\mathscr {A}}\otimes ^{{\mathbf {L}}}-\) preserves \({{\mathcal {S}}}\)-equivalences, then so does \(\mathrm {Env}_{{{\mathcal {O}}}}({\mathscr {A}})\otimes ^{{\mathbf {L}}}-\).
Proof
Let \(F :{{\mathcal {C}}}\rightleftarrows \mathsf {Alg}({{\mathcal {O}}}) \; :\! U\) be the free-forgetful adjunction. Let \({\mathscr {A}}_\bullet \rightarrow {\mathscr {A}}\) be the standard augmented simplicial object with \({\mathscr {A}}_n=(FU)^{n+1} {\mathscr {A}}\). Suppose that for every \({{\mathcal {S}}}\)-local equivalence g the map \({\mathscr {A}}\otimes ^{{\mathbf {L}}}g\) is an \({{\mathcal {S}}}\)-local equivalence. Then, \(\mathrm {Env}_{{{\mathcal {O}}}}({\mathscr {A}}_n)\otimes ^{{\mathbf {L}}}g\) is also an \({{\mathcal {S}}}\)-local equivalence for every \(n\ge 0\). Now, using the same argument as in the proof of Theorem 4.12 with the operad \({{\mathcal {O}}}_{{\mathscr {A}}}\), it follows that \(\mathrm {Env}_{{{\mathcal {O}}}}\otimes g\) is an \({{\mathcal {S}}}\)-equivalence. \(\square \)
Corollary 4.17
Let \({{\mathcal {C}}}\), \({{\mathcal {O}}}\), \({\mathscr {A}}\) and \({{\mathcal {S}}}\) be as in Theorem 4.16and suppose that \(\mathrm {Mod}({\mathscr {A}})\) has a good \(\mathrm {Env}_{{{\mathcal {O}}}}({\mathscr {A}})\otimes ^{{\mathbf {L}}}{{\mathcal {S}}}\)-localization. If \({{\mathcal {M}}}\rightarrow {{\mathcal {M}}}^\prime\) is an \(\mathrm {Env}_{{{\mathcal {O}}}}({\mathscr {A}})\otimes ^{{\mathbf {L}}}{{\mathcal {S}}}\)-localization for \({{\mathcal {M}}}\in \mathrm {Mod}({\mathscr {A}})\), then \(U({{\mathcal {M}}})\rightarrow U({{\mathcal {M}}}^\prime)\) is an \({{\mathcal {S}}}\)-localization in \({{\mathcal {C}}}\).
Proof
Theorem 4.16 shows \(\mathrm {Env}_{{{\mathcal {O}}}}({\mathscr {A}})\otimes ^{{\mathbf {L}}}-\) preserves \({{\mathcal {S}}}\)-local equivalences. The result follows by applying Theorem 4.15 to the monoid \(\mathrm {Env}_{{{\mathcal {O}}}}({\mathscr {A}})\). \(\square \)
References
Barwick, C.: On left and right model categories and left and right Bousfield localizations. Homol. Homotopy Appl. 12(2), 245–320 (2010)
Batanin, M., White, D.: Left Bousfield localization and Eilenberg-Moore categories. To appear in Homology Homotopy Appl., arXiv:1606.01537
Berger, C., Moerdijk, I.: Axiomatic homotopy theory for operads. Comment. Math. Helv. 78(4), 805–831 (2003). https://doi.org/10.1007/s00014-003-0772-y
Berger, C., Moerdijk, I.: Resolution of coloured operads and rectification of homotopy algebras. In: Categories in algebra, geometry and mathematical physics, Contemp. Math., vol. 431, pp. 31–58. Amer. Math. Soc., Providence, RI (2007)
Berger, C., Moerdijk, I.: On the derived category of an algebra over an operad. Georgian Math. J. 16(1), 13–28 (2009)
Casacuberta, C., Raventós, O., Tonks, A.: Comparing localizations across adjunctions. arXiv:1404.7340
Elmendorf, A.D., Mandell, M.A.: Rings, modules, and algebras in infinite loop space theory. Adv. Math. 205(1), 163–228 (2006). https://doi.org/10.1016/j.aim.2005.07.007
Fresse, B.: Modules over operads and functors. Lecture Notes in Mathematics, vol. 1967. Springer, Berlin (2009)
Gutiérrez, J.J.: Transfer of algebras over operads along Quillen adjunctions. J. Lond. Math. Soc. (2) 86(2), 607–625 (2012)
Gutiérrez, J.J., Röndigs, O., Spitzweck, M., Østvær, P.A.: Motivic slices and coloured operads. J. Topol. 5(3), 727–755 (2012). https://doi.org/10.1112/jtopol/jts015
Gutiérrez, J.J., Vogt, R.M.: A model structure for coloured operads in symmetric spectra. Math. Z. 270(1–2), 223–239 (2012)
Hirschhorn, P.S.: Model categories and their localizations, Mathematical Surveys and Monographs, vol. 99. American Mathematical Society, Providence, RI (2003)
Hornbostel, J.: Preorientations of the derived motivic multiplicative group. Algebr. Geom. Topol. 13(5), 2667–2712 (2013)
Mac Lane, S.: Categories for the working mathematician, Graduate Texts in Mathematics, vol. 5, 2nd edn. Springer, New York (1998)
Muro, F.: On the unit of a monoidal model category. Topology Appl. 191, 37–47 (2015). https://doi.org/10.1016/j.topol.2015.05.006
Ormsby, K.M., Østvær, P.A.: Stable motivic \(\pi _1\) of low-dimensional fields. Adv. Math. 265, 97–131 (2014). https://doi.org/10.1016/j.aim.2014.07.024
Röndigs, O., Spitzweck, M., Østvær, P.A.: The first stable homotopy groups of motivic spheres. Ann. of Math. (2) 189(1), 1–74 (2019). https://doi.org/10.4007/annals.2019.189.1.1
Shipley, B.: A convenient model category for commutative ring spectra. In: Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic \(K\)-theory, Contemp. Math..346: 473–483. Amer. Math. Soc., Providence, RI (2004). https://doi.org/10.1090/conm/346/06300
Spitzweck, M.: Operads, algebras and modules in model categories and motives. Ph.D. thesis, http://hss.ulb.uni-bonn.de/2001/0241/0241.pdf
White, D., Yau, D.: Right Bousfield localization and operadic algebras. arXiv:1512.07570
White, D., Yau, D.: Bousfield localization and algebras over colored operads. Appl. Categ. Struct. 26(1), 153–203 (2018)
White, D., Yau, D.: Right Bousfield localization and Eilenberg-Moore categories. Tbilisi Math. J. 13(4), 71–118 (2020). https://doi.org/10.1515/tmj-2017-0019
Acknowledgements
The authors gratefully acknowledge support by the RCN grant no. 239015 “Special Geometries”, RCN Frontier Research Group Project no. 250399 “Motivic Hopf Equations”, and the DFG Priority Program 1786 “Homotopy theory and algebraic geometry”. Gutiérrez is supported by the Spanish Ministry of Economy under the grants MTM2016-76453-C2-2-P (AEI/FEDER, UE) and RYC-2014-15328 (Ramón y Cajal Program). Østvær is supported by a Friedrich Wilhelm Bessel Research Award from the Humboldt Foundation and a Nelder Visiting Fellowship from Imperial College London.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Communicated by Birgit Richter.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
A Preliminaries on model categories
If \({{\mathcal {C}}}\) is a cofibrantly generated model category with set of generating cofibrations I and set of generating trivial cofibrations J, we implicitly assume the (co)domains of the elements of I are small relative to the I-cellular maps and that the (co)domains of the elements of J are small relative to the J-cellular maps. This condition is satisfied if \({{\mathcal {C}}}\) is a combinatorial model category; that is, \({{\mathcal {C}}}\) is cofibrantly generated and locally presentable, since in this case every object is \(\lambda \)-small for some cardinal \(\lambda \). Let \(s\mathsf {Sets}\) denote the category of simplicial sets.
1.1 A.1 The Reedy model structure on simplicial objects
Let \({{\mathcal {C}}}\) be a model category. The category of simplicial objects in \({{\mathcal {C}}}\) is the category \(s{{\mathcal {C}}}\) of \(\varDelta ^{\mathrm {op}}\)-diagrams in \({{\mathcal {C}}}\), where \(\varDelta \) denotes the simplicial category. In its Reedy model structure [12, 15.3] the weak equivalences are the levelwise weak equivalences, while the cofibrations and fibrations are defined by means of latching and matching objects, respectively.
Let \({{\mathcal {C}}}\) be a simplicial model category. The realization \(|X_{\bullet }|_{{\mathcal {C}}}\) of a simplicial object \(X_{\bullet }:\varDelta ^{\mathrm {op}}\rightarrow {{\mathcal {C}}}\) is the coequalizer of the diagram
induced by \(X_n\rightarrow X_m\) and \(\varDelta [m]\rightarrow \varDelta [n]\), respectively, for each map \([m]\rightarrow [n]\) in \(\varDelta \). Using coend notation, as in [12, 18.3.2] and [14, IX.6], this can be recast as
If the category is clear from the context we write \(|X_\bullet |\) instead of \(|X_\bullet |_{{\mathcal {C}}}\).
Lemma A.1
Let \({{\mathcal {C}}}\) be a simplicial model category and \(X_\bullet \) a Reedy cofibrant simplicial object in \({{\mathcal {C}}}\). Then the Bousfield–Kan map
is a weak equivalence.
Proof
See [12, Theorem 18.7.4]. \(\square \)
The category \(s^2{{\mathcal {C}}}\) of bisimplicial objects in \({{\mathcal {C}}}\) is the category of simplicial objects in \(s{{\mathcal {C}}}\). There is an obvious diagonal functor \(\mathrm{diag}:s^2{{\mathcal {C}}}\rightarrow s{{\mathcal {C}}}\) defined by \(\mathrm{diag}(X_{\bullet ,\bullet })_n= X_{n, n}\).
Lemma A.2
Let \(X_{\bullet , \bullet }\) be a bisimplicial object in a simplicial model category \({{\mathcal {C}}}\). Then there is a natural isomorphism
Proof
The left Kan extension of the Yoneda functor \(\varDelta \rightarrow s\mathsf {Sets}\) along the diagonal \(\varDelta \rightarrow \varDelta \times \varDelta \) is the functor \(\varDelta \times \varDelta \rightarrow s\mathsf {Sets}\) that sends ([n], [m]) to \(\varDelta [n]\times \varDelta [m]\). Hence the coends \(\varDelta \otimes _{\varDelta ^{\mathrm {op}}} \mathrm{diag}(X_{\bullet ,\bullet })\) and \((\varDelta \times \varDelta )_{\varDelta ^{\mathrm {op}}\times \varDelta ^{\mathrm {op}}}X_{\bullet ,\bullet }\) are isomorphic. \(\square \)
If \({{\mathcal {C}}}\) has a symmetric monoidal structure, there is a symmetric monoidal tensor product in \(s{{\mathcal {C}}}\) defined by the objectwise tensor product, i.e., \((X_{\bullet }\otimes Y_{\bullet })_n=X_n\otimes Y_n\).
Lemma A.3
Let \({{\mathcal {C}}}\) be a symmetric monoidal model category.
-
(i)
Then \(s{{\mathcal {C}}}\) is a symmetric monoidal model category for the Reedy model structure.
-
(ii)
If \({{\mathcal {C}}}\) is simplicial the realization functor is symmetric monoidal.
Proof
The first part is an application of [1, Theorem 3.51 and Example 3.52]. For the second part, observe that
where the last isomorphism follows by applying Lemma A.2 to the bisimplicial object \((X\otimes Y)_{n,m}=X_n\otimes Y_m\). \(\square \)
Lemma A.4
Let \({{\mathcal {C}}}\) be a cofibrantly generated model category. Then the Reedy model structure on \(s{{\mathcal {C}}}\) is cofibrantly generated.
Proof
Here we make use of smallness of the (co)domains of the sets of generating (trivial) cofibrations, see [12, Theorem 15.6.27]. \(\square \)
1.2 A.2 Bousfield (co)localizations
Let \({{\mathcal {C}}}\) be a simplicial model category, \({\mathcal {S}}\) a set of homotopy classes of maps in \({{\mathcal {C}}}\), and \({\mathcal {K}}\) a set of isomorphism classes of objects of \(\mathbf {Ho}({{\mathcal {C}}})\). The homotopy type of the derived simplicial mapping space \(\mathrm {map}(X,Y)\) can be computed using \(\mathrm {Map}(QX, RY)\), where \(\mathrm {Map}(-,-)\) is the simplicial enrichment. Here, Q and R denote cofibrant and fibrant replacement functors in \({{\mathcal {C}}}\), respectively.
An object Z in \(\mathbf {Ho}({{\mathcal {C}}})\) is \({{\mathcal {S}}}\)-local if for every representative \(f:A\rightarrow B\) of an element of \({{\mathcal {S}}}\), the induced map
is an isomorphism in \(\mathbf {Ho}(s\mathsf {Sets})\). An object Z in \({{\mathcal {C}}}\) is \({{\mathcal {S}}}\)-local if its image in \(\mathbf {Ho}({{\mathcal {C}}})\) is so. The class of \({{\mathcal {S}}}\)-local objects is closed under homotopy limits. A map \(g:X\rightarrow Y\) in \(\mathbf {Ho}({{\mathcal {C}}})\) is an \({{\mathcal {S}}}\)-local equivalence or simply an \({{\mathcal {S}}}\)-equivalence if for every \({{\mathcal {S}}}\)-local Z, the induced map
is an isomorphism in \(\mathbf {Ho}(s\mathsf {Sets})\). A map \(X\rightarrow Y\) in \({{\mathcal {C}}}\) is an \({{\mathcal {S}}}\)-local equivalence if its image in \(\mathbf {Ho}({{\mathcal {C}}})\) is so.
A map \(f:X\rightarrow Y\) in \(\mathbf {Ho}({{\mathcal {C}}})\) is a \({{\mathcal {K}}}\)-colocal equivalence if for any representative K of an element of \({\mathcal {K}}\), the induced map
is an isomorphism in \(\mathbf {Ho}(s\mathsf {Sets})\). Likewise, a map in \({{\mathcal {C}}}\) is a \({{\mathcal {K}}}\)-colocal equivalence if its image in \(\mathbf {Ho}({{\mathcal {C}}})\) is so. An object W in \(\mathbf {Ho}({{\mathcal {C}}})\) is called \({{\mathcal {K}}}\)-colocal if for every \({{\mathcal {K}}}\)-colocal equivalence \(g:X\rightarrow Y\), there is an induced isomorphism
in \(\mathbf {Ho}(s\mathsf {Sets})\). An object W in \({{\mathcal {C}}}\) is \({{\mathcal {K}}}\)-colocal if its image in \(\mathbf {Ho}({{\mathcal {C}}})\) is so. The class of \({{\mathcal {K}}}\)-colocal objects is closed under homotopy colimits.
If X is an object of \({{\mathcal {C}}}\), an \({{\mathcal {S}}}\)-localization is an \({{\mathcal {S}}}\)-local equivalence \(X\rightarrow X'\) for \(X'\) \({{\mathcal {S}}}\)-local. Dually, a \({{\mathcal {K}}}\)-colocalization is a \({{\mathcal {K}}}\)-colocal equivalence \(X'\rightarrow X\) for \(X'\) \({{\mathcal {K}}}\)-colocal.
If \({{\mathcal {C}}}\) is a simplicial symmetric monoidal model category we call \({{\mathcal {S}}}\) tensor-closed if the class of \({{\mathcal {S}}}\)-local equivalences is closed under the derived tensor product. Likewise, \({{\mathcal {K}}}\) is tensor-closed if the class of \({{\mathcal {K}}}\)-colocal objects is closed under the derived tensor product.
Definition A.5
Let \({{\mathcal {S}}}\) be a set of maps and \({{\mathcal {K}}}\) be a set of objects in a simplicial model category \({{\mathcal {C}}}\).
-
(i)
\({{\mathcal {C}}}\) has a good \({{\mathcal {S}}}\)-localization if the left Bousfield localization with respect to \({{\mathcal {S}}}\) exists; that is, if the classes of cofibrations in \({{\mathcal {C}}}\) and \({{\mathcal {S}}}\)-local equivalences define a model structure on \({{\mathcal {C}}}\). This is the \({{\mathcal {S}}}\)-local model structure denoted by \({{\mathcal {C}}}_{{{\mathcal {S}}}}\).
-
(ii)
\({{\mathcal {C}}}\) has a good \({{\mathcal {K}}}\)-colocalization if the right Bousfield localization with respect to \({{\mathcal {K}}}\) exists; that is, if the classes of fibrations in \({{\mathcal {C}}}\) and \({{\mathcal {K}}}\)-colocal equivalences define a model structure on \({{\mathcal {C}}}\), and the \({{\mathcal {K}}}\)-colocal objects are generated under homotopy colimits by the objects of \({{\mathcal {K}}}\). This is the \({{\mathcal {K}}}\)-colocal model structure denoted by \({{\mathcal {C}}}^{{{\mathcal {K}}}}\).
The \({{\mathcal {S}}}\)-local fibrations are the maps in \({{\mathcal {C}}}\) with the right lifting property with respect of all maps of \({{\mathcal {C}}}\) that are cofibrations and \({{\mathcal {S}}}\)-local equivalences, Similarly, the \({{\mathcal {K}}}\)-colocal cofibrations are the maps in \({{\mathcal {C}}}\) with the left lifting property with respect to all maps of \({{\mathcal {C}}}\) that are fibrations and \({{\mathcal {K}}}\)-colocal equivalences.
If \({{\mathcal {C}}}\) has a good \({{\mathcal {C}}}_{{{\mathcal {S}}}}\)-localization, then an \({{\mathcal {S}}}\)-localization of X is just a fibrant replacement of X in the localized model structure \({{\mathcal {C}}}_{{{\mathcal {S}}}}\) (also called an \({{\mathcal {S}}}\)-local replacement). Similarly, if \({{\mathcal {C}}}\) has a good \({{\mathcal {K}}}\)-colocalization, then a \({{\mathcal {K}}}\)-colocalization is a cofibrant replacement in the colocalized model structure \({{\mathcal {C}}}^{{{\mathcal {K}}}}\).
Theorem A.6
Let \({{\mathcal {C}}}\) be a cellular or combinatorial simplicial model category.
-
(i)
If \({{\mathcal {C}}}\) is left proper, then \({{\mathcal {C}}}\) has a good \({{\mathcal {S}}}\)-localization for every set of maps \({{\mathcal {S}}}\).
-
(ii)
If \({{\mathcal {C}}}\) is right proper, then \({{\mathcal {C}}}\) has a good \({\mathcal {K}}\)-colocalization for every set of objects \({{\mathcal {K}}}\). Moreover, the \({{\mathcal {K}}}\)-colocal objects is the smallest class of objects of \({{\mathcal {C}}}\) that contains \({{\mathcal {K}}}\) and is closed under homotopy colimits and weak equivalences.
Proof
For \({{\mathcal {C}}}\) cellular see [12, Theorem 4.1.1] and [12, Theorem 5.1.1, Theorem 5.1.5]. If \({{\mathcal {C}}}\) is combinatorial the result follows from [1, Theorem 4.7] and [1, §5]. \(\square \)
If \(F:{{\mathcal {C}}}\rightarrow {{\mathcal {D}}}\) is a left Quillen functor, denote by \({\mathbf {L}}F:\mathbf {Ho}({{\mathcal {C}}})\rightarrow \mathbf {Ho}({{\mathcal {D}}})\) its left derived functor. If \(U:{{\mathcal {D}}}\rightarrow {{\mathcal {C}}}\) is a right Quillen functor, denote by \({\mathbf {R}}U\) its right derived functor.
Lemma A.7
Let \(F:{{\mathcal {C}}}\rightleftarrows {{\mathcal {D}}}:U\) be a simplicial Quillen adjunction, \({{\mathcal {S}}}\) a set of homotopy classes of maps in \({{\mathcal {C}}}\), and \({{\mathcal {K}}}\) a set of isomorphism classes of objects of \(\mathbf {Ho}({{\mathcal {C}}})\).
-
(i)
An object Z in \({{\mathcal {D}}}\) is \({\mathbf {L}}F({{\mathcal {S}}})\)-local if and only if \({\mathbf {R}}U(Z)\) is \({{\mathcal {S}}}\)-local in \({{\mathcal {C}}}\). Moreover, if g is an \({{\mathcal {S}}}\)-local equivalence in \({{\mathcal {C}}}\), then \({\mathbf {L}}F(g)\) is an \({\mathbf {L}}F({{\mathcal {S}}})\)-local equivalence in \({{\mathcal {D}}}\).
-
(ii)
A map f is an \({\mathbf {L}}F({{\mathcal {K}}})\)-colocal equivalence in \({{\mathcal {D}}}\) if and only if \({\mathbf {R}}U(f)\) is a \({{\mathcal {K}}}\)-colocal equivalence in \({{\mathcal {C}}}\). Moreover, if W is \({{\mathcal {K}}}\)-colocal in \({{\mathcal {C}}}\), then \({\mathbf {L}}F(W)\) is \({\mathbf {L}}F({{\mathcal {K}}})\)-colocal in \({{\mathcal {D}}}\).
Proof
Both statements follow by using derived adjunctions. \(\square \)
B Colored operads
In this appendix we recall the definitions and basic properties of colored operads and their algebras that are used in the paper. Throughout, \({\mathcal {V}}\) denotes a cocomplete closed symmetric monoidal category with tensor product \(\otimes \), initial object 0, unit I, and internal hom \(\mathrm {Hom}_{{\mathcal {V}}}(-,-)\). The elements in the set C are referred to as colors.
Definition B.1
A C-colored collection \({\mathcal {K}}\) in \({\mathcal {V}}\) consists of a set of objects \({\mathcal {K}}(c_1,\ldots , c_n;c)\) in \({\mathcal {V}}\) for each \((n+1)\)-tuple of colors \((c_1,\ldots , c_n,c)\) equipped with a right action of the symmetric group \(\varSigma _n\) given by maps
where \(\alpha \in \varSigma _n\) (by default, \(\varSigma _n\) is the trivial group if \(n=0\) or \(n=1\)).
A map of C-colored collections \(\varphi :{\mathcal {K}}\longrightarrow {\mathcal {L}}\) consists of maps in \({\mathcal {V}}\)
for \((n+1)\)-tuples \((c_1,\ldots , c_n,c)\), \(n\ge 0\), that is compatible with the action of \(\varSigma _n\). We denote by \(\mathsf {Coll}_C({\mathcal {V}})\) the category of C-colored collections in \({\mathcal {V}}\).
Definition B.2
A C-colored operad \({\mathcal {O}}\) in \({\mathcal {V}}\) is a C-colored collection equipped with unit maps \(I\longrightarrow {\mathcal {O}}(c;c)\) for every \(c\in C\) and, for every \((n+1)\)-tuple of colors \((c_1,\ldots , c_n,c)\) and n given tuples
a composition product map
that is compatible with the symmetric groups actions and subject to the associativity and unitary isomorphisms, see [7, §2].
A map of C-colored operads is a map of the underlying C-colored collections that is compatible with the unit and composition product maps.
Denote by \({\mathcal {V}}^C\) the product category of copies of \({\mathcal {V}}\) indexed by the set of colors C; that is, \({\mathcal {V}}^C=\prod _{c\in C}{\mathcal {V}}\). For every object \({\mathbf {X}}=(X(c))_{c\in C}\) in \({\mathcal {V}}^C\), the endomorphism colored operad \(\mathrm {End}({{\mathbf {X}}})\) of \({\mathbf {X}}\) is the C-colored operad defined by
Here, \(X(c_1)\otimes \cdots \otimes X(c_n)\) is the unit I when \(n=0\). The composition product is ordinary composition and the \(\varSigma _n\)-action is defined by permutation of the factors.
Definition B.3
Let \({\mathcal {O}}\) be any C-colored operad in \({\mathcal {V}}\). An \({\mathcal {O}}\)-algebra (or an algebra over \({\mathcal {O}}\)) \({\mathscr {A}}\) is an object \({\mathbf {X}}=(X(c))_{c\in C}\) of \({\mathcal {V}}^C\) together with a map \( {\mathcal {O}}\longrightarrow \mathrm {End}({\mathbf {X}}) \) of C-colored operads.
Equivalently, since the monoidal category \({\mathcal {V}}\) is closed, an \({\mathcal {O}}\)-algebra is a family of objects X(c) in \({\mathcal {V}}\) for every \(c\in C\) together with maps
for every \((n+1)\)-tuple \((c_1,\ldots ,c_n, c)\), that are compatible with the symmetric group action, the unit maps of \({\mathcal {O}}\), and subject to the usual associativity isomorphisms.
A map of \({\mathcal {O}}\)-algebras \({\mathbf {f}}:{\mathscr {A}}\longrightarrow {\mathscr {B}}\) is comprised of maps \((f_c:X(c)\longrightarrow Y(c))_{c\in C}\) of underlying collections inducing a commutative diagram of C-colored collections
The top and left arrows are the given \({\mathcal {O}}\)-algebra structures on \({\mathbf {X}}\) and \({\mathbf {Y}}\), respectively. The C-colored collection \(\mathrm {Hom}({\mathbf {X}},{\mathbf {Y}})\) is defined as
and the right and bottom arrows are induced by the maps \(f_c\). If \({\mathcal {V}}\) has pullbacks, then a map \({\mathbf {f}}\) of \({\mathcal {O}}\)-algebras can be viewed as a map of C-colored operads
where \(\mathrm {End}({\mathbf {f}})\) is the pullback of the diagram of C-colored collections
Note that \(\mathrm {End}({\mathbf {f}})\) inherits a C-colored operad structure from the C-colored operads \(\mathrm {End}({\mathbf {X}})\) and \(\mathrm {End}({\mathbf {Y}})\). We denote the category of \({\mathcal {O}}\)-algebras by \(\mathsf {Alg}_{{\mathcal {O}}}({\mathcal {V}})\).
Definition B.4
Given a C-colored operad \({\mathcal {O}}\) and an object \({\mathbf {X}}=(X(c))_{c\in C}\) in \({\mathcal {V}}^C\), the restricted endomorphism operad \(\mathrm {End}_{{\mathcal {O}}}({\mathbf {X}})\) is defined by
There is a canonical inclusion of C-colored operads \(\mathrm {End}_{{\mathcal {O}}} ({\mathbf {X}})\longrightarrow \mathrm {End}({\mathbf {X}})\), and thus every map \({\mathcal {O}}\longrightarrow \mathrm {End}({\mathbf {X}})\) of C-colored operad factors uniquely through the restricted endomorphism operad \(\mathrm {End}_{{\mathcal {O}}}({\mathbf {X}})\). Hence an \({\mathcal {O}}\)-algebra structure on \({\mathbf {X}}\) is given by a map of C-colored operads \({\mathcal {O}}\longrightarrow \mathrm {End}_{{\mathcal {O}}}({\mathbf {X}})\).
If \(\alpha :C\longrightarrow D\) is a function between sets of colors, any D-colored operad \({\mathcal {O}}\) pulls back to a C-colored operad \(\alpha ^*{\mathcal {O}}\) and there is an adjoint functor pair (see [4, §1.6])
The restriction functor \(\alpha ^*\) is defined by \( (\alpha ^* {\mathcal {O}})(c_1,\ldots ,c_n;c) :={\mathcal {O}}(\alpha (c_1),\ldots , \alpha (c_n); \alpha (c))\). A function \(\alpha :C\longrightarrow D\) also defines an adjoint pair between the corresponding categories of algebras for every D-colored operad \({\mathcal {O}}\) in \({\mathcal {V}}\), i.e.,
If \({\mathscr {A}}\) is an \({\mathcal {O}}\)-algebra with structure map \(\gamma :{\mathcal {O}}\longrightarrow \mathrm {End}(\mathbf{X})\), then \((\alpha ^*\mathbf{X})(c):=X(\alpha (c))\) for all \(c\in C\), with structure map defined by (6), i.e.,
When \(C=\{c\}\), a C-colored operad \({\mathcal {O}}\) is an operad, where \({\mathcal {O}}(n)\) is short for \({\mathcal {O}}(c,\ldots ,c;c)\) with \(n\ge 0\) inputs. The associative operad \({\mathcal {A}} ss \) is the one-color operad with \({\mathcal {A}} ss (n)=I[\varSigma _n]\) for \(n\ge 0\). Here, \(I[\varSigma _n]\) is the coproduct of copies of the unit I indexed by \(\varSigma _n\), on which \(\varSigma _n\) acts freely by permutations. The commutative operad \({\mathcal {C}} om \) is the one-color operad with \({\mathcal {C}} om (n)=I\) for \(n\ge 0\). Algebras over \({\mathcal {A}} ss \) are the associative monoids in \({\mathcal {V}}\), while algebras over \({\mathcal {C}} om \) are the commutative monoids in \({\mathcal {V}}\).
For \({\mathcal {O}}\) a one-colored operad in \({\mathcal {V}}\), let \({\mathcal {M}} od _{{\mathcal {O}}}\) be the C-colored operad with colors \(C=\{r,m\}\) and nonzero terms \({\mathcal {M}} od _{{\mathcal {O}}}(r,{\mathop {\ldots }\limits ^{(n)}}, r;r):={\mathcal {O}}(n)\), \(n\ge 0\), and \({\mathcal {M}} od _{{\mathcal {O}}}(c_1,\ldots , c_n;m):={\mathcal {O}}(n)\), \(n\ge 1\), where exactly one \(c_i\) is m and the rest (if any) are equal to r. An algebra over \({\mathcal {M}} od _{{\mathcal {O}}}\) is a pair \(({\mathscr {R}}, {\mathscr {M}})\) of objects of \({\mathcal {V}}\), where \({\mathscr {R}}\) is an \({\mathcal {O}}\)-algebra and \({\mathscr {M}}\) is a module over \({\mathscr {R}}\). That is, an object equipped with maps
for \(n\ge 1\) and \(1\le k\le n\), that are equivariant and compatible with associativity isomorphisms and the unit of \({\mathcal {O}}\).
When \({\mathcal {O}}={\mathcal {A}} ss \), an algebra over \({\mathcal {M}} od _{{\mathcal {O}}}\) is a pair \(({\mathscr {R}},{\mathscr {M}})\) where \({\mathscr {R}}\) is a monoid in \({\mathcal {V}}\) and \({\mathscr {M}}\) is an \({\mathscr {R}}\)-bimodule, i.e., an object equipped with commuting left and right \({\mathscr {R}}\)-actions. When \({\mathcal {O}}={\mathcal {C}} om \), then \({\mathscr {R}}\) is a commutative monoid in \({\mathcal {V}}\) and \({\mathscr {M}}\) is a module over it (indistinctly left or right).
Let \(\alpha \) denote the inclusion of \(\{r\}\) into \(\{r,m\}\). Then \(\alpha ^*{\mathcal {M}} od _{{\mathcal {O}}} = {\mathcal {O}}\) for every operad \({\mathcal {O}}\), and \(\alpha ^*({\mathscr {R}},{\mathscr {M}})={\mathscr {R}}\) for the corresponding algebras.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gutiérrez, J.J., Röndigs, O., Spitzweck, M. et al. On functorial (co)localization of algebras and modules over operads. Abh. Math. Semin. Univ. Hambg. 91, 153–178 (2021). https://doi.org/10.1007/s12188-021-00240-4
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12188-021-00240-4