On some classes of lazy cocycles and categorical structures. (Q872177)

Cohomology for a cocommutative Hopf algebra \(H\) has been studied by M. Sweedler. If we replace \(H\) by a non-cocommutative Hopf algebra the definitions of 2-cocycle and coboundary are still meaningful and relevant, for instance in the theory of Hopf-Galois extensions. However, 2-cocycles and coboundaries do not form a group in general. For this reason one may want to restrict the attention to those cocycles satisfying a commutativity condition: these are the so-called lazy cocycles. They have been studied by several authors, form a group under convolution, play a role for instance in the understanding of biGalois objects for \(H\) and have a good behaviour with respect to the extension to Radford biproducts and to the Drinfeld double of \(H\). The present paper investigates two subclasses of lazy cocycles: pure lazy cocycles and neat lazy cocycles. A categorical interpretation of these restrictions is given as follows. Given a lazy cocycle \(c\) we may construct natural isomorphisms \(T_{M,N}\colon M\otimes N\to M\otimes N\) in the monoidal category of right \(H\)-comodules \(\mathcal M^H\). Then \((\mathcal M^H,T_{M,N})\) is an entwined category if and only if \(c\) is pure and \((\mathcal M^H,T_{M,N})\) is strongly entwined if and only if \(c\) is neat. In particular it is shown that neat lazy cocycles are pure lazy. According to the authors neat and pure cocycles do not seem to have a natural group structure. However, their natural extensions to Radford biproducts and to the Drinfeld double preserve the respective properties.