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, they allow one to equip categories of algebras over operads with model structures and to show that weak equivalences of operads induce Quillen equivalences of categories of algebras. We discuss these properties for elementary model categories such as simplicial sets, simplicial presheaves, and chain complexes. Moreover, we provide powerful tools to promote these properties from such basic model categories to more involved ones, such as the stable model structure on symmetric spectra.
We establish a highly flexible condition that guarantees that all colored symmetric operads in a symmetric monoidal model category are admissible, that is, the category of algebras over any operad admits a model structure transferred from the original model category. We also give a necessary and sufficient criterion that ensures that a given weak equivalence of admissible operads admits rectification, that is, the corresponding Quillen adjunction between the categories of algebras is a Quillen equivalence. In addition, we show that Quillen equivalences of underlying symmetric monoidal model categories yield Quillen equivalences of model categories of algebras over operads. Applications of these results include enriched categories, colored operads, prefactorization algebras, and commutative symmetric ring spectra. Contents
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 construct strictly commutative simplicial ring spectra representing a given cohomology theory and illustrate this with a strictly commutative motivic ring spectrum representing higher order products on Deligne cohomology. These results are obtained by first establishing Smith’s stable positive model structure for abstract spectra and then showing that this category of spectra possesses excellent model-theoretic properties: we show that all colored symmetric operads in symmetric spectra valued in a symmetric monoidal model category are admissible, i.e., algebras over such operads carry a model structure. This generalizes the known model structures on commutative ring spectra and $\text{E}_{\infty }$-ring spectra in simplicial sets or motivic spaces. We also show that any weak equivalence of operads in spectra gives rise to a Quillen equivalence of their categories of algebras. For example, this extends the familiar strictification of $\text{E}_{\infty }$-rings to commutative rings in a broad class of spectra, including motivic spectra. We finally show that operadic algebras in Quillen equivalent categories of spectra are again Quillen equivalent. This paper is also available at arXiv:1410.5699v2.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.