Standard Lyndon bases of Lie algebras and enveloping algebras

Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au

Last updated: 19 May 2015

This is an excerpt of the paper Standard Lyndon bases of Lie algebras and enveloping algebras by Pierre Lalonde Arun Ram.

The first author's research was supported by FCAR and NSERC grants. The second author's research was partially supported by a National Science Foundation Postdoctoral Fellowship.

Standard bases

Order the words in A* by setting uwif { u<w or u=v anduv. This is a total order on words with the additional property that there are a finite number of words less than any given word.

Suppose that J is a Lie ideal of Lie(A) and that I is the ideal in [A*] generated by J. Let 𝔤=Lie(A)/J andU𝔤=[A*] /I. It follows from (1.6) and (1.8), that U𝔤 is the enveloping algebra of 𝔤. Define a Lyndon word to be Lie-standard with respect to J if its bracketing b[] cannot be written as a sum of bracketings of strictly smaller Lyndon words modulo the ideal J of Lie(A) with respect to the ordering . Define a word w to be standard with respect to I if w cannot be written as a sum of strictly smaller words modulo the ideal I, again with respect to the ordering . Make the following notations: L is the set of Lyndon words, SL is the set of Lie-standard Lyndon words, S is the set of standard words. The standard words that we have defined are essentially a Gröbner basis. The following two theorems are the standard results from the Gröbner basis context.

The set of elements b[] where SL, is a basis of 𝔤=Lie(A)/J.

Proof.

The set of all b[], where L, spans 𝔤. If is not Lie-standard then b[] can be written as a linear combination of bracketings of Lyndon words modulo J which are smaller than . If any of these words is not standard, express it as a sum of smaller words. Continue this process until all the words in the expansion are standard. The process must stop as the number of words smaller than any given word is finite. Thus the elements b[], where SL, span 𝔤.

We now show that the set of Lie-standard Lyndon words is linearly independent. Suppose that there was a nontrivial relation among them. Then this relation expresses the maximal word as a linear combination of lower words modulo J, a contradiction to the standardness of the maximal word.

The set of words in S is a basis for U𝔤=[A*]/I.

Proof.

The proof is exactly analogous to the proof of Theorem (2.1).

We shall show that SL=SL, i.e. that the set of Lie-standard Lyndon words is the same as the set of standard Lyndon words (this is not a priori obvious).

SLSL.

Proof.

Let mL. Suppose mSL. Then b[m]=nmnL anb[n]+x, for some xJ. Using (1.2) on each side, m+vm bvv=nm an(n+wncww) +x, for some integers bv,an,cw. Subtracting vmbvv from both sides, m=vmdv v+x for some integers dv. Since xJI, we have that mS.

Any factor of a standard word is a standard word.

Proof.

Suppose that v is not standard so that we have v=mvam m(modI). Then uvw=u (mvamm+x)w, where xI. Since I is an ideal uxwI and since umwuvw for all m, we have that uvw is not standard.

If wS then w has a unique factorization w=1k, iSL, 1k.

Let =1k, iSL, and 1k. Then b[]=1k +mlbm m1mr (modI), where m=m1mr, miSL for each i, m1mr, and bm.

Proof.

By (1.5) and the definition of the ordering , b[]=1k+ mamm. Expanding the sum in terms of standard words, b[]=1k+ mSmm bmm(modI). The result now follows from Corollary (2.5) since each m appearing in the sum has a unique factorization of the form m=m1mr, miSL, m1mr.

Each of the following sets is a basis of [A*]/I. (B1) The set S of standard words with respect to I. (B2) The set of products b[1]b[k], where iSL and 1k. (B3) The set of products 1k, where iSL and 1k.

Proof.

Statement (B1) is Theorem (2.2). (B2) is a basis by (2.1) and the Poincaré-Birkhoff-Witt theorem. Theorem (2.6) gives a triangular relation between the elements of the set (B3) and the elements of the set (B2) which proves that (B3) is a basis.

(a) With notations as in Theorem (2.7), (B1)=(B3). (b) SL=SL.

Proof.

(a) Corollary (2.5) gives that (B1)(B3). Since these are both bases we must have (B3)=(B1) (express the basis (B3) in terms of the basis (B1)).)

(b) Since (B3)=(B1), SLS. Combining this with Lemma (2.3) we have that SL=SL.

The following proposition will help us to compute the standard Lyndon words by induction on the length of the words.

Let be a standard Lyndon word. Then is of the form =12ka, where (1) i are standard Lyndon words for all 1ik, (2) i is a left factor of i-1 for all i>1, (3) aA.

Proof.

Let m be the word with the last letter removed. By (1.4) m has a factorization m=1k into Lyndon words i such that ii+1 for all 1ik-1. By Proposition (2.4), each of the factors i is standard since they are factors of the standard word .

It remains to prove that i is a left factor of i-1 for all 1ik. Consider the following chain of inequalities. For i>1, i i-1 1< 1 ka i ka, where the last inequality follows since the right hand side ika is a right factor of the Lyndon word 1ka. It follows easily from ii-1<ika that i is a left factor of i-1 (consider these as words in a dictionary).

page history