Spectral enrichments of model categories

From MaRDI portal
Publication:2575127



Abstract: We prove that every stable, combinatorial model category has a natural enrichment by symmetric spectra (or more precisely, a natural equivalence class of enrichments). This in some sense generalizes the simplicial enrichments of model categories provided by the Dwyer-Kan hammock localization. As one particular application, we are able to associate to every object of a stable, combinatorial model category a "homotopy endomorphism ring spectrum". The homotopy types of these ring spectra are preserved by Quillen equivalences, and so are an invariant for stable model categories.


In [\textit{W.G. Dwyer}, \textit{D.M. Kan}, Topology 19, 427-440 (1980; Zbl 0438.55011)] the authors have shown that given any model category \({\mathcal M}\) and objects \(X, Y\in \mathcal M\) one can construct a homotopy function complex \(\text{ Map}(X, Y)\). This is a simplicial set, natural in \(X\) and \(Y\), and such that its homotopy type depends only on weak equivalence classes of \(X\) and \(Y\). Moreover, for \(X, Y, Z\in \mathcal M\) we have composition maps \(\text{ Map}(X, Y)\times \text{ Map}(Y, Z)\rightarrow \text{ Map}(X, Z)\). The main result of this paper says that if \(\mathcal M\) is a stable model category (i.e. a pointed model category in which the suspension functor is homotopy invertible) then one can equip \(\mathcal M\) with function complexes which are symmetric spectra rather than just simplicial sets. If \(\mathcal N\) is a stable model category obtained as a localization of a model category of diagrams of pointed simplicial sets then existence of such spectral function complexes for \(\mathcal N\) follows from the results of [\textit{M. Hovey}, J. Pure Appl. Algebra 165, No.1, 63-127 (2001; Zbl 1008.55006)]. The author shows that if \(\mathcal M\) is Quillen equivalent to such localized category of diagrams \(\mathcal N\) then the spectral function complexes of \(\mathcal N\) can be transported to \(\mathcal M\). This approach differs in two main regards from the construction of Dwyer-Kan. First, one needs to assume that \(\mathcal M\) is Quillen equivalent to some localized category of diagrams of simplicial sets. This is however a mild technical condition satisfied by almost all interesting model categories. Secondly, this construction depends on the choice of a localized category of diagrams Quillen equivalent to \(\mathcal M\). The author proves though that spectral function complexes resulting from different choices are equivalent in an appropriate sense. In particular stable homotopy type of each of these function complexes is well defined. The paper is very clearly written. Its first sections and appendix A provide a nice description of enrichment of model categories.











This page was built for publication: Spectral enrichments of model categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575127)