Characters and transfer maps via categorified traces

Abstract

We develop a theory of generalized characters of local systems in $\infty$-categories, which extends classical character theory for group representations and, in particular, the induced character formula. A key aspect of our approach is that we utilize the interaction between traces and their categorifications. We apply this theory to reprove and refine various results on the composability of Becker-Gottlieb transfers, the Hochschild homology of Thom spectra, and the additivity of traces in stable $\infty$-categories.

99 pages, comments welcome! v2: updated section 4.2. v3: incorporated feedback from anonymous referee, fixed proof of Lemma 4.49

References in corpus (19)

• A universal characterization of higher algebraic K-theory
• Principal infinity-bundles -- General theory
• (Op)lax natural transformations, twisted quantum field theories, and "even higher" Morita categories
• Iterated spans and classical topological field theories
• Parametrized spectra, multiplicative Thom spectra, and the twisted Umkehr map
• Topological Hochschild homology of Thom spectra and the free loop space
• A simple universal property of Thom ring spectra
• The linearity of traces in monoidal categories and bicategories
• On the Q construction for exact quasicategories
• The multiplicativity of fixed point invariants
• Relative Thom Spectra Via Operadic Kan Extensions
• On the non additivity of the trace in derived categories
• A bivariant Yoneda lemma and $(\infty ,2)$-categories of correspondences
• Twisted Parametrized Stable Homotopy Theory
• Chromatic Cyclotomic Extensions
• On the Hochschild cohomology of Tamarkin categories
• The $\infty$-Categorical Reflection Theorem and Applications
• The additivity of traces in stable $\infty$-categories
• Higher sheaf theory I: Correspondences

Cited by in corpus (1)

• Universality of Barwick's unfurling construction