Davydov-Yetter cohomology and relative homological algebra (2202.12287v4)

Abstract: Davydov--Yetter (DY) cohomology classifies infinitesimal deformations of the monoidal structure of tensor functors and tensor categories. In this paper we provide new tools for the computation of the DY cohomology for finite tensor categories and exact functors between them. The key point is to realize DY cohomology as relative Ext groups. In particular, we prove that the infinitesimal deformations of a tensor category $\mathcal{C}$ are classified by the 3-rd self-extension group of the tensor unit of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ relative to $\mathcal{C}$. From classical results on relative homological algebra we get a long exact sequence for DY cohomology and a Yoneda product for which we provide an explicit formula. Using the long exact sequence and duality, we obtain a dimension formula for the cohomology groups based solely on relatively projective covers which reduces a problem in homological algebra to a problem in representation theory, e.g. calculating the space of invariants in a certain object of $\mathcal{Z}(\mathcal{C})$. Thanks to the Yoneda product, we also develop a method for computing DY cocycles explicitly which are needed for applications in the deformation theory. We apply these tools to the category of finite-dimensional modules over a finite-dimensional Hopf algebra. We study in detail the examples of the bosonization of exterior algebras $\Lambda\mathbb{C}^k \rtimes \mathbb{C}[\mathbb{Z}_2]$, the Taft algebras and the small quantum group of $\mathfrak{sl}_2$ at a root of unity.