Homotopy Coherent Mapping Class Group Actions and Excision for Hochschild Complexes of Modular Categories

Abstract

Given any modular category $\mathcal{C}$ over an algebraically closed field $k$, we extract a sequence $(M_g{)}_{g\ge 0}$ of $\mathcal{C}$-bimodules. We show that the Hochschild chain complex $CH(\mathcal{C};M_g)$ of $\mathcal{C}$ with coefficients in $M_g$ carries a canonical homotopy coherent projective action of the mapping class group of the surface of genus $g+1$. The ordinary Hochschild complex of $\mathcal{C}$ corresponds to $CH(\mathcal{C};M_0)$. This result is obtained as part of the following more comprehensive topological structure: We construct a symmetric monoidal functor ${\mathfrak{F}}_{\mathcal{C}}:\mathcal{C}\text{-}{\mathsf{Surf}}^{\mathsf{c}}\to {\mathsf{Ch}}_k$ with values in chain complexes over $k$ defined on a symmetric monoidal category of surfaces whose boundary components are labeled with projective objects in $\mathcal{C}$. The functor ${\mathfrak{F}}_{\mathcal{C}}$ satisfies an excision property which is formulated in terms of homotopy coends. In this sense, any modular category gives naturally rise to a modular functor with values in chain complexes. In zeroth homology, it recovers Lyubashenko's mapping class group representations. The chain complexes in our construction are explicitly computable by choosing a marking on the surface, i.e. a cut system and a certain embedded graph. For our proof, we replace the connected and simply connected groupoid of cut systems that appears in the Lego-Teichmüller game by a contractible Kan complex.

34 pages, 6 figures, partly in color; v3: to appear in Adv. Math

References in corpus (4)

• Higher Topos Theory
• 3-Dimensional TQFTs From Non-Semisimple Modular Categories
• The Hochschild Complex of a Finite Tensor Category
• Hochschild Cohomology, Modular Tensor Categories, and Mapping Class Groups

Cited by in corpus (3)

• Constructing non-semisimple modular categories with local modules
• Support theory for Drinfeld doubles of some infinitesimal group schemes
• Frobenius Monoidal Functors of Dijkgraaf-Witten Categories and Rigid Frobenius Algebras