Spectral Waldhausen categories, the -construction, and the Dennis trace
arXiv:2006.04006
Abstract
We give an explicit point-set construction of the Dennis trace map from the -theory of endomorphisms to topological Hochschild homology for any spectral Waldhausen category . We describe the necessary technical foundations, most notably a well-behaved model for the spectral category of diagrams in indexed by an ordinary category via the Moore end. This is applied to define a version of Waldhausen's -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 , 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.
This paper is a companion to arxiv:2005.04334