Admissibility and rectification of colored symmetric operads

Abstract

We establish a highly flexible condition that guarantees that all colored symmetric operads in a symmetric monoidal model category are admissible, i.e., 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, i.e., 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.

34 pages. Comments and questions are very welcome. v2: The first 7 sections were split off to arXiv:1510.04969. Added a rectification result for algebras over quasicategorical operads. v3: Identical to the journal version except for formatting, style, and additional details in the proof of Proposition 7.9. v4: Corrected the proof of Theorem 7.5

References in corpus (28)

• Higher Topos Theory
• Algebras and modules in monoidal model categories
• Equivalences of monoidal model categories
• Rings, modules, and algebras in infinite loop space theory
• Dendroidal sets and simplicial operads
• Model Structures on Commutative Monoids in General Model Categories
• Homotopy theory for algebras over polynomial monads
• The Boardman-Vogt resolution of operads in monoidal model categories
• On the homotopy theory of enriched categories
• Rectification of enriched infinity-categories
• On (Enriched) Left Bousfield Localization of Model Categories
• On homotopy invariance for algebras over colored PROPs
• Homotopy theory of modules over operads in symmetric spectra
• Homotopy theory of non-symmetric operads
• On operads, bimodules and analytic functors
• Homotopy completion and topological Quillen homology of structured ring spectra
• A model structure for coloured operads in symmetric spectra
• A Model Structure for Enriched Coloured Operads
• The Homotopy Theory of Simplicially Enriched Multicategories
• A Model Structure on the Category of Topological Categories
• The accessibility rank of weak equivalences
• Corrections to "Homotopy theory of nonsymmetric operads, I, II"
• Homotopy theory of non-symmetric operads II: change of base category and left properness
• Moduli spaces of algebras over non-symmetric operads
• Homotopy theory of Spectral categories
• Positive model structures for abstract symmetric spectra
• Smith ideals of structured ring spectra
• On the derived category of an algebra over an operad

Cited by in corpus (32)

• Presentably symmetric monoidal infinity-categories are represented by symmetric monoidal model categories
• Genuine equivariant operads
• Enhancing the filtered derived category
• Homotopy theory of algebraic quantum field theories
• Derived coisotropic structures I: affine case
• Operads for algebraic quantum field theory
• Braces and Poisson additivity
• Higher Structures in Algebraic Quantum Field Theory
• A Model Structure for Enriched Coloured Operads
• Homotopy theory of symmetric powers
• Homotopical algebra for Lie algebroids
• Symmetric operads in abstract symmetric spectra
• Genuine equivariant factorization homology
• Smith Ideals of Operadic Algebras in Monoidal Model Categories
• On rectification and enrichment of infinity properads
• Unital operads, monoids, monads, and bar constructions
• Operads in Unstable Global Homotopy Theory
• Homotopy theory of net representations
• The Dwyer-Kan model structure for enriched coloured PROPs
• Homotopy theory of equivariant operads with fixed colors
• Quillen cohomology of enriched operads
• Enveloping operads and applications
• A model structure for locally constant factorization algebras
• The Disc-structure space
• The enriched Thomason model structure on 2-categories
• ${\mathbb{A}}^1$-connectivity on Chow monoids v.s. rational equivalence of algebraic cycles
• Gluing algebraic quantum field theories on manifolds
• Mixed Hodge structures and formality
• A stable splitting of factorisation homology of generalised surfaces
• Algebras for enriched $\infty$-operads
• Correction to: "A spectral sequence for stratified spaces and configuration spaces of points"
• Admissible replacements for simplicial monoidal model categories