Smith ideals of operadic algebras in monoidal model categories (Q6131558)

Let \(\mathcal{M}\) be a symmetric monoidal closed category. Hovey's work on Smith ideas establishes that for a pointed (resp. stable) model category, the cokernel and the kernel form a Quillen adjunction (resp. Quillen equivalence) between two symmetric monoidal closed structures on the category of arrows of \(\mathcal{M}\), namely the pushout product monoidal structure \(\overrightarrow{\mathcal{M}}^{\square}\) and the tensor product monoidal structure \(\overrightarrow{\mathcal{M}}^{\otimes}\). A monoid in \(\overrightarrow{\mathcal{M}}^{\square}\) is a Smith ideal, and a monoid in \(\overrightarrow{\mathcal{M}}^{\otimes}\) is a monoid morphism. Hovey proves also that under the same hypotheses, there is a Quillen adjunction (resp. Quillen quivalence) between Smith ideals and monoid morphisms. Since monoids are algebras over the associative operad, a natural question is whether there is a satisfactory theory of Smith ideals for algebras over other operads. The purpose of this paper is to generalize Hovey's work to Smith ideals for general operads in monoidal model categories. For an operad \(\mathcal{O}\), the authors define a Smith \(\mathcal{O}\)-ideal as an algebra over an associated operad \(\overrightarrow{\mathcal{O}}^{\square}\) in the arrow category \(\overrightarrow{\mathcal{M}}^{\square}\). The main theorem can then be stated as follows. Suppose \(\mathcal{M}\) is a sufficiently nice stable monoidal model category, and \(\mathcal{O}\) is a \(\mathfrak{C}\)-colored operad in \(\mathcal{M}\) such that cofibrant Smith \(\mathcal{O}\)-ideals are also entrywise cofibrant in the arrow category of \(\mathcal{M}\) with the projective model structure. Then there is a Quillen equivalence between the Smith \(\mathcal{O}\)-ideals and the \(\mathcal{O}\)-algebra maps induced by the cokernel and the kernel. This Quillen equivalence applies to symmetric spectra for the commutative operad and all \(\Sigma\)-cofibrant operads. For chain complexes over a field of characteristic zero and the stable module category, this Quillen equivalence holds for all operads. The paper concludes with a comparison between the semi-model category approach and the \(\infty\)-category approach to encoding the homotopy theory of algebras over \(\Sigma\)-cofibrant operads that are not necessarily admissible.