Spectral enrichments of model categories (Q2575127): Difference between revisions

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.