Classification of bicovariant differential calculi (Q1299151)

Let \(H\), \(A\) be Hopf algebras over a field \(k\), provided with a non-degenerate Hopf algebra pairing \(H \otimes A \to k\). One can then form the Drinfeld double \(D(A) = H \bowtie A^{\text{op}}\), which acts on \(\ker \varepsilon_{L} \hookrightarrow L\). The author considers the following notions: (i) A ``bicovariant first order differential calculus'' over \(A\) (``bicovariant calculus'', for short) is a pair \((\Gamma, d)\) where \(\Gamma\) is an \(A\)-Hopf module and \(d:A\to \Gamma\) is a bicomodule map and derivation, such that \(\Gamma\) is spanned by \(A dA\) [se \textit{S. L. Woronowicz}, Commun. Math. Phys. 122, 125-170 (1989; Zbl 0751.58042)]. (ii) A ``quantum tangent space'' is a \(D(A)\)-submodule of \(\ker \varepsilon_{L}\) (it is shown, using results from [S. L. Woronowicz, \textit{loc. cit.}] that ``bicovariant calculi'' of finite rank over \(A\) are in one-to-one correspondence with finite dimensional ``quantum tangent spaces''). (iii) ``Bicovariant calculi'' of various types (inner type-I and II, coboundary, centrally generated). A ``bicovariant calculus'' is \textit{coirreducible} if its corresponding ``quantum tangent space'' is irreducible as \(D(A)\)-module. The author presents (and in some cases, classifies) examples of ``bicovariant calculi'' for the following classes of Hopf algebras: duals of finite group algebras (''bicovariant calculi'' are in one-to-one correspondence with non-trivial conjugacy classes); finite group algebras (''bicovariant calculi'' are in one-to-one correspondence with pairs \((V, \lambda)\) with \(V\) a non-trivial right \(G\)-module and \(\lambda \in P(V^*)\)); universal enveloping algebras (examples of ``bicovariant calculi'' arise from the terms of the standard filtration). The main result of the paper is the following. If \(A\) is cosemisimple and \(H\) is factorizable, then coirreducible ``bicovariant calculi'' of finite rank over \(A\) are in one-to-one correspondence with non-trivial finite dimensional irreducible \(H\)-modules. The structure of the calculus corresponding to an irreducible \(H\)-module is described.