Gerstenhaber-Schack and Hochschild cohomologies of Hopf algebras (Q321888)

The starting point of this paper is the following question: let \(A\) and \(B\) be two Hopf algebras over an algebraically closed field of characteristic zero, and assume that the categories of comodules over \(A\) and \(B\) are tensor equivalent. What is the relationship between the Hochschild cohomologies of \(A\) and \(B\)? In particular, do \(A\) and \(B\) have the same cohomological dimension? An alternative cohomology theory that behaves well is the so-called Gerstenhaber-Schack cohomology \(H^*_{GS}(A,M)\) of a Hopf algebra \(A\) with coefficients in a Hopf bimodule (equivalently: a Yetter-Drinfeld module) \(M\). This cohomology is monoidal invariant in the following sense: we have a tensor equivalence \(F\) between the categories of Hopf bimodules over \(A\) and \(B\), such that \(H^*_{GS}(A,M)\cong H^*_{GS}(B,FM))\). The strategy is to study the relationship between Hochschild and Gerstenhaber-Schack cohomology, and the main result is that the Gerstenhaber-Schack cohomology determines the Hochschild cohomology. More precisely, there exists a functor \(G\) from \(A\)-bimodules to Hopf \(A\)-bimodules, such that \(H^*(A,M)\cong H^*_{GS}(A,G(M))\) for every \(A\)-bimodule \(M\). This implies that the cohomological dimension of a Hopf algebra is smaller than or equal to its Gerstenhaber-Schack cohomological dimension, and leads to the second main question studied in the paper: are these two dimensions equal? Combining the two monoidal invariance results, it follows that there exists a functor \(F_1\) from \(A\)-bimodules to Yetter-Drinfeld modules over \(B\) such that \(H^*(A,M)\cong H^*_{GS}(B,F_1(M))\) for any \(A\)-bimodule \(M\), providing a partial answer to the first question. An affirmative answer to the second question can be given in the situation where \(A\) is cosemisimple of Kac type.