English

The space of traces in symmetric monoidal infinity categories

Category Theory 2022-03-24 v2 Algebraic Topology

Abstract

We define a tracelike transformation to be a natural family of conjugation invariant maps Tx,C:homC(x,x)homC(1,1)T_{x,C}: hom_C(x,x) \to hom_C(1,1) for all dualisable objects xx in any symmetric monoidal infinity-category CC. This generalises the trace from linear algebra that assigns a scalar Tr(f)kTr(f) \in k to any endomorphism f:VVf:V \to V of a finite-dimensional kk-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 TrTr 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\"en and Vezzosi. Other examples of tracelike transformations are for instance given by fTr(fn)f \mapsto Tr(f^n). Unlikefor TrTr the relevant connected component of the moduli space is not contractible, but ratherequivalent to BZ/nZB\mathbb{Z}/n\mathbb{Z} or BS1BS^1 for n=0n=0. As a result we obtain a Z/nZ\mathbb{Z}/n\mathbb{Z}-action on Tr(fn)Tr(f^n) as well as a circle action on Tr(idx)Tr(id_x).

Keywords

Cite

@article{arxiv.1811.11654,
  title  = {The space of traces in symmetric monoidal infinity categories},
  author = {Jan Steinebrunner},
  journal= {arXiv preprint arXiv:1811.11654},
  year   = {2022}
}

Comments

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