Non-nilpotent Leibniz algebras with one-dimensional derived subalgebra

In this paper we study non-nilpotent non-Lie Leibniz $\mathbb{F}$-algebras with one-dimensional derived subalgebra, where $\mathbb{F}$ is a field with $\operatorname{char}(\mathbb{F}) \neq 2$. We prove that such an algebra is isomorphic to the direct sum of the two-dimensional non-nilpotent non-Lie Leibniz algebra and an abelian algebra. We denote it by $L_n$, where $n=\dim_{\mathbb{F}} L_n$. This generalizes the result found in [11], which is only valid when $\mathbb{F}=\mathbb{C}$. Moreover, we find the Lie algebra of derivations, its Lie group of automorphisms and the Leibniz algebra of biderivations of $L_n$. Eventually, we solve the coquecigrue problem for $L_n$ by integrating it into a Lie rack.


Introduction
Leibniz algebras were introduced by J.-L.Loday in [19] as a non-skew symmetric version of Lie algebras.Earlier such algebraic structures were also considered by A. Blokh, who called them D-algebras [5] for their strict connection with derivations.Leibniz algebras play a significant role in different areas of mathematics and physics.
Many results of Lie algebras are still valid for Leibniz algebras.One of them is the Levi decomposition, which states that any Leibniz algebra over a field F of characteristic zero is the semidirect sum of its radical and a semisimple Lie algebra.This makes clear the importance of the problem of classification of solvable and nilpotent Lie / Leibniz algebras, which has been dealt with since the early 20th century (see [2], [3], [4], [9], [10], [11], [13] and [14], just for giving a few examples).
In [16] and [17] nilpotent Leibniz algebras L with one-dimensional derived subalgebra [L, L] were studied and classified.It was proved that, up to isomorphism, there are three classes of indecomposable Leibniz algebras with these properties, namely the Heisenberg algebras l A 2n+1 , which are parameterized by their dimension 2n + 1 and by a matrix A in canonical form, the Kronecker algebra k n and the Dieudonné algebra d n , both parameterized by their dimension only.We want to complete this classification by studying non-nilpotent Leibniz F-algebras with one-dimensional derived subalgebra, where F is a field with char(F) = 2. Using the theory of non-abelian extensions of Leibniz algebras introduced in [18], we prove that a non-nilpotent non-Lie Leibniz algebra L with dim F L = n and dim F [L, L] = 1 is isomorphic to the direct sum of the two-dimensional non-nilpotent non-Lie Leibniz algebra S 2 , i.e. the algebra with basis {e 1 , e 2 } and multiplication table given by [e 2 , e 1 ] = e 1 , and an abelian algebra of dimension n − 2. We denote it by L n .This generalizes the result found in Theorem 2.6 of [11], where the authors proved that a complex non-split non-nilpotent non-Lie Leibniz algebra with one-dimensional derived subalgebra is isomorphic to S 2 .
We study in detail the properties of the algebra L n and we compute the Lie algebra of derivations Der(L n ), its Lie group of automorphism Aut(L n ) and the Leibniz algebra of biderivations Bider(L n ).
Finally, we solve the coquecigrue problem for the Leibniz algebra L n .We mean the problem, formulated by J.-L.Loday in [19], of finding a generalization of Lie third theorem to Leibniz algebras.Using M. K. Kinyon's results for the class of real split Leibniz algebras (see [15]), we show how to explicitly integrate L n into a Lie rack defined over the vector space R n .

Preliminaries
We assume that F is a field with char(F) = 2.For the general theory we refer to [1].Definition 1.1.A left Leibniz algebra over F is a vector space L over F endowed with a bilinear map (called commutator or bracket) [−, −] : L × L → L which satisfies the left Leibniz identity In the same way we can define a right Leibniz algebra, using the right Leibniz identity Given a left Leibniz algebra L, the multiplication [x, y] op = [y, x] defines a right Leibniz algebra structure on L.
A Leibniz algebra that is both left and right is called symmetric Leibniz algebra.From now on we assume that dim F L < ∞.
We have a full inclusion functor i : Lie → Leib that embeds Lie algebras over F into Leibniz algebras over F. Its left adjoint is the functor π : Leib → Lie, which associates to each Leibniz algebra L the quotient L/ Leib(L), where Leib(L) is the smallest bilateral ideal of L such that the quotient L/ Leib(L) becomes a Lie algebra.Leib(L) is defined as the subalgebra generated by all elements of the form [x, x], for any x ∈ L, and it is called the Leibniz kernel of L.
We define the left and the right center of a Leibniz algebra The intersection of the left and right center is called the center of L and it is denoted by Z(L).In general for a left Leibniz algebra L, the left center Z l (L) is a bilateral ideal, meanwhile the right center is not even a subalgebra.Furthermore, one can check that Leib(L) ⊆ Z l (L).
The definition of derivation for a Leibniz algebra is the same as in the case of Lie algebras.
An equivalent way to define a left Leibniz algebra L is to saying that the left adjoint maps ad In [19] J.-L.Loday introduced the notion of anti-derivation and biderivation for a Leibniz algebra.The set Bider(L) of all biderivations of L has a Leibniz algebra structure with the bracket and it is defined a Leibniz algebra homomorphism The pair (ad x , Ad x ) is called the inner biderivation associated with x ∈ L and the set of all inner biderivations of L forms a Leibniz subalgebra of Bider(L).
We recall the definitions of solvable and nilpotent Leibniz algebras.
Definition 1.5.Let L be a left Leibniz algebra over F and let Definition 1.6.Let L be a left Leibniz algebra over F and let When L is two-step nilpotent, it lies in different varieties of non-associative algebras, such as associative, alternative and Zinbiel algebras.In this case we refer at L as a two-step nilpotent algebra and we have the following.Proposition 1.7.
In [16] the classification of nilpotent Leibniz algebras with one-dimensional derived subalgebra was established.The classification revealed that, up to isomorphism, there exist only three classes of indecomposable nilpotent Leibniz algebras of this type.Definition 1.8.[16] Let f (x) ∈ F [x] be a monic irreducible polynomial.Let k ∈ N and let A = (a ij ) i,j be the companion matrix of f (x) k .The Heisenberg algebra l A 2n+1 is the (2n + 1)-dimensional Leibniz algebra with basis {e 1 , . . ., e n , f 1 , . . ., f n , z} and the brackets are given by When A is the zero matrix, then we obtain the (2n+1)−dimensional Heisenberg Lie algebra h 2n+1 .Definition 1.9.[16] Let n ∈ N. The Kronecker algebra k n is the (2n + 1)dimensional Leibniz algebra with basis {e 1 , . . ., e n , f 1 , . . ., f n , z} and the brackets are given by We want to extend this classification by studying non-nilpotent Leibniz algebras with one-dimensional derived subalgebra.

Non-nilpotent Leibniz algebras with onedimensional derived subalgebra
Let L be a non-nilpotent left Leibniz algebra over F with dim F L = n and dim F [L, L] = 1.We observe that such an algebra is two-step solvable since the derived subalgebra [L, L] is abelian.
It is well known that a non-nilpotent Lie algebra with one-dimensional derived subalgebra is isomorphic to the direct sum of the two-dimensional nonabelian Lie algebra and an abelian algebra (see [12,Section 3]).Thus we are interested in the classification of non-Lie Leibniz algebras with these properties.
In [11,Theorem 2.6] the authors prove that a complex non-split nonnilpotent non-Lie Leibniz algebra with one-dimensional derived subalgebra is isomorphic to the two-dimensional algebra with basis {e 1 , e 2 } and multiplication table [e 2 , e 1 ] = [e 2 , e 2 ] = e 1 .Here we generalize this result when F is a general field with char(F) = 2. Proof.
] is an abelian algebra, there exists a vector x ∈ L, which is linearly independent than z, such that [x, z] = 0. Thus for some γ ∈ F * .The subspace S = x, z is an ideal of L and it is not nilpotent: in fact Thus S is a non-nilpotent Leibniz algebra.Using the classification of twodimensional Leibniz algebras given by C. Cuvier in [8], S is isomorphic either to S 1 or to S 2 .
Remark 2.1.The algebras S 1 and S 2 are respectively the Leibniz algebras L 2 and L 4 of Section 3.1 in [1].We observe that S 1 is a Lie algebra, meanwhile S 2 is a non-right left Leibniz algebra.
One can see L as an extension of the abelian algebra It turns out that there exists an equivalence of Leibniz algebra extensions where L 0 ⋉ ω S is the Leibniz algebra defined on the direct sum of vector spaces L 0 ⊕ S with the bilinear operation given by We conclude that L is isomorphic to the direct sum of S 1 and L 0 ∼ = F n−2 .

S is not a Lie algebra
With the change of basis e 2 → e 2 − e 1 , S 2 becomes the Leibniz algebra with basis {e 1 , e 2 } and the only non-trivial bracket given by [e 2 , e 1 ] = e 1 .Now a biderivation of S 1 is represented by a pair of matrices α 0 0 0 , 0 β 0 0 with α, β ∈ F and the pair (l x , r x ) ∈ Bider(S 2 ) is defined by l x (e 1 ) = α x e 1 and r x (e 2 ) = β x e 1 , for any Thus, for every a = a 1 e 1 + a 2 e 2 ∈ S 2 and for every x, y ∈ L 0 , we have i.e. ω(x, y) = α x β y e 1 .Finally, equations (L6) and (L7) are identically satisfied.Summarizing we have If we fix a basis {f 3 , . . ., f n } of L 0 and we denote by then L is isomorphic to the Leibniz algebra with basis {e 1 , e 2 , f 3 , . . ., f n } and non-zero brackets With the change of basis If we denote again f i ≡ f ′ i and α i ≡ γ i when β i = 0, then L has basis {e 1 , e 2 , f 3 , . . ., f n } and non-trivial brackets Finally, when α i = 0, we can operate the change of basis One can check that the only non-trivial bracket now is [e 2 , e 1 ] = e 1 and L is isomorphic to the direct sum of S 2 and the abelian algebra L 0 ∼ = F n−2 .This allows us to conclude with the following.
Theorem 2.2.Let F be a field with char(F) = 2. Let L be a non-nilpotent non-Lie left Leibniz algebra over F with dim F L = n and dim F [L, L] = 1.Then L is isomorphic to the direct sum of the two-dimensional non-nilpotent non-Lie Leibniz algebra S 2 and an abelian algebra of dimension n − 2. We denote this algebra by L n .
If we suppose that L is a non-split algebra, i.e.L cannot be written as the direct sum of two proper ideals, then we obtain the following result, that is a generalization of [11,Theorem 2.6] and which is valid over a general field F with char(F) = 2. Now we study in detail the algebra L n = S 2 ⊕ F n−2 by describing the Lie algebra of derivations, its Lie group of automorphisms and the Leibniz algebra of biderivations.Moreover, when F = R, we solve the coquegigrue problem (see [7] and [15]) for L n by integrating it into a Lie rack.

Derivations, automorphisms and biderivations of L n
Let n ≥ 2 and let L n = S 2 ⊕ F n−2 .We fix the basis B n = {e 1 , e 2 , f 3 , . . ., f n } of L n and we recall that the only non-trivial commutator is [e 2 , e 1 ] = e 1 .A straightforward application of the algorithm proposed in [20] for finding derivations and anti-derivations of a Leibniz algebra as pair of matrices with respect to a fixed basis produces the following.(i) A derivation of L n is represented, with respect to the basis B n , by a matrix where A ∈ M n−2 (F).
(ii) The group of automorphisms Aut(L n ) is the Lie subgroup of GL n (F) of matrices of the form where β = 0 and B ∈ GL n−2 (F).
(iii) The Leibniz algebra of biderivations of L n consists of the pairs (d, D) of linear endomorphisms of L n which are represented by the pair of matrices 3 The integration of the Leibniz algebra L n The coquecigrue problem is the problem formulated by J.-L.Loday in [19] of finding a generalization of Lie third theorem to Leibniz algebras.Given a real Leibniz algebra L, one wants to find a manifold endowed with a smooth map, which plays the role of the adjoint map for Lie groups, such that the tangent space at a distinguished element, endowed with the differential of this map, gives a Leibniz algebra isomorphic to L.Moreover, when L is a Lie algebra, we want to obatin the simply connected Lie group associated with L. From now on, we assume that the underlying field of any algebra is F = R.
In [15] M. K. Kinyon shows that it is possible to define an algebraic structure, called rack, whose operation, differentiated twice, defines on its tangent space at the unit element a Leibniz algebra structure.Definition 3.1.A rack is a set X with a binary operation ✄ : X × X → X which is left autodistributive and such that the left multiplications x ✄ − are bijections.
A rack is pointed if there exists an element 1 ∈ X such that 1 ✄ x = x and x ✄ 1 = 1, for any x ∈ X.
A rack is a quandle if the binary operation ✄ is idempotent.
The first example of a rack is any group G endowed with its conjugation x ✄ y = xyx −1 , ∀x, y ∈ G.
We denote this rack by Conj(G) and we observe that it is a quandle.Definition 3.2.A pointed rack (X, ✄, 1) is said to be a Lie rack if X is a smooth manifold, ✄ is a smooth map and the left multiplications are diffeomorphisms.
M. K. Kinyon proved that the tangent space T 1 X at the unit element 1 of a Lie rack X, endowed with the bilinear operation where where φ is the exponentiation of the Lie algebra action ρ.Some years later S. Covez generalized M. K. Kinyon's results proving that every real Leibniz algebra admits an integration into a Lie local rack (see [7]).More recently it was showed in [16] that the integration proposed by S. Covez is global for any nilpotent Leibniz algebra.Moreover, when a Leibniz algebra L is integrated into a Lie quandle X, it turns out that L is a Lie algebra and X = Conj(G), where G is the simply connected Lie group integrating L.
x = [x, −] are derivations.Meanwhile the right adjoint maps Ad x = [−, x] are not derivations in general.The set Der(L) of all derivations of L is a Lie algebra with the usual bracket [d, d ′ ] = d • d ′ − d ′ • d and the set Inn(L) spanned by the left adjoint maps, which are called inner derivations, is an ideal of Der(L).Moreover Aut(L) is a Lie group and its Lie algebra is precisely Der(L).
The space ADer(L) of anti-derivations of L has a Der(L)-module structure with the extra multiplication d • D = d • D − D • d, for any derivation d and for any anti-derivation D, and one can check that the right adjoint maps Ad x are anti-derivations.Definition 1.4.A biderivation of L is a pair (d, D) ∈ Der(L) × ADer(L) such that [d(x) + D(x), y] = 0, ∀x, y ∈ L.

Corollary 2 . 3 .
Let L be a non-split non-nilpotent non-Lie left Leibniz algebra over F with dim F L = n and dim F [L, L] = 1.Then n = 2 and L ∼ = S 2 .
is a Leibniz algebra.He also solved the coquecigrue problem for the class of split Leibniz algebras.Here a Leibniz algebra is said to be split if there exists an idealLeib(L) ⊆ I ⊆ Z l (L)and a Lie subalgebra M of L such that L ∼ = (M ⊕ I, {−, −}), where the bilinear operation {−, −} is defined by {(x, a), (y, b)} = ([x, y], ρ x (b)) and ρ : M × I → I is the action on the M -module I. L is said to be the demisemidirect product of M and I.More precisely, we have the following.Theorem 3.3.[15] Let L be a split Leibniz algebra.Then a Lie rack integrating L is X = (H ⊕ I, ✄), where H is the simply connected Lie group integrating M and the binary operation is defined by (g, a) ✄ (h, b) = (ghg −1 , φ g (b)),