Cosimplicial resolutions and homotopy spectral sequences in model categories

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.Comment: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol7/paper29.abs.htm

An Algebraic Weak Factorisation System on 01-Substitution Sets: A Constructive Proof

We will construct an algebraic weak factorisation system on the category of 01 substitution sets such that the R-algebras are precisely the Kan fibrations together with a choice of Kan filling operation. The proof is based on Garner's small object argument for algebraic weak factorization systems. In order to ensure the proof is valid constructively, rather than applying the general small object argument, we give a direct proof based on the same ideas. We use this us to give an explanation why the J computation rule is absent from the original cubical set model and suggest a way to fix this

Dwyer-Kan localization revisited

A version of Dwyer-Kan localization in the context of infinity-categories and simplicial categories is presented. Some results of the classical papers by Dwyer and Kan on simplicial localization are reproven and generalized. It is proven that a Quillen pair of model categories gives rise to an adjoint pair of the DK localizations. Also a result on localization of a family of infinity-categories is proven. This, in particular, is applied to localization of symmetric monoidal infinity-categories, where some (partial) results are obtained.Comment: 24 pages, the final version, accepted to "Homology, Homotopy and Applications

Fibration Categories are Fibrant Relative Categories

A relative category is a category with a chosen class of weak equivalences. Barwick and Kan produced a model structure on the category of all relative categories, which is Quillen equivalent to the Joyal model structure on simplicial sets and the Rezk model structure on simplicial spaces. We will prove that the underlying relative category of a model category or even a fibration category is fibrant in the Barwick--Kan model structure.Comment: 21 pages; comments welcom

A simplicial model for the Hopf map

We give an explicit simplicial model for the Hopf map S^3 -> S^2. For this purpose, we construct a model of S^3 as a principal twisted cartesian product K x_{eta} S^2, where K is a simplicial model for S^1 acting by left multiplication on itself, S^2 is given the simplest simplicial model and the twisting map is eta:(S^2)_n -> (K)_{n-1}. We construct a Kan complex for the simplicial model K of S^1. The simplicial model for the Hopf map is then the projection K x_{eta} S^2 -> S^2