Cosimplicial resolutions and homotopy spectral sequences in model categories

Abstract

We develop a general theory of cosimplicial resolutions, homotopy spectral sequences, and completions for objects in model categories, extending work of Bousfield–Kan and Bendersky–Thompson for ordinary spaces. This is based on a generalized cosimplicial version of the Dwyer–Kan–Stover theory of resolution model categories, and we are able to construct our homotopy spectral sequences and completions using very flexible weak resolutions in the spirit of relative homological algebra. We deduce that our completion functors have triple structures and preserve certain fiber squares up to homotopy. We also deduce that the Bendersky–Thompson completions over connective ring spectra are equivalent to Bousfield–Kan completions over solid rings. The present work allows us to show, in a subsequent paper, that the homotopy spectral sequences over arbitrary ring spectra have well-behaved composition pairings.