Iterated traces in 2-categories and Lefschetz theorems

Abstract

While not obvious from its initial motivation in linear algebra, there are many context where iterated traces can be defined. In this paper we prove a very general theorem about iterated 2-categorical traces. We show that many Lefschetz-type theorems in the literature are consequences of this result and the new perspective we provide allows for immediate spectral generalizations.

Significant revisions

References in corpus (4)

• Homotopy limits and colimits and enriched homotopy theory
• Duality and traces for indexed monoidal categories
• Topological Hochschild Homology and Higher Characteristics
• Bimodules and natural transformations for enriched $\infty$-categories

Cited by in corpus (2)

• Coherent Springer theory and the categorical Deligne-Langlands correspondence
• A universal characterization of noncommutative motives and secondary algebraic K-theory