Extending lazy 2-cocycles on Hopf algebras and lifting projective representations afforded by them

On some classes of lazy cocycles and categorical structures

We study some classes of lazy cocycles, called pure (respectively neat), together with their categorical counterparts, entwined (respectively strongly entwined) monoidal categories.

The lazy homology of a Hopf algebra

To any Hopf algebra H we associate two commutative Hopf algebras, which we call the first and second lazy homology Hopf algebras of H. These algebras are related to the lazy cohomology groups based on the so-called lazy cocycles of H by universal coefficient theorems. When H is a group algebra, then its lazy homology can be expressed in terms of the 1- and 2-homology of the group. When H is a cosemisimple Hopf algebra over an algebraically closed field of characteristic zero, then its first lazy homology is the Hopf algebra of the universal abelian grading group of the category of corepresenta…

Lazy cohomology: an analogue of the Schur multiplier for arbitrary Hopf algebras

We propose a detailed systematic study of a group H^2_L(A) associated, by elementary means of lazy 2-cocycles, to any Hopf algebra A. This group was introduced by Schauenburg (with a different name) in order to generalize G.I. Kac's exact sequence. We study the various interplays of lazy cohomology in Hopf algebra theory: Galois and biGalois objects, Brauer groups and projective representations. We obtain a Kac-Schauenburg-type sequence for double crossed products of possibly infinite-dimensional Hopf algebras. Finally the explicit computation of H^2_L(A) for monomial Hopf algebras and for a c…

Extending Structures II: The Quantum Version

Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E with 1_{E} \in H and the multiplication map $A\otimes H \to E$ is bijective. The tool we use is a new product, we call it the unified product, in the construction of which A and H are connected by three coalgebra maps: two actions and a generalized cocycle. Both the crossed product of an Hopf algebra acting on an algebra and the bicrossed product of two Hopf …

Pseudosymmetric braidings, twines and twisted algebras

A laycle is the categorical analogue of a lazy cocycle. Twines (as introduced by Bruguieres) and strong twines (as introduced by the authors) are laycles satisfying some extra conditions. If $c$ is a braiding, the double braiding $c^2$ is always a twine; we prove that it is a strong twine if and only if $c$ satisfies a sort of modified braid relation (we call such $c$ pseudosymmetric, as any symmetric braiding satisfies this relation). It is known that symmetric Yetter-Drinfeld categories are trivial; we prove that the Yetter-Drinfeld category $_H{\cal YD}^H$ over a Hopf algebra $H$ is pseudos…

群代数扭变中积分 Hopf 阶的存在性

Existence of integral Hopf orders in twists of group algebras

本文给出一个群论条件，在满足该条件时，群代数的扭变允许积分 Hopf 阶，并构造了该 Hopf 阶，给出了唯一性判据和例子，还提供了一个不允许积分 Hopf 阶的复 Hopf 代数实例。