Analytic Linear Lie rack Structures on Leibniz Algebras
Hamid Abchir, Fatima-Ezzahrae Abid, Mohamed Boucetta

TL;DR
This paper characterizes analytic linear Lie rack structures on Leibniz algebras, showing their relation to cohomology, and demonstrates rigidity for certain classical Lie algebras, proposing a conjecture for all simple Lie algebras.
Contribution
It provides a complete characterization of analytic linear Lie rack structures on Leibniz algebras and introduces the concept of rigidity for these structures.
Findings
-cohomology triviality implies solvability of equations defining Lie rack structures.
-cohomology triviality leads to classification of structures.
-cohomology computations show -cohomology vanishes for and .
Abstract
A linear Lie rack structure on a finite dimensional vector space is a Lie rack operation pointed at the origin and such that for any , the left translation is linear. A linear Lie rack operation is called analytic if for any , \[ x\rhd y=y+\sum_{n=1}^\infty A_{n,1}(x,\ldots,x,y), \]where is an -multilinear map symmetric in the first arguments. In this case, is exactly the left Leibniz product associated to . Any left Leibniz algebra has a canonical analytic linear Lie rack structure given by , where . In this paper, we show that a sequence of -multilinear maps on a vector space defines an analytic…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Analytic Linear Lie rack Structures on Leibniz Algebras
Hamid Abchir
Université Hassan II
Ecole Supérieure de Technologie
Route d’El Jadida Km 7, B.P. 8012, 20100 Casablanca, Maroc
e-mail: [email protected]
Fatima-Ezzahrae Abid
Université Cadi-Ayyad
Faculté des sciences et techniques
BP 549 Marrakech Maroc
e-mail: [email protected]
Mohamed Boucetta
Université Cadi-Ayyad
Faculté des sciences et techniques
BP 549 Marrakech Maroc
e-mail: [email protected]
Abstract
A linear Lie rack structure on a finite dimensional vector space is a Lie rack operation pointed at the origin and such that for any , the left translation is linear. A linear Lie rack operation is called analytic if for any ,
[TABLE]
where is an -multilinear map symmetric in the first arguments. In this case, is exactly the left Leibniz product associated to . Any left Leibniz algebra has a canonical analytic linear Lie rack structure given by , where .
In this paper, we show that a sequence of -multilinear maps on a vector space defines an analytic linear Lie rack structure if and only if is a left Leibniz bracket, the are invariant for and satisfy a sequence of multilinear equations. Some of these equations have a cohomological interpretation and can be solved when the zero and the 1-cohomology of the left Leibniz algebra are trivial. On the other hand, given a left Leibniz algebra , we show that there is a large class of (analytic) linear Lie rack structures on which can be built from the canonical one and invariant multilinear symmetric maps on . A left Leibniz algebra on which all the analytic linear Lie rack structures are build in this way will be called rigid. We use our characterizations of analytic linear Lie rack structures to show that and are rigid. We conjecture that any simple Lie algebra is rigid as a left Leibniz algebra.
Keywords: Lie rack, Left Leibniz algebra, multilinear algebra, simple Lie algebra
1 Introduction
In the 1980’s, Joyce [13] and Matveev [17] introduced the notion of quandle. This notion has been derived from the knot theory, in the way that the axioms of a quandle are the algebraic expressions of Reidemeister moves (I,II,III) for an oriented knot diagram [11]. The quandles provide many knot invariants. The fundamental quandle or knot quandle was introduced by Joyce who showed that it is a complete invariant of a knot (up to a weak equivalence). Racks which are a generalization of quandles were introduced by Brieskorn [7] and Fenn and Rourke [12]. Recently (see [8, 9]), there has been investigations on quandles and racks from an algebraic point of view and their relationship with other algebraic structures as Lie algebras, Leibniz algebras, Frobenius algebras, Yang Baxter equation, and Hopf algebras etc..
A rack is a non-empty set together with a map , such that, for any , the map , is a bijection and
[TABLE]
A rack is called pointed if there exists a distinguished element such that, for any ,
[TABLE]
A rack is called a quandle if, for any , .
A Lie rack is a rack such that is a smooth manifold, is a smooth map and the left translations are diffeomorphisms. Any Lie group has a Lie rack structure given by .
Leibniz algebras were first introduced and investigated in the papers of Bloh [6, 5] under the name of D-algebras. Then they were rediscovered by Loday [14] who called them Leibniz algebras. A left Leibniz algebra is an algebra over a field such that, for every element , , is a derivation of , i.e.,
[TABLE]
Any Lie algebra is a left Leibniz algebra and a left Leibniz algebra is a Lie algebra if and only if its bracket is skew-symmetric. Many results of the theory of Lie algebras can be extended to left Leibniz algebras (see [1, 2, 3]).
In 2004, Kinyon [15] proved that if is a pointed Lie rack, carries a structure of left Leibniz algebra. Moreover, in the case when the Lie rack structure is associated to a Lie group then the associated left Leibniz algebra is the Lie algebra of .
Given a pointed Lie rack , for any , we denote by the differential of at . We have
[TABLE]
Thus is an homomorphism of Lie racks. If we put
[TABLE]
becomes a left Leibniz algebra.
A linear Lie rack structure on a finite dimensional vector space is a Lie rack operation pointed at [math] and such that for any , the map is linear. A linear Lie rack operation is called analytic if for any ,
[TABLE]
where for each , is an -multilinear map which is symmetric in the first arguments. In this case, is the left Leibniz bracket associated to .
If is a left Leibniz algebra then the operation given by
[TABLE]
defines an analytic linear Lie rack structure on such that the associated left Leibniz bracket on is the initial bracket . We call the canonical linear Lie rack structure associated to .
In this paper, we will study linear Lie rack structures with an emphasis on analytic linear Lie rack structures.
Actually, there is a large class of linear Lie rack structures on containing the canonical one. This class was suggested to us by an example sent to us by Martin Bordemann. The proof of the following proposition will be given in Section 2.
Proposition 1.1**.**
Let be a left Leibniz algebra, a smooth function and a symmetric multilinear -form such that, for any ,
[TABLE]
Then the operation given by
[TABLE]
is a linear Lie rack structure on and its associated left Leibniz bracket is . Moreover, if is analytic then is analytic .
This proposition shows that a left Leibniz algebra might be associated to many non equivalent pointed Lie rack structures. For instance if one takes in Proposition 1.1, the two pointed Lie rack structures
[TABLE]
are two pointed Lie rack structures on which are not equivalent (even locally near 0) and have the same left Leibniz algebra, namely, the abelian one. This contrasts with the theory of Lie groups where two Lie groups are locally equivalent near their unit elements if and only if they have the same Lie algebra. Moreover, this proposition motivates the study of linear Lie rack structures and gives a sense to the following definition.
Definition 1.1**.**
A left Leibniz algebra is called rigid if any analytic linear Lie rack structure on such that is given by
[TABLE]
where is analytic with and is a symmetric multilinear -form such that, for any ,
[TABLE]
Remark 1**.**
We have seen that the abelian left Leibniz algebra is not rigid.
This paper is an introduction to the study of the rigidity of left Leibniz algebras. Our approach was suggested to us by the one used in the study of linearization of Poisson structures (see [10]). One of our main results is the following theorem.
Theorem 1.1**.**
Let be a real finite dimensional vector space and a sequence of -multilinear maps symmetric in the first arguments. We suppose that the operation given by
[TABLE]
converges. Then is a Lie rack structure on if and only if for any and ,
[TABLE]
where for sake of simplicity .
In particular, if we get that is a left Leibniz bracket which is actually the left Leibniz bracket associated to .
Remark 2**.**
When and , the relation (5) becomes
[TABLE]
A multilinear map on a left Leibniz algebra satisfying (6) will be called invariant. Thus Theorem 1.1 reduces the study of analytic linear Lie rack structures to the study of the datum of a left Leibniz algebra with a sequence of invariant multilinear maps satisfying a sequence of multilinear equations. Even though equations (5) are complicated, we will see in this paper that they are far more easy to handle than the distributivity condition (1). In Section 2 we will give the proofs of Proposition 1.1 and Theorem 1.1 and we will show that there is a large class of non rigid left Leibniz algebras (see Corollary 2.1). On the other hand, when the equation (5) has a cohomological interpretation with respect to the cohomology of the left Leibniz algebra . When we can deduce a refined expression of the (see Theorem 3.1 in Section 3). By using Theorems 1.1 and 3.1 we will prove that and are rigid (see Sections 4). As the reader will see, the proof of the rigidity of and based on Theorems 1.1 and 3.1 is quite difficult and has needed a deep understanding of the structure of these Lie algebras as a simple Lie algebras. We think that the study of the following conjecture can be a challenging mathematical problem.
Conjecture 1**.**
Every simple Lie algebra is rigid in the sense of Definition 1.1.
2 Some classes of non rigid left Leibniz algebras, proofs of Proposition 1.1 and Theorem 1.1
The proof of Proposition 1.1 is a consequence of the following well-known result.
Proposition 2.1**.**
Let be a rack and a map such that, for any , , i.e., for any . Then the operation
[TABLE]
defines a rack structure on .
Proof.
We have, for any ,
[TABLE]
Proof of Proposition 1.1.
Proof.
We consider the map given by . Since is invariant, we have and hence and one can apply Proposition 2.1 to conclude. ∎
The following proposition shows that the class of non rigid left Leibniz algebras is large. Recall that if is a left Leibniz algebra then its center .
Proposition 2.2**.**
Let be a left Leibniz algebra. Choose a scalar product on , a family of vectors in , a family of vector in and with for . If is the canonical linear Lie rack operation on then
[TABLE]
is a linear Lie rack operation pointed at 0. Moreover, if for then .
Proof.
Note first that for any and for any , and . Moreover, and for any . So, for any ,
[TABLE]
This proves the proposition. ∎
Corollary 2.1**.**
Let be a left Leibniz algebra which is a Lie algebra such that , . Then is not rigid. 2. 2.
Let be a left Leibniz algebra such that and is not contained in . Then is not rigid.
Proof.
By virtue of Definition 1.1, if is rigid then any linear analytic rack structure on satisfies for any . Choose , a scalar product on and with . According to Proposition 2.2, the operation
[TABLE]
is an analytic linear Lie rack structure on satisfying . However, this operation satisfies and hence is not rigid. 2. 2.
We have also that if is rigid then any linear analytic rack structure on satisfies . We proceed as the first case and we consider the same Lie rack operation on with and and we get a contradiction.∎
Remark 3**.**
There is a large class of left Leibniz algebras satisfying the hypothesis of Corollary 2.1, for instance, any 2-step nilpotent Lie algebra belongs to this class.
Proof of Theorem 1.1.
Proof.
Put . We have
[TABLE]
[TABLE]
By identifying the homogeneous component of degree in and of degree in in both and we get the desired relation. ∎
The following result is an immediate and important consequence of Theorem 1.1.
Corollary 2.2**.**
Let be a left Leibniz algebra and its canonical linear Lie rack operation. Then
[TABLE]
where
[TABLE]
and is the group of permutations of . Furthermore, the satisfy the sequence of equations (5).
3 Analytic linear Lie racks structures over left Leibniz algebras with trivial 0-cohomology and 1-cohomology
In this section, we recall the definition of the cohomology of a left Leibniz algebra. We will give an important expression of the defining an analytic linear Lie rack structure on a left Leibniz algebra when .
Let be a left Leibniz algebra. For any , the operator given by
[TABLE]
satisfies and then defines a cohomology for . For any and , we have
[TABLE]
and one can see easily that
[TABLE]
Remark 4**.**
Let be a left Leibniz algebra which is a Lie algebra. The cohomology of as left Leibniz algebra is different from its cohomology as a Lie algebra, however and are the same for both cohomologies.
Now let’s take a closer look to equations (5) when . Let be a left Leibniz algebra and a sequence of -multilinear maps on with values in symmetric in the first arguments and such that and . For sake of simplicity we write .
Equation (5) for can be written for any ,
[TABLE]
Thus
[TABLE]
where , .
On the other hand, the sequence defining the canonical linear Lie rack structure of (see Corollary 2.2) satisfies (5) and hence
[TABLE]
If , since and , Equations (8) and (9) implies that, for any ,
[TABLE]
Since and are symmetric in the two first arguments this is equivalent to
[TABLE]
This is a cohomological equation and if then there exists such that, for any ,
[TABLE]
Moreover, if then is unique and symmetric and one can check easily that is invariant if and only if is invariant.
We have triggered an induction process and, under the same hypothesis, the satisfy a similar formula as (10). This is the purpose of the following theorem.
Theorem 3.1**.**
Let be a left Leibniz algebra such that . Let be a sequence where and and, for any , is multilinear invariant and symmetric in the first arguments. We suppose that the satisfy (8). Then there exists a unique sequence of invariant symmetric multilinear maps such that, for any ,
[TABLE]
where and .
Remark 5**.**
Formula (11) deserves some explications. As any formula depending inductively on , to find the general form one needs to check it for the first values of and it is what we have done. There are the formulas we found directly and which helped us to establish the expression (11).
[TABLE]
To prove Theorem 3.1, we will proceed by induction. The proof is rather technical and needs some preliminary formulas.
Fix and . For any and , in the proof of Theorem 3.1, we will need to compute where are given by
[TABLE]
This is straightforward from (7) and the formula
[TABLE]
whose polar form is (9). We use here the well-know fact that two symmetric multilinear forms are equal if and only if their polar forms are equal. For sake of simplicity put .
Proposition 3.1**.**
We have
[TABLE]
Proof of Theorem 3.1.
Proof.
We prove the formula by induction on . For , the formula has been established in (10).
Suppose that there exists a family where is an invariant symmetric -from on with values in such that for any ,
[TABLE]
We look for symmetric and invariant such that
[TABLE]
where depends only on .
The idea of the proof is to show that, for any , where is given by . Then since there exists a unique satisfying . By using the fact that is the polar form of a symmetric form and one can see that is the polar form of a symmetric form which is also invariant.
Let us compute now . According to (8), we have
[TABLE]
By expanding this relation using our induction hypothesis given in (14), we get that
[TABLE]
where
[TABLE]
On the other hand, if we denote
[TABLE]
we remark that the computation of is based on Proposition 3.1 where we have computed the .
To conclude, we need to show that
[TABLE]
where is given in Proposition 3.1. Let and be the terms in and corresponding to . We have
[TABLE]
On the other hand,
[TABLE]
Since
[TABLE]
. In the same way, one can see easily that
[TABLE]
To conclude, we must show that where
[TABLE]
[TABLE]
Denote by , for any , , for any , and for and put
[TABLE]
and for any put
[TABLE]
Thus
[TABLE]
The map , defines a free action of and the map identifies the quotient to
[TABLE]
Moreover, so
[TABLE]
On the other hand, put
[TABLE]
We have
[TABLE]
where
[TABLE]
We consider now
[TABLE]
given by
[TABLE]
Indeed, it is obvious that , . Moreover, since and then and hence .
is a bijection since we have
[TABLE]
Indeed, we have
[TABLE]
This implies obviously that and . Now and hence . This with imply that . It is obvious that and from , we get
[TABLE]
This completes the proof. ∎
4 Analytic linear Lie rack structures on and
We denote by the Lie algebra of traceless real -matrices and by the Lie algebra of skew-symmetric real -matrices. We consider them as left Leibniz algebras and the purpose of this section is to prove that they are rigid in the sense of Definition 1.1. Namely, we will prove the following theorem.
Theorem 4.1**.**
Let be either or and an analytic linear Lie rack structure on such that is the Lie algebra bracket of . Then there exists an analytic function given by
[TABLE]
such that, for any ,
[TABLE]
where . So is rigid.
The proof of this theorem is based on Theorem 3.1. So the first step is the determination of symmetric invariant multilinear maps on and . To achieve that, we use the Chevalley restriction theorem for vector-valued functions proved in [16]. We recall its statement as explained in [4].
Let be a complex semi-simple Lie algebra, a Cartan subalgebra, the connected and simply connected Lie group of and the maximal torus in generated by . We denote by the normalizer of in . Note that for any , leaves invariant and is the Weyl group of . Let be a symmetric -multilinear map which is -invariant, i.e., for any and any ,
[TABLE]
This is equivalent to
[TABLE]
We denote by the vector space of -invariant -multilinear symmetric forms on with values in .
Let and we denote by its restriction to . From (25), we get that for any ,
[TABLE]
and hence (since is a maximal abelian subalgebra). So defines a -multilinear symmetric map which is -invariant. If we denote by the vector space of -invariant -multilinear symmetric forms on with values in , we get a map .
Theorem 4.2** ([16]).**
* is injective.*
Let be a real semi-simple Lie algebra. The definition of is similar to the complex case. The complexified Lie algebra of is also semi-simple and we have an injective map , which assigns to each -invariant -multilinear invariant form on the unique -multilinear map from to whose restriction to is . By using (25) one can see easily that since is -invariant then is -invariant.
We will now apply Theorem 4.2 and the embedding above to compute for any when , or .
Let , or . For any , we define by
[TABLE]
where . This defines a symmetric invariant form on and the map given by
[TABLE]
is symmetric and invariant.
Theorem 4.3**.**
Let . Then, for any , we have
[TABLE]
Proof.
A Cartan subalgebra of is which is one dimensional and hence, for any , the dimension of is less than or equal to . By virtue of Theorem 4.2 we get . Moreover, the associated Lie group to is and one can see easily that and hence . Now
[TABLE]
Thus for any , the invariance by implies that, for any ,
[TABLE]
So if is even then and hence . If is odd, the restriction theorem shows that and since we get the result. ∎
If or then is isomorphic to and since the invariants of are embedded in the invariants of we get the following corollary.
Corollary 4.1**.**
If or then, for any , we have
[TABLE]
Let us pursue our preparation of the proof of Theorem 4.1. Let or and . Then
[TABLE]
Put
[TABLE]
The following formula which is true in both and is easy to check and will play a crucial role in the proof of Theorem 4.1. Indeed, for any ,
[TABLE]
This implies easily, by virtue of Corollary 2.2, that
[TABLE]
Proposition 4.1**.**
Let be either or and an analytic linear Lie rack product on such that is the Lie algebra bracket of . Then there exists a sequence with , , for any ,
[TABLE]
and for any ,
[TABLE]
Proof.
By virtue of Theorem 1.1, where the sequence satisfies (5). Moreover, since is simple and we can apply Theorem 3.1. Thus
[TABLE]
and the are symmetric invariant. By virtue of Corollary 4.1,
[TABLE]
Thus
[TABLE]
But by using Corollary 2.2, we have and hence we can write
[TABLE]
where are constant such that . Note that in particular . Now by using (27), we get
[TABLE]
where are constant. In the same way, one can show that there exists constants such that
[TABLE]
and get the desired expression of .
On the other hand, The equation (5) for and holds for both the and the so we get
[TABLE]
Thus
[TABLE]
and hence
[TABLE]
By using (27) we get
[TABLE]
One can show easily by using (26) that
[TABLE]
and deduce that
[TABLE]
On the other hand
[TABLE]
and finally,
[TABLE]
To complete the proof, it suffices to replace by . ∎
Proof of Theorem 4.1.
Proof.
According to Proposition 4.1, there exists a sequence with , , for any ,
[TABLE]
and for any ,
[TABLE]
We will show that there exists a unique sequence such that the function satisfies
[TABLE]
Thus
[TABLE]
Put and compute the coefficients . Indeed,
[TABLE]
where contains terms of degree . The multinomial theorem gives
[TABLE]
Thus
[TABLE]
So
[TABLE]
For sake of simplicity and clarity, put
[TABLE]
To prove the theorem we need to show that there exists a unique sequence such that
[TABLE]
Note first that the relation (29) and the fact that defines the sequence entirely in function of the sequence . On the other hand, since and then
[TABLE]
Since the quantity depends only on , these relations define inductively and uniquely the sequence in function of . To achieve the proof we need to prove (31). We will proceed by induction and we will use the following relation
[TABLE]
Indeed,
[TABLE]
To conclude, it suffices to remark that in the relation
[TABLE]
the left side is a sum of nonnegative numbers and the right side is nonnegative so and hence the relation is equivalent to
[TABLE]
Now, we are able to prove (31). We proceed by induction. For , we have and . Suppose that the relation holds from 1 to . By virtue of (29), we have
[TABLE]
and all the appearing in this formula are given by (30) and (31) this implies that is a function of and we can put . We can also put
[TABLE]
To show that satisfies (31) is equivalent to showing
[TABLE]
But if and . Hence
[TABLE]
For , by induction hypothesis is given by (30) and by using (32) one can see easily that if and 0 if . Similarly, we have if and 0 if . For sake of simplicity, we put
[TABLE]
with the convention and if is negative. Then, for , we have
[TABLE]
This completes the proof. ∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] S. Albeverio, Sh. A. Ayupov, B. A. Omirov, On nilpotent and simple Leibniz algebras , Comm. in Algebra, 33 (1) (2005) pp. 159-172.
- 2[2] Sh. A. Ayupov, B.A. Omirov, On Leibniz algebras , In Algebra and operator theory (Tashkent, 1997), Kluwer Acad. Publ., Dordrecht, (1998) pp. 1–12.
- 3[3] Sh. A. Ayupov, B. A. Omirov, On some classes of nilpotent Leibniz algebras , Siberian Math. J., 42 (2001) pp.15–24.
- 4[4] M. Balagovic, Chevalley restriction theorem for vector-valued functions on quantum groups, Representation Theory An Electronic Journal of the American Mathematical Society Volume 15 , Pages 617-645 (2011).
- 5[5] A. M. Bloh, Cartan-Eilenberg homology theory for a generalized class of Lie algebras , Dokl. Akad. Nauk SSSR 175 (1967), 824–826.
- 6[6] A. M. Bloh, On a generalization of the concept of Lie algebra , Dokl. Akad. Nauk SSSR 165 (1965), 471–473.
- 7[7] E. Brieskorn, Automorphic sets and braids and singularities , Contemporary math. 78 (1988) 45–115.
- 8[8] J. Scott Carter, Alissa S. Crans, M. Elhamdadi, Enver Karadayi and Masahico Saito, Cohomology of Frobenius algebras and the Yang-Baxter equation, Commun. Contemp. Math. 10 (2008), no. suppl. 1, 791-814.
