The additivity of traces in stable -categories
arXiv:2109.01512
Abstract
We prove a version of J.P. May's theorem on the additivity of traces, in symmetric monoidal stable -categories. Our proof proceeds via a categorification, namely we use the additivity of topological Hochschild homology as an invariant of stable -categories and construct a morphism of spectra for a stably symmetric monoidal rigid -category. We also explain how to get a more general statement involving traces of finite (homotopy) colimits.
12 pages, comments welcome ! New version: corrected typos, fixed some references, and added two remarks