Generalized spectral categories, topological Hochschild homology and trace maps (Q1048479): Difference between revisions

This paper has a detailed and well written introduction, and the following is not nearly as informative. Interested readers are strongly encouraged to read the introduction. The category \(\mathcal{C}\)-Cat is the category of small categories enriched over a given symmetric monoidal category \(\mathcal{C}\). When \(\mathcal{C}\) is the category of chain complexes, objects in \(\mathcal{C}\)-Cat are differential graded (dg)-categories. When \(\mathcal{C}\) is the category of simplicial sets, one gets simplicial categories and with \(\mathcal{C}\) the symmetric spectra, \(\mathcal{C}\)-Cat is the category of spectral categories. There is a natural notion (Def 1.1) of weak equivalences on \(\mathcal{C}\)-Cat, which reduces to the classical notions in the case of simplicial, dg and spectral categories. The main goal of the present paper is to develop a general theory of model structures on the category \(Sp^{\Sigma}(C,K)\)-Cat of \textit{generalized spectral categories}. Here \(Sp^{\Sigma}(C,K)\) is the stable monoidal model category of \(K\)-symmetric spectra over \(C\), constructed in [\textit{M. Hovey}, J. Pure Appl. Algebra 165, No. 1, 63--127 (2001; Zbl 1008.55006)], \(C\) is a sufficiently well behaved monoidal model category and \(K\) is a cofibrant object in \(C\). This is achieved by lifting a Quillen model-structure on \(\mathcal{C}\)-Cat to \(Sp^{\Sigma}(\mathcal{C},K)\)-Cat. The weak equivalences in the model structure are the natural ones (Def (1.1)). Using similar arguments, a Quillen model structure is constructed on \(R\)-Cat, the category of small categories enriched over \(R\)-modules, where \(R\) is a commutative symmetric ring spectrum. An example is \(R=H\mathbb{Z}\), the Eilenberg Mac-Lane symmetric ring spectrum of \(\mathbb{Z}\). Using the zig-zag machinery from [\textit{B. Shipley}, Am. J. Math. 129, No.~2, 351--379 (2007; Zbl 1120.55007)] a 4 step zig-zag of Quillen equivalences between categories enriched over categories is established between \(dgcat\) and \(H\mathbb{Z}\)-Cat. As an application, it is proven that the functors THH (topological Hochschild homology) and TC (topological cyclic homology) from dg categories to symmetric spectra send the weak equivalences (Def (1.1)) to stable equivalences. Moreover, natural transformations from algebraic \(K\)-theory to THH are constructed.