We establish model category structures on algebras and modules over operads in symmetric spectra and study when a morphism of operads induces a Quillen equivalence between corresponding categories of algebras (resp. modules) over operads. 55P43, 55P48; 55U35

Abstract. Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra). We prove a strong convergence theorem that for 0-connected algebras and modules over a (−1)-connected operad, the homotopy completion tower interpolates (in a strong sense) between topological Quillen homology and the identity functor.By systematically exploiting strong convergence, we prove several theorems concerning the topological Quillen homology of algebras and modules over operads. These include a theorem relating finiteness properties of topological Quillen homology groups and homotopy groups that can be thought of as a spectral algebra analog of Serre's finiteness theorem for spaces and H.R. Miller's boundedness result for simplicial commutative rings (but in reverse form). We also prove absolute and relative Hurewicz theorems and a corresponding Whitehead theorem for topological Quillen homology. Furthermore, we prove a rigidification theorem, which we use to describe completion with respect to topological Quillen homology (or TQ-completion). The TQcompletion construction can be thought of as a spectral algebra analog of Sullivan's localization and completion of spaces, Bousfield-Kan's completion of spaces with respect to homology, and Carlsson's and Arone-Kankaanrinta's completion and localization of spaces with respect to stable homotopy. We prove analogous results for algebras and left modules over operads in unbounded chain complexes.

Working in the context of symmetric spectra, we consider any higher algebraic structures that can be described as algebras over an operad O. We prove that the fundamental adjunction comparing O-algebra spectra with coalgebra spectra over the associated comonad K, via topological Quillen homology (or TQ-homology), can be turned into an equivalence of homotopy theories by replacing O-algebras with the full subcategory of 0-connected Oalgebras. This resolves in the affirmative the 0-connected case of a conjecture of Francis-Gaitsgory.This derived Koszul duality result can be thought of as the spectral algebra analog of the fundamental work of Quillen and Sullivan on the rational homotopy theory of spaces, and the subsequent p-adic and integral work of Goerss and Mandell on cochains and homotopy type-the following are corollaries of our main result: (i) 0-connected O-algebra spectra are weakly equivalent if and only if their TQ-homology spectra are weakly equivalent as derived Kcoalgebras, and (ii) if a K-coalgebra spectrum is 0-connected and cofibrant, then it comes from the TQ-homology spectrum of an O-algebra. We construct the spectral algebra analog of the unstable Adams spectral sequence that starts from the TQ-homology groups TQ * (X) of an O-algebra X, and prove that it converges strongly to π * (X) when X is 0-connected.