Hopf formulae for homology of skew braces

Skew braces appeared originally in connection with the study of set-theoretic solutions to the Yang–Baxter equation [13, 25]. Now their applications go far beyond this domain, as they appear in several different areas; see for example [26].

A skew brace [13] is a triple $(A,+,\circ)$, where $(A,+)$ and $(A,\circ)$ are groups such that the compatibility condition $a\circ(b+c)=a\circ b-a+a\circ c$ holds for all $a,b,c\in A$.

Skew braces form a variety of universal algebras $\mathsf{SKB}$, and generalise at the same time groups and radical rings. Concretely, given a group $(G,\cdot)$ one can give $G$ a skew brace structure by taking $+=\cdot$ and $\circ=\cdot$. In particular, this means that the variety $\mathsf{Grp}$ of groups is a subvariety of the variety $\mathsf{SKB}$ of skew braces. On the other hand, a radical ring $(R,+,\cdot)$ is a (not necessarily commutative) ring without unit such that the operation $a\circ b=a+a\cdot b+b$ is a group operation. In this case, the triple $(R,+,\circ)$ is a skew brace. We will recall in Section 4 a characterisation of radical rings [25] that implies that radical rings also form a subvariety $\mathsf{RadRng}$ of the variety $\mathsf{SKB}$ of skew braces. Since skew braces form a variety of $\Omega$-groups in the sense of Higgins [14], hence in particular a semi-abelian category [19] (in fact, even a strongly protomodular category [2, 3]), it is natural to look at non-abelian homology of skew braces with coefficient functors in the subvarieties $\mathsf{Grp}$ of groups, $\mathsf{Ab}$ of abelian groups, and $\mathsf{RadRng}$ of radical rings.

Indeed, in recent years there have been some relevant developments in non-abelian homological algebra (see [10, 9, 17, 8, 4], for instance, and the references therein). The comonadic approach to homology theory of algebraic structures [1] turns out to be perfectly compatible with the fundamental concept of semi-abelian category, allowing one to extend and improve some classical results in group homology to a general categorical context including compact groups, crossed modules, Lie algebras and cocommutative Hopf algebras, for instance.

This article is a first step in the direction of applying the above approach to non-abelian homology to the variety of skew braces, by providing some precise descriptions of the second homology group of a skew brace in terms of a generalized Hopf formula.

In order to briefly explain this, it is useful to first recall this classical formula in the category $\mathsf{Grp}$ of groups and its relationship with the notion of central extensions. Consider the adjunction

where $\mathsf{ab}\colon\mathsf{Grp}\rightarrow\mathsf{Ab}$ is the classical abelianisation functor sending a group $G$ to the quotient $\mathsf{ab}(G)=\frac{G}{[G,G]}$ of $G$ by its derived subgroup $[G,G]$. Given a free presentation of a group $G$

where $F$ is a free group, consider the quotient $\frac{F}{[K,F]}$ of $F$ by the commutator subgroup $[K,F]$ as in the diagram

where the induced morphism $\overline{f}$ is then a weakly universal central extension of $G$ [1]. The Galois group of this central extension $\overline{f}$ of $G$ turns out to be an invariant of $G$, called the fundamental group $\pi_{1}(G)$ [17] of $G$, that is naturally isomorphic to the second integral homology group of $G$

via the classical Hopf formula, i.e. the right-hand isomorphism. The commutators $[K,F]$ and $[F,F]$ appearing in this formula are “relative” to the chosen subvariety of the variety $\mathsf{Grp}$ of groups, in this case the variety $\mathsf{Ab}$ of abelian groups, so that they could also be denoted by $[K,F]_{\mathsf{Ab}}$ and $[F,F]_{\mathsf{Ab}}$, respectively. The homology group $\mathsf{H}_{2}(G)$ can also be obtained by applying comonadic homology theory [1] to the variety $\mathsf{Grp}$ with respect to the abelianisation functor $\mathsf{ab}\colon\mathsf{Grp}\rightarrow\mathsf{Ab}$, so that $\mathsf{H}_{2}(G)\cong\mathsf{H}_{2}(G,\mathsf{ab})$, the right-hand side homology group now being the one arising from the comonadic approach by taking $\mathsf{ab}$ as coefficient functor:

The comonadic homology theory [1] in the semi-abelian context (as developed in [10, 9]), allows one to establish several generalized Hopf formulas for homology in other semi-abelian varieties than the variety of groups, relatively to a given subvariety (not necessarily the one of “abelian algebras”, as it is the case in the example above). The main difficulty in computing these formulas is to find an algebraic characterization of the central extensions (in the sense of [18]) with respect to the given subvariety, so that the denominator in the formula (1.3) can be made explicit. We do this in the present article in the variety $\mathsf{SKB}$ with respect to three particularly interesting subvarieties: the varieties $\mathsf{RadRng}$ of radical rings, $\mathsf{Grp}$ of groups and $\mathsf{Ab}$ of abelian groups. These are connected by the following adjunctions

where $U_{A},U_{R}$, $U_{G}$ and $U$ are inclusion functors, and $\hat{F}$, $G$, $F$ and $\mathsf{ab}$ their left adjoints.

First, in Section 3, we characterize the central extensions in $\mathsf{SKB}$ corresponding to the subvariety $\mathsf{Grp}$ of groups (Proposition 3.5) that are the surjective homomorphisms $f\colon A\rightarrow B$ of skew braces such that $[\operatorname{Ker}(f),A]_{\mathsf{Grp}}=0$, where $[\operatorname{Ker}(f),A]_{\mathsf{Grp}}$ is the additive subgroup of $A$ generated by all the elements of the form

where $a*b=-a+a\circ b-b$, which is an ideal of $A$.

Section 4 is devoted to the study of central extensions of skew braces relative to the subvariety $\mathsf{RadRng}$ of radical rings. For this purpose we introduce a new object, the radicalator (Definition 4.9). This is generated as a subgroup of the additive group by the elements $(a+b)\circ c-b\circ c+c-a\circ c$ and $a+b-a-b$ for all $a,b,c\in A$. The radicalator turns out to be an ideal $[A,A]_{\mathsf{RadRng}}$ (Proposition 4.8) playing a similar role with respect to the reflection from $\mathsf{SKB}$ to $\mathsf{RadRng}$ to the role played by the derived subgroup in the reflection from $\mathsf{Grp}$ to $\mathsf{Ab}$. Indeed, the quotient $A\rightarrow\frac{A}{[A,A]_{\mathsf{RadRng}}}$ is the universal one transforming a skew brace $A$ into a radical ring $\frac{A}{[A,A]_{\mathsf{RadRng}}}$, and an extension $f\colon A\rightarrow B$ of skew braces is central relatively to the subvariety $\mathsf{RadRng}$ if and only if $[\operatorname{Ker}(f),A]_{\mathsf{RadRng}}=0$ (Theorem 4.13). This pushes forward Rump’s connection between skew braces and radical rings [25] (see also [20]). We also observe that the central extensions of skew braces relative to the subvariety of braces (= skew braces of abelian type) can also be characterized in algebraic terms (Remark 4.14).

In Section 5, we consider the reflection from $\mathsf{SKB}$ to the subvariety $\mathsf{Ab}$ of abelian groups, and characterize the corresponding central extensions. For this, given an ideal $I$ of $A$, the additive subgroup generated by the set

is shown to be an ideal (Proposition 5.3), denoted by $[I,A]_{\mathsf{Ab}}$ (here $[a,b]_{+}$ and $[a,b]_{\circ}$ are the usual group-theoretic commutators with respect to the operations $+$ and $\circ$, respectively). An extension $f\colon A\rightarrow B$ of skew braces is then central with respect to $\mathsf{Ab}$ if and only if $[\operatorname{Ker}(f),A]_{\mathsf{Ab}}=0$ (Proposition 5.4). Note that these central extensions of skew braces have already been studied in [23, 24, 21]. We also observe that the commutator $[\operatorname{Ker}(f),A]_{\mathsf{Ab}}$ coincides with the Huq commutator defined in [15] (Proposition 5.5).

In the last section we deduce the corresponding Hopf formulae for homology of skew braces, and then apply the Stallings–Stammbach exact sequence holding in any semi-abelian variety [10, 9] to these contexts. A result relating lower central series to low-dimensional homology concludes the article (Corollary 6.2). This work opens the way to the study of relative commutators in skew braces in the sense of [5], as well as to the theory of higher central extensions of skew braces, following the recent developments in categorical algebra [9, 17, 8, 4].

Recall that a skew brace [13] is a triple $(A,+,\circ)$, where $(A,+)$ and $(A,\circ)$ are groups such that the compatibility condition $a\circ(b+c)=a\circ b-a+a\circ c$ holds for all $a,b,c\in A$. The inverse of an element $a\in A$ with respect to the circle operation $\circ$ will be denoted by $a^{\prime}$. We will denote the groups $(A,+)$ and $(A,\circ)$ by $A_{+}$ and $A_{\circ}$, respectively.

Let $A$ be a skew brace. There are two canonical actions by automorphisms

We can introduce a binary operation $*\colon A\times A\rightarrow A$ defined by $a*b=-a+a\circ b-b$ for all $a,b\in A$. By definition, a normal subgroup $I$ of $A_{+}$ is an ideal of $A$ if $a*x\in I$ and $x*a\in I$ for all $a\in A$ and $x\in I$. A normal subgroup $I$ of of the group $(A,+)$ such that $I$ is a subgroup of $A_{\circ}$ and $A*I\subset I$ is called a strong left ideal.

Since skew braces form a variety $\mathsf{SKB}$ of $\Omega$-groups in the sense of Higgins [14], any subvariety $\mathcal{X}$ of $\mathsf{SKB}$ is admissible in the sense of Categorical Galois Theory [18]. We denote by $I\colon\mathsf{SKB}\to\mathcal{X}$ the reflector to the subvariety $\mathcal{X}$ of $\mathsf{SKB}$, left adjoint of the inclusion functor $U\colon\mathcal{X}\rightarrow\mathsf{SKB}$.

Observe that $R\colon\mathsf{SKB}\rightarrow\mathsf{SKB}$ is an endofunctor of $\mathsf{SKB}$.

Given an extension $f:A\to B$ we form the pullback

where $A\times_{B}A=\{(a_{1},a_{2})\in A\times A\,\mid\,f(a)=f(b)\}$, while $s$ and $t$ are the first and second projection, respectively. The definition of central extension relative to a given subvariety $\mathcal{X}$ of $\mathsf{SKB}$ (as in the work of the Fröhlich school [11, 12, 22]) is then the following:

As observed in [18], this definition coincides with the categorical one in the case of varieties of $\Omega$-groups, hence in particular in the variety $\mathsf{SKB}$. Any subvariety $\mathcal{X}$ of $\mathsf{SKB}$ as above is then admissible in the sense of Categorical Galois Theory for the class of surjective homomorphisms (see Theorem $3.4$ in [18]). This means that the left adjoint $I$ in (2.1) preserves a special type of pullbacks, namely the ones of the form

where $\phi$ is any surjective homomorphism and $\eta_{A}$ is the $A$-component of the unit $\eta$ of the adjunction. The property of admissibility guarantees the validity of a general Galois theorem [16] that in our case allows one to classify the central extensions of a skew brace $B$ in terms of a suitable category of (internal) actions in $\mathcal{X}$ on the Galois groupoid of a weakly universal central extension $(E,p)$ of $B$ (see the last section in [18] for more details).

By the classical Birkhoff theorem, the variety of groups can be identified with the subvariety $\mathsf{Grp}$ of $\mathsf{SKB}$ determined by the additional identity $x+y=x\circ y$. It then follows that there is an adjunction between these two categories

where $\mathsf{Grp}$ is the subvariety of $\mathsf{SKB}$ whose objects are skew braces with the property that the two group operations $+$ and $\circ$ are equal. This subvariety is isomorphic to the category of groups, of course, and this justifies the slight abuse of notation. The functor $U_{G}$ is a full inclusion, and in order to describe its left adjoint $F$ in (3.1) the following definition will be needed:

It is well known that $A*A$ is an ideal of $A$ and it is the smallest ideal $I$ such that the quotient $A/I$ is a group.

In our situation the reflector $F:\mathsf{SKB}\to\mathsf{Grp}$ is the functor sending the skew brace $A$ to the quotient $F(A)=A/(A*A)$ by the ideal $A*A$ (with obvious definition on morphisms). Note that here the ideal $A*A$ is precisely the kernel $R(A)$ of the $A$-component of the unit $\eta_{A}\colon A\rightarrow A/(A*A)$ of the adjunction (3.1). This adjunction is admissible in the sense of Categorical Galois theory, since $\mathsf{Grp}$ is a subvariety of the variety $\mathsf{SKB}$ (see Section $5$ in [18]).

We write $\mathsf{RadRng}$ to denote the category of radical rings. As it follows from the results in [25] this category can be presented as the subvariety of $\mathsf{SKB}$ determined by the following additional two identities:

and

This important observation implies that the variety $\mathsf{RadRng}$ of radical rings determines an adjunction

where $U_{R}$ is the inclusion functor and $G$ its left adjoint associating, with any skew brace $A$, its universal radical ring $G(A)$. This adjunction is again admissible in the sense of Categorical Galois theory [18] (essentially for the same reasons as for the subvariety $\mathsf{Grp}$ of $\mathsf{SKB}$, as explained in the previous section). The main goal of this section is to characterize the extensions in $\mathsf{SKB}$ that are central with respect to the adjunction (4.1).

Our next goal is to show that $[I,A]_{\mathsf{RadRng}}$ is an ideal.