The space of traces in symmetric monoidal infinity categories

Abstract

We define a tracelike transformation to be a natural family of conjugation invariant maps $T_{x,C}:ho{m}_C(x,x)\to ho{m}_C(1,1)$ for all dualisable objects $x$ in any symmetric monoidal infinity-category $C$. This generalises the trace from linear algebra that assigns a scalar $Tr(f)\in k$ to any endomorphism $f:V\to V$ of a finite-dimensional $k$-vector space. Our main theorem computes the moduli space of tracelike transformations using the one-dimensional cobordism hypothesis with singularities. As a consequence we show that the trace $Tr$ can be uniquely extended to a tracelike transformation up to a contractible space of choices. This allows us to give several model-independent characterisations of the infinity-categorical trace. Restricting our notion of tracelike transformations from endomorphisms to automorphisms we in particular recover a theorem of Toën and Vezzosi. Other examples of tracelike transformations are for instance given by $f\mapsto Tr(f^n)$. Unlikefor $Tr$ the relevant connected component of the moduli space is not contractible, but ratherequivalent to $B\mathbb{Z}/n\mathbb{Z}$ or $B{S}^1$ for $n=0$. As a result we obtain a $\mathbb{Z}/n\mathbb{Z}$-action on $Tr(f^n)$ as well as a circle action on $Tr(i{d}_x)$.

28 pages, v2: major generalisation of main theorem, to appear in QJM

References in corpus (2)

• A note on the $(\infty ,n)$-category of cobordisms
• The circle transfer and cobordism categories

Cited by in corpus (1)

• Traces for factorization homology in dimension 1