Abstract
Lie algebras and groups equipped with a multiplication \(\mu \) satisfying some compatibility properties are studied. These structures are called symmetric Lie \(\mu \)-algebras and symmetric \(\mu \)-groups respectively. An equivalence of categories between symmetric Lie \(\mu \)-algebras and symmetric Leibniz algebras is established when 2 is invertible in the base ring. The second main result of the paper is an equivalence of categories between simply connected symmetric Lie \(\mu \)-groups and finite dimensional symmetric Leibniz algebras.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
One of the leading motivations for introducing Leibniz algebras by Loday was an intriguing possibility to define some mythical objects, which he named coquecigrues (after Rabelais). Those should stand in the same relation to groups, as Leibniz algebras are to Lie algebras. See [4, Section 11] for details, or [5, Section 5] for further details and possible consequences for algebraic K-theory, etc.
Recently the second author looked into his very old file of papers and discovered our notes written in 1995 and entitled “The first step to coquecigrue: the grin”, as well as unpublished notes by Ronco [9] written about the same time, where among other results our Corollary 6 is stated.
Reading these notes after 24 years, we think they still are of some interest. The present paper essentially consists of those notes of ours, with the addition of present Sect. 6.
The aim of this work is to extend the classical correspondence between Lie groups and Lie algebras to a bit wider class, namely between so called Lie \(\mu \)-groups and symmetric Leibniz algebras.
In Sect. 2 we introduce symmetric Leibniz algebras and state some of their properties that we will need.
In Sect. 3 we define the closely related symmetric Lie\(\mu \)-algebras, and in Sect. 4 we prove that upon inverting 2 they become equivalent to symmetric Leibniz algebras (Theorem 11).
In Sect. 5, group side counterparts of these structures enter, under the name of symmetric\(\mu \)-groups (\(\Sigma \mu \)-groups for short). We exhibit there some of their properties parallel to those for symmetric Leibniz algebras.
In Sect. 6 we consider the straightforward analogs of Lie groups for \(\Sigma \mu \)-groups and prove the analog of the classical equivalence between Lie algebras and simply connected Lie groups—Corollary 19 describes an equivalence between the category of finite dimensional symmetric Leibniz algebras and simply connected Lie \(\Sigma \mu \)-groups.
Section 7 recasts our results in terms of the formalism of [1]. We describe the theory of symmetric Leibniz algebras as a linear extension of the theory of Lie algebras. We also describe theories of symmetric Leibniz algebras and symmetric \(\mu \)-groups as pullbacks of diagrams of simpler theories.
Let us finish the introduction with acknowledging very useful advice of the referee which helped to improve the paper a lot.
2 Symmetric Leibniz algebras
We fix a commutative ring \(\textsf {K} \). All modules and tensor products are taken over \(\textsf {K} \). The category of modules is denoted by \({{\,\mathrm{\mathfrak {MOD}}\,}}\) and the category of Lie algebras by \({{\,\mathrm{\mathfrak {LIE}}\,}}\). We identify modules with abelian Lie algebras, so we have the inclusion \({{\,\mathrm{\mathfrak {MOD}}\,}}\subset {{\,\mathrm{\mathfrak {LIE}}\,}}\).
Leibniz algebras are a generalization of Lie algebras. Importance of these algebras was realized by Jean-Louis Loday, see [3, Section 10.6]. Recall that a (right) Leibniz algebra is a module \({\mathcal {L}}\), equipped with an operation \([-,-]:{\mathcal {L}}\otimes {\mathcal {L}}\rightarrow {\mathcal {L}}\) such that the right Leibniz identity holds:
We refer the reader to [5,6,7, 10] for more on Leibniz algebras, Leibniz homology, Leibniz representations and conjectures about coquecigrue. For other conjectures for Leibniz algebras and Leibniz homology see [12, 13].
The category of Leibniz algebras is denoted by \({{\,\mathrm{\mathfrak {LB}}\,}}\). Recall that in any Leibniz algebra one has identities
which are direct consequences of the right Leibniz identity (1).
An exact sequence
of Leibniz algebras and Leibniz algebra homomorphisms is called abelian if \({\mathcal {L}}_1\) is an abelian Leibniz algebra. Moreover it is called central if \({\textsf {Im} }(i)\) is a central subalgebra of \({\mathcal {L}}\), that is
hold for all \(x\in {\mathcal {L}}\) and \(a\in {\mathcal {L}}_1\).
Let \({\mathcal {L}}\) be a Leibniz algebra. The submodule of \({\mathcal {L}}\) generated by elements of the form [x, x], \(x\in {\mathcal {L}}\) is denoted by \({\mathcal {L}}^{\textsf {ann} }\). It is a two-sided ideal of \({\mathcal {L}}\) [6]. The quotient \({\mathcal {L}}/{\mathcal {L}}^{\textsf {ann} }\) is a Lie algebra, denoted by \({\mathcal {L}}_{\textsf {Lie} }\) and called the Liezation of \({\mathcal {L}}\). The functor \({\mathcal {L}}\mapsto {\mathcal {L}}_{\textsf {Lie} }\) is the left adjoint to the inclusion \({{\,\mathrm{\mathfrak {LIE}}\,}}\subset {{\,\mathrm{\mathfrak {LB}}\,}}\) [6]. The inclusion \({{\,\mathrm{\mathfrak {MOD}}\,}}\subset {{\,\mathrm{\mathfrak {LB}}\,}}\) also has a left adjoint functor, which is given by \({\mathcal {L}}\mapsto {\mathcal {L}}_{\textsf {ab} }:={\mathcal {L}}/[{\mathcal {L}},{\mathcal {L}}]\). The module \({\mathcal {L}}_{\textsf {ab} }\) is known as the abelization of \({\mathcal {L}}\).
Lemma 1
Let \({\mathcal {L}}\) be a Leibniz algebra satisfying the left Leibniz identity:
Then one has
- i)
\([[x,x],y]=0,\)
- ii)
\( [[x,y],z]+[[y,x],z]=0,\)
- iii)
\([[x,y],z] + [z,[x,y]]=0,\)
- iv)
\([[y,z],x]=[[x,z],y]-[[x,y],z],\)
- v)
\([[[a,b],c],d]=[[[d,c],a],b]-[[[d,c],b],a]-[[[d,a],b],c]+[[[d,b],a],c],\)
- vi)
\(2 \ [[x,y],[x,y]]=0.\)
Proof
Take \(x=y\) in the equality (3) to obtain i). The identity ii) is a formal consequence of i). Relation iii) can be obtained by addition of the identities (1) and (3). To show iv) one uses iii) and then the equality (1):
Relation v) can be deduced from iv), if one puts \(y=[a,b], \ z=c, \ x=d\) and then uses the equality (1):
In order to prove vi) we take \(a=d=x\) and \(b=c=y\) in v):
By the identity i) the third summation vanishes, and we get
Now vi) can be obtained using the identity (1):
\(\square \)
Definition 2
A Leibniz algebra is symmetric, if it satisfies the left Leibniz identity (3) and
By definition we have all identities proved in Lemma 1. Moreover, by vi) of the same Lemma, if two-torsion in \({\mathcal {L}}\) is zero, then the condition (4) in Definition 2 is redundant.
Let \({{\,\mathrm{\mathfrak {SLB}}\,}}\) be the category of symmetric Leibniz algebras. It is obvious that Lie algebras are exactly those symmetric Leibniz algebras for which the identity \([x,x]=0\) holds. In particular we have inclusions \({{\,\mathrm{\mathfrak {LIE}}\,}}\subset {{\,\mathrm{\mathfrak {SLB}}\,}}\subset {{\,\mathrm{\mathfrak {LB}}\,}}\).
Let \({\mathcal {L}}\) be a symmetric Leibniz algebra. Then by Lemma 1 we have
Thus one has a central extension of Leibniz algebras
We will need the second divided power \(\Gamma ^2V\) of a module V [11]. Recall that \(\Gamma ^2V\) is generated as a module by elements of the form \(x^{[2]}\), \(x\in V\). These generators must satisfy the following relations
Here \(k\in \textsf {K} \) and \(x,y,z\in V.\) We set
In this notations we have
It follows from the definition that \(x\cdot y\) is bilinear and symmetric on x and y. If V is a free module, then \(\Gamma ^2V\) fits in the short exact sequence
where \(i(x^{[2]})=x\otimes x\). Observe that \(i(x\cdot y)=x\otimes y+y\otimes x\).
Recall also that if 2 is invertible in \(\textsf {K} \), then the map \(V^{\otimes 2}\rightarrow \Gamma ^2(V)\) given by \(x\otimes y\rightarrow x\cdot y\) yields an isomorphism \({\textsf {Sym} }^2(V)\cong \Gamma ^2(V)\). Here and elsewhere \({\textsf {Sym} }^2\) denotes the second symmetric power.
Lemma 3
-
i)
Let \({\mathcal {L}}\) be a symmetric Leibniz algebra. Then there is a well-defined linear map \(\sigma :\Gamma ^2({\mathcal {L}}_{\textsf {ab} })\rightarrow {\mathcal {L}}\) given by
$$\begin{aligned}\sigma (\bar{x}^{[2]})=[x,x].\end{aligned}$$ -
ii)
One has an exact sequence
$$\begin{aligned} \Gamma ^2({{\mathcal {L}}}_{\textsf {ab} }){\xrightarrow []{\sigma }} {{\mathcal {L}}} \rightarrow {{\mathcal {L}}}_{\textsf {Lie} } \rightarrow 0 \end{aligned}$$of Leibniz algebras and Leibniz algebra homomorphisms, where \(\Gamma ^2({{\mathcal {L}}}_{\textsf {ab} })\) is considered as an abelian Leibniz algebra. Moreover \({\textsf {Im} }(\sigma )\) is a central subalgebra of \({\mathcal {L}}\).
Proof
i) For any \(x,y,z\in {\mathcal {L}}\) we have
Here we used iii) and vi) of Lemma 1. Thus \(\sigma \) is well-defined.
ii) Comparing the definitions we see that \({\textsf {Im} }(\sigma )={\mathcal {L}}^{\textsf {ann} }\) and hence the result. \(\square \)
Recall that a Leibniz algebra \({\mathcal {L}}\) is perfect if \({\mathcal {L}}=[{\mathcal {L}},{\mathcal {L}}]\).
Corollary 4
Any perfect symmetric Leibniz algebra is a Lie algebra.
Proof
In this case \({\mathcal {L}}_{\textsf {ab} }=0\). Hence \({\mathcal {L}}\rightarrow {\mathcal {L}}_\textsf {Lie} \) is an isomorphism thanks to the part ii) of Lemma 3. \(\square \)
Recall that [15] the free Lie algebra \({\textsf {Lie} }(V)\) generated by a free module V has a natural grading
where \({\textsf {Lie} }_n(V)\) is spanned by all n-fold commutators of elements of V. For \(n=1\) and \(n=2\) we have \({\textsf {Lie} }_1(V)=V\) and \({\textsf {Lie} }_2(V)=\Lambda ^2V\).
Recall also that [6] the free Leibniz algebra \({\textsf {Leib} }(V)\) generated by a module V is also graded:
where the bracket on \({\textsf {Leib} }(V)\) is uniquely defined by the rule:
Here \(\omega \in V^{\otimes n}\), \(n\ge 1, v\in V\). In particular the map
given by
defines a surjective graded homomorphism of Leibniz algebras
which clearly induces an isomorphism \(({\textsf {Leib} }(V))_\textsf {Lie} \cong {\textsf {Lie} }(V)\). It is also clear that the map \(\pi \) is an isomorphism in degree 1.
Our next goal is to describe the free symmetric Leibniz algebra \({\textsf {SymLeib} }(V)\) generated by V. Clearly the homomorphism \(\pi \) has the following decomposition
where \(\varpi ^1\) and \(\varpi ^2\) are surjective Leibniz algebra homomorphisms.
Proposition 5
Let V be a free module. Then for \({\mathcal {L}}={\textsf {SymLeib} }(V)\), one has a central extension of Leibniz algebras:
Proof
Since the defining relations of Leibniz and symmetric Leibniz algebras are of degree 3, the free Leibniz and symmetric Leibniz algebras have the same components in degree 1 and 2, which are respectively \(V={\mathcal {L}}_{\textsf {ab} }\) and \(V^{\otimes 2}\). Thus injectivity of \(\sigma \) follows from the exact sequence (5). The rest follows from Lemma 3. \(\square \)
Corollary 6
The free symmetric Leibniz algebra \({\textsf {SymLeib} }(V)\) is a graded module
Moreover, the map
is an isomorphism when \(n=1,2\), while the map
is an isomorphism, when \(n\ge 3\). Thus we have
This result in the same period (i.e. around 1995) was obtained independently by Ronco [9] when \(\textsf {K} \) is a field of characteristic \(\not =2\).
3 Symmetric Lie \(\mu \)-algebras
We now introduce the notion of symmetric Lie \(\mu \)-algebra, or, for short, Lie \({\Sigma \mu }\)-algebra. The strange terminology stems from the fact that we actually aim at general Lie \(\mu \)-algebras, to be investigated in [2], of which the symmetric Lie \(\mu \)-algebras are a particular case.
Definition 7
A symmetric Lie\(\mu \)-algebra is a pair \(({\mathfrak {m}},\mu )\), where \({\mathfrak {m}}\) is a Lie algebra and \(\mu :{\mathfrak {m}}\otimes {\mathfrak {m}}\rightarrow {\mathfrak {m}}\) is a multiplication, such that the following identities hold
- i)
\(xy=yx\),
- ii)
\(x(yz)=0=(xy)z,\)
- iii)
\(x \lbrace y,z\rbrace =0,\)
- iv)
\( \lbrace xy,z\rbrace =0.\)
Here \(\lbrace -,-\rbrace \) denotes the Lie bracket on \({\mathfrak {m}}\) and \(xy=\mu (x\otimes y)\).
The first two identities show that the pair \(({\mathfrak {m}},\mu )\) is a commutative, associative nilpotent algebra of class two. Conversely, any such algebra can be seen as a Lie \({\Sigma \mu }\)-algebra with trivial bracket.
Any Lie algebra can be considered as a Lie \({\Sigma \mu }\)-algebra with zero multiplication \(xy=0\). In particular any module has the structure of a Lie \({\Sigma \mu }\)-algebra with trivial bracket and trivial multiplication. Such Lie \({\Sigma \mu }\)-algebras are called abelian Lie \({\Sigma \mu }\)-algebras.
A Lie \({\Sigma \mu }\)-ideal of a Lie \({\Sigma \mu }\)-algebra \({\mathfrak {m}}\) is a submodule \({\mathfrak {a}}\) such that \([{\mathfrak {m}}, {\mathfrak {a}}]\subset {\mathfrak {a}}\) and \({\mathfrak {m}}{\mathfrak {a}}\subset {\mathfrak {a}}\). Moreover \({\mathfrak {a}}\) is a central\({\Sigma \mu }\)-ideal if \([{\mathfrak {m}},{\mathfrak {a}}]=0={\mathfrak {m}}{\mathfrak {a}}\).
It follows from iv) of Definition 7 that submodule \({\textsf {Im} }(\mu )\) is a central ideal of \({\mathfrak {m}}\). The quotient algebra is denoted by \({\mathfrak {g}}={\mathfrak {m}}_\textsf {Lie} \) and is called the Liezation of \({\mathfrak {m}}\). The abelization of the Lie\({\Sigma \mu }\)-algebra\({\mathfrak {m}}\) is the module \({\mathfrak {g}}_{\textsf {ab} }\) and is denoted by \({\mathfrak {m}}_{\textsf {AB} }\) in order to distinguish it from \({\mathfrak {m}}_{\textsf {ab} }\) which is the abelization of the underlying Lie algebra. The last object has a canonical structure of a commutative, associative nilpotent algebra of class two, because by the identity iii) Lie commutator \([{\mathfrak {m}},{\mathfrak {m}}]\) is an ideal of the underlying commutative algebra.
Lemma 8
For a \({\Sigma \mu }\)-algebra \({\mathfrak {m}}\) the product \(\mu :{\mathfrak {m}}\otimes {\mathfrak {m}}\rightarrow {\mathfrak {m}}\) factors through \({\textsf {Sym} }^2({\mathfrak {m}}_{\textsf {AB} })\) yielding an exact sequence of \({\Sigma \mu }\)-algebras
where \({\mathfrak {g}}={\mathfrak {m}}_\textsf {Lie} \), \(\mu '(\bar{x}\odot \bar{y})=xy\) and \({\textsf {Sym} }^2({\mathfrak {m}}_{\textsf {AB} })\) is considered as abelian Lie \({\Sigma \mu }\)-algebra. Here \(\bar{x}\) denotes the class of \(x\in {\mathfrak {m}}\) in \({\mathfrak {m}}_{\textsf {AB} }\). Furthermore \({\textsf {Im} }(\mu ')\) is a central \({\Sigma \mu }\)-ideal of \({\mathfrak {m}}\).
Proof
By our construction we have an exact sequence:
Let us use identities of Definition 7. By the identity i) the map \(\mu \) factors through \({\textsf {Sym} }^2({\mathfrak {m}})\). Next, by the identity ii) it further factors through \({\textsf {Sym} }^2({\mathfrak {m}}_\textsf {Lie} )\). It follows from the identities iii) that this map factors through the second symmetric power of abelization \({\mathfrak {m}}_{\textsf {AB} }\) and hence the result. \(\square \)
A Lie algebra \({\mathfrak {g}}\) is called \({\Sigma \mu }\)-rigid if the only \({\Sigma \mu }\)-algebra structure on it is the trivial one: \(xy=0\), \(x,y\in {\mathfrak {g}}\).
Corollary 9
Let \({\mathfrak {m}}\) be a Lie algebra, \({\mathfrak {z}}\) be the center of \({\mathfrak {m}}\) and \({\mathfrak {h}}={\mathfrak {m}}/[{\mathfrak {m}},{\mathfrak {m}}]\).
- i)
Any \({\Sigma \mu }\)-algebra structure on \({\mathfrak {m}}\) is determined by the linear map \({\textsf {Sym} }^2({\mathfrak {h}})\rightarrow {\mathfrak {z}}\), given by \(\bar{x}\odot \bar{y}\mapsto xy\), \(x,y\in {\mathfrak {m}}\).
- ii)
Starting with a linear map \(\Phi :{\textsf {Sym} }^2({\mathfrak {h}})\rightarrow {\mathfrak {z}}\), define \(xy:=\Phi (\bar{x}\odot \bar{y})\), \(x,y\in {\mathfrak {m}}\). This multiplication on \({\mathfrak {m}}\) satisfies all conditions of Definition 7 except ii). If additionally \({\mathfrak {z}}\subset [{\mathfrak {m}},{\mathfrak {m}}]\) then this multiplication defines a \({\Sigma \mu }\)-algebra structure on \({\mathfrak {m}}\).
- iii)
A Lie algebra \({\mathfrak {m}}\) is \({\Sigma \mu }\)-rigid if either \({\mathfrak {m}}\) is perfect, or the center of \({\mathfrak {m}}\) is trivial.
Proof
i) is a weak form of Lemma 8. ii) is trivial, while iii) is immediate from i). \(\square \)
As an illustration of Corollary 9 we can take \({\mathfrak {m}}\) to be the Heisenberg Lie algebra of dimension \(2k+1\), with basis \(x_1,\ldots , x_k\), \(y_1,\ldots , y_k,z\) such that \(\{x_i,y_i\}=z\) for all \(i=1,\ldots ,k\) and other nontrivial brackets being zero. Choose a subset \(I\subset \{1,\ldots ,k\}\) and define a \({\Sigma \mu }\)-algebra structure by
Proposition 10
Let \({\textsf {Lie} }_{\Sigma \mu }(V)\) be the free Lie \({\Sigma \mu }\)-algebra freely generated by a module V. Then the map \(\mu '\) from the Lemma 8 is injective and hence one has a central extension of Lie \({\Sigma \mu }\)-algebras:
Proof
We set \({\mathfrak {m}}={\textsf {Lie} }_{\Sigma \mu }(V).\) Since the left adjoint of the composite functor
is the composite of corresponding left adjoint functors, we have \({\mathfrak {m}}_\textsf {Lie} ={\textsf {Lie} }(V)\). By similar reasoning \({\mathfrak {m}}_{\textsf {AB} }\cong V\). For simplicity we identify these modules. For the map \(\mu '\) we have
Here \(u,v\in V={\mathfrak {m}}_{\textsf {AB} }\) and \(uv\in {\mathfrak {m}}\).
Any commutative, associative nilpotent algebra of class two can be considered as a Lie \({\Sigma \mu }\)-algebra with trivial bracket. In particular, we can take the free such algebra generated by V, that is
where for \(x,y\in V\), \(\omega ,\omega _1\in {\textsf {Sym} }^2(V)\) one sets
By universal property of free Lie \({\Sigma \mu }\)-algebras the identity map \(\textsf {Id} _V\) has a unique extension \(c:{\textsf {Lie} }_{\Sigma \mu }(V)\rightarrow {\textsf {Com.Ass.Nil} }_{\textsf {2} }(V)\). For any \(u,v\in V\) we have
Thus \(c\circ \mu '=\textsf {Id} _{{\textsf {Sym} }^2(V)}\) and the result follows. \(\square \)
4 The case when 2 is invertible in \(\textsf {K} \)
In this section we assume that 2 is invertible in \(\textsf {K} \). Our goal is to prove the following result.
Theorem 11
The categories of symmetric Leibniz algebras and Lie \({\Sigma \mu }\)-algebras are isomorphic.
This a consequence of Propositions 12 and 13 below.
Proposition 12
Let \({\mathcal {L}}\) be a symmetric Leibniz algebra. We put:
(Thus \([x,y]=\lbrace x,y\rbrace +xy\).) Then \({\mathcal {L}}\) together with operations \(\lbrace -,-\rbrace \) and \(\mu (x,y)=xy\) is a Lie \({\Sigma \mu }\)-algebra.
Proof
First we look at the bracket \( \lbrace -,-\rbrace .\) The relation \(\lbrace x,x\rbrace =0\) is obvious. Since \([x,-]\) and \([-,x] \) are derivations, the same is true for \(\lbrace x, - \rbrace \). Thus \(\lbrace -,-\rbrace \) is a Lie algebra structure.
Next about the multiplication. Obviously the map \((x,y)\mapsto xy\) gives a commutative algebra structure. We have
Similarly
Here we used the identity (2) and the identity (ii) of Lemma 1. It follows that
Similarly
This shows that the multiplication defines a commutative and associative algebra structure of nilpotence degree two.
We have
By the relation iii) of Lemma 1 the first and third summand gives zero, same with remaining summands. Hence \(4x\lbrace y,z\rbrace =0.\)
Similarly
because of relations (2) and the identity (ii) of Lemma 1. This finishes the verification that one really obtains a Lie \({\Sigma \mu }\)-algebra. \(\square \)
Proposition 13
Let \({\mathfrak {m}}\) be a Lie \({\Sigma \mu }\)-algebra. We put
Then \([-,-]\) defines a symmetric Leibniz algebra structure on \({\mathfrak {m}}\).
Proof
For \([x,y]= \lbrace x,y\rbrace +xy\) one has:
and hence both the right and left Leibniz identities are fulfilled. Checking (4) is not necessary, as mentioned after Definition 2. \(\square \)
5 \({\Sigma \mu }\)-groups
In this section \(\textsf {K} ={\mathbb {Z}}\). The category of abelian groups is denoted by \({{\,\mathrm{\mathfrak {AB}}\,}}\), while the category of groups is denoted by \({{\,\mathrm{\mathfrak {GR}}\,}}\). It is well known that the inclusion \({{\,\mathrm{\mathfrak {AB}}\,}}\subset {{\,\mathrm{\mathfrak {GR}}\,}}\) has the left adjoint given by \(T\mapsto T_{\textsf {ab} }=T/[T,T]\), \(T\in {{\,\mathrm{\mathfrak {GR}}\,}}\). The group \(T_{\textsf {ab} }\) is called the abelization of the group T.
The following is a group-theoretic version of Definition 7. Just as the latter, this is a particular case of the notion of general \(\mu \)-group, which we will study in [2].
Definition 14
A \({\Sigma \mu }\)-group is a pair \((G,\mu )\), where G is a group, not necessarily commutative, written additively, together with a binary operation \(\mu :G\times G\rightarrow G\) such that:
- i)
\(xy= yx,\)
- ii)
\(x(yz)=0=(xy)z,\)
- iii)
\( xy+z=z+xy,\)
- iv)
\(x(y+z)=xy+xz\).
Here \(xy=\mu (x,y)\).
Obviously any commutative associative nilpotent algebra of class two is a \({\Sigma \mu }\)-group. Also any group can be considered as a \({\Sigma \mu }\)-group with zero multiplication.
Denote the category of \({\Sigma \mu }\)-groups by \({{\,\mathrm{\mathfrak {GR}}\,}}_{\Sigma \mu }\). Since any group has a trivial \({\Sigma \mu }\)-group structure (i.e. \(\mu =0\)), we see that \({{\,\mathrm{\mathfrak {GR}}\,}}\subset {{\,\mathrm{\mathfrak {GR}}\,}}_{\Sigma \mu }\). The inclusion has a left adjoint. To describe it, we fix some obvious facts.
For a \({\Sigma \mu }\)-group G, denote by \({\textsf {Z} }_{\textsf {gr} }(G)\) the center of the group G, that is
Denote by K the subgroup of G generated by all elements of the form xy, \(x,y\in G\). By iii) \(K\subset {\textsf {Z} }_{\textsf {gr} }(G)\). Thus K is a central subgroup of the underlying group of G and we can consider the corresponding quotient group \(G_{\textsf {gr} }=G/K\). Then the assignment \(G\mapsto G_{\textsf {gr} }\) defines the functor \({{\,\mathrm{\mathfrak {GR}}\,}}_{\Sigma \mu }\rightarrow {{\,\mathrm{\mathfrak {GR}}\,}}\), which is the left adjoint to the inclusion \({{\,\mathrm{\mathfrak {GR}}\,}}\subset {{\,\mathrm{\mathfrak {GR}}\,}}_{\Sigma \mu }\). We also need the group \((G_{\textsf {gr} })_{\textsf {ab} }=G_{\textsf {gr} }/[G_{\textsf {gr} },G _{\textsf {gr} }]\), which is denoted by \(G_{\textsf {AB} }\) and is called the abelization of a \({\Sigma \mu }\)-group G.
For \({\Sigma \mu }\)-groups one can introduce the notion of a \({\Sigma \mu }\)-subgroup in an obvious way. A \({\Sigma \mu }\)-subgroup H of \({\Sigma \mu }\)-group G is normal if it is a normal subgroup of the underlying group and \(HG\subset H\). A \({\Sigma \mu }\)-subgroup H is central if
hold for all \(x\in G\) and \(a\in H\). Now, it should be clear the mining of the central extension of \({\Sigma \mu }\)-groups. Observe that K is a central \({\Sigma \mu }\)-subgroup of G.
Thanks to the condition iv), the map \(\lambda _x:G\rightarrow G\) given by \(\lambda _x(y) =xy\) is a group homomorphism for all \(x\in G\). Moreover by ii) it factors through the group \(G_{\textsf {gr} }\). Since \({\textsf {Im} }(\lambda _x)\subset {\textsf {Z} }_{\textsf {gr} }(G)\), we see that \(\lambda _x\) is a homomorphism into an abelian group \({\textsf {Z} }_{\textsf {gr} }(G)\) and hence it factors through the abelization \(G_{\textsf {AB} }\). It follows from the condition i) that the map \(\mu \) yields a well-defined homomorphism
which we by abuse of notation will still be denoted by \(\mu \). Here \(\bar{x}\) denotes the class of \(x\in G\) in \(G_{\textsf {AB} }\).
It is clear that \(K={\textsf {Im} }(\mu )\) and hence one has a natural exact sequence of \({\Sigma \mu }\)-groups
Moreover, \({\textsf {Im} }(\mu )=K\) is a central \({\Sigma \mu }\)-subgroup of G.
A group G is called \({\Sigma \mu }\)-rigid if the only \({\Sigma \mu }\)-group structure on it is the trivial one: \(xy=0\), \(x,y\in G\). As in the case of Lie \({\Sigma \mu }\)-algebras we have the following analogue of Corollary 9.
Corollary 15
Let M be a group, Z be the center of M and \(H=M/[M,M]\).
- i)
Any \({\Sigma \mu }\)-group structure on M determines a homomorphism of abelian groups \({\textsf {Sym} }^2(H)\rightarrow Z\), given by \(\bar{x}\odot \bar{y}\mapsto xy\), \(x,y\in M\).
- ii)
Starting with a linear map \(\Phi :{\textsf {Sym} }^2(H)\rightarrow Z\), define \(xy:=\Phi (\bar{x}\odot \bar{y})\), \(x,y\in M\). This multiplication satisfies all conditions of Definition 7 except ii). If additionally \(Z\subset [M,M]\) then this multiplication defines a \({\Sigma \mu }\)-group structure on \({\mathfrak {m}}\).
- iii)
A group M is \({\Sigma \mu }\)-rigid if either M is perfect, that is \(M=[M,M]\) or the center of M is trivial.
We omit the proof of this fact, since it goes along the same lines as the proof of Corollary 9.
Here is some examples based on Part ii) of Corollary 15. Take the dihedral group \(D_{2n}\) of order 4n with generators x and y, such that \(2nx=0=2y\) and \(y+x+y=(2n-1)x\). One easily sees that there exists a unique \({\Sigma \mu }\)-algebra structure such that \(xy=nx\), \(xx=0=yy\). As another example, one can introduce a nontrivial \({\Sigma \mu }\)-group structure on the Heisenberg group, similar to one which we described for Heisenberg Lie algebra. Details are left to the interested readers.
Denote by \({\mathbb {Z}}[S]\) the free abelian group generated by a set S. Similarly, denote by \({\textsf {Gr} }[S]\) (resp. \({\textsf {Gr} }_{\Sigma \mu }[S]\)) the free group (resp. free \({\Sigma \mu }\)-group) generated by S. In these notations we have
Lemma 16
One has the following central extension of \({\Sigma \mu }\)-groups.
Proof
For \(G={\textsf {Gr} }_{\Sigma \mu }[S]\), one has \(G_{\textsf {gr} }={\textsf {Gr} }[S]\) and \(G_{\textsf {AB} }={\mathbb {Z}}[S]\), by the adjoint functor argument (see the proof of Proposition 10). Thus we can use the exact sequence (6). We only need to show injectivity of \(\mu \).
Any commutative, associative nilpotent ring of class two can be considered as a \({\Sigma \mu }\)-group. In particular, we can take the free such a ring generated by \(V={\mathbb {Z}}[S]\), that is
By the universal property of free \({\Sigma \mu }\)-groups the identity map \(\textsf {Id} _S\) has a unique extension
We have
for all \(x,y\in S\). Thus \(c\circ \mu =\textsf {Id} _{{\textsf {Sym} }^2({\mathbb {Z}}[S])}\) and the result follows. \(\square \)
6 Lie \({\Sigma \mu }\)-groups
In this section \(\textsf {K} ={\mathbb {R}}\). Denote by \({\mathbf {L}}\) the canonical functor from the category of Lie groups to the category of finite dimensional Lie algebras. Recall that the restriction of \({\mathbf {L}}\) to the subcategory of simply connected Lie groups is an equivalence of categories [15, Theorem 2, p.152].
As Lie groups are smooth analogues of discrete groups, the following is a smooth analogue of \({\Sigma \mu }\)-groups.
Definition 17
A Lie\({\Sigma \mu }\)-group is a smooth manifold M, equipped with a structure of \({\Sigma \mu }\)-group, such that the maps
are smooth.
Now we extend the functor \({\mathbf {L}}\) to Lie \({\Sigma \mu }\)-groups.
Let M be a Lie \({\Sigma \mu }\)-group with \({\Sigma \mu }\)-structure \(\mu (x,y)=xy\). Denote by K the closure of the subgroup generated by elements of the form xy, \(x,y\in M\). Then \(G=M/K\) is also a Lie group. Denote by \(G'\) the closure of the commutator [G, G]. Then \(H:=G/G'\) is an abelian Lie group.
Since \((xy)z=0=x(yz)\) holds for all \(x,y,z\in M\) and \(\mu \) is smooth, it follows that \(\mu (K,x)=0=\mu (x,K)\) for all \(x\in M\). Based on this and use the identity (iv) of Definition 14, we see that \(\mu \) factors through the map \(G\times G\rightarrow Z\), where Z is the center of M. By abuse of notations we still denote this map by \(\mu \). As we have seen in Sect. 5, \(\mu \) vanished on the commutators \(\mu ([G,G],x)=0=\mu (x,[G,G])\). Since \(\mu \) is smooth it vanishes on \(G'\) yielding a smooth map \(\mu :H\times H\rightarrow Z\) which is a homomorphism of abelian Lie groups with respect to each variables. It follows that it defines a bilinear multiplication on corresponding Lie algebras \({\mathbf {L}}(H)\times {{\mathbf {L}}}(H)\rightarrow {\mathbf {L}}(Z)\) and hence the multiplication on \({\mathbf {L}}(M)\) via
It follows from the part ii) of Corollary 9 that this is in fact a Lie \({\Sigma \mu }\)-algebra structure on \({\mathbf {L}}(M)\).
Thus we constructed the functor
Theorem 18
The functor \({\mathbf {L}}\) yields an equivalence between the category of simply connected Lie \({\Sigma \mu }\)-groups and finite dimensional Lie \({\Sigma \mu }\)-algebras.
Proof
We construct the functor
as follows.
Let \({\mathfrak {m}}\) be a Lie \({\Sigma \mu }\)-algebra. Denote by \({\mathfrak {z}}\) the center of the underlying Lie algebra of \({\mathfrak {m}}\). We also set \({\mathfrak {g}}:={\mathfrak {m}}_{\textsf {Lie} }\) and \({\mathfrak {h}}:={\mathfrak {m}}_{\textsf {AB} }={\mathfrak {g}}_{\textsf {ab} }\). Then we have an exact sequence
Moreover, \({\mathfrak {a}}:={\textsf {Im} }(\mu )\subset {\mathfrak {z}}\) is a central subalgebra of the underlying Lie algebra of \({\mathfrak {m}}\).
From now, we assume that \({\mathfrak {m}}\) is finite dimensional. Obviously \({\mathfrak {g}}\) is also finite dimensional. By mentioned equivalence of categories there are simply connected Lie groups M and G and a homomorphism of Lie groups \(\rho :M\rightarrow G\) such that \({\mathbf {L}}(M)={\mathfrak {m}}\), \({\mathbf {L}}(G)={\mathfrak {g}}\) and \({\mathbf {L}}(\rho )=p\). Obviously this can be done functorially with respect of \({\mathfrak {m}}\). By [8, Corollary, p.40 ] the center Z of M is a normal Lie subgroup and \({\mathbf {L}}(Z)={\mathfrak {z}}\).
We set \(A=\textsf {Ker} (\rho )\). Since p is surjective, \(\rho \) is also surjective, see part (iii) of [14, Theorem 2, p.76]. Thus we have a short exact sequence of Lie groups
By the part (ii) of [14, Theorem 2, p.76] we have \({\mathbf {L}}(A)={\mathfrak {a}}\subset {\mathfrak {z}}\). Hence A is a central subgroup of M. So \(A\subset Z\). Since \(\rho \) is a fibration with fibre A the homotopy exact sequence shows that A is connected.
Since G is simply connected, the commutator [G, G] is a closed and connected subgroup of G with \({\mathbf {L}}([G,G])=[{\mathfrak {g}},{\mathfrak {g}}]\), see [8, Theorem 5.1]. It follows that \(H:=G/[G,G]\) is a well-defined abelian Lie group with \({\mathbf {L}}(G/[G,G])={\mathfrak {h}}\). The map \(G\rightarrow H\) is a fibration with connected fibre [G, G]. It follows that \(H:=G/[G,G]\) is a simply connected, abelian Lie group. Thus the canonical map \(\textsf {exp} :{\mathfrak {h}}\rightarrow H\) is an isomorphism. We can now form the diagram
![](http://media.springernature.com/lw160/springer-static/image/art%3A10.1007%2Fs40062-019-00248-x/MediaObjects/40062_2019_248_Equ69_HTML.png)
Since the left arrow is an isomorphism of Lie groups, we obtain a smooth map \(H\times H\rightarrow A\subset Z\). Now we can take the composite map
to obtain the multiplication map in M. By Part ii) of Corollary 15 in this way we obtain a \({\Sigma \mu }\)-group structure on M. This finishes the construction of the functor \({\mathbf {R}}\).
Take a simply connected Lie \({\Sigma \mu }\)-group M. Recall that K was defined as the closure of the subgroup generated by xy, \(x,y\in M\). It follows that K is connected and hence \(G=M/K\) is also simply connected. Now, comparing the constructions we see that \({\mathbf {R}}{\mathbf {L}}(M)\cong M\).
Conversely, if \({\mathfrak {m}}\) is a finite dimensional \({\Sigma \mu }\)-algebra, then \({\mathfrak {a}}\), which is defined as the subspace of \({\mathfrak {m}}\) generated by elements of the form xy, \(x,y\in {\mathfrak {m}}\) coincides with the subgroup generated by the same elements. This follows from the (bi)linearity of the product. Since A is abelian, the exponential map \(\textsf {exp} :{\mathfrak {a}}\rightarrow A\) is epimorphism. From this follows that the subgroup \(K\subset M={\mathbf {R}}({\mathfrak {m}})\) and A coincide and \({\mathbf {L}}{\mathbf {R}}({\mathfrak {m}})\cong {\mathfrak {m}}\). \(\square \)
Corollary 19
The category of finite dimensional symmetric Leibniz algebras is equivalent to the category of simply connected Lie \({\Sigma \mu }\)-groups.
Proof
This is a direct consequence of Theorems 11 and 18. \(\square \)
7 Interpretation in language of algebraic theories
The algebraic theories corresponding to Lie, Leibniz and symmetric Leibniz \(\textsf {K} \)-algebras are denoted respectively by \( {\mathscr {L}}{\mathscr {I}}{\mathscr {E}}_\textsf {K} \), \( {\mathscr {L}}{\mathscr {B}}_\textsf {K} \) and \({\mathscr {S}}{\mathscr {L}}{\mathscr {B}}_\textsf {K} \).
We refer to [1] for the notion of (linear) extension of algebraic theories. Comparing the definitions we see that Proposition 5 can be restated as
Lemma 20
One has a linear extension of algebraic theories:
Moreover if 2 is invertible in \(\textsf {K} \), this extension splits.
Recall that the functor \({\textsf {Rings} }\rightarrow {\textsf {Algebraic} }\ {\textsf {Theories} }\) which sends the ring R to the theory of right R-modules is full and faithful. Because of this we identify rings with their corresponding theories of modules.
Let \({\mathscr {C}}{\mathscr {O}}{\mathscr {M}}_\textsf {K} (2)\) denote the algebraic theory of nilpotent commutative associative \(\textsf {K} \)-algebras of class 2, that is algebras obeying the identities
Then one has a split linear extension of algebraic theories (compare [1])
If 2 is invertible in \(\textsf {K} \), then \(\Gamma ^2={\textsf {Sym} }^2\) and we get the following
Proposition 21
If 2 is invertible in \(\textsf {K} \), then the diagram
![](http://media.springernature.com/lw163/springer-static/image/art%3A10.1007%2Fs40062-019-00248-x/MediaObjects/40062_2019_248_Equ70_HTML.png)
is the pull-back diagram in the category of algebraic theories.
Quite similarly, if one denotes by \({\mathscr {G}}{\mathscr {R}}\) (resp. \({\mathscr {G}}{\mathscr {R}}_{\Sigma \mu }\), \({\mathscr {A}}{\mathscr {B}}\)) the algebraic theory of groups (rep. \({\Sigma \mu }\)-groups, abelian groups), then as an immediate corollary of Lemma 16 we obtain the following fact
Proposition 22
The diagram
![](http://media.springernature.com/lw149/springer-static/image/art%3A10.1007%2Fs40062-019-00248-x/MediaObjects/40062_2019_248_Equ71_HTML.png)
is the pull-back diagram in the category of algebraic theories.
References
Jibladze, M., Pirashvili, T.: Cohomology of algebraic theories. J. Algebra 137, 253–296 (1991)
Jibladze, M., Pirashvili, T.: Leibniz algebras and \(\mu \)-groups (In preparation)
Loday, J.-L.: Cyclic Homology. Grundlehren der Mathematischen Wissenschaften, vol. 301, p. xviii+454. Springer, Berlin (1992). (ISBN:3-540-53339 )
Loday, J.-L.: Une version non commutative des algébres de Lie: les algébres de Leibniz. Enseign. Math. (2) 39(3—-4), 269–293 (1993)
Loday, J.-L.: Algebraic K-theory and the conjectural Leibniz K-theory. Special issue in honor of Hyman Bass on his seventieth birthday. Part II. K-Theory 30(2), 105–127 (2003)
Loday, J.-L., Pirashvili, T.: Universal enveloping algebras of Leibniz algebras and (co)homology. Math. Ann. 296(1), 139–158 (1993)
Loday, J.-L., Pirashvili, T.: Leibniz representations of Lie algebras. J. Algebra 181(2), 414–425 (1996)
Onishchik, A.L., Vinberg, E.B.: Foundation of Lie theory. 1–96. In: Gorbatsevich, V.V., Onishchik, A.L., Vinberg, E.B. (eds.) Foundations of Lie Theory and Lie Transformation Groups. Encyclopedia of Mathematical Sciences, vol. 20, p. vi+235. Springer, Berlin (1993). (ISBN: 3-540-61222-X)
Ronco, M.: Unpublished notes (1995)
Pirashvili, T.: On Leibniz homology. Ann. Inst. Fourier. 44(2), 401–411 (1994)
Pirashvili, T.: Introduction to functor homology. In Rational representations, the Steenrod algebra and functor homology, Panor. Synthéses, 16. Société Mathématique de France. Paris. , 1–26 (2003)
Pirashvili, T.: On strongly perfect lie algebras. Commun. Algebra. 41, 1619–1625 (2013)
Pirashvili, T.: A subcomplex of Leibniz complex. arXiv:1904.00121
Procesi, C.: Lie Groups. An Approach Through Invariants and Representations. Univesitext, p. xxiv+596. Springer, Berlin (1967)
Serre, J.-P.: Lie Algebras and Lie Groups. 1964 Lectures Given at Harvard University. Lecture Notes in Mathematics, vol. 1500, p. viii+168. Springer, Berlin (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Soso Gubeladze.
Dedicated to the memory of Jean-Louis Loday.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Jibladze, M., Pirashvili, T. Lie theory for symmetric Leibniz algebras. J. Homotopy Relat. Struct. 15, 167–183 (2020). https://doi.org/10.1007/s40062-019-00248-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40062-019-00248-x