The Hochschild complex of a finite tensor category (Q2070111)

The authors study the Hochschild complex of a modular category. First they prove: for every braided finite tensor category \(\mathcal{C}\), the Hochschild complex \(\int^{X\in Proj \mathcal{C}}_{\mathbb{L}}\mathcal{C}(X,X)\) is naturally a non-unital \(\mathbb{E}_2\)-algebra in differential graded vector spaces. Then they prove their main result which is the following. The Hochschild complex \(\int^{X\in \mathrm{Proj} \mathcal{C}}_{\mathbb{L}}\mathcal{C}(X,X)\) of a modular category carries a canonical homotopy coherent projective action of the mapping class group \(SL(2, \mathbb{Z})\) of the torus. The proof of the main result depends on a detailed investigation of the Hochschild complex for a finite tensor category \(\mathcal{C}\). As a key tool, they introduce a specific projective resolution \(\int^{X\in \mathrm{Proj}\mathcal{C}}_{f\mathbb{L}}(X\otimes X^{\vee})\) of the canonical coend \(\mathbb{F}=\int^{X\in \mathcal{C}}(X\otimes X^{\vee})\) (see section \(3.2\) for the details).