Spectral Waldhausen categories, the $S_{\bullet }$-construction, and the Dennis trace

Abstract

We give an explicit point-set construction of the Dennis trace map from the $K$-theory of endomorphisms $K\mathrm{End}(\mathcal{C})$ to topological Hochschild homology $\mathrm{THH}(\mathcal{C})$ for any spectral Waldhausen category $\mathcal{C}$. We describe the necessary technical foundations, most notably a well-behaved model for the spectral category of diagrams in $\mathcal{C}$ indexed by an ordinary category via the Moore end. This is applied to define a version of Waldhausen's $S_{\bullet }$-construction for spectral Waldhausen categories, which is central to this account of the Dennis trace map. Our goals are both convenience and transparency---we provide all details except for a proof of the additivity theorem for $\mathrm{THH}$, which is taken for granted---and the exposition is concerned not with originality of ideas, but rather aims to provide a useful resource for learning about the Dennis trace and its underlying machinery.

arXiv commentThis paper is a companion to arxiv:2005.04334

References in corpus (10)

• On the K-theory of local fields
• Localization theorems in topological Hochschild homology and topological cyclic homology
• K-theory and topological cyclic homology of henselian pairs
• Localization for THH(ku) and the topological Hochschild and cyclic homology of Waldhausen categories
• The homotopy groups of the algebraic K-theory of the sphere spectrum
• The geometry of the cyclotomic trace
• Relative continuous K-theory and cyclic homology
• $K$-theory of endomorphisms, the $TR$-trace, and zeta functions
• Algebraic K-theory of the first Morava K-theory
• On the K-theory of division algebras over local fields

Cited by in corpus (1)

• $K$-theory of endomorphisms, the $TR$-trace, and zeta functions