Traces for factorization homology in dimension 1

Abstract

We construct a circle-invariant trace from the factorization homology of the circle $ {\sf trace} \colon \int^α_{{\mathbb S}^1} \\underline{\sf End}(V) \longrightarrow \uno $ associated to a dualizable object $V\in \mathfrak{X}$ in a symmetric monoidal $\infty$-category. This proves a conjecture of Toën--Vezzosi on existence of circle-invariant traces. Underlying our construction is a calculation of the factorization homology over the circle of the walking adjunction in terms of the paracyclic category of Getzler--Jones: $ \int_{{\mathbb S}^1} {\sf Adj} ~\simeq~ {\bDelta_{\circlearrowleft}}^{\triangleleft\!\triangleright} ~. $ This calculation exhibits a form of Poincaré duality for 1-dimensional factorization homology.

33 pages