1411.1942Nov 7, 201421 pages.V3: title has changed, because the main theoretical results relating Hochschild and Gerstenhaber cohomologies are in fact valid for any Hopf algebra. However, because of a gap in part of Theorem 5.2 of the previous version, the computations in Section 6 now only cover the cosemisimple examples

Gerstenhaber-Schack and Hochschild cohomologies of Hopf algebras

Julien Bichon

Quantum Algebra K-Theory and Homology

arXiv PDF

Abstract

We show that the Gerstenhaber-Schack cohomology of a Hopf algebra determines its Hochschild cohomology, and in particular its Gerstenhaber-Schack cohomological dimension bounds its Hochschild cohomological dimension, with equality of the dimensions when the Hopf algebra is cosemisimple of Kac type. Together with some general considerations on free Yetter-Drinfeld modules over adjoint Hopf subalgebras and the monoidal invariance of Gerstenhaber-Schack cohomology, this is used to show that both Gerstenhaber-Schack and Hochschild cohomological dimensions of the coordinate algebra of the quantum permutation group are 3.

Briefing

What this paper is actually doing

Sign in and connect a model key to generate a briefing for this paper.

Socratic margin

Ask the abstract

Questions are grounded in the title and abstract. If the PDF is required, arXivDesk will say so.

Sign in to ask questions about this paper.