Lazy cohomology: an analogue of the Schur multiplier for arbitrary Hopf algebras. (Q2581287): Difference between revisions

Let \(A\) be a Hopf algebra over a commutative ring \(k\). The paper proposes a systematic study of the group \(H_L^2(A)\) of 2-cocycles that are convolution commuting with the identity map of \(A\). These cocycles are called lazy cocycles. The group \(H_L^2(A)\) was introduced, with the notation \(H_c^2(A)\), by \textit{P. Schauenburg} [Adv. Math. 165, No. 2, 194-263 (2002; Zbl 1006.16054)], related to a generalization of Kac's exact sequence. The authors prove that if \(H\) is \(k\)-flat, then \(H_L^2(A)\) is isomorphic to the group of bicleft biGalois objects of \(A\), so then it is isomorphic to a normal subgroup of the biGalois group \(\text{BiGal}(A)\) of \(A\). By using the generalized Kac-Schauenburg exact sequence, a Schur-Yamazaki type formula is derived, by describing \(H_L^2(A\otimes B)\) from \(H_L^2(A)\), \(H_L^2(B)\) and the group of central \(A\otimes B\) pairings. The connection between lazy cohomology and universal \(R\)-forms for coquasitriangular Hopf algebras is investigated, with applications to the Brauer group of a Hopf algebra. A monoidal category of projective representations is introduced and proved to have a structure of a monoidal \(H_L^2(A)\)-category. Several examples are provided, where the lazy cohomology group is computed.