Bar constructions and Quillen homology of modules over operads (Q1048478)

In the context of symmetric spectra and unbounded chain complexes over a commutative ring, the author proves that a total left derived functor arising from an operad map can be expressed in terms of a realization of a simplicial bar construction, assuming a cofibrancy condition. A special case of this is the main theorem of the paper: the topological Quillen homology of an algebra (resp. module) over an operad in symmetric spectra or unbounded chain complexes can be expressed in terms of the realization of a simplicial bar construction, provided the simplicial bar construction is objectwise cofibrant. More precisely, for the general statement, consider a morphism \(f:{\mathcal O} \rightarrow {\mathcal O}'\) of operads in symmetric spectra or unbounded chain complexes over a commutative ring. The category of \({\mathcal O}\)-algebras (respectively left \({\mathcal O}\)-modules) can be equipped with an appropriate model structure. If \(X\) is an \({\mathcal O}\)-algebra (respectively \({\mathcal O}\)-module) and the simplicial bar construction \(B({\mathcal O},{\mathcal O},X)\) is objectwise cofibrant in \({\mathcal A}lg_{\mathcal O}\), then there is a zigzag of weak equivalences \(Lf_*(X) \simeq |B({\mathcal O},\mathcal{O'},X)|\). For example, if \({\mathcal O}\) is a cofibrant operad and \(X\) is a cofibrant \({\mathcal O}\)-algebra, then \(B({\mathcal O},{\mathcal O},X)\) is object wise cofibrant. For the main theorem on topological Quillen homology, consider an augmented operad \({\mathcal O}\) in symmetric spectra or unbounded chain complexes over a commutative ring. If \(X\) is an \({\mathcal O}\)-algebra and the simplicial bar construction \(B({\mathcal O},{\mathcal O},X)\) is objectwise cofibrant, then there is a zigzag of weak equivalences \(I \circ^{\text{L}}_{\mathcal O} X \simeq |B(I,{\mathcal O},X)|\). A similar statement holds for left \({\mathcal O}\)-modules. An auxiliary result is that the forgetful functor from \({\mathcal O}\)-algebras to symmetric spectra or unbounded chain complexes preserves, up to weak equivalence, homotopy colimits indexed by \(\Delta^{\text{op}}\). The author compares his main theorem with a similar result by \textit{M. Basterra} on the total left derived ``indecomposables'' functor in the context of \(S\)-modules [``André-Quillen cohomology of commutative \(S\)-algebras'', J. Pure Appl. Algebra 144, No. 2, 111--143 (1999; Zbl 0937.55006)] and a result by \textit{B. Fresse} on the total left derived ``indecomposables'' functor in the context of non-negative chain complexes [``Koszul duality of operads and homology of partition posets'', Contemp. Math. 346, 115--215 (2004; Zbl 1077.18007)].