Cohomology of the adjoint of Hopf algebras. (Q2518884): Difference between revisions

Let \(H\) be a Hopf algebra with antipode \(S\). For any \(y\in H\) one defines the adjoint map \(\text{Ad}_y\colon H\to H\) by \(\text{Ad}_y(x)=S(y_1)xy_2\) (here we used the Sweedler notations). One puts \(\text{ad}(x\otimes y)=\text{Ad}_y(x)\). It gives rise to the maps \(\text{ad}\colon H\otimes H\to H\) and \(R_{\text{ad}}\colon H\otimes H\to H\otimes H\), where \(R_{\text{ad}}=(1\otimes\text{ad})(\tau\otimes 1)(1\otimes\Delta)\). Here \(\tau\) is the transposition \(\tau(x\otimes y)=y\otimes x\) and \(\Delta\) is the comultiplication. It is well known that \(R_{\text{ad}}\) satisfies Yang-Baxter equation. The authors define a cochain complex \[ C^1_{\text{ad}}(H,H)\to C^2_{\text{ad}}(H,H)\to C^3_{\text{ad}}(H,H)\to C^3_{\text{ad}}(H,H) \] Here \(C^1_{\text{ad}}\) consists with maps \(f\colon H\to H\) which are derivations and coderivations. Moreover \[ C^2_{\text{ad}}(H,H)=\Hom(H^{\otimes 2},H),\quad C^3_{\text{ad}}(H,H)=\Hom(H^{\otimes 3},H)\oplus\Hom(H^{\otimes 2},H^{\otimes 2}) \] with suitable defined coboundaries. Cohomology of this cochain complex is called the `adjoint cohomology'. These groups are related with deformations of the pair \((H,\text{ad})\). The computations of the adjoint cohomology is done in some simple cases, including group algebra on the symmetric group on three letters. In Section 6 they introduce a homology theory of groupoids. It seems to me that the authors are not aware that the homology of groupoids is a particular case of the homology of small categories developed by many authors [see for example \textit{D. Quillen}, ``Higher algebraic \(K\)-theory'', Lect. Notes Math. 341, 85-147 (1973; Zbl 0292.18004)]. Since any groupoid is equivalent to a disjoint union of groups, groupoid homology quickly reduces to the group homology. In particular this can be applied to the conjugate groupoid associated to a group \(G\). In which case corresponding homology is a direct sum of the group homologies \(H_*(G_z)\), where \(G_z\) is the group of a centralizer of \(z\in G\) and the sum is taken over conjugacy classes of \(G\).