Crossed squares of cocommutative Hopf algebras

Abstract: In this paper, we define the notion of Hopf crossed square for cocommutative Hopf algebras extending the notions of crossed squares of groups and of Lie algebras. We prove the equivalence between the category of Hopf crossed squares and the category of double internal groupoids in the category of cocommutative Hopf algebras. The Hopf crossed squares turn out to be the internal crossed modules in the category of crossed modules in the category of cocommutative Hopf algebras.

Review text

A \emph{crossed module of groups} \((X,B,d)\) consists of groups \(X,B\) together with a group homomorphism \(d: X \rightarrow B\) and an action \(\rhd: B \times X \rightarrow X\) of \(B\) by group automorphisms on \(X\) such that \[ d(b\rhd x) = bd(x)b^{-1},\qquad d(x)\rhd y = xyx^{-1},\qquad \text{ for all } x,y\in X,b\in B. \] Such a crossed module turns out to be the equivalent to the notion of an internal groupoid in the category of groups, with \(B\) the associated `object set' and \(X \rtimes B\) the associated `set of morphisms'. The category of groups forms a semi-abelian category (a notion introduced by \textit{G. Janelidze} et al. [J. Pure Appl. Algebra 168, No. 2--3, 367--386 (2002; Zbl 0993.18008)]), and as observed by \textit{G. Janelidze} [Georgian Math. J. 10, No. 1, 99--114 (2003; Zbl 1069.18009)], the above correspondence between crossed modules and groupoids continues to hold internally to an arbitrary semi-abelian categories. Furthermore, as observed by \textit{D. Bourn} and \textit{M. Gran} [J. Pure Appl. Algebra 175, No. 1--3, 31--44 (2002; Zbl 1023.18013)], the category of internal groupoids, or equivalently, of crossed modules in a semi-abelian category is itself a semi-abelian category. This allows to form `higher-dimensional' versions of crossed modules in this abstract setting, called (internal) double crossed modules, and to establish their (abstract) equivalence with (internal) double groupoids. For example, in the setting of groups this leads to so-called `crossed squares of groups' as \(2\)-dimensional versions of crossed modules. Groups as well as Lie algebras can be recovered as special cases of \textit{cocommutative Hopf algebras} (over a field), with the latter still forming a semi-abelian category. In a previous article by the author together with \textit{M. Gran} and \textit{J. Vercruysse} [J. Pure Appl. Algebra 223, No. 10, 4171--4190 (2019; Zbl 1440.18013)], the abstract notion of a crossed module in the semi-abelian category of cocommutative Hopf algebras was identified with an explicit notion already considered by other authors. In this article, the author considers the corresponding two-dimensional version, and constructs an explicit notion of a \emph{Hopf crossed square} of cocommutative Hopf algebras. She then makes the explicit comparison with the notion of a double groupoid internal to the category of cocommutative Hopf algebras, providing a concrete instance of the above referenced abstract equivalence result.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Crossed squares of cocommutative Hopf algebras

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