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

DOI10.1016/J.JPAA.2005.06.002MaRDI QIDQ2581287zbMATH OpenOpenAlexFDO

Authors Julien Bichon, G. Carnovale

Publication date 9 January 2006

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0410263

zbMATH Keywords

biGalois objectsBrauer groupsHopf algebrasKac-Schauenburg exact sequenceslazy cocyclesmonoidal categoriesprojective representations

Mathematics Subject Classification ID

Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40)

Abstract: 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 class of cotriangular Hopf algebras is performed.

Review text

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.

Recommendations

• Lazy cocycles for commutative algebras.
• Lazy 2-cocycles over monoidal Hom-Hopf algebras
• On some classes of lazy cocycles and categorical structures.
• Extending lazy 2-cocycles on Hopf algebras and lifting projective representations afforded by them.
• Lazy 2-cocycle and Radford (m,n)-biproduct
• Lazy 2-cocycle on Radford biproduct Hom-Hopf algebra
• The lazy homology of a Hopf algebra.
• The fundamental structure theorems for twisted Hopf modules induced by lazy 2-cocycles.
• Crossed products of Hom-Hopf algebras
• scientific article; zbMATH DE number 53163

Cites work

• Cleft extensions for a hopf algebra generated by a nearly primitive element
• Bi-Galois objects over the Taft algebras
• Classification of finite-dimensional triangular Hopf algebras with the Chevalley property
• Clifford-type algebras as cleft extensions for some pointed hopf algebras
• Cocycle twisting of E(n)-module algebras and applications to the Brauer group.
• Cohomology of Algebras Over Hopf Algebras
• Crossed Products and Inner Actions of Hopf Algebras
• Equivalent crossed products for a hopf algebra
• EXTENSIONS OF GROUPS TO RING GROUPS
• Hopf bigalois extensions
• Hopf bimodules, coquasibialgebras, and an exact sequence of Kac
• Hopf-Galois systems
• Hopf-galois theory and tensor products of hopf algebras
• scientific article; zbMATH DE number 3946380 (Why is no real title available?)
• scientific article; zbMATH DE number 3558548 (Why is no real title available?)
• scientific article; zbMATH DE number 1113624 (Why is no real title available?)
• scientific article; zbMATH DE number 2069671 (Why is no real title available?)
• scientific article; zbMATH DE number 1751636 (Why is no real title available?)
• scientific article; zbMATH DE number 821242 (Why is no real title available?)
• Injective Hopf bimodules, cohomologies of infinite dimensional Hopf algebras and graded-commutativity of the Yoneda product.
• Monomial Hopf algebras.
• Multiplication alteration by two-cocycles - the quantum version
• On blocks of twisted group algebras
• Principal homogeneous spaces for arbitrary Hopf algebras
• Quasitriangular structures for some pointed hopf algebras of dimension 2ⁿ
• Skew pairing, cocycle deformations and double crossproducts
• SOME ISOMORPHISMS FOR THE BRAUER GROUPS OF A HOPF ALGEBRA
• The Brauer group of some quasitriangular Hopf algebras.
• The Brauer group of Sweedler’s Hopf algebra 𝐻₄
• The Brauer group of Yetter-Drinfel’d module algebras
• The diamond lemma for ring theory
• Triangular Hopf algebras with the Chevalley property

Cited in

(38)

• A decomposition of the Brauer-Picard group of the representation category of a finite group
• Cocycle twisting of E(n)-module algebras and applications to the Brauer group.
• Homomorphisms and rigid isomorphisms of twisted group doubles
• On monoidal autoequivalences of the category of Yetter-Drinfeld modules over a group: the lazy case
• Extending lazy 2-cocycles on Hopf algebras and lifting projective representations afforded by them.
• Quantum groups of \(\mathrm{GL}(2)\) representation type.
• On the Brauer-Picard group of a finite symmetric tensor category
• The group of bi-Galois objects over the coordinate algebra of the Frobenius-Lusztig kernel of \(\mathrm{SL}(2)\)
• Gauge deformations for Hopf algebras with the dual Chevalley property.
• Lazy 2-cocycles over monoidal Hom-Hopf algebras
• Cocycle deformations for liftings of quantum linear spaces.
• Cocycle Deformations and Brauer Groups
• Generic base algebras and universal comodule algebras for some finite-dimensional Hopf algebras
• Cohomology of invariant Drinfeld twists on group algebras.
• Lazy cocycles for commutative algebras.
• Examples of polynomial identities distinguishing the Galois objects over finite-dimensional Hopf algebras.
• Twisting algebras using non-commutative torsors: explicit computations.
• Subdirect sums of Lie algebras
• Finite symmetric tensor categories with the Chevalley property in characteristic 2
• Generalizations of weak commutativity for Lie algebras
• Pointed braided tensor categories
• Examples of Sweedler cohomology in positive characteristic
• Comodule algebras and 2-cocycles over the (braided) Drinfeld double
• Crossed products of Hom-Hopf algebras
• Hopf-Galois extensions and twisted Hopf algebroids
• Braided bi-Galois theory. II: The cocommutative case.
• On the subgroup structure of the full Brauer group of Sweedler Hopf algebra.
• Infinitesimal \(\mathcal{R}\)-matrices for some families of Hopf algebras
• A sequence to compute the Brauer group of certain quasi-triangular Hopf algebras.
• Twisted unipotent groups
• Discrete torsion in gauging non-invertible symmetries
• Hopf-Galois objects over bicrossed product Hopf algebras and twisting maps
• Pseudosymmetric braidings, twines and twisted algebras.
• The Brauer group of modified supergroup algebras.
• On the classification of Galois objects over the quantum group of a nondegenerate bilinear form.
• On some classes of lazy cocycles and categorical structures.
• Polynomial identities and noncommutative versal torsors.
• The lazy homology of a Hopf algebra.

This page was built for publication: Lazy cohomology: an analogue of the Schur multiplier for arbitrary Hopf algebras.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2581287)