SOLVALE LEINIZ ALGERAS WIT EISENERG NILRADICAL LINDSEY OSKO-DUNAR, JONATAN D. DUNAR, J.T. IRD, AND KRISTEN STAGG arxiv:1307.8447v2 [math.ra] 22 Sep 2014 Abstract. All solvable Lie algebras with eisenberg nilradical have already been classified. We extend this result to a classification of solvable Leibniz algebras with eisenberg nilradical. As an example, we show the complete classification of all real or complex Leibniz algebras whose nilradical is the 3-dimensional eisenberg algebra. 1. Introduction Leibniz algebras were defined by Loday in 1993 [13, 14]. In recent years it has been a common theme to extend various results from Lie algebras to Leibniz algebras [1, 3, 17]. Several authors have proven results on nilpotency and related concepts which can be used to help extend properties of Lie algebras to Leibniz algebras. Specifically, variations of Engel s theorem for Leibniz algebras have been proven by different authors [6, 8] and arnes has proven Levi s theorem for Leibniz algebras [4]. Additionally, arnes has shown that leftmultiplication by any minimal ideal of a Leibniz algebra is either zero or anticommutative [5]. In an effort to classify Lie algebras, many authors place various restrictions on the nilradical [10, 16, 20, 21]. In [19], Rubin and Winternitz study solvable Lie algebras with eisenberg nilradical. It is the goal of this paper to extend these results to the Leibniz setting. Recent work has been done on classification of certain classes of Leibniz algebras [2, 7, 11, 12]. Especially useful for this paper is the work by Cañete and Khudoyberdiyev [9] which classifies all non-nilpotent 4-dimensional Leibniz algebras over C. We recover their results for the 4-dimensional solvable Leibniz algebra over C with eisenberg nilradical, and extend this case to classify such Leibniz algebras over R. Our result is not limited to only 2010 Mathematics Subject Classification. 17D99. Key words and phrases. Leibniz, eisenberg, nilradical, classification, Lie. 1
the 4-dimensional case, and can be used to classify all Leibniz algebras whose nilradical is eisenberg. In the last section we classify all (indecomposable) solvable Leibniz algebras whose nilradical is the 3-dimensional eisenberg algebra, (1). 2. reliminaries A Leibniz algebra, L, is a vector space over a field (which we will take to be C or R) with a bilinear operation (which we will call multiplication) defined by [x, y] which satisfies the Leibniz identity (1) [x,[y,z]] = [[x,y],z]+[y,[x,z]] for all x,y,z L. In other words L x, left-multiplication by x, is a derivation. Some authors choose to impose this property on R x, right-multiplication by x, instead. Such an algebra is called a right Leibniz algebra, but we will consider only left Leibniz algebras (which satisfy (1)). L is a Lie algebra if additionally [x,y] = [y,x]. The derived series of a Leibniz (Lie) algebra L is defined by L (1) = [L,L], L (n+1) = [L (n),l (n) ] for n 1. L is called solvable if L (n) = 0 for some n. The lower-central series of L is defined by L 2 = [L,L], L n+1 = [L,L n ] for n > 1. L is called nilpotent if L n = 0 for some n. It should be noted that if L is nilpotent, then L must be solvable. The nilradical of L is defined to be the (unique) maximal nilpotent ideal of L, denoted by nilrad(l). It is a classical result that if L is solvable, then L 2 = [L,L] nilrad(l). From [15], we have that dim(nilrad(l)) 1 2 dim(l). The eisenberg algebra (n) is the (2n + 1)-dimensional Lie algebra with basis {, 1,..., n, 1,..., n } defined by multiplications (2) [ i, j ] = [ j, i ] = δ ij with all other products equal to zero. 2
Theleft-annihilatorofaLeibnizalgebraListheidealAnn l (L) = {x L [x,y] = 0 y L}. Note that the elements [x,x] and [x,y] + [y,x] are in Ann l (L), for all x,y L, because of (1). An element x in a Leibniz algebra L is nilpotent if both (L x ) n = (R x ) n = 0 for some n. In other words, for all y in L [x, [x,[x,y]]] = 0 = [[[y,x],x],x]. A set of matrices {X α } is called linearly nilindependent if no non-zero linear combination of them is nilpotent. In other words, if f X = c α X α, α=1 then X n = 0 implies that c α = 0 for all α. A set of elements of a Leibniz algebra L is called linearly nilindependent if no non-zero linear combination of them is a nilpotent element of L. 3. Classification Let (n) be the (2n+1)-dimensional eisenberg (Lie) algebra over the field F (C or R) with basis {, 1,..., n, 1,..., n } and products given by (2). We will extend (n) to a solvable Leibniz algebra of dimension 2n + 1 + f by appending linearly nilindependent elements {S 1,...,S f }. In doing so, we will construct an indecomposable Leibniz algebra whose nilradical is (n). 3
The left and right actions of each S α (α = 1,...,f) on (n) are given by the following matrices, L Sα R Sα = = 2a α σ1 α σ2 α γ1 α a α I n +A α C α γ2 α D α a α I n +E α 2b α τ1 α τ2 α ρ α 1 b α I n +F α G α ρ α 2 M α b α I n +N α where a α,b α F; σi α,τi α F 1 n and γi α,ρ α i F n 1 for i = 1 or 2; I n is the n n identity matrix; A α,c α,d α,e α,f α,g α,m α,n α F n n ; = ( 1,..., n ) T and = ( 1,..., n ) T. ere, T represents the transpose of the matrix. Since [L,L] nilrad(l), we have that (3) [S α,s β ] = r αβ + n µ i αβ i + i=1 n i=1 ν i αβ i where r αβ,µ i αβ,νi αβ F. n n y performing a change of basis to S α = S α + (γ1 α ) i i (γ2 α ) i i, we eliminate the component of [S α, i ] and [S α, i ] in the new basis, so γ α 1 = γα 2 i=1 i=1 = 0 for each α = 1,...,f. 4
The Leibniz identity on the following triples imposes further constraints on L Sα and R Sα. Leibniz Identity Constraint {S α, i,} σ α 2 = 0 {S α, i,} σ α 1 = 0 { i,,s α } τ α 2 = 0 (4) { i,,s α } τ α 1 = 0 {S α, i, j } C α = C T α {S α, i, j } D α = Dα T {S α, i, j } E α = A T α {S α,s β, i } ναβ i = 0 {S α,s β, i } µ i αβ = 0 For instance, the Leibniz identity on the triple {S α, i,} gives the following. [S α,[ i,]] = [[S α, i ],]+[ i,[s α,]] [ ] n n 0 = [S α,0] = (γ1) α i +a α i + A α ij j + Cij α j, [ + i, 2a α + n 0 = 0+ (σ2 α ) j[ i, j ] j=1 0 = (σ α 2) i j=1 j=1 n (σ1) α j j + j=1 j=1 ] n (σ2) α j j 0 = (σ α 2 ) i Since this holds for all i = 1,...,n, we have that σ α 2 = 0. 5
As a result of (4), we observe that (3) simplifies to [S α,s β ] = r αβ, and the matrix C α X α = A α is an element of the symplectic Lie algebra sp(2n,f). This implies D α A T α that X α K +KXα T = 0, where K = 0 I n. I n 0 We could study the components of R Sα, right-multiplication by S α, in the same way, but it is more convenient for our purposes to instead consider the left-annihilator Ann l (L). Since [x,x],[x,y] + [y,x] Ann l (L), for all x,y L, we get the following relations between the components of R Sα and the components of L Sα. Identity Constraints [[S α, i ]+[ i,s α ], j ] = 0 G α = C α [[S α, i ]+[ i,s α ], j ] = 0 M α = D α [[S α, i ]+[ i,s α ], j ] = 0 [[S α, i ]+[ i,s α ], j ] = 0 a α = b α, F α = A α Now, defining ρ α = (ρ α 1,ρα 2 )T and using the aforementioned X α, our matrices L Sα and R Sα take the following forms. L Sα = R Sα = 2a α 0 0 a α I 2n +X α 2a α 0 ρ α a α I 2n X α Since [S α,s β ] is in the span of and is central, the Leibniz identity on {S α,s β,z} (where Z is an arbitrary element of (n)) gives that L Sα L Sβ = L Sβ L Sα. This implies that X α X β = X β X α, so the X α s commute. Similarly, the Leibniz identity on {S α,z,s β } (where Z is an arbitrary element of (n)) gives that L Sα R Sβ = R Sβ L Sα. y looking at the matrix representation of this identity (with α = β), we obtain the following. For simplicity, we 6
suppress the α notation and consider only one fixed S α, S. 2a 0 0 = 0 ai +X ρ ai X 4a2 0 = (ai +X)ρ (ai +X) 2 2a 0 0 ρ ai X 0 ai +X 4a2 0 2aρ (ai +X) 2 (ai +X)ρ = 2aρ Xρ = aρ Thus for each α, ρ α is an eigenvector of the associated matrix X α with eigenvalue a α. y taking a linear combination of the S α s we can perform a change of basis so that in the new basis a 2 = a 3 = = a f = 0 and a 1 is either 1 or 0. As stated in [19], there are at most n linearly nilindependent matrices in sp(2n,f). This assertion follows from work in [18], and imposes a constraint on the number of S α s, namely f n+1. The dimension of L is maximized when f = n+1. In this case, a 1 = 1 and we can express the algebra with X 1 = 0 and {X 2,...,X f } linearly nilindependent. We will now investigate in depth all cases where a 1 = 1. We proceed by looking at the product of certain elements of the left-annihilator of L, Ann l (L), with S 1 to place constraints on ρ α 1, ρ α 2, r αβ. Identity Constraints [[S α, i ]+[ i,s α ],S 1 ] = 0 ρ α 1 = 0 [[S α, i ]+[ i,s α ],S 1 ] = 0 ρ α 2 = 0 [[S α,s β ]+[S β,s α ],S 1 ] = 0 r αβ = r βα Thus L Sα = R Sα and [S α,s β ] = [S β,s α ], and so the algebra L is a Lie algebra. It should be noted that all Lie algebras with eisenberg nilradical have been classified by Rubin and Winternitz in [19]. 7
Considering the Leibniz identity on the triple {S 1,S α,s β } we get the following identity: (5) a 1 r αβ = a α r 1β a β r 1α y setting α,β 1 in (5) we arrive at r αβ = 0. Setting α = β = 1 gives r 11 = 0 and setting α 1 and β = 1 gives r 1α = 0. ence, in the a 1 = 1 case we have that r αβ = 0 for all α and β. We summarize in the following theorem. Theorem 3.1. Every indecomposable solvable Leibniz algebra L over F = C or R with nilradical (n) can be written in the basis {S 1,...,S f, 1,..., n, 1,..., n,} with multiplication relations (2), [S α,s β ] = r αβ, and L Sα R Sα = = 2a α 0 0 0 a α I n +A α C α 0 D α a α I n A T α 2a α 0 0 ρ α 1 a α I n A α C α ρ α 2 D α a α I n +A T α for all α,β = 1,...,f. The matrices X α = A α C α sp(2n,f) commute. The D α A T α constants a α satisfy a 1 = 1 or 0 and a 2 = = a f = 0. If a 1 = 1, {X 2,...,X f } is linearly nilindependent, r αβ = 0, and ρ α 1 = ρ α 2 = 0. ence, L is a Lie algebra. If a 1 = 0, {X 1,...,X f } is linearly nilindependent, r αβ F, and ρ α = (ρ α 1,ρα 2 )T is in the nullspace of X α. The dimension of L is 2n+1+f where f n+1. The isomorphism classes of the identification in the theorem are given as follows. Two Leibniz algebras L and L both in the form of the theorem are isomorphic if and only if L can be obtained from L through one or more transformation that respects the form of the 8
algebra given in the theorem. Allowable transformations are: scaling the eisenberg algebra i = c i, i = c i, i = c 2 i, where c 0 F; symplectic transformations of { i, j } ξ =, ξ = Gξ, with GKG T = K where K = 0 I n as before, or equivalently G Sp(2n,F); and I n 0 linear combinations of {S α } which respect the form of L Sα, R Sα, and [S α,s β ]. In the following section, we will use the theorem to classify all solvable Leibniz algebras whose nilradical is the 3-dimensional eisenberg algebra, (1). The theorem can also be used to classify any solvable Leibniz algebra whose nilradical is eisenberg. 4. Extensions of (1) y the restriction Theorem 3.1 imposes on the dimension of L, we need only consider 1- and 2-dimensional extensions of (1) (over the field F = C or R). First consider a 1-dimensional extension of the eisenberg algebra (1) with basis {,,} by a new element S. Using the notation of the theorem, let X = A C, with A,C,D F. D A Then L S = 2a 0, R S = 2a 0, and [S,S] = r where 0 ai 2 +X ρ ai 2 X ρ = (ρ 1,ρ 2 ) T and r,a,ρ 1,ρ 2 F. 9
If a = 1, then r = ρ 1 = ρ 2 = 0, so L is a Lie algebra. Rubin and Winternitz classified Lie algebras with eisenberg nilradicals in [19]. These algebras are defined by the leftmultiplication of S on (1) via one of the following matrices, 2 2 (6) L S = 1+A 0, L S = 0 1 A 1 1 0 1 (7) L S = 2 1 C C 1 where A 0 and C > 0. The matrices in (6) represent the two distinct classes of algebras over C. The matrices in (6) and (7) represent the three distinct classes of algebras over R. Over C, the algebras represented by the matrix on the left side of (6) and the matrix in (7) condense to just one case. If a = 0, then S is linearly nilindependent. Thus S is not nilpotent, so X sp(2,f) is not nilpotent. With this, a simple calculation guarantees that the determinant of X is nonzero. Thus X has a trivial nullspace. Since ρ is an eigenvector of X with eigenvalue a = 0, this gives that ρ = 0. If r = 0, then L is again a Lie algebra, so by [19] left-multiplication of S on (1) is given by one of the following matrices. (8) L S = 0 1 0 0 1 10
(9) L S = 0 0 1 1 0 The matrix in (8) represents the only class of algebras over C. The matrices in (8) and (9) represent the two distinct classes of algebras over R. Over C, these two classes condense to just one case. If r 0, then the change of basis S = 1 λ S where λ2 = det(x) over C[respectively λ 2 = det(x) over R] will make det( X) = 1 [resp. ±1]. Then X is conjugate to 1 0 0 1 over C[resp. 1 0 or 0 1 over R] so a suitable change of basis will put X 0 1 1 0 equal to this matrix [resp. matrices]. After these changes of basis we still have r 0, so we can scale the basis for (1) via = µ, = µ, and = µ 2, where µ 2 = r [resp. µ 2 = r ]. This leaves the matrix X unchanged but makes [S,S] = r = r µ = [resp. 2 ± ]. Therefore the algebra will be defined by the value of r and the left-multiplication of S on (1). Over C, r = 1 and left-multiplication is given by (8). Over R, we have four cases where r = ±1 and left-multiplication can be given by either (8) or (9). It should be noted that in [9] Cañete and Khudoyberdiyev have classified all 4-dimensional Leibniz algebras over C, including the special case where the nilradical is eisenberg. We have recovered their results with the algebras defined by (6), and by (8) with r = 0 or 1. We have further classified all such algebras over R, namely in (6) and (7), and in (8) and (9) with r = 0,1, or 1. Next, consider a 2-dimensional extension of (1) over F, with new basis elements S 1 and S 2, and corresponding matrices X 1 and X 2, using the notation in Theorem 3.1. Specifically, recall that a 2 = 0. 11
If a 1 = 1, then ρ α 1 = ρα 2 = r αβ = 0, for α,β = 1 or 2. This algebra is a Lie algebra. y [19], the left-multiplications of these elements on (1) are given by the following matrices. 2 0 (10) L S1 = 1 0, L S2 = 1 0 0 1 0 1 (11) L S1 = 2 1 0 0 1, L S2 = 0 0 1 1 0 Thepairofmatricesin(10)represents theonlyclassofalgebrasover C. Thepairsofmatrices in (10) and (11) represent the two distinct classes of algebras over R. Over C, these two classes condense to just one case. If a 1 = 0, then by the same argument that we used in the 1-dimensional extension of (1) for S 1, we have that ρ 1 1 = ρ1 2 = 0. Similarly, we argue that ρ2 1 = ρ2 2 = 0. Recalling that left-multiplication commutes we have that L S1 L S2 = L S2 L S1 A 1 C 1 D 1 A 1 A 2 C 2 D 2 A 2 X 1 X 2 = X 2 X 1 = A 2 C 2 D 2 A 2 A 1 C 1 D 1 A 1. As a result, we observe that A 1 = C 1 = D 1. ence, X 1 is a scalar multiple of X 2, and so A 2 C 2 D 2 they are not linearly nilindependent. Thus, there are no Leibniz algebras with a 1 = 0, so all 5-dimensional solvable Leibniz algebras with eisenberg nilradical are Lie algebras and are given by (10) or (11). This result is predicted by Theorem 3.1 since f = n+1. We have now classified all indecomposable solvable Leibniz algebras over C and R whose nilradical is (1). 12
Acknowledgements. The authors gratefully acknowledge the support of the faculty summer research grant from Spring ill College, as well as the support of the Departments of Mathematics at Spring ill College, the University of Texas at Tyler, and West Virginia University: Institute of Technology. References [1] Albeverio, Sh., A. Ayupov,. Omirov. On nilpotent and simple Leibniz algebras, Comm. Algebra. 33 (2005), no.1, 159-172. [2] Albeverio, S.,. A. Omirov, I. S. Rakhimov. Classification of 4 dimensional nilpotent complex Leibniz algebras, Extracta Math. 21 (2006), no. 3, 197-210. [3] Ayupov, Sh. A.,. A. Omirov. On Leibniz algebras, Algebra and Operator Theory. roceedings of the Colloquium in Tashkent, Kluwer, (1998). [4] arnes, D. On Levi s theorem for Leibniz algebras, ull. Austral. Math. Soc. 86 (2012), no. 2, 184-185. [5] arnes, D. Some theorems on Leibniz algebras, Comm. Algebra. 39 (2011), no. 7, 2463-2472. [6] arnes, D. On Engel s Theorem for Leibniz Algebras, Comm. Algebra. 40(2012), no. 4, 1388-1389. [7] atten-ray, C., A. edges, E. Stitzinger. Classifying several classes of Leibniz algebras, Algebr. Represent. Theory. To appear, arxiv:1301.6123. [8] osko, L., A. edges, J.T. ird, N. Schwartz, K. Stagg. Jacobson s refinement of Engel s theorem for Leibniz algebras, Involve. 4 (2011), no. 3, 293-296. [9] Cañete, E. M., A. K. Khudoyberdiyev. The Classification of 4-Dimensional Leibniz Algebras. Linear Algebra Appl. 439 1, (2013) 273-288. [10] Campoamor-Stursberg R. Solvable Lie algebras with an N-graded nilradical of maximum nilpotency degree and their invariants, J. hys A. 43 (2010), no. 14, 145202, 18 pp. [11] Casas J. M., M. Ladra,. A. Omirov, I. A. Karimjanov. Classification of solvable Leibniz algebras with null-filiform nilradical, Linear Multilinear Algebra. 61 (2013), no. 6, 758-774. [12] Casas J. M., M. Ladra,. A. Omirov, I. A. Karimjanov. Classification of solvable Leibniz algebras with naturally graded filiform nil-radical, Linear Algebra Appl. 438 (2013), no. 7, 2973-3000. [13] Loday, J. Une version non commutative des algebres de Lie: les algebres de Leibniz, Enseign. Math. (2) 39 (1993), no. 3-4, 269-293. 13
[14] Loday, J., T. irashvili. Universal enveloping algebras of Leibniz algebras and (co)homology, Math. Ann. 296 (1993), no. 1, 139-158. [15] Mubarakzianov, G. M. Some problems about solvable Lie algebras. Izv. Vusov: Ser. Math. (1966), no. 1, 95-98 (Russian). [16] Ndogmo, J. C.,. Winternitz. Solvable Lie algebras with abelian nilradicals, J. hys. A. 27 (1994), no. 8, 405-423. [17] Omirov,. Conjugacy of Cartan subalgebras of complex finite dimensional Leibniz algebras, J. Algebra. 302 (2006), no. 2, 887-896. [18] atera, J.,. Winternitz,. Zassenhaus. Maximal abelian subalgebra of real and complex symplectic Lie algebras, J. Math. hys.. 24 (1983), 8, 1973-1985. [19] Rubin, J. L.,. Winternitz. Solvable Lie algebras with eisenberg ideals, J. hys. A: Math. Gen. 26 (1993), no. 5, 1123-1138. [20] Tremblay.,. Winternitz. Solvable Lie algebras with triangular nilradicals, J. hys. A. 31 (1998), no. 2, 789-806. [21] Wang, Y., J. Lin, S. Deng. Solvable Lie algebras with quasifiliform nilradicals, Comm. Algebra. 36 (2008), no. 11, 4052-4067. Department of Mathematics, Spring ill College, Mobile, AL 36608 E-mail address: lboskodunbar@shc.edu Department of Mathematics, Spring ill College, Mobile, AL 36608 E-mail address: jdunbar@shc.edu Department of Mathematics, West Virginia University, Institute of Technology, Montgomery, WV 25136 E-mail address: John.ird@mail.wvu.edu Department of Mathematics, The University of Texas at Tyler, Tyler, TX 75799 E-mail address: kstagg@uttyler.edu 14