Equivalence of simplicial localizations of closed model categories (Q1124963): Difference between revisions

For a closed model category \({\mathcal M}\) in the sense of Quillen [\textit{D.G. Quillen}, Homotopical algebra, Lect. Notes Math. 43 (1967; Zbl 0168.20903)] let \(Ho({\mathcal M})\) denote the homotopy category of \({\mathcal M}\) (i.e. the category obtained by formally inverting the weak equivalences) and \({\mathcal M}_{cf}\) the full subcategory of cofibrant fibrant objects of \({\mathcal M}\). Lte \({\mathcal M},{\mathcal N}\) be closed model categories. Let \(F:{\mathcal M}_{cf} \to {\mathcal N}\) be a functor that preserves weak equivalences and that induces an equivalence of homotopy categories \(Ho({\mathcal M})\to Ho({\mathcal N})\). Then the main result of the paper gives an necessary and sufficient condition for \(F\) to induce an equivalence \(L{\mathcal M}_{cf}\to L{\mathcal N}\) where \(L\) denotes simplicial localization in the sense of Dwyer-Kan [\textit{W. G. Dwyer} and \textit{D. M. Kan}, J. Pure Appl. Algebra 17, 267-284 (1980; Zbl 0485.18012)]. The characterization is given in terms of homotopy categories of under- and over-categories. As an application a result on homotopy pushouts and homotopy pullbacks is obtained.