Shadows and traces in bicategories
Kate Ponto, Michael Shulman

TL;DR
This paper generalizes the concept of traces in symmetric monoidal categories to bicategories with shadows, enabling noncommutative fixed-point theorems and expanding the theoretical framework for advanced algebraic topology.
Contribution
It introduces a new noncommutative trace in bicategories with shadows, proving its functoriality and 2-functoriality for fixed-point theory applications.
Findings
Established functoriality of the generalized trace
Proved 2-functoriality in bicategorical context
Developed cylindrical string diagram formalism
Abstract
Traces in symmetric monoidal categories are well-known and have many applications; for instance, their functoriality directly implies the Lefschetz fixed point theorem. However, for some applications, such as generalizations of the Lefschetz theorem, one needs "noncommutative" traces, such as the Hattori-Stallings trace for modules over noncommutative rings. In this paper we study a generalization of the symmetric monoidal trace which applies to noncommutative situations; its context is a bicategory equipped with an extra structure called a "shadow." In particular, we prove its functoriality and 2-functoriality, which are essential to its applications in fixed-point theory. Throughout we make use of an appropriate "cylindrical" type of string diagram, which we justify formally in an appendix.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
