Using Dugger's construction of universal model categories, we produce replacements for simplicial and combinatorial symmetric monoidal model categories with better operadic properties. Namely, these replacements admit a model structure on algebras over any given colored operad.
As an application, we show that in the stable case, such symmetric monoidal model categories are classified by commutative ring spectra when the monoidal unit is a compact generator. In other words, they are strong monoidally Quillen equivalent to modules over a uniquely determined commutative ring spectrum.
We show that if $(M,\tensor,I)$ is a monoidal model category then $\REnd_M(I)$ is a (weak) 2-monoid in $\sSet$. This applies in particular when $M$ is the category of $A$-bimodules over a simplicial monoid $A$: the derived endomorphisms of $A$ then form its Hochschild cohomology, which therefore becomes a simplicial 2-monoid.
We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need to carefully examine the monoidal properties of the well-known (reduced) simplicial bar construction $B_\bullet(1,A,1)$. We define a geometric realization $|-|$ with respect to the image under $F$ of the canonical cosimplicial simplicial set. This guarantees good monoidal properties of $|-|$: it is monoidal, and given a left adjoint monoidal functor $G:\math…
We prove the theorem stated in the title. More precisely, we show the stronger statement that every symmetric monoidal left adjoint functor between presentably symmetric monoidal infinity-categories is represented by a strong symmetric monoidal left Quillen functor between simplicial, combinatorial and left proper symmetric monoidal model categories.
We extend the W-construction of Boardman and Vogt to operads of an arbitrary monoidal model category with suitable interval, and show that it provides a cofibrant resolution for well-pointed sigma-cofibrant operads. The standard simplicial resolution of Godement as well as the cobar-bar chain resolution are shown to be particular instances of this generalised W-construction.
We extend the notion of simplicial set with effective homology to diagrams of simplicial sets. Further, for a given finite diagram of simplicial sets $X \colon \mathcal{I} \to \mathsf{sSet}$ such that each simplicial set $X(i)$ has effective homology, we present an algorithm computing the homotopy colimit $\mathsf{hocolim} X$ as a simplicial set with effective homology. We also give an algorithm computing the cofibrant replacement $X^\mathsf{cof}$ of $X$ as a diagram with effective homology. This is applied to computing of equivariant cohomology operations.
We establish a functor $Kan$ from local Kan simplicial manifolds to weak Kan simplicial manifolds. It gives a solution to the problem of extending local Lie groupoids to Lie 2-groupoids.
We develop a notion of iterated monoidal category and show that this notion corresponds in a precise way to the notion of iterated loop space. Specifically the group completion of the nerve of such a category is an iterated loop space and free iterated monoidal categories give rise to finite simplicial operads of the same homotopy type as the classical little cubes operads used to parametrize the higher H-space structure of iterated loop spaces. Iterated monoidal categories encompass, as a special case, the notion of braided tensor categories, as used in the theory of quantum groups.
Let V be a cofibrantly generated monoidal model category and let M be a monoidal V-model category. Given a cofibrant C-coloured operad P in V, we give sufficient conditions for the fibrant replacement and cofibrant replacement functors in M^C to preserve P-algebra structures. In particular, we show how P-algebra structures can be transferred along derived Quillen adjunctions of monoidal V-model categories, and we apply this result to the Quillen adjunctions defined by enriched Bousfield localizations and colocalizations on M. As an application, we prove that in the category of symmetric spectr…
Badzioch and Bergner proved a rigidification theorem saying that each homotopy simplicial algebra is weakly equivalent to a simplicial algebra. The question is whether this result can be extended from algebraic theories to finite limit theories and from simplicial sets to more general monoidal model categories. We will present some answers to this question.
We establish a Quillen equivalence relating the homotopy theory of Segal operads and the homotopy theory of simplicial operads, from which we deduce that the homotopy coherent nerve functor is a right Quillen equivalence from the model category of simplicial operads to the model category structure for infinity-operads on the category of dendroidal sets. By slicing over the monoidal unit, this also gives the Quillen equivalence between Segal categories and simplicial categories proved by J. Bergner, as well as the Quillen equivalence between quasi-categories and simplicial categories proved by …
Over suitable monoidal model categories, we construct a Dwyer-Kan model category structure on the category of algebras over an augmented operadic collection. As examples we obtain Dwyer-Kan model category structure on the categories of enriched wheeled props, wheeled properads, and wheeled operads, among others. This result extends known model category structure on the categories of operads, properads, and props enriched in simplicial sets and other monoidal model categories. We also show that our Dwyer-Kan model category structure is well behaved with respect to simultaneous changes of the un…
We interpret divided power structures on the homotopy groups of simplicial commutative rings as having a counterpart in divided power structures on chain complexes coming from a non-standard symmetric monoidal structure.
The purpose of this paper is to show that various convolution products are fully homotopical, meaning that they preserve weak equivalences in both variables without any cofibrancy hypothesis. We establish this property for diagrams of simplicial sets indexed by the category of finite sets and injections and for tame $M$-simplicial sets, with $M$ the monoid of injective self-maps of the positive natural numbers. We also show that a certain convolution product studied by Nikolaus and the first author is fully homotopical. This implies that every presentably symmetric monoidal $\infty$-category c…
We show that the monoidal product on the stable homotopy category of spectra is essentially unique. This strengthens work of this author with Schwede on the uniqueness of models of the stable homotopy theory of spectra. As an application we show that with an added assumption about underlying model structures Margolis' axioms uniquely determine the stable homotopy category of spectra up to monoidal equivalence. Also, the equivalences constructed here give a unified construction of the known equivalences of the various symmetric monoidal categories of spectra (S-modules, \W-spaces, orthogonal sp…
In this note we consider partial model categories, by which we mean relative categories that satisfy a weakened version of the model category axioms involving only the weak equivalences. More precisely, a partial model category will be a relative category that has the two out of six property and admits a 3-arrow calculus. We then show that Charles Rezk's result that the simplicial space obtained from a simplicial model category by taking a Reedy fibrant replacement of its simplicial nerve is a complete Segal space also holds for these partial model categories. We also note that conversely ever…
We prove that for any $\ell \geq 0$, there exists an algorithm which takes as input a description of a semi-algebraic subset $S \subset \mathbb{R}^k$ given by a quantifier-free first order formula $ϕ$ in the language of the reals, and produces as output a simplicial complex $Δ$, whose geometric realization, $|Δ|$ is $\ell$-equivalent to $S$. The complexity of our algorithm is bounded by $(sd)^{k^{O(\ell)}}$, where $s$ is the number of polynomials appearing in the formula $ϕ$, and $d$ a bound on their degrees. For fixed $\ell$, this bound is singly exponential in $k$. In particular, since $\ell…
A PROB is a "product and braid" category. Such categories can be used to encode the structure borne by an object in a braided monoidal category. In this paper we provide PROBs whose categories of algebras in a braided monoidal category are equivalent to the categories of monoids and comonoids using the category associated to the braid crossed simplicial group of Fiedorowicz and Loday. We show that PROBs can be composed by generalizing the machinery introduced by Lack for PROPs. We use this to define a PROB for bimonoids in a braided monoidal category as a composite of the PROBs for monoids and…
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. In this paper, it is proven that, when a certain bicategorical Grothendieck construction is performed on a lax diagram of bicategories, then the classifying space of the resulting bicategory can be though…
We prove that a weak equivalence between two cofibrant (colored) props in chain complexes induces a Dwyer-Kan equivalence between the simplicial localizations of the associated categories of algebras. This homotopy invariance under base change implies that the homotopy category of homotopy algebras over a prop P does not depend on the choice of a cofibrant resolution of P, and gives thus a coherence to the notion of algebra up to homotopy in this setting. The result is established more generally for algebras in combinatorial monoidal dg categories.
This is a companion paper our previous submission "\infty-categories monoidales rigides et caracteres de Chern", in which we give a comparison between functions on the derived loop space of a smooth scheme of caracteristic zero, and its algebraic de Rham cohomology. As a consequence we obtain functorial and multiplicative versions of the HKR decomposition theorem relating Hochschild homology and Hodge cohomology.
The homotopy coherent nerve from simplicial categories to simplicial sets and its left adjoint C are important to the study of (infinity,1)-categories because they provide a means for comparing two models of their respective homotopy theories, giving a Quillen equivalence between the model structures for quasi-categories and simplicial categories. The functor C also gives a cofibrant replacement for ordinary categories, regarded as trivial simplicial categories. However, the hom-spaces of the simplicial category CX arising from a quasi-category X are not well understood. We show that when X is…
If C is the model category of simplicial presheaves on a site with enough points, with fibrations equal to the global fibrations, then it is well-known that the fibrant objects are, in general, mysterious. Thus, it is not surprising that, when G is a profinite group, the fibrant objects in the model category of discrete G-spectra are also difficult to get a handle on. However, with simplicial presheaves, it is possible to construct an explicit fibrant model for an object in C, under certain finiteness conditions. Similarly, in this paper, we show that if G has finite virtual cohomological dime…
A monoidal model category is a model category with a compatible closed monoidal structure. Such things abound in nature; simplicial sets and chain complexes of abelian groups are examples. Given a monoidal model category, one can consider monoids and modules over a given monoid. We would like to be able to study the homotopy theory of these monoids and modules. This question was first addressed by Stefan Schwede and Brooke Shipley in "Algebras and modules in monoidal model categories", who showed that under certain conditions, there are model categories of monoids and of modules over a given m…
It is well-known that the category of small dg categories dgCat, though it is monoidal, does not form a monoidal model category. In this paper we construct a monoidal model structure on the category of pointed curved coalgebras ptdCoa* and show that the Quillen equivalence relating it to dgCat is monoidal. We also show that dgCat is a ptdCoa*-enriched model category. As a consequence, the homotopy category of dgCat is closed monoidal and is equivalent as a closed monoidal category to the homotopy category of ptdCoa*. In particular, this gives a conceptual construction of a derived internal hom…
We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established model categories of monoids, modules and algebras [Algebras and modules in monoidal model categories, Proc. London Math. Soc. 80 (2000), 491-511]. As an application we extend the Dold-Kan equivalence to show that the model categories of simplicial rings, modules and algebras are Quillen equivalent to the associated model categories of connected differential g…
We apply the Acyclicity Theorem of Hess, Kerdziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from simplicial adjunctions, under mild conditions on the adjunction and the associated comonad. We study three concrete examples of such adjunctions where the left adjoint is comonadic and show that in each case the component of the derived counit of the comparison adjunction at any fibrant object is an isomorphism, while the component of the derived unit at any 1…
The most natural notion of a simplicial nerve for a (weak) bicategory was given by Duskin, who showed that a simplicial set is isomorphic to the nerve of a $(2,1)$-category (i.e. a bicategory with invertible $2$-morphisms) if and only if it is a quasicategory which has unique fillers for inner horns of dimension $3$ and greater. Using Duskin's technique, we show how his nerve applies to $(2,1)$-category functors, making it a fully faithful inclusion of $(2,1)$-categories into simplicial sets. Then we consider analogues of this extension of Duskin's result for several different two-dimensional …
The long hunt for a symmetric monoidal category of spectra finally ended in success with the simultaneous discovery of the third author's discovery of symmetric spectra and the Elmendorf-Kriz-Mandell-May category of S-modules. In this paper we define and study the model category of symmetric spectra, based on simplicial sets and topological spaces. We prove that the category of symmetric spectra is closed symmetric monoidal and that the symmetric monoidal structure is compatible with the model structure. We prove that the model category of symmetric spectra is Quillen equivalent to Bousfield a…
We generalize and greatly simplify the approach of Lydakis and Dundas-Röndigs-Østvær to construct an L-stable model structure for small functors from a closed symmetric monoidal model category V to a V-model category M, where L is a small cofibrant object of V. For the special case V=M=S_* pointed simplicial sets and L=S^1 this is the classical case of linear functors and has been described as the first stage of the Goodwillie tower of a homotopy functor. We show, that our various model structures are compatible with a closed symmetric monoidal product on small functors. We compare them with o…
We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for simplicially-enriched categories, links homotopy locally presentable V-categories with combinatorial model V-categories, in the case where has all objects of V are cofibrant.
A version of Dwyer-Kan localization in the context of infinity-categories and simplicial categories is presented. Some results of the classical papers by Dwyer and Kan on simplicial localization are reproven and generalized. It is proven that a Quillen pair of model categories gives rise to an adjoint pair of the DK localizations. Also a result on localization of a family of infinity-categories is proven. This, in particular, is applied to localization of symmetric monoidal infinity-categories, where some (partial) results are obtained.
We define the notion of an additive model category, and we prove that any additive, stable, combinatorial model category has a natural enrichment over symmetric spectra based on simplicial abelian groups. As a consequence, every object in such a model category has a naturally associated endomorphism ring inside this spectra category. We establish the basic properties of this enrichment. We also develop some enriched model category theory. In particular, we have a notion of an adjoint pair of functors being a 'module' over another such pair. Such things are called "adjoint modules". We develop …
We obtain combinatorial model categories of parametrised spectra, together with systems of base change Quillen adjunctions associated to maps of parameter spaces. We work with simplicial objects and use Hovey's sequential and symmetric stabilisation machines. By means of a Grothendieck construction for model categories, we produce combinatorial model categories controlling the totality of parametrised stable homotopy theory. The global model category of parametrised symmetric spectra is equipped with a symmetric monoidal model structure (the external smash product) inducing pairings in twisted…
We introduce the symmetricity notions of symmetric h-monoidality, symmetroidality, and symmetric flatness. As shown in our paper arXiv:1410.5675, these properties lie at the heart of the homotopy theory of colored symmetric operads and their algebras. In particular, the former property can be seen as the analog of Schwede and Shipley's monoid axiom for algebras over symmetric operads and allows one to equip categories of such algebras with model structures, whereas the latter ensures that weak equivalences of operads induce Quillen equivalences of categories of algebras. We discuss these prope…
We develop an alternative to the May-Thomason construction used to compare operad based infinite loop machines to that of Segal, which relies on weak products. Our construction has the advantage that it can be carried out in $Cat$, whereas their construction gives rise to simplicial categories. As an application we show that a simplicial algebra over a $Σ$-free $Cat$ operad $\mathcal{O}$ is functorially weakly equivalent to a $Cat$ algebra over $\mathcal{O}$. When combined with the results of a previous paper, this allows us to conclude that up to weak equivalences the category of $\mathcal{O}…
We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the general argument to address the case of props in topological spaces and dg-modules over an arbitrary ring, but we give a less technical proof which applies to the category of props in simplicial sets, simplicial modules, and dg-modules over a ring of characteristic 0. We apply the model structure of props to the homotopical study of algebras over a prop. Our goa…
We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal $\infty$-category $\mathcal{V}$. Our theory of enriched $\infty$-categories has many desirable properties; for instance, if the enriching $\infty$-category $\mathcal{V}$ is presentably symmetric monoidal then $\mathrm{Cat}^\mathcal{V}_\infty$ is as well. These features render the theory useful even when an $\infty$-category of enriched $\infty$-categories comes from a model category (as is often the case in examples of interest, e.g. dg-categories, spectral categories, and $(\infty,n)$-categories). This…
We develop a rigidity criterion to show that in simplicial model categories with a compatible symmetric monoidal structure, operad structures can be automatically lifted along certain maps. This is applied to obtain an unpublished result of M. J. Hopkins that certain towers of generalized Moore spectra, closely related to the K(n)-local sphere, are E-infinity algebras in the category of pro-spectra. In addition, we show that Adams resolutions automatically satisfy the above rigidity criterion. In order to carry this out we develop the concept of an operadic model category, whose objects have h…
This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule categories over the original category, construct enriched functors between them and enriched adjunctions between the functors. Homotopically, for simplicial sets and topological spaces, we investigate the categories of comodules and contramodules and the relations between them.
This paper sets up the foundations for derived algebraic geometry, Goerss--Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la Toën--Vezzosi in an abstract category of spectra. We also answer in the affirmative a question of Goerss and Hopkins by showing that the obstruction theory for operadic algebras in spectra can be done in the generality of spectra in an (essentially) arbitrary model category. We c…
The (dual) Dold-Kan correspondence says that there is an equivalence of categories $K:\cha\to \Ab^Δ$ between nonnegatively graded cochain complexes and cosimplicial abelian groups, which is inverse to the normalization functor. We show that the restriction of $K$ to $DG$-rings can be equipped with an associative product and that the resulting functor $DGR^*\to\ass^Δ$, although not itself an equivalence, does induce one at the level of homotopy categories. The dual of this result for chain $DG$ and simplicial rings was obtained independently by S. Schwede and B. Shipley through different method…
