To study topological Hochschild homology as an invariant of stable ∞-categories and endow it with its universal property in this context, Nikolaus introduced the formalism of stable cyclic graphs and trace theories (after Kaledin). On the other hand, Poincaré ∞-categories are a C2-refinement of stable ∞-categories that provide an adequate formalism for studying real and hermitian algebraic K-theory, which should be then well-approximated by the real cyclotomic trace. In this talk, we explain how to systematically provide Poincaré refinements of all the components of Nikolaus’s approach to stable trace theories.

This is work in progress with Yonatan Harpaz and Thomas Nikolaus.

This video is part of the New Directions in Group Theory and Triangulated Categories seminar series.