Arxiv:2103.12332V1 [Math.CO] 23 Mar 2021 H Soitdro Pcsfe Otsae of Spaces Root Free Spaces Root Associated the Hoai Polynomials

arXiv:2103.12332v1 [math.CO] 23 Mar 2021 h soitdro pcsfe otsae of spaces root free spaces root associated the hoai polynomials. Chromatic rd pcso reprilycmuaieLesuperalgebr Lie commutative partially free of spaces grade .Introduction 1. ..SprLno ep ai ffe atal commutative partially free of basis factorization2010 heaps standard Lyndon the Super and heaps Lyndon al 3.7. spaces Super Lie the commutative of partially identification 3.6. free The of basis heaps heaps 3.5. Lyndon Lyndon and Pyramids, monoid, 3.4. monoid Heaps super commutative partially 3.3. superalgebra Free superalgebras Lie BKM commutative of partially 3.2. basis Free Lyndon I: result 3.1. superalgebras Main BKM of group identity 3. Weyl Denominator the and system 2.4. Root diagram Dynkin 2.3. Quasi Relations and 2.2. superalgebras Generators BKM of theory 2.1. Structure 2. 1 phrases. and words Key Teerossae r refo er eain.As,the Also, relations. Serre from free are spaces roots -These TD NFE OT FBRHRSKCMOYLIE BORCHERDS-KAC-MOODY OF ROOTS FREE ON STUDY A ahmtc ujc Classification. Subject Mathematics ihteascae graph associated the with eain egtatinua decomposition triangular a get we relations ydnhas eas ics e te obntra prop combinatorial combi other the few studying a by discuss done also is We This heaps. Lyndon superalgebras. BKM of case er eain,ad()Cmuainrltoscmn from coming relations generat Commutation the (3) on relations and of relations, sets Serre different three introducing otie in contained Abstract. ae,w r neetdi h otsae of spaces root the in interested are we paper, ecl hs ot reroots free roots these call We oigfo h graph the from coming hs ot n rv aycmiaoilpoete.W con We of properties. spaces combinatorial root many prove these and roots these te yetnigtebssgvni [ in given commu basis partially the free extending of by case other the to algebras Lie commutative Let n + or g eaBrhrsKcMoyLesprler BMsuperalgeb (BKM superalgebra Lie Borcherds-Kac-Moody a be oced-a-od i uelgba,fe ot,Lyndo roots, free superlagebras, Lie Borcherds-Kac-Moody n − g n yetnigteLlnesLno epbsso repar free of basis heap Lyndon Lalonde’s the extending by One : npriua,each particular, In . G HSM AIADG ARUNKUMAR G. AND RANI SHUSHMA ecnsuyte obntral.W s ep fpee os to pieces of heaps use We combinatorially. them study can we G 1 n such Any . of SUPERALGEBRAS g ic hs otsae nov nycmuainrelation commutation only involve spaces root these Since . 51,1B1 70,1B2 76,1B7 51,05C31. 05C15, 17B67, 17B65, 17B22, 17B05, 17B01, 05E15, g . 1 g o h rero pcso oced lerst the to algebras Borcherds of spaces root free the for ] Contents η ( k g g ) g α scntutdfo reLesprler by superalgebra Lie free a from constructed is and = 1 g novsol h eain 2 n 3.I this In (3). and (2) relations the only involves hc r needn fteSrerelations. Serre the of independent are which n + s[..Lemma [c.f. as LS ⊕ h k LS ⊕ erossae a eietfidwt certain with identified be can spaces roots se ( G n − ( ) G, r:()Cealyrltos (2) relations, Chevalley (1) ors: n ahrosspace roots each and aieLesprlersadthe and superalgebras Lie tative Ψ) riso reroots. free of erties tuttodffrn ae for bases different two struct h graph the aoilpoete fsuper of properties natorial 1 gebras .S ecl hmfe ot and roots free them call we So ]. i superalgebras Lie G yChevalley By . ai,Haso pieces, of Heaps basis, n ai short) in ra g α seither is tially tudy s 11 11 10 10 8 8 7 7 7 6 6 5 5 2 2 SHUSHMA RANI AND G. ARUNKUMAR

4. Main result II: LLN basis of BKM superalgebras 18 4.1. Initial alphabet and Left normed Lie word associated with a word 18 4.2. Lyndon words and their Standard factorization 18 4.3. Super Lyndon words and their associated Lie word 19 4.4. Idea of the proof 19 4.5. Theorem 6: LLN basis of BKM superalgebras 19 4.6. Examples to Theorem 6 20 4.7. Proof of Lemma 3 20 4.8. Proof of Lemma 4 (Identiﬁcation of Ci(k, G) and super Lyndon heaps) 28 4.9. Comparison of the Lyndon basis with the LLN basis 30 5. Combinatorial properties of free roots of BKM superalgebras 32 5.1. Free roots of BKM superalgebras 32 5.2. Multicoloring and the k-chromatic polynomial of G 33 5.3. Bond lattice and an isomorphism of lattices 35 5.4. Proof of Theorem 3: (Chromatic polynomial and root multiplicities) 35 5.5. Proof of Corollary 1: (Formula for multiplicities of free roots) 37 References 38

1. Introduction In this paper, we are interested in the combinatorial properties of roots of a Borcherds-Kac- Moody Lie superalgebra (BKM superalgebra in short) g. In particular, we are interested in the roots of g whose associated root spaces are independent of the Serre relations. We call these roots free roots of g. BKM superalgebras [40, 41, 36, 29] are a natural generalization of two important classes of Lie algebras namely Borcherds algebras (Generalized Kac-Moody algebras) [3, 22, 23, 1] and the Kac-Moody Lie superalgebras [24, 7, 26, 9, 10]. BKM superalgebras have a wide range of applications in mathematical physics [37, 20, 16, 12, 4]. For example, physicists applied these algebras to describe supersymmetry, chiral supergravity, and Gauge theory [17, 19, 27, 13, 8, 21]. We explain our results in detail: In [1, Theorem 1] the following connection between the root G multiplicities of a Borcherds algebra g and the k-chromatic polynomial πk (q) [c.f. Definition 7] of the associated quasi Dynkin diagram G [c.f. Definition 2] is proved. Theorem 1. Let g be a Borcherds algebra with associated Borcherds-Cartan matrix A and the quasi Dynkin diagram G. Assume that the matrix A is indexed by the countable (finite/countably infinite) set I. Let k = (ki : i ∈ I) ∈ Z+[I] := ⊕i∈IZαi be such that ki ≤ 1 for i ∈ Ire. Then G ht(η(k)) |J| q mult(β(J)) πk (q) = (−1) (−1) . J k J D(J, J) ∈XLG( ) JY∈ where η(k) := i∈I kiαi, ht(η(k)) := i∈I ki, and LG(k) is the bond lattice of weight k of the graph G [c.f. Definition 8]. P P Further in [1], using Theorem 1, the following theorem is proved in which a set of the basis i for the root space gη(k) is constructed using the combinatorial model C (k, G) [c.f. Equation (4.3)]. A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 3

i Theorem 2. Let k ∈ Z+[I] be as in Theorem 1. Then the set ι(w) : w ∈ C (k, G) is a basis for the root space g k . Moreover, if k = 1, the set {e(w) : w ∈X , wt(w)= η(k)} forms a η( ) i i left-normed basis of gη(k) [c.f. Section 4]. We call these bases (one basis for each i ∈ I) as LLN bases (Lyndon - Left normed bases.) [c.f. Example 8].

We observe that, by Lemma 1, the root spaces considered in Theorems 1 and 2 are precisely the set of free roots of the Borcherds algebra g. In particular, the proof shows that the associated root spaces are independent of the Serre relations. In this paper, we construct two different bases for the free root spaces of BKM superalgebras. First, we prove Theorem 2 for the case BKM superalgebras. In particular, This will give us the LLN basis for the free root spaces of BKM superalgebras. Our proof is completely different from [1] even for Borcherds algebras. For example, our proof of Theorem 2 is independent of Theorem 1 (for Borcherds algebras) and its super analog Theorem 3 (for BKM superalgebras). We give direct simple proof. Second, we construct a Lyndon heaps basis for the free root spaces of BKM superalgebras. We remark that this basis is not discussed in [1]. This is done in the following steps. Let g(A, Ψ) be a BKM superalgebra with the associated re quasi Dynkin diagram (G, Ψ). Assume that k ∈ Z+[I] satisfies ki ≤ 1 for i ∈ I ⊔ Ψ0. (1) First, we introduce the notion of a supergraph (G, Ψ) [c.f. Definition 1]. Using this definition, we give the definition of free partially commutative Lie superalgebra LS(G, Ψ) associated with a supergraph (G, Ψ) (when Ψ is the empty set LS(G) is the free partially commutative Lie algebra L(G) associated with the graph G). Then we explain the Lyndon heaps basis of L(G) due to Lalonde [31]: The set {Λ(E) : E ∈H(I,ζ) is a Lyndon heap} forms a basis of L(G) [c.f. Theorem 4] (Basics definitions and results in the theory of heaps of pieces are given in Section 3.3). Next, we identify a free root space gη(k) of the BKM superalgebra g(A, Ψ) with the k-grade space LSk(G, Ψ) of the free partially commutative Lie superalgebra LS(G, Ψ) associated with the supergraph (G, Ψ). The exact statement is as follows: The root space gη(k) can be identified with the grade space LSk(G) of the free partially commutative Lie superalgebra LS(G, Ψ). In particular, mult η(k) = dim LSk(G). This is our first main result. This observation plays a crucial role in giving an alternate proof of Theorem 2 when g is a Borcherds algebra [c.f. Section 4]. (2) Step (1) shows that to construct a basis for a free root space gη(k) of the BKM superalgebra g(A, Ψ) it is enough to extend the Lyndon heaps basis of the free partially commutative Lie algebra L(G) to the case of free partially commutative Lie superalgebra LS(G, Ψ). We introduce the notion of super Lyndon heaps and construct a (super) Lyndon heaps basis for LS(G, Ψ) following the proof idea of Lalonde. The precise statement is as follows [c.f. Theo- rem 5]: The set {Λ(E) : E ∈H(I,ζ) is super Lyndon heap} forms a basis of LS(G, Ψ). This is our second main result. This gives us Lyndon heaps basis for the free root spaces of BKM superalgebras. (3) Next, we extend Theorem 2 to the case of BKM superalgebras, namely we construct LLN basis for the free root spaces of BKM superalgebras. The main step is the identification of the combinatorial model Ci(k, G) given in Theorem 2 with the (super) Lyndon heaps of weight k over the graph G. This gives a different proof (heap theoretic proof) to Theorem 2 when g is a Borcherds algebra. We are using neither the denominator identity nor Theorem 1 in our proof. We use only the identification of the spaces gη(k) and LSk(G), and the super 4 SHUSHMA RANI AND G. ARUNKUMAR

Lyndon heaps basis for free partially commutative Lie superalgebra LS(G, Ψ) [c.f. Theorem 5]. In this sense, our proof is simpler and transparent. This is our third main result. We remark that the LLN basis and the Lyndon heaps basis of a free roots space gη(k) are different in general. The cases when the elements of these two bases are the same are discussed in Section 4.9. (4) Next, along with various other combinatorial results on the free roots, we prove the following super analogue of Theorem 1 and its corollary. This is our final main result. Theorem 3. Let G be the quasi Dynkin diagram of a BKM superalgebra g. Assume that k = (ki : i ∈ I) ∈ Z+[I] satisfies the assumptions of Theorem 1 and in addition ki ≤ 1 for i ∈ Ψ0. Then

G ht(η(k)) |J|+|J | q mult(β(J)) −q mult(β(J)) πk (q) = (−1) (−1) 1 . J k J D(J, J) J D(J, J) ∈XLG( ) JY∈ 0 JY∈ 1 where LG(k) is the bond lattice of weight k of the graph G. We have the following corollary to the above theorem which gives us a recurrence formula for the root multiplicities of free roots of g. Corollary 1. We have µ(ℓ) G mult(η(k)) = |πk/ℓ(q)[q]| k ℓ Xℓ| + if η(k)= i∈I kiαi ∈ ∆0 and l+1 P (−1) µ(ℓ) G mult(η(k)) = |πk/ℓ(q)[q]| k ℓ Xℓ| + G G if η(k) ∈ ∆1 where |πk (q)[q]| denotes the absolute value of the coefficient of q in πk (q) and µ is the Möbius function. See Example 11 for an working example of this formula. If ki’s are relatively prime (In particular if ki = 1 for some i ∈ I) then the above formula becomes much simpler: G mult(η(k)) = |πk (q)[q]| for any η(k) ∈ ∆+. We also discuss why the expression given in Theorem 3 exists only for free roots explaining the main assumptions made in [49] and [1]. Various examples explaining our results are provided throughout the paper. The paper is organized as follows. In Section 2, the definition and the basic results on the Borcherds Kac Moody Lie superalgebra are given. In Section 3, we construct the Lyndon heaps basis of free root spaces of BKM superalgebras. In Section 4, we construct the LLN basis of free root spaces of BKM superalgebras. In Section 5, we study the further combinatorial properties of free roots of BKM superalgebras. Acknowledgments. The authors thank Tanusree Khandai for many helpful discussions on Lie superalgebras and also for her constant support. The first author acknowledges the CSIR research grant: 09/947(0082)/2017-EMR-I. The second author thanks Apoorva Khare for his constant support and also acknowledges the National Board for Higher Mathematics postdoc- toral research grant: 0204/7/2019/R&D-II/6831. A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 5

2. Structure theory of BKM superalgebras In this section, we recall the basic properties and the denominator identity of BKM superalgebras from [50]. The theory of BKM superalgebras can also be seen in [40]. Our base ﬁeld will be complex numbers throughout the paper.

2.1. Generators and Relations. Let I = {1, 2,...,n} or the set of natural numbers. Fix a subset Ψ of I to describe the odd simple roots. A complex matrix A = (aij)i,j∈I together with a choice of Ψ is said to be a Borcherds-Kac-Moody supermatrix (BKM supermatrix in short) if the following conditions are satisﬁed: For i, j ∈ I we have

(1) aii =2 or aii ≤ 0. (2) aij ≤ 0 if i 6= j. (3) aij = 0 if and only if aji = 0. (4) aij ∈ Z if aii = 2. (5) αij ∈ 2Z if aii = 2 and i ∈ Ψ. (6) A is symmetrizable, i.e., DA is symmetric for some diagonal matrix D = diag(d1,...,dn) with positive entries. re im re re re Denote by I = {i ∈ I : aii = 2}, I = I\I ,Ψ = Ψ ∩ I , and Ψ0 = {i ∈ Ψ : aii = 0}. The Borcherds-Kac-Moody Lie superalgebra (BKM superalgebra in short) associated with a BKM supermatrix (A, Ψ) is the Lie superalgebra g(A, Ψ) (simply g when the presence of A and Ψ are understood) generated by ei,fi, hi, i ∈ I with the following deﬁning relations [50, Equations (2.10)-(2.13), (2.24)-(2.26)]:

(1) [hi, hj]=0 for i, j ∈ I, (2) [hi, ej]= aijej, [hi,fj]= −aijfj for i, j ∈ I, (3) [ei,fj]= δijhi for i, j ∈ I, (4) deg hi = 0, i ∈ I, (5) deg ei = 0 = deg fi if i∈ / Ψ, (6) deg ei = 1 = deg fi if i ∈ Ψ, 1−aij 1−aij re (7) (ad ei) ej = 0 = (ad fi) fj if i ∈ I and i 6= j, a a 1− ij 1− ij re (8) (ad ei) 2 ej = 0 = (ad fi) 2 fj if i ∈ Ψ and i 6= j, a a 1− ij 1− ij (9) (ad ei) 2 ej = 0 = (ad fi) 2 fj if i ∈ Ψ0 and i = j, (10) [ei, ej]=0=[fi,fj] if aij = 0.

The relations (7), (8) and (9) are called the Serre relations of g. We define Ij = {i ∈ I : deg ei = j} for j = 0, 1 and theses sets will be identified with the set of even and odd simple roots of g respectively. Remark 1. If Ψ is the empty set then (A, Ψ) becomes a Borcherds Cartan matrix and the resulting Lie algebra g(A) is a Borcherds algebra. Assume that aii 6=0. If i ∈ I\Ψ, then the Lie subsuperalgebra Si = Cfi ⊕ Chi ⊕ Cei of the BKM superalgebra g is isomorphic to sl2 and if i ∈ Ψ, then the Lie sub-superalgebra Si = C[fi,fi] ⊕ Cfi ⊕ Chi ⊕ Cei ⊕ C[ei, ei] is isomorphic to sl(0, 1). If aii = 0, the Lie sub-superalgebra Si = Cfi ⊕ Chi ⊕ Cei is isomorphic to the three dimensional Heisenberg Lie algebra (resp. superalgebra) if i ∈ I\Ψ (resp. if i ∈ Ψ). The conditions (5) and (6) defines a Z2 gradation on g which makes it a Lie superalgebra. The presence of sl(0, 1) explains the appearances of even integers in the definition of BKM 6 SHUSHMA RANI AND G. ARUNKUMAR supermatrix. This fact is also reflected in condition (8) of the defining relations of g. This is one of the main structural difference between Borcherds algebras and the BKM superalgebras. 2.2. Quasi Dynkin diagram. First, we define the notion of a supergraph. Definition 1. Let G be a finite/countably infinite simple graph with vertex set I. Let Ψ ⊆ I be a subset of the vertex set. Then the pair (G, Ψ) is said to be a supergraph and the vertices in Ψ (resp. I\Ψ) are said to be odd (resp. even) vertices of G. Let A be the classical adjacency matrix of the graph G. Then the pair (A, Ψ) is said to be the adjacency matrix of the supergraph (G, Ψ). Definition 2. The quasi Dynkin diagram of a BKM superalgebra is defined as follows [50, Section 2.1]. Let (A = (aij), Ψ) be a BKM supermatrix and let g be the associated BKM superalgebra. The quasi Dynkin diagram of g is the supergraph (G, Ψ) with vertex set I and two vertices i, j ∈ I are connected by an edge if and only if aij 6= 0. We often refer to (G, Ψ) simply as the graph of g. An example of a quasi Dynkin diagram of a BKM superalgebra g is given in Example 2. Remark 2. We observe that the quasi Dynkin diagram of g is the underlying simple graph of the classical Dynkin diagram of g [50, Definition 2.4 above]. In other words, the quasi Dynkin diagram can be obtained from the Dynkin diagram of g by replacing all the multi edges with a single edge. In Section 5, we find a connection between root multiplicities of a BKM superalgebra g(A) and the chromatic polynomial of the associated supergraph (G, Ψ). We will see that the chromatic polynomial of G depends on whether two vertices of G are adjacent or not but not on the actual number of edges connecting them. Therefore, we work with quasi Dynkin diagrams instead of the Dynkin diagrams. For any subset S ⊆ Π, we denote by |S| the number of elements in S. The subgraph induced by the subset S is denoted by GS . We say a subset S ⊆ Π is connected if the corresponding subgraph GS is connected. Also, we say S is independent if there is no edge between any two elements of S, i.e., GS is totally disconnected. 2.3. Root system and the Weyl group. Let ∆ be the root system of a BKM superalgebra Z g [50, Section 2.3]. Let Π the set of simple roots of g. Define Q := α∈Π α, Q+ := Z+α. α∈Π L Z DefinitionP 3. An element α = i∈I kiαi ∈ Q+ (or its weight k = (ki : i ∈ I) ∈ +[I]) is said re to be free if ki ≤ 1 for i ∈ I ⊔ Ψ0. P Remark 3. In Lemma 1, we will show that any root space of a BKM superalgebra that corresponds to a free root is independent of (or free from) the Serre relations.

The set of positive roots is denoted by ∆+ := ∆ ∩ Q+. All the root spaces of g are finite ∗ dimensional and for any α ∈ h either gα ⊂ g0 or gα ⊂ g1, i.e, every root is either even or 0 1 odd. Set ∆+ (resp. ∆+) to be the set of positive even (resp. odd) roots. We have a triangular decomposition g ∼ n− ⊕ h ⊕ n+, where n± = g . Given γ = k α ∈ Q , we set = α∈±∆+ α i∈I i i + ht(γ) := k . The real vector space spanned by ∆ is denoted by R = R ⊗Z Q. For α ∈ Πre, i∈I i L P define the linear isomorphism s of R by s (λ) = λ − 2 (λ,α) α, λ ∈ R. Note that the simple P α α (α,α) reflections are defined for odd real simple roots also. The Weyl group W of g is the subgroup A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 7

re of GL(R) generated by the simple reﬂections sα, α ∈ Π . Note that the above bilinear form re is W –invariant and W is a Coxeter group with canonical generators sα, α ∈ Π . Deﬁne the length of w ∈ W by ℓ(w) := min{k ∈ N : w = s · · · s } and any expression w = s · · · s αi1 αik αi1 αik with k = ℓ(w) is called a reduced expression. The set of real roots is denoted by ∆re = W (Πre) and the set of imaginary roots is denoted by ∆im =∆\∆re. Equivalently, a root α is real if and only if (α, α) > 0 and else imaginary. Let ρ be any element of h∗ satisfying 2(ρ, α) = (α,e α) for all α ∈ Π.

2.4. Denominator identity of BKM superalgebras. Let Ω be the set of all γ ∈ Q+ such that r s (1) γ = j=1 αij + k=1 lik βik where the αij (resp. βik ) are distinct even (resp. odd) imaginary simple roots, P P (2) (αij , αik ) = (βij , βik ) = 0 for j 6= k; (αij , βik ) = 0 for all j, k;

(3) if lik ≥ 2, then (βik , βik ) = 0. The following denominator identity of BKM superalgebras is proved in [50, Section 2.6]:

−α mult(α) α∈∆0 (1 − e ) U := ǫ(w)ǫ(γ)ew(ρ−γ)−ρ = + (2.1) −α mult(α) Qα∈∆1 (1 + e ) wX∈W γX∈Ω + l(w) Q ht γ where mult(α) = dim gα,ǫ(w) = (−1) and ǫ(γ) = (−1) . Remark 4. If Ψ is the empty set then Equation (2.1) reduces to the denominator identity of the Borcherds algebras. Further, if Iim is also empty then Equation (2.1) reduces to the denominator identity of the Kac-Moody algebras.

3. Main result I: Lyndon basis of BKM superalgebras In this section, we identify the free root spaces of a BKM superalgebra with the grade spaces of free partially commutative Lie superalgebra. Using this identiﬁcation, we construct the Lyndon basis for the free root spaces of a BKM superalgebra g. We start with the deﬁnition of free partially commutative Lie superalgebras.

3.1. Free partially commutative Lie superalgebra LS(G, Ψ). Given a supergraph (G, Ψ), the associated free partially commutative Lie superalgebra LS(G, Ψ) is defined as follows. First, we define the free Lie superalgebra on a Z2-graded set. ∗ Definition 4. Let I = I0 ⊔ I1 be a non-empty superset (Z2-graded set). Let I be the free monoid generated by I. A word w ∈ I∗ is called even if the number of odd alphabets (i.e. ∗ the elements of I1) in w is even otherwise it is called odd. This defines a Z2−gradation on I . Let V be the free super vector space on the set I and let T (V ) be the tensor algebra on V . The algebra T (V ) has an induced Z2-gradation makes it an associative superalgebra for which I∗ is a basis. Since T (V ) is associative, it has a natural Lie superalgebra structure. Given this, the free Lie superalgebra on the superset I = I0 ⊔ I1 is defined to be the smallest Lie subsuperalgebra of T (V ) containing I. We denote the free Lie superalgebra on the superset I by FLS(I). 8 SHUSHMA RANI AND G. ARUNKUMAR

Remark 5. If I1 is the empty set then FLS(I) is the free Lie algebra on set I0. Whenever we talk about a free Lie superalgebra on a set I = {1,...,n} or {1, 2,... }, we consider the elements of I as {e1,...,en} and {e1, e2,... } instead I. This way, we can relate the elements of FLS(I) with the elements of a free root spaces of a BKM superalgebra g. Definition 5. Let (G, Ψ) be a supergraph with the vertex set I and the edge set E. Let FLS(I) be the free Lie superalgebra on the set I = I0 ⊔ I1 where we take I1 to be Ψ. Let J be the ideal in FLS(I) generated by the relations {[ei, ej ] : {i, j} ∈/ E} [c.f. Remark 5]. FLS(I) The quotient algebra J , denoted by LS(G, Ψ), is the free partially commutative Lie superalgebra associated with the supergraph (G, Ψ). When Ψ is the empty set, LS(G, Ψ) is the free partially commutative Lie algebra associated with the graph G and is denoted by L(G). It is well-known that FLS(I) and hence LS(G, Ψ) is graded by Z+[I]. 3.2. Free partially commutative super monoid. Let (G, Ψ) be a supergraph with a finite/countably infinite vertex set I = I0 ⊔ I1 (where I1 = Ψ). We assume that I is totally ordered. Let I∗ be the free monoid generated by I. We note that I∗ is totally ordered by the lexicographical order. The free partially commutative super monoid associated with a supergraph (G, Ψ) is denoted by M(I, G, Ψ) := I∗/ ∼, where ∼ is generated by the relations ab ∼ ba, if (a, b) ∈/ E(G). When Ψ is empty, M(I, G, Ψ) is called the free partially commutative monoid associated with the graph G and denoted simply by M(I, G). We observe that ∗ M(I, G, Ψ) has a natural Z2-gradation induced from the Z2-gradation of I . We associate with each element [a] ∈ M(I, G, Ψ) a unique element a˜ ∈ I∗ which is the maximal element in [a] with respect to the lexicographical order. We call this element the standard word of the class [a] and denoted by st([a]). A total order on M(I, G, Ψ) is then given by [a] < [b] :⇔ st [a] < st [b]. (3.1) Next, we explain the Lyndon heaps basis of free partially commutative Lie algebras. For this reason, in the next subsection, we give the essential definitions from the theory of heaps of pieces to define pyramids and Lyndon heaps from [32].

3.3. Heaps monoid, Pyramids, and Lyndon heaps. Heaps of pieces were introduced by Xavier Viennot in [44]. He proved many combinatorial results on heaps of pieces and gave applications of heaps of pieces to a wide range of areas: directed animals, polyominoes, Motzkin paths, and orthogonal polynomials, Rogers-Ramanujan identities, fully commutative elements in Coxeter groups, Bessel functions, Lorentzian quantum gravity and may many more applications in mathematical physics. In [2, 45, 34], special types of heaps namely pyramids are the important tools in proving results. Heaps of pieces have also applications in the representation theory of complex simple Lie algebras [14]. In this book, the combinatorial aspects of minuscule representations are studied using heaps of pieces. In [2], the connection between heaps of piece , chromatic polynomials and the free partially commutative Lie algebras is discussed along with many other combinatorial properties of heaps of pieces. Let (G, Ψ) be a supergraph with a (finite/countably infinite) totally ordered vertex set I = {α1,...,αk} or I = {α1, α2,... }. Let ζ be the concurrency relation complement to the com- muting relation ∼ on I∗ [c.f. Section 3.2]. A pre-heap E over (I,ζ) is a finite subset of I × {0, 1, 2,... } satisfying, if (α1,m), (α2,n) ∈ E with α1 ζ α2, then m 6= n. Each element (α, m) of E is called a basic piece. If (α, m) ∈ E, we write π(α, m) = α (the position of the A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 9 piece (α, m)) and h(α, m) = m (the level of the piece (α, m)). A basic piece will be simply denoted by α when we don’t need to emphasize the level. The set π(E) is defined to be the set of all positions occupied by the pieces of E. A pre-heap E defines a partial order ≤E by taking the transitive closure of the relation : (α1,m) ≤E (α2,n) if α1ζα2 and m 0 then there exists (β,m − 1) ∈ E such that αζβ. Every isomorphism class of pre-heaps contains exactly one heap and this is the unique pre-heap E in the class for which α∈E h(α) is minimal.

RemarkP6. The graph G can have a countably infinite number of vertices, but each heap E over the graph G has only a finite number of pieces by definition. This fact leads to a natural Z+[I]-gradation on the set of all heaps over the graph G.

Let H(I,ζ) be the set of all heaps over (I,ζ). This set can be made into a monoid with a product called the superposition of heaps. To get superposition E ◦ F of F over E, let the heap F ‘fall’ over E. Let Hk(I,ζ) be the set of all heaps of weight k for k ∈ Z+[I] where the weight counts the number of pieces in each of the positions. This gives a Z+[I]-gradation ∗ ∗ on H(I,ζ). We define a map ψ : I → H(I,ζ) as follows: For a word p1 p2 · · · pk ∈ I −1 define ψ(p1 p2 · · · pk) = p1 ◦ p2 ◦···◦ pk. Note that ψ (E) is the set of all linear orders compatible with ≤E. It is clear that ψ extends to weight and order-preserving isomorphism of the monoids M(I, G, Ψ) and H(I,ζ). This defines a total order on H(I,ζ). It also defines a Z2-grading H(I,ζ) = H0(I,ζ) ⊕H1(I,ζ). The standard word of a heap E is defined to be st(E) = st(ψ−1(E)) [c.f. Equation (3.1)]. For a heap E, min E is the heap composed of minimal pieces of E with respect to ≤E and max E is defined similarly. We write |E| for the number of pieces in E and |E|α for the number of pieces of E in the position α. A heap E such that min(E) = {α} is said to be a pyramid with the basis α. The set of all pyramids in i H(I,ζ) is denoted by P(I,ζ) and the set of all pyramids with basis αi is denoted by P (I,ζ). Let E be a heap, we say that E is periodic if there exists a heap F 6= 0 (0 - empty heap) and an integer k ≥ 2 such that E = F k. Similarly, E is primitive if E = U ◦ V = V ◦ U then either U = 0 or V = 0. Pyramids in which the minimum piece has the lowest position (with respect to the total order on I) are known as admissible pyramids. A pyramid E with the basis p such that |E|p = 1 is said to an elementary pyramid. An admissible pyramid that is also elementary is known as a super-letter. The set of all super-letters in H(I,ζ) is denoted by A(I,ζ). A heap E in H(I,ζ) is said to be multilinear if every basic piece occurs exactly once in E. Let E be a heap. If E = U ◦ V for some heaps U and V, we say that V ◦ U is a transpose of E. The transitive closure of transposition is an equivalence relation on H(I,ζ), which we call the conjugacy relation of heaps and is denoted by ∼c. A non-empty heap E is said to be Lyndon if E is primitive and minimal in its conjugacy class. We write LH(I,ζ) for the set of all Lyndon heaps over the super graph (G, Ψ).

Remark 7. According to Viennot, a pyramid is a heap with a unique maximal piece [44, Deﬁnition 5.9]. In this paper, we follow Lalonde’s convention on pyramids [32], i.e., A pyramid is a heap with a unique minimal piece. 10 SHUSHMA RANI AND G. ARUNKUMAR

Given the deﬁnition of Lyndon heaps, in the next subsection, we explain the Lyndon heaps basis of free partially commutative Lie algebras.

3.4. Lyndon heaps basis of free partially commutative Lie algebras. In this subsection, we recall the Lyndon heaps basis of Lalonde from [31]. If E is a Lyndon heap then the standard factorization (E) of E is given by (E) = (F,N), where (1) F 6= 0 (empty heapP ) P (2) E = F ◦ N (3) N is Lyndon (4) N is minimal in the total order on H(I,ζ). To each Lyndon heap E ∈ H(I,ζ) we associate a Lie monomial Λ(E) in L(G) as follows. If E ∈ I, then Λ(E) = E and otherwise Λ(E) = [Λ(F1), Λ(F2)], where Σ(E) = (F1, F2) is the standard factorization of E. Given these notions, we have the following theorem which gives the Lyndon basis of the free partially commutative Lie algebra L(G).

Theorem 4. [31] The set {Λ(E) : E ∈H(I,ζ) is a Lyndon heap} forms a basis of L(G).

3.5. The identiﬁcation of the spaces gη(k) and LSk(G). Let g be a BKM superalgebra with the associated supergraph (G, Ψ). Let LS(G, Ψ) be the free partially commutative Lie superalgebra associated with the supergraph (G, Ψ). Let I be the vertex set of G. Fix k ∈ Z+[I] re such that ki ≤ 1 for i ∈ I ⊔Ψ0. In this subsection, we claim that there is a natural vector space isomorphism between the root space gη(k) of g and the grade space LSk(G, Ψ) of LS(G, Ψ). The precise statement is the following.

re Lemma 1. Fix k ∈ Z+[I] such that ki ≤ 1 for i ∈ I ⊔ Ψ0. Then

(1) The root space gη(k) can be identiﬁed with the grade space LSk(G) of the free partially commutative Lie superalgebra LS(G, Ψ). In particular, mult η(k) = dim LSk(G, ψ). (2) The root space gη(k) is independent of the Serre relations.

Proof. The positive part n+ of g can be written as gα gα . From the α∈∆+ α∈∆+ freeL L non-freeL deﬁning relations (relation (9)) of g, there is a natural grade preserving surjection φ from LS(G, Ψ) to n+. Further, by the deﬁning relations (7), (8) and (9), the kernel of this map is generated by the elements

1−aij re (ad ei) ej if i ∈ I and i 6= j,

a 1− ij re (ad ei) 2 ej if i ∈ Ψ and i 6= j, and

a 1− ij (ad ei) 2 ej if i ∈ Ψ0 and i = j of LS(G, Ψ). We observe that in all these elements some ei’s (corresponding to a real simple root or an odd simple root of norm zero) are occurring at least twice. Since φ preserves the grading, by our assumption on k, the grade space LSk(G, Ψ) is injectively mapped onto the free root space gη(k) of g. This completes the proof. A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 11

3.6. Super Lyndon heaps and the standard factorization. Let g be a BKM superalgebra with the associated supergraph (G, Ψ). In Theorem 4, we saw the Lyndon heaps of the free partially commutative Lie algebra L(G). We construct a similar basis for the free root spaces of the BKM superalgebra g. Given Lemma 1, to construct such a basis it is enough to extend Theorem 4 to the case of free partially commutative Lie superalgebra associated with the supergraph (G, Ψ). This extension is the main result of this section [c.f. Theorem 5]. This is done by introducing and studying the combinatorial properties of super Lyndon heaps.

Deﬁnition 6. Let I = I0 ⊔ I1 be a non-empty set. Let (G, Ψ) be a supergraph with vertex set I and I1 = Ψ. A heap E ∈ H(I,ζ) = H0(I,ζ) ⊕H1(I,ζ) (heap monoid over the supergraph (G, Ψ)) is said to be a super Lyndon heap if E satisﬁes one of the following conditions: • E is a Lyndon heap. • E = F ◦ F where F ∈H1(I,ζ) is Lyndon. The set of all super Lyndon heaps over the supergraph (G, Ψ) is denoted by SLH(I,ζ).

Example 1. A super Lyndon heap over the path graph on 4 vertices with I1 = {α1, α2, α3} and I0 = {α4} is the following.

α3

α2

α1 α3

α2

α1

α1 α2 α3 α4

This is an example of a super Lyndon heap E = 123123 with F = 123 is a Lyndon heap in H1(I,ζ). Let E be a super Lyndon heap in H(I,ζ). Assume that E = F ◦ F with F is a Lyndon heap in H1(I,ζ). We deﬁne the standard factorization of E to be Σ(E) = (F, F ). To each super Lyndon heap E ∈ H(I,ζ) we associate a Lie word Λ(E) in LS(G, Ψ) as follows. If E ∈ I, then Λ(E) = E and otherwise Λ(E) = [Λ(F1), Λ(F2)], where E = F1 ◦ F2 is the standard factorization of E. Given these notions, we have our following theorem which gives a basis for free partially commutative Lie superalgebra LS(G, Ψ).

3.7. Super Lyndon heaps basis of free partially commutative Lie superalgebras. The following theorem is the main result of this subsection in which we construct the Lyndon heaps basis for free partially commutative Lie superalgebras. Theorem 5. The set {Λ(E) : E ∈H(I,ζ) is super Lyndon} forms a basis of LS(G, Ψ). The rest of the section is dedicated to the proof of the above theorem. The proof of the following lemma is immediate. 12 SHUSHMA RANI AND G. ARUNKUMAR

Lemma 2. Let E ∈ SLHk(I,ζ). Then Λ(E) = αF F where αF ∈ Z. Since there F ∈SLHk(I,ζ) are ﬁnite number of heaps of degree k, the sum is a ﬁniteP sum. Proposition 1. The set H(I,ζ) indexes a basis for the universal enveloping algebra of the free partially commutative Lie superalgebra LS(G, Ψ). Proof. Let U be the C-span of the heaps monoid H(I,ζ) associated with the supergraph (G, Ψ). Then U has an algebra structure induced from the multiplication in H(I,ζ). This is the free partially commutative superalgebra associated with the supergraph (G, Ψ). This is the smallest associative superalgebra containing LS(G). Therefore U is the universal enveloping algebra of the Lie superalgebra LS(G, Ψ). Proposition 2. Let L be a super Lyndon heap of weight k over the supergraph (G, Ψ). Put Λ(L)= αEE. Then E∈SLHk(I,ζ) P (i) αL = 1 if L is a Lyndon heap (ii) αL = 2 if L = L1 ◦ L1, L1 is Lyndon heap in H1(I,ζ) (iii) If αE 6= 0 then E ≥ L. Proof. If E is a Lyndon heap, then the proofs of (i) and (iii) are given in [31, Theorem 4.2]. So we prove (ii) and (iii) when L is a super Lyndon heap. Let L = L1 ◦ L1 where L1 is Lyndon heap in H1(I,ζ). Now,

Λ(L) = [Λ(L1), Λ(L1)] ′ = [ αEE, αE′ E ] (Using part(i) and (iii)) for Lyndon heaps) ′ EX≥L1 EX≥L1 ′ ′ = [L1,L1]+ αEαE′ [E, E ]+ αE[E,L1]+ αE′ [L1, E ] ′ E>L1 E>L1 E >L1 ′ EX>L1 X X

= 2L + αK K. K>LX ′ ′ ′ This proves (ii). Now, st(E ◦E ) ≥ st(E)·st(E ) > st(L1)·st(L1) =: st(L1 ◦L1) ⇒ E ◦E >L. ′ Similarly, we have E ◦ E >L. Also, E ◦ L1 > L,L1 ◦ E >L. Hence (iii) follows. Corollary 2. The set B = {Λ(L) : L is a super Lyndon heap} is linearly independent in LS(G, Ψ). Proof. Assume that

βLΛ(L) = 0, βL ∈ C LX∈B where all but ﬁnitely many βL are zero. Then by the above proposition, we have

βL  αEE = 0 L∈B E≥L X  X  wt(E)=wt(L)    A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 13

1 if L ∈ LH(I,ζ) ⇒ βL αLL + αEE = 0 where αL = 2 if L = E ◦ E, E ∈H (I,ζ) L∈B E>L ( 1 X  wt(EX)=wt(L)     

⇒ βLL + 2 βLL + βLαEE = 0 L∈LH(I,ζ) L=E◦E L∈B E>L X E∈LHX1(I,ζ) X wt(EX)=wt(L)

Taking modulo in the grade space LSk(G, Ψ) we get

βLL + βLαEE =0 if ki is odd for some i ∈ supp(k) L∈LHk(I,ζ) E>L  P wt(E)=wt(P L) E∈SLHk(I,ζ)   β L + 2 β L + β α E = 0 otherwise.  L L L E L∈LHk(I,ζ) L∈LHk(I,ζ) E>L P L=PE◦E wt(E)=wt(P L)  E∈LH1(I,ζ) L∈SLHk(I,ζ)    which are ﬁnite linear combinations of heaps of weight k in the universal enveloping algebra U of LS(G, Ψ). Since heaps form a basis of U = C(H(I,ζ)) we get all the βL = 0 in the above equations. Since k is arbitrary we get βL = 0 for all L ∈B. This completes the proof.

Proposition 3. Let L and M be super Lyndon heaps such that L < M. Then we can write [Λ(L), Λ(M)] = αN Λ(N). N∈SLH(I,ζ) N

Proof. The proof is by case by case analysis. Case (i):- Suppose L, M are Lyndon heaps satisfying L < M then result follows from [31, Theorem 4.4]. Case (ii):- Suppose exactly one of L, M is a super Lyndon heap. Without loss of generality assume that L = L1 ◦ L1 where L1 is Lyndon heap in H1(I,ζ) and M is an arbitrary Lyndon heap. Now, 14 SHUSHMA RANI AND G. ARUNKUMAR

[Λ(L), Λ(M)] = [[Λ(L1), Λ(L1)], Λ(M)] (3.2)

= 2[Λ(L1), [Λ(L1), Λ(M)]] (3.3) ∵ = 2[Λ(L1), αN1 Λ(N1)] ( L1

= 2 αN1 [Λ(L1), Λ(N1)] (3.5)

N1∈LH(I,ζ) NX1

  = 2 αN1 [Λ(L1), Λ(N1)] + αN1 [Λ(L1), Λ(N1)]    N1∈LHX(I,ζ) N1∈LHX(I,ζ)   L1

Using case (i) in the ﬁrst term of the above equation we get

  αN1 [Λ(L1), Λ(N1)] = αN1 αN2 Λ(N2)   N1∈LHX(I,ζ) N1∈LHX(I,ζ)  N2∈LHX(I,ζ)  L1

  ′ = αN αN2 Λ(N2)  ′  N2∈LH(I,ζ) N ∈LH(I,ζ) X  X′  N2

= (|cN2 αN2 )Λ(N{z2) }

N2∈LH(I,ζ) NX2

aN1 bL1 For the second summation, [Λ(L1), Λ(N1)] = −(−1) [Λ(N1), Λ(L1)] where aN1 , bL1 ∈ {0, 1} according to N1,L1 ∈Hi(I,ζ) for i ∈ {0, 1}. Therefore, aN bL [Λ(L1), Λ(N1)] = −(−1) 1 1 αKΛ(K) K∈LH(I,ζ) K

= αN1 [Λ(L1), Λ(N1)] N1∈LH(I,ζ) N1PN1

= αN1 [Λ(L1), Λ(N1)] N1∈LH(I,ζ) N1P

  aN1 bL1 = − αN1 (−1) αKΛ(K) N1∈LH(I,ζ)  K∈LH(I,ζ)  N1P

 ′  ⇒ [Λ(L), Λ(M)] = 2 (cN2 αN2 )Λ(N2)+ αK Λ(K)  N2∈LH(I,ζ) K∈LH(I,ζ)   N2P

[Λ(L), Λ(M)] = [[Λ(L1), Λ(L1)], Λ(M)]

= 2[Λ(L1), [Λ(L1), Λ(M)]]

= 2[Λ(L1), αN Λ(N)] (by the previous case) N∈LH(I,ζ) N

= 2 αN [Λ(L1), Λ(N)] N∈LH(I,ζ) N

  = 2 αN [Λ(L1), Λ(N)] + αN [Λ(L1), Λ(N)]    N∈LHX(I,ζ) N∈LHX(I,ζ)   L1N  deg(N)=deg(L ◦M) deg(N)=deg(L ◦M)   1 1    For those N ∈ LH(I,ζ) such that L1 < N then by ﬁrst case

[Λ(L1), Λ(N)] = βK Λ(K) K∈LH(I,ζ) K

  ⇒ αN [Λ(L1), Λ(N)] = αN βK Λ(K)   N∈LH(I,ζ) N∈LH(I,ζ)  K∈LH(I,ζ)  N

For those N ∈ LH(I,ζ) such that L1 > N then

[Λ(L1), Λ(N)] = −[Λ(N), Λ(L1)]

= − βK2 Λ(K2) N∈LH(I,ζ) KX2

  ⇒ αN [Λ(L1), Λ(N)] = αN βK2 Λ(K2)   N∈LHX(I,ζ) N∈LHX(I,ζ)  K2∈LHX(I,ζ)  NN   ′ = αK2 Λ(K2) K2∈LH(I,ζ) KX2

  ⇒ [Λ(L), Λ(M)] = 2 α′ Λ(K)+ α′ Λ(K ) K K2 2  K∈LH(I,ζ) K2∈LH(I,ζ)   K

By the above proposition, the Lie subsuperalgebra generated by B = {Λ(L) : L is super Lyndon heap} in LS(G, Ψ) contains I. So this subalgebra is equal to LS(G, Ψ). This completes the proof of Theorem 5 and in turn, gives the Lyndon basis for the free roots spaces of BKM superalgebra g whose associated supergraph is (G, Ψ) [c.f Lemma 1]. Example 2. Consider the BKM superalgebra g associated with the BKM supermatrix 2 −10 0 0 0 −1 −3 −4 −1 0 0   0 −4 −4 0 0 −1 A = .  0 −1 0 2 −1 0     0 0 0 −1 −2 0     0 0 −1 0 0 −3   The quasi-Dynkin diagram G of gis as follows: 

α3 α6

α1 α2

α4 α5

We have I = {1, 2, 3, 4, 5, 6}, Ψ = {3, 5} and Ire = {1, 4}. Assume the natural total order Z 1 on I. Let k = (0, 0, 3, 0, 0, 3) ∈ +[I]. Then η(k) = 3α3 + 3α6 ∈ ∆+. Fix i = 3 (minimal element in the support of k), then the super Lyndon heaps of weight η(k) are {336636, 333666, 336366} with standard factorization 3366|36, 3|33666 and 3|36366. The associated Lie monomials

{[[3, [[3, 6], 6]], [3, 6]], [3, [3, [[[3, 6], 6], 6]]], [3, [[3, 6], [[3, 6], 6]]]} spans gη(k). We have mult(η(k)) = 3 [c.f. Example 10]. So these Lie monomials form a basis for gη(k). Example 3. Consider the BKM superalgebra g associated with the BKM supermatrix 2 −10 0 0 0 −1 −3 −10 0 0  0 −2 −4 −1 0 0  A = .  0 0 −1 2 −1 0     0 0 0 −1 −2 −1    0 0 0 0 −1 −3   The quasi-Dynkin diagram G of gis as follows: 

α1 α2 α3 α4 α6 α5

re We have I = {1, 2, 3, 4, 5, 6}, Ψ = {3, 5},I = {1, 4}, η(k) = 2α3 + α4 + 2α5 + α6. Assume the natural total order on I. Fix i = 3, observe that the Lyndon heaps of weight η(k) are 18 SHUSHMA RANI AND G. ARUNKUMAR

{334556, 334565} with standard factorizations 3|34565, 3|34556 respectively. The associated Lie monomials are {[3, [3, [4, [[5, 6], 5]]]], [3, [3, [4, [5, [5, 6]]]]]} which form a spanning set of gη(k). Since mult(η(k)) = 2 [c.f. Example 11]. These lie monomials form a basis of gη(k).

4. Main result II: LLN basis of BKM superalgebras Let g be the BKM Lie superalgebra associated with a Borcherds-Cartan matrix (A, Ψ). Let (G, Ψ) be the quasi-Dynkin diagram of g with the vertex set I [c.f. Definition 2]. In this section, we extend Theorem 2 to the case of free root spaces of g. In what follows in this section, we use the super-Jacobi identity (up to sign) to prove our results. Also, whenever we fix an i ∈ I, it is assumed that i is the least element in the total order of I. 4.1. Initial alphabet and Left normed Lie word associated with a word. Let w ∈ M(I, G) [c.f. Section 3.2] and w = a1 · · · ar be an element in the class w. We define the length of the word |w| = r. We define, i(w)= |{j : aj = i}| and supp(w)= {i ∈ I : i(w) 6= 0}. We define the weight of w to be wt(w) = i(w)αi. The following definition of the initial i∈I alphabet is different from the one given in [1,P Section 4]. Our definition is compatible with the definition of pyramids given in Section 3.3 and pyramids will be the main tool in this section. For i ∈ I, its initial multiplicity in w is defined to be the largest k ≥ 0 for which there exists k u ∈ M(I, G) such that w = i u. We define the initial alphabet IAm(w) of w to be the multiset in which each i ∈ I occurs as many times as its initial multiplicity in w. The underlying set is denoted by IA(w). The left normed Lie word associated with w is defined by

e(w) = [[· · · [[a1, a2], a3] · · · , ar−1]ar] ∈ g. (4.1) Using the Jacobi identity, it is easy to see that the association w 7→ e(w) is well-deﬁned and preserves the Z2−grading. 4.2. Lyndon words and their Standard factorization. For a ﬁxed i ∈ I (which is assumed to be minimal in the total order on I), consider the set

Xi = {w ∈ M(I, G) :IAm(w)= {i} and i(w) = 1}. ∗ Z Observe that Xi (and hence Xi ) is 2−graded and also totally ordered using (3.1). We denote by FLS(Xi) the free Lie superalgebra generated by Xi = Xi,0 ⊔Xi,1 where Xi,0 (resp. Xi,1) is ∗ the set of even (resp. odd) elements in Xi. A non–empty word w ∈ Xi is called a Lyndon word if it satisfies one of the following equivalent definitions: • w is strictly smaller than any of its proper cyclic rotations. • w ∈Xi or w = uv for Lyndon words u and v with u < v. There may be more than one choice of u and v with w = uv and u < v but if v is of maximal possible length we call it the standard factorization. Equivalently, we can define v to be the minimal Lyndon word in the lexicographic order satisfying w = uv. This is called the standard factorization of w and denoted by σ(w) = (u, v). Note that, when G is a complete graph, the A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 19 heap monoid H(I,ζ) is isomorphic to the free monoid I∗. Further, the standard factorization Σ(E) of a Lyndon heap E ∈H(I,ζ) coincides with the factorization σ(E).

4.3. Super Lyndon words and their associated Lie word. Next, we recall the definition and some properties of super Lyndon words and state the main theorem of this section, ∗ we define a word w ∈Xi to be super Lyndon if w satisfies one of the following conditions [5]: • w is a Lyndon word. ∗ • w = uu where u ∈ Xi,1 is Lyndon. In this case, we define w = uu is the standard factorization of w. In [35], super Lyndon words are known as s−regular words. We will use Lyndon words (resp. super Lyndon words) to construct a basis for the Borcherds algebras (resp. BKM Lie superal- ∗ gebras). To each super Lyndon word w ∈ Xi we associate a Lie word L(w) in FLS(Xi) as follows. If w ∈ Xi, then L(w) = w and otherwise L(w) = [L(u),L(v)] where w = uv is the standard factorization of w. If Xi,1 is empty then the map L assigns Lie monomials in free Lie algebras to Lyndon words. For more details about Lyndon words and super Lyndon words, we refer the readers to [6, 35, 42]. The following result can be seen in [6, 35] and the basis constructed is known as the Lyndon basis for free Lie superalgebras. ∗ Proposition 4. The set {L(w) : w ∈Xi is super Lyndon} forms a basis of FLS(Xi).

Corollary 3. If the set Xi,1 is empty then FLS(Xi) becomes the free Lie algebra FL(Xi). In ∗ this case, {L(w) : w ∈Xi is Lyndon} forms a basis of FL(Xi).

Universal property of the free Lie superalgebra FLS(Xi): Let l be a Lie superalgebra and let Φ : Xi → l be a set map that preserves the Z2 grading. Then Φ can be extended to a Lie superalgebra homomorphism Φ : FLS(Xi) → l.

4.4. Idea of the proof. Let g be a BKM superalgebra with the associated supergraph (G, Ψ). Deﬁne a map Φ : Xi → g by Φ(w) = e(w), the left normed Lie word associated with w. The map Φ preserves the Z2 grading. By the universal property, we have a Lie superalgebra homomorphism Φ : FLS(Xi) → g, w 7→ e(w) ∀ w ∈Xi. (4.2)

Since Φ preserves the Q+ = Z+[I]-grading and g can be ﬁnite-dimensional the map Φ need not be surjective. Let gi be the image of the homomorphism Φ in g. Then gi is the Lie i sub-superalgebra of g generated by {e(w) : w ∈ Xi}. Note that g is again Q+-graded. Any i basis of the free Lie superalgebra FLS(Xi) can be pushed forward through the map Φ to g i and the image will be a spanning set of g . We construct a basis for the root space gη(k) from this spanning set; This is the main theorem of this section. This is done by identifying the following combinatorial model from [1] with the set of super Lyndon heaps of weight k. i ∗ C (k, G)= {w ∈Xi : w is a super Lyndon word, wt(w)= η(k)}, ι(w)=Φ ◦ L(w). (4.3) The precise statement is given in the next subsection.

4.5. Theorem 6: LLN basis of BKM superalgebras. In this subsection, we state Theorem 6 and two main lemmas which are essential to prove this theorem. The proofs of these lemmas are postponed to the subsequent subsection. 20 SHUSHMA RANI AND G. ARUNKUMAR

i Theorem 6. The set ι(w) : w ∈ C (k, G) is a basis of the root space gη(k). Moreover, if k = 1, the set {e(w) : w ∈X , wt(w)= η(k)} forms a left-normed basis of g k . i i η( ) i Z re Lemma 3. The root space gη(k) = gη(k) for k ∈ +[I] satisfying ki ≤ 1 for i ∈ I ⊔ Ψ0.

Lemma 4. With the notations as above we have

i |C (k, G)| = dim FLSk(Xi) = dim LSk(G, Ψ).

i From the above lemmas Theorem 6 can be deduced as follows. Since gη(k) = gη(k) we get i i ι(w) : w ∈ C (k, G) is a spanning set for gη(k) of cardinality equal to |C (k, G)|. Now, Lemmas 4 and 1 show that ι(w) : w ∈ Ci(k, G) is in fact a basis.

4.6. Examples to Theorem 6. First, we explain Theorem 6 by an example before giving the proofs of the Lemmas 3 and 4.

Example 4. Consider the root space gη(k) where η(k) = 3α3 +3α6 from Example 2. Fix i = 3. 3 ∗ Super Lyndon words of weight η(k) in C (k, G)= {w ∈ χ3 : wt(w)= η(k), w is super Lyndon} are {336636, 333666, 336366} and {[[3, [[3, 6], 6]], [3, 6]], [3, [3, [[[3, 6], 6], 6]]], [3, [[3, 6], [[3, 6], 6]]]} spans gη(k). We have mult(η(k)) = 3 [c.f. Example 10]. So these Lie monomials form a basis for gη(k).

Example 5. Consider the root space gη(k) where η(k) = 2α3 + α4 + 2α5 + α6 from Example ∗ 3. Fix i = 3, observe that χ3 = {3, 34, 345, 3456, 344, 34545, ···}. Only Lyndon words on χ3 of weight η(k) are {334556, 334565} with standard factorization 3|34556, 3|34565 respectively. So the corresponding Lie monomials {[3, [[[[3, 4], 5], 6], 5]], [3, [[[[3, 4], 5], 5], 6]]} spans gη(k). We have mult(η(k)) = 2 [c.f. Example 11]. So these Lie monomials form a basis for gη(k).

i 4.7. Proof of Lemma 3. We claim that the root space gη(k) = gη(k). This is done in multiple steps. First, we claim that the left normed Lie words of weight k starting with a ﬁxed i ∈ I spans gη(k). More precisely,

Lemma 5. Fix an index i ∈ I. Then the root space gη(k) is spanned by the set of left normed ∗ lie words {e(w) : w ∈ χi , wt(w)= η(k)}.

∗ Proof. We observe that w ∈ χi if, and only if, IA(w) = {i}. It is well-known that, the set B = {e(w) : w ∈ Mk(I, G)} forms a spanning set for gη(k). We will prove that each element of B can be written as linear combination of left normed Lie words e(w) satisfying wt(w)= η(k) and IA(w) = {i}. Let w = a1a2 · · · ar ∈ Mk(I, G). Assume that a1 = i. If |IA(w)| > 1 then e(w) = 0 and nothing to prove. If |IA(w)| = 1 then we have IA(w) = {i} and the proof follows in this case. Assume a1 6= i and consider the set i(w) = {j : aj = i}. Assume ′ min{i(w)} = p + 1 and set w = a1a2 · · · api. A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 21

First, we claim that

p ′ e(w )=e(ia1a2 · · · ap)+ e(iaj1 a1a2 · · · aˆj1 · · · ap)+ e(iaj1 aj2 a1a2 · · · aˆj2 · · · aˆj1 · · · ap) jX1=2 1

+ e(iaj1 aj2 aj3 a1a2 · · · aˆj3 · · · aˆj2 · · · aˆj1 · · · ap) 1

+ e(iaj1 aj2 aj3 aj4 a1a2 · · · aˆj4 · · · aˆj3 · · · aˆj2 · · · aˆj1 · · · ap)+ · · · 1

+ e(iaj1 aj2 aj3 · · · ajp−3 ajp−2 a1a2 · · · ajˆp−2 · · · ajˆp−3 · · · aˆj2 · · · aˆj1 · · · ap) 1

e(w′) = [[[4, 5], 6], 3] = [3, [[4, 5], 6]] = [[3, [4, 5]], 6] − [[4, 5], [3, 6]] = [[[3, 4], 5], 6] + [[4, [3, 5]], 6] − [[4, 5], [3, 6]] = [[[3, 4], 5], 6] − [[[3, 5], 4], 6] + [[3, 6], [4, 5]] = [[[3, 4], 5], 6] − [[[3, 5], 4], 6] + [[[3, 6], 4], 5] + [4, [[3, 6], 5]] = [[[3, 4], 5], 6] − [[[3, 5], 4], 6] + [[[3, 6], 4], 5] − [[[3, 6], 5], 4] = e(3456) − e(3546) + e(3645) − e(3654)

′ ′ We do induction on p. For p = 1, w = a1i ⇒ e(w ) = [i, a1] = e(ia1). Assume that the result is true for p = k. Now consider p = k + 1

′ [[[[[[a1, a2], a3], a4] · · · , ak], ak+1], i] = [[[[[a1, a3]a4], · · · , ak], ak+1], i] (4.4)

′ by taking [a1, a2]= a1. Using the induction hypothesis on right hand side of the above equation we get

′ [[[[[[[a1, a3], a4], · · · , ak], ak+1], i]= ′ ′ e(ia1a3 · · · ak+1)+ e(iaja1a3 · · · aˆj · · · ak+1) 3≤j≤k+1 X′ + e(ia a a a · · · aˆ · · · aˆ · · · a )+ · · · j1 j2 1 3 j2 j1 k+1 (4.5) 3≤j2

Now,

′ e(iaj1 aj2 · · · ajt a1) = [[[[i, aj1 ], aj2 ], · · · , ajt ], [ a1 , a2 ]] x y z = [[[[[i, a ], a ], · · · , a ], a ], a ] + [[[[[i, a ], a ], · · · , a ], a ], a ] | j1 {zj2 j}t |{z}1 2|{z} j1 j2 jt 2 1 [[x,y],z] [[x,z],y]

= e|(iaj1 aj2 · · · aj{zt a1a2)+ e(iaj1 a}j2 ·| · · ajt a2a1) {z }

′ ′ ⇒ e(iaj1 aj2 · · · ajt a1a3 · · · ak+1) = [[[[[[i, aj1 ], aj2 ], · · · ajt ]a1], a3], · · · ak+1] ′ e(iaj1 aj2 ···ajt a1) | {z ′ } = [[[e(iaj1 aj2 · · · ajt a1), a3], · · · , ak+1]

= [[[e(iaj1 aj2 · · · ajt a1a2)+ e(iaj1 aj2 · · · ajt a2a1), a3], · · · , ak+1]

= [[e(iaj1 aj2 ..ajt a1a2), a3], .., ak+1] + [[e(iaj1 aj2 ..ajt a2a1), a3].., ak+1]

= e(iaj1 aj2 · · · ajt a1a2a3 · · · ak+1)+ e(iaj1 aj2 · · · ajt a2a1a3 · · · ak+1)

Using this in Equation (4.5) we get

′ [[[[[a1, a3]a4], · · · , ak], ak+1], i]= e(ia1a2a3 · · · ak+1)+ e(ia2a1a3 · · · ak+1)

+ (e(iaj a1a2a3 · · · aˆj · · · ak+1)+ e(iaj a2a1a3 · · · aˆj · · · ak+1)) 3≤Xj≤k+1

+ (e(iaj1 aj2 a1a2a3 · · · aˆj2 · · · aˆj1 · · · ak+1)+ e(iaj1 aj2 a2a1a3 · · · aˆj2 · · · aˆj1 · · · ak+1)) + · · · 3≤j2

+ e(iaj1 aj2 aj3 · · · ajk−1 a1a2 · · · ajˆk−1 · · · aˆj2 · · · aˆj1 · · · ak+1) 3≤jk−1<···X

+ (e(iak+1ak · · · a1a2)+ e(iak+1ak · · · a2a1))

= e(ia a a · · · a )+ e(ia a a · · · a )+ e(ia a a a · · · aˆ · · · a )  1 2 3 k+1 2 1 3 k+1 j 1 2 3 j k+1  3≤Xj≤k+1   + e(ia a a a · · · aˆ · · · a )+ e(ia a a a a · · · aˆ · · · aˆ · · · a )  j 2 1 3 j k+1 j1 j2 1 2 3 j2 j1 k+1  3≤Xj≤k+1 3≤j2

+ ( e(iaj1 aj2 a2a1a3 · · · aˆj2 · · · aˆj1 · · · ak+1)+ 3≤j2

e(iaj1 aj2 aj3 a2a1a3 · · · aˆj3 · · · aˆj2 · · · aˆj1 · · · ak+1)) + · · · + 3≤j3

+ e(ia a a · · · a a a · · · a ˆ · · · aˆ · · · aˆ · · · a )+ e(ia a · · · a a )  j1 j2 j3 jk−1 2 1 jk−1 j2 j1 k+1 k+1 k 1 2  3≤jk−1<···X

k+1

= e(iaj a1a2 · · · aˆj · · · ak+1)+ e(iaj1 aj2 a1a2 · · · aˆj2 · · · aˆj1 · · · ak+1) Xj=1 1

+ e(iaj1 aj2 aj3 a1a2 · · · aˆj3 · · · aˆj2 · · · aˆj1 · · · ak+1)+ · · · + 1

+ e(iaj1 aj2 aj3 · · · ajk−1 a1a2 · · · ajˆk−1 · · · aˆj2 · · · aˆj1 · · · ak+1) 1

Thus the result is true for p=k+1. This proves our claim. From this claim proof of the lemma follows from the following steps.

p ′ e(w )=e(ia1a2 · · · ap)+ e(wj1 )+ e(wj1j2 )+ e(wj1j2j3 )+ · · · + jX1=2 1

where wj1j2···jl = (iaj1 aj2 · · · ajl a1a2 · · · aˆjl · · · ajˆl−1 · · · aˆj1 · · · ap). We observe that all the words wj1,...jm have the same weight and belongs to χi. This is because if some ajp commutes ′ ′ ′ with i, aj1 , aj2 , · · · , ajp−1 then e(wj1j2···jl ) = 0 . In our example, e(w ) = e(w4)+ e(w42)+ ′ ′ ′ e(w43)+e(w432) where w = a1a2a3a4 = 4563. Now, By the linearity property of the brackets we have p ′ e(w · ap+2)= e(wj1 · ap+2)+ e(wj1j2 · ap+2)+ e(wj1j2j3 · ap+2)+ j1=1 1

e(w)= α(u)e(u) for some scalars α(u). u ∗ ∈Xi wt(uX)=η(k) 24 SHUSHMA RANI AND G. ARUNKUMAR

In our example, e(w′.5) = [[[[4, 5], 6], 3], 5] = [e(w′), 5] = [e(3456) − e(3546) + e(3645) − e(3654), 5] = [e(3456), 5] − [e(3546), 5] + [e(3645), 5] − [e(3654), 5] = e(34565) − e(35465) + e(36455) − e(36545) Thus e(w) = [e(45635), 3] = [e(w′.5), 3] = [e(34565) − e(35465) + e(36455) − e(36545), 3] = [e(34565), 3] − [e(35465), 3] + [e(36455), 3] − [e(36545), 3] = e(345653) − e(354653) + e(364553) − e(365453)

This completes the proof. ∗ Lemma 6. If u 6= v ∈ χi are Lyndon words then exactly one element of the set {uv, vu} is Lyndon. Proof. We observe that if u < v then uv is Lyndon otherwise vu is Lyndon. ∗ Lemma 7. If w, ˜w ∈Xi are Lyndon words with standard factorization w = u1u2, ˜w = v1v2. Assume that w ˜w is a Lyndon word. Then [L(w),L( ˜w)] ∈ span{L(Ci(wt(ww˜ )), G)}

Proof. We have two possibles situations: either u2 ≥ ˜w or u2 < ˜w. If u2 ≥ ˜w then u1u2|v1v2 is the standard factorization of w ˜w. Observe that u1u21|u22v1v2 can’t be standard factorization for some standard factorization u2 = u21u22 as u22 < ˜w ≤ u2 = u21u22 means u22 < u21 i.e. u2 = u21u22 can’t be a Lyndon word. From this observation, the proof is immediate in this case: We have w ˜w = u1u2|v1v2 is the standard factorization and [L(w),L( ˜w)] = L(w ˜w) ∈ span{L(Ci(wt(w ˜w)), G)}. If u2 < ˜w then u1|u2v1v2 is the standard factorization of w ˜w. Observe that u11|u12u2v1v2 can’t be the standard factorization for some standard factorization of u1 = u11}boldu12 as u12 < u2 means u12u2 is the longest right factor of w = u11u12u2 which contradicts the statement: w = u1u2 is the standard factorization. If w ˜w = u1|u2v1v2 is standard factorization then [L(w),L( ˜w)] = [L(u1u2),L( ˜w)] = [[L(u1),L(u2)],L( ˜w)] = [L(u1), [L(u2),L( ˜w)] + [[L(u1),L( ˜w)],L(u2)]

subcase(i):- If u2 ˜w is Lyndon word with standard factorization u2| ˜w and u1 ˜w is a Lyndon word with standard factorization u1| ˜w then [L(w),L( ˜w)] = [L(u1),L(u2 ˜w)] + [L(u1 ˜w),L(u2)] = [L(u1),L(u2 ˜w)] + L(u1 ˜wu2) as u2 < ˜w so u1 ˜w|u2 is standard factorization. A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 25

Now repeat the above procedure again on [L(u1),L(u2 ˜w)]. Continue this procedure on the subsequent terms till we get the term like [L(v1),L(v2)] where v1, v2 are Lyndon words with v1 ∈ χi. This is possible since wt(u1) < wt(w). subcase(ii):- If u2 ˜w is Lyndon word with standard factorization u21|u22 ˜w for standard factorization u2 = u21u22 and u1 ˜w is Lyndon word with standard factorization u1| ˜w then

= [L(u1), [[L(u21),L(u22)],L( ˜w)]] + [L(u1 ˜w),L(u2)] = [L(u1), [[L(u21),L( ˜w)],L(u22)]] + [L(u1), [L(u21), [L(u22),L( ˜w)]]] + L(u1 ˜wu2)

Repeat the above procedure ﬁrstly for [L(u21),L( ˜w)], [L(u22),L( ˜w)], then using this in the above equation and repeat the procedure for subsequent terms and so on. This process will end when we got terms like [L(v1),L(v2)] where v1, v2 are Lyndon words with v1 ∈ χi. subcase(iii):- If u2 ˜w is Lyndon word with standard factorization u21|u22 ˜w for the standard factorization u2 = u21u22 and u1 ˜w is Lyndon word with standard factorization u11|u12 ˜w for standard factorization u1 = u11u12 then

= [L(u1), [[L(u21),L(u22)],L( ˜w)]] + [[[L(u11),L(u12)],L( ˜w)],L(u2)] = [L(u1), [[L(u21),L( ˜w)],L(u22)]] + [L(u1), [L(u21), [L(u22),L( ˜w)]]] + [[L(u11), [L(u12),L( ˜w)]],L(u2)] + [[[L(u11),L( ˜w)],L(u12)],L(u1)]

Repeat the above procedure ﬁrstly for [L(u12),L( ˜w)], [L(u11),L( ˜w)], then using this in the above equation and repeat the procedure for subsequent terms and so on. This process will end when we got terms like [L(v1),L(v2)] where v1, v2 are super Lyndon words with v1 ∈ χi.

The following example explains the above lemma.

Example 6. Consider the root space gη(k) where η(k) = 2α3 +α4 +2α5 +α6 from Example 3. ′ ∗ ′ Fix i = 3 . Let w = 334345, w = 34635364 ∈ χ3 then w = 3|34345 = u1u2, w = 346|35364 = ′ v1v2 are the standard factorizations . Thus L(w) = [L(u1),L(u2)] = [3, [34, 345]] and L(w )= [L(v1),L(v2)] = [346, [35, 364]]. Since ww′ = 334345 34635364 = 3 | 3434534635364 is the ′ ′ u1u2 w u1 u2w standard factorization, we have [L(w),L(w′)] | {z } | {z } |{z} | {z }

= [[L(3),L(34345)],L(34635364)]

[L(u1),L(u2)] L(w′) = [L| (3), [L{z(34345)},L|(34635364)]]{z } + [[L(3),L(34635364)],L(34345)]

[L(u1),[L(u2),L(w′)]] [[L(u1),L(w′)],L(u2)] =| [L(3), [[L(34),L{z(345)],L(34635364)]]} | + [L(334635364){z ,L(34345)]}

[L(u1),[[L(u21),L(u22)],L(w′)]] [L(u1w′),L(u2)] =| [L(3), [[L(34),L(34635364)]{z ,L(345)]} + [|L(34), [L(345){z ,L(34635364)]]} ]+ L(33463536434345) [[L(u21),L(w′)],L(u22)]+[L(u21),[L(u22),L(w′)]] L(u1w′u2) | {z } | {z } 26 SHUSHMA RANI AND G. ARUNKUMAR

= [L(3), [L(3434635364),L(345)] + [L(34),L(34534635364)]]+ L(33463536434345)

[L(u21w′),L(u22)]+[L(u21u22),L(w′)] L(u1w′u2) = [L(3),L| (3434635364345) + L(3434534635364){z ]+ L(33463536434345)} | {z } L(u21w′u22)+L(u21u22)w′) L(u1w′u2) = L(33434635364345)| + L(33434534635364){z + L}(33463536434345)| {z }

L(u1u21w′u22) L(u1u21u22w′) L(u1w′u2) | {z } | {z } | {z } re Example 7. Let I = {1, 2, 3, 4, 5, 6}, Ψ= {3, 5},I1 = {3, 5},I0 = {1, 2, 4, 6},I = {1, 4}, η(k) = ′ ∗ 2α3 + α4 + 2α5 + α6. Fix i = 3 . Let w = 334365, w = 34635364 ∈ χ3 then w = 3|34365 = u1u2, w′ = 346|35364 = v1v2 be standard factorization of these words. Since ww′ = 334365 34635364 = 3 | 3436534635364 is the standard factorization,

u1u2 w′ u1 u2w′ [L|(w{z),L} |(w′{z)] =} [[L(3)|{z},L(34365)]| {z,L(34635364)} ]

[L(u1),L(u2)] L(w′) = [L| (3), [L{z(34365)},L|(34635364)]]{z } + [[L(3),L(34635364)],L(34345)] [L(u1),[L(u2),L(w′)]] [[L(u1),L(w′)],L(u2)] =| [L(3),L(3436534635364)]{z + [L}(334635364)| ,L(34345)]{z }

[L(u1),L(u2w′)] [L(u1w′),L(u2)] = |L(33436534635364){z + L(33463536434345)} | {z } L(u1u2w′) L(u1w′u2)

Lemma 8. If wa and w|b are super{z Lyndon} words| then{z[L(wa),L}(wb)] ∈ span{L(Ci(wt(wawb)), G)}.

Proof. Since wa and wb are super Lyndon words, we have the following cases:- (i) wa = uu, wb = v1v2 (ii) wa = u1u2, wb = vv (iii) wa = uu, wb = vv (iv) wa = u1u2, wb = v1v2 where u1 6= u2, v1 6= v2 Case(i):- Since wa = uu, wb = v1v2 ⇒ wawb = u|uv1v2

[L(wa),L(wb)] = [[L(u),L(u)],L(wb)] = 2[L(u), [L(u),L(wb)]] = 2[L(u),L(uwb)] = L(uuwb)

Case(ii):-wa = u1u2, wb = vv. If u2 < v then wawb = u1|u2vv is the standard factorization.

[L(wa),L(wb)] = [[L(u1),L(u2)],L(wb)] = [[L(u1),L(wb)],L(u2)] + [L(u1), [L(u2),L(wb)]] = [L(u1wb),L(u2)] + [L(u1),L(u2wb)])] A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 27

Otherwise wawb = u1u2|vv is the standard factorization.

⇒ [L(wa),L(wb)] = L(wawb)

Case(iii):-wa = uu, wb = vv. Since u < v, wawb = u|uvv is the standard factorization.

[L(wa),L(wb)] = [[L(u),L(u)],L(wb)] = [L(u),L(uwb)]

Case(iv):- wa = u1u2, wb = v1v2. This case follows from Lemma 7.

i Lemma 9. The root space gη(k) is contained in the span {e(L(C (k, G))}.

Proof. Let e(w) ∈ gη(k) for some w ∈ Mk(I, η). By Lemma 5, we can assume that IA(w)= {i} . We will do the proof by induction on ht(η(k)). If ht(η(k)) = 1 then w = i and nothing to prove. Assume that the result is true for any ˜w such that ht(wt( ˜w)) < ht(η(k)). Let w = ia1a2 · · · ar = i · u. i If i(u)= φ then w ∈Xi ⇒ L(w)= w ⇒ e(w)= e(L(w)) ∈ span{e(L(C (k, G))}. ′ If i(u) 6= φ then let min{i(u)} = p + 1 (say). Set w = ia1a2 · · · api. Now, ′ e(w ) = [[[[i, a1], a2] · · · , ap], i]

= −[i, [[[i, a1], a2] · · · , ap]]

= e(L(iia1 · · · ap))

′ i ′ ⇒ e(w ) ∈ span{e(L(C (wt(w ), G))} as (iia1 · · · ap) is a super Lyndon word. Now,

′ e(w · ap+2) = [[[[[i, a1], a2] · · · , ap], i], ap+2] ′ = [e(w ), ap+2]

= [[e(i), e(ia1a2 · · · ap)], ap+2]

= [e(i), [e(ia1a2 · · · ap), ap+2]] + [[e(i), ap+2], e(ia1a2 · · · ap)]

= [e(i), e(ia1a2 · · · apap+2)] + [e(iap+2), e(ia1a2 · · · ap)] Similarly, again using the Jacobi identity, we can write

k e(w) =[e(i), e(ia1a2 · · · apˆ+1 · · · ar)] + [e(ia1a2 · · · apˆ+1 · · · aˆt · · · ar), e(iat)]+ t=p+2 X k

+ [e(ia1a2 · · · apˆ+1 · · · aˆt1 · · · aˆt2 · · · ar), e(iat1 at2 )] p+2≤Xt1

+ [e(ia1a2 · · · apˆ+1 · · · aˆt1 · · · aˆt2 · · · aˆt3 · · · ar), e(iat1 at2 at3 )] + · · · p+2≤t1X

Using the induction hypothesis, we can check that each term on the right-hand side is of the form

[e(ia1a2 · · · aˆpap+1 · · · aˆt1 · · · aˆt2 · · · aˆtj · · · ar), e(iat1 at2 · · · atj )] = e(L(wa)), e(L(wb)) " a # X Xb as wt(ia1a2 · · · âpap+1 · · · ât1 · · · ât2 · · · âtj · · · ar) < wt(w) . So

e(ia1a2 · · · aˆpap+1 · · · aˆt1 · · · aˆt2 · · · aˆtj · · · ar)= e(L(wa)) where wa is super Lyndon word, a wt(wa) = wt(ia1a2 · · · âpap+1 · · · ât1 · · · ât2 · · · âtjP· · · ar) and wt(iat1 at2 · · · atj ) < wt(wb). So e(iat1 at2 · · · atj )= e(L(wb)) where wb is super Lyndon word and wt(wb) = wt(iat1 at2 · · · atj ). b P ⇒ e(L(wa)), e(L(wb)) = [e(L(wa)), e(L(wb))] " a # X Xb Xa,b = e ([L(wa),L(wb)]) Xa,b By Lemma 8, we can write [L(wa),L(wb)] ∈ span{L(Ci(k, G))}. Thus i e ([L(wa),L(wb)]) ∈ span e(L(C (k, G)). Xa,b ⇒ e(w) ∈ span{e(L(Ci(k, G))}. i i Hence gη(k) is contained in the span of {e(L(C (k, G))}⊆ g .

4.8. Proof of Lemma 4 (Identiﬁcation of Ci(k, G) and super Lyndon heaps). Let g be the BKM superalgebra associated with the Borcherds-Kac-Moody supermatrix (A, Ψ). Let G be the associated quasi-Dynkin diagram of g with the vertex set I. Fix k ∈ Z+[I] such that re ki ≤ 1 for i ∈ I ⊔ Ψ0. Fix i ∈ I and assume that i is the minimum element in the total order of I. Consider

Xi = {w ∈ M(I, G, Ψ) : IAm(w)= {i} and i occurs only once in w}.

Now, Let w ∈Xi and E = ψ(w) be the corresponding heap. Then

(1) IAm(w)= {i} implies that E is a pyramid. (2) i occurs exactly once in w implies that E is elementary (3) i is the minimum element in the total order of I implies that E is an admissible pyramid.

Therefore w ∈Xi if and only if E = ψ(w) is a super-letter. (4.6) ∗ Let Ai(I,ζ) be the set of all super-letters with basis i in H(I,ζ). Let Ai (I,ζ) be the monoid ∗ ∗ ∗ Z generated by Ai(I,ζ) in H(I,ζ). Then Ai (I,ζ)= Ai,0(I,ζ)⊕Ai,1(I,ζ) is also 2-graded. This monoid is free by the discussion below [32, Deﬁnition 2.1.4], and by [32, Proposition 1.3.5 and Proposition 2.1.5]. We have H(I,ζ) is totally ordered and hence Ai(I,ζ) is totally ordered. ∗ This implies that Ai (I,ζ) is totally ordered by the lexicographic order induced from the order ∗ in Ai(I,ζ) (call it ≤ ). The following proposition from [32, Proposition 2.1.6] illustrates the A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 29 relation between the total order ≤ on the heaps monoid H(I,ζ) and the total order ≤∗ on the ∗ monoid Ai (I,ζ). ∗ ∗ Proposition 5. Let E, F ∈Ai (I,ζ). Then E ≤ F if, and only if, E ≤ F .

Given this, we can talk about the Lyndon words over the alphabets Ai(I,ζ). The following proposition from [32, Proposition 2.1.7] illustrates the relationship between the Lyndon words ∗ in Ai (I,ζ) and the Lyndon heaps in H(I,ζ). ∗ ∗ Proposition 6. Let E ∈ Ai (I,ζ) then E is a Lyndon word in Ai (I,ζ) if and only if E is a Lyndon heap as an element of H(I,ζ). Next, we prove the following generalization of Proposition 6 for the case of super Lyndon words and super Lyndon heaps. ∗ ∗ Proposition 7. Let E ∈Ai (I,ζ) then E is a super Lyndon word in Ai (I,ζ) if and only if E is a super Lyndon heap as an element of H(I,ζ). ∗ ∗ Proof. Let E ∈Ai (I,ζ) be a super Lyndon word. Then either E is a Lyndon word in Ai (I,ζ) ∗ or E = F ◦ F for some Lyndon word F ∈ Ai,1(I,ζ). Suppose the former case holds, then by Proposition 6, E is a Lyndon heap and hence is a super Lyndon heap in H(I,ζ). Suppose the latter case holds, then again by Proposition 6, F is a Lyndon heap in H(I,ζ) and hence E = F ◦ F is a super Lyndon heap in H(I,ζ). Conversely, suppose E is a super Lyndon heap in H(I,ζ). Then E is a Lyndon heap in H(I,ζ) or E = F ◦ F for some Lyndon heap F ∈H(I,ζ). Suppose the former case holds, then ∗ by Proposition 6, E is a Lyndon word and hence is a super Lyndon word in Ai (I,ζ). Suppose ∗ the latter case holds, then again by Proposition 6, F is a Lyndon word in Ai,1(I,ζ) and hence ∗ E = F ◦ F is a super Lyndon word in Ai (I,ζ). ∗ ∗ By Equation (4.6), we can identify Xi with Ai (I,ζ). This implies that i ∗ |C (k, G)| = |{ super Lyndon words in Xi of weight k}| ∗ = |{ super Lyndon words of weight k in Ai (I,ζ)}| = |{ super Lyndon heaps of weight k in H(I,ζ)}| = dim LSk(G)

= dim gη(k) (By Theorem 5). This shows that the elements of Ci(k, G) are precisely the Lyndon heaps of weight k and completes the proof of Lemma 4. Remark 8. The important step in the proof of Theorem 2 given in [1] is the proof of the equality mult η(k)= |Ci(k, G)| ([1, Proposition 4.5 (iii)]). The key idea is to reduce the proof to k = 1 = (1, 1, 1,... )-case and then to use a result of Greene and Zaslavsky [15] for acyclic orientations of G to complete the proof. Also, Theorem 1 is used in the proof (in other words the denominator identity of g is used in the proof). Above, we have given a simpler and direct proof of this equality by identifying the set Ci(k, G) with the set of Lyndon heaps over graph G. Our proof doesn’t use Theorem 1 and hence independent of the denominator identity of g. Similarly, we don’t need the result of Greene and Zaslavsky. Also, we have extended this equality to the super case using super Lyndon heaps. 30 SHUSHMA RANI AND G. ARUNKUMAR

Example 8. The following diagram explains the connection between the Lyndon basis and the LLN basis of the free root spaces of a BKM superalgebra g. Lie monomials Lyndon Lyndon heaps in heaps Λ Super letters Λ basis

Identiﬁcation Identiﬁcation (Lemma 1) (Proposition 8)

Lyndon words Lie monomials e over L in LLN Super letters Super letters basis

To observe the above diagram through an example, consider the root space gη(k) where η(k) = 2α3 + α4 + 2α5 + α6 from Example 3. Fix i = 3, set of super-letters with basis 3 is A3(I,ζ)= {3, 34, 345, 3456, 344, 34545, ···}. ∗ Lyndon heaps on A3(I,ζ) of weight η(k)= {334556, 334565} Lie monomials in super-letters = {Λ(334556), Λ(334565)} = {[3, 34556], [3, 34565]}

Lyndon heaps basis = {Λ([3, 34565]), Λ([3, 34556])} = {[Λ(3), Λ(34565)], [Λ(3), Λ(34556)]} = {[3, [3, [4, [[5, 6], 5]]]], [3, [3, [4, [5, [5, 6]]]]]}

Lyndon words on super-letters of weight η(k)= {334556, 334565} Lie monomials in super-letters = {L(334556),L(334565)} = {[3, 34556], [3, 34565]}

LLN basis = {e([3, 34556]), e([3, 34565])} = {[e(3), e(34556)], [e(3), e(34565)]} = {[3, [[[[3, 4], 5], 5], 6]], [3, [[[[3, 4], 5], 6], 5]]}

4.9. Comparison of the Lyndon basis with the LLN basis. In this section, we will give necessary and suﬃcient condition in which certain elements in both the bases are equal. We start with the following proposition whose proof is immediate from Propositions 5 and 6. A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 31

∗ Proposition 8. Let w ∈Xi be a Lyndon word with standard factorization σ(w) = (w1, w2). Then w, w1 and w2 can be thought of as Lyndon heaps [c.f. Proposition 7] and the Standard factorization of the Lyndon heap w is Σ(w) = (w1, w2). Further L(w) = Λ(w). The following lemma will be helpful. Lemma 10. [32, Lemma 2.3.5] Let E ∈ H(I, P ) with |E| ≥ 2. Then Σ(E) = (F,N) iﬀ σ(St(E)) = (St(F ),St(N)). From Example 8, to compare elements in the Lyndon basis and LLN basis we have to compare the action of the maps Λ and e on the super-letters. The following proposition gives a necessary and suﬃcient condition for the Lyndon basis element and LLN basis element associated with a super-letter to be equal.

Proposition 9. Let E be a super-letter with the associated standard word w = a1a2 · · · ar. Then Λ(E)= e(E) if, and only if, a1 < ar ≤ ar−1 ≤···≤ a2.

Proof. Let E be a super-letter with the associated standard word w = a1a2 · · · ar. Assume that a1 < ar ≤ ar−1 ≤··· ≤ a2. Now, the standard factorization of w is given by σ(w) = (a1a2 · · · ar−1, ar). This implies that, by Lemma 10, the standard factorization of E is Σ(E)= (F, G) where F and G are Lyndon heaps satisfying st(F ) = a1a2 · · · ar−1 and st(G) = ar. Therefore, Λ(E) = [Λ(F ), Λ(G)]

= [Λ(F ), ar]

= [[Λ(F1), Λ(ar−1)], ar] since σ(st(F )) = (a1a2 · · · ar−1, ar−2)

= [[Λ(F1), ar−1], ar] . .

= [[[[[a1, a2], a3], · · · ], ar−1], ar] = e(E).

Conversely, assume that Λ(E)= e(E) for a super-letter E. Let w = a1 · · · ar be the standard word of E. We will prove a1 < ar ≤ ar−1 ≤···≤ a2 by using induction on r. The base cases r = 1 and r = 2 are straight forward. ′ ′ Assume that the result is true for r − 1. Write w = a1a2 · · · ar = w · ar where w = a1a2 · · · ar−1. We have E = F ◦ G with st(F ) = a1a2 · · · ar−1 and st(G) = ar. We observe ′ that w ∈ χi and F is a super-letter [c.f Equation (4.6)]. We claim that Λ(F ) = e(F ), i.e., Λ(F ) = [[[[a1, a2], a3], · · · ], ar−1]. Suppose not, then Λ(F ) = [Λ(F1), Λ(F2)] such that st(F2) 6= ar−1 and

[Λ(F1), Λ(F2 ◦ ar)] if IA(st(F)) < ar Λ(E) = Λ(F1 ◦ F2 ◦ ar)= ([Λ(F1 ◦ F2), Λ(ar)] otherwise.

There is no other standard factorization of F1 ◦ F2 ◦ ar is possible as if (F1 ◦ F2 ◦ ar) = (F1 ◦ F21, F22 ◦ ar) for some standard factorization of F2 = F21 ◦ F22 then F22 < F21 which P contradicts that F2 = F21 ◦ F22 is Lyndon heap. 32 SHUSHMA RANI AND G. ARUNKUMAR

This shows that Λ(E) 6= [[[[[a1, a2], a3], · · · ], ar−1], ar], a contradiction. Therefore Λ(F ) = e(F ). Thus by using the induction hypothesis, we have a1 < ar−1 ≤ ··· ≤ a2. It re- mains to prove that ar ≤ ar−1. Suppose ar > ar−1. We have ar−1 ≤ ar−2 and σ(w) = (a1a2 · · · ar−2, ar−1ar). Therefore Σ(E) = (L, K) (by Lemma 10) where st(L) = a1a2 · · · ar−2 and st(K)= ar−1ar. This implies that Λ(E) = [Λ(L), Λ(K)] = [Λ(L), [ar−1, ar]] = [[[[[a1, a2], a3], · · · ], ar−2], [ar−1, ar]] which is not equal to e(E), a contradiction to our hypothesis. Hence ar ≤ ar−1 and the proof is complete. Remark 9. Example 2 and Example 4 have same basis as super-letters 36, 366 and 3666 satisfy condition given in the above proposition. We remark that all these super-letters satisfying the condition given in the above proposition because there are only two elements in the support of the root. If support has more than two elements then some super-letter among these might satisfy the condition and the others may not. In particular, the Lyndon basis and the LLN basis will share only some common elements. Example 3 and Example 5 have diﬀerent basis as super-letters 34565 and 34556 do not satisfy the condition given in the above proposition.

5. Combinatorial properties of free roots of BKM superalgebras In this section, we explore the further combinatorial properties of free roots of BKM superalgebras. Also, we explain why the proof works in the papers [49, 1]: Chromatic polynomial cannot distinguish multi edges. So we lose multi edges in the Dynkin diagram when we consider the chromatic polynomial of the graph of a BKM superalgebra. In particular, we lose the Cartan integers and consequently Serre relations. The root spaces which are independent of the Serre relations are precisely the free root spaces.

5.1. Free roots of BKM superalgebras. Let (G, Ψ) be a ﬁnite simple supergraph with vertex set I, edge set E, and the set of odd vertices Ψ ⊆ I [c.f. Deﬁnition 1]. Let (A = (aij), Ψ) be the adjacency matrix of G. We construct a class of BKM supermatrices from (A, Ψ) as follows: Replace the diagonal zeros of A by arbitrary real numbers. If one such number is positive then replace all the non-zero entries in the corresponding row of A by arbitrary non- positive integers (resp. non-positive even integers) provided i∈ / Ψ (resp. i ∈ Ψ). Otherwise, replace the non-zero entries in the associated row of A with arbitrary non-positive real numbers. Let MΨ(G) be the set of BKM supermatrices associated with the supergraph (G, Ψ) constructed in this way. Let M(G) = MΨ(G). Let C(G) be the set of all BKM superalgebras whose Ψ⊆I quasi-Dynkin diagram is (G,SΨ) for some Ψ ⊆ I. We observe that the set C(G) consists of BKM superalgebras whose associated BKM supermatrices are in M(G). In the following proposition, we will prove that all the BKM superalgebras belong to C(G) share the same set of free roots and have equal respective multiplicities. Proposition 10. Let G be a graph. Let g be a BKM superalgebra which is an element of C(G). Then

(1) A α ∈ Q+ is a free root in g if and only if supp α is connected in G. This gives a one-one correspondence between the connected subgraphs of G and the free roots of any m m g ∈C(G). In particular, ∆ (g1)=∆ (g2) for g1, g2 ∈C(G). A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 33

(2) For any g ∈ C(G), the multiplicity of a free root α depends only on the graph G and this multiplicity is equal to the number of super Lyndon heaps of weight k = (ki : i ∈ I) where α = kiαi. i∈I P Proof. The necessity part of (1) is straight forward and we prove the suﬃciency part. Assume α ∈ Q+ is free and supp α is connected in G. We claim that α is a root of g. We use induction on height of α. The case in which ht(α) = 1 is clear. Suppose ht(α) = 2 then α = αi + αj and aij < 0. Suppose one of αi or αj is real. Without loss of generality we assume αi is real.

Then Sαi (αj)= αj − aijαi is a root of g. This implies that αi + αj is a root as the root chain of αj through αi contains αj + mαi for all 0 ≤ m ≤ k for some k ∈ N. Suppose both αi and αj are imaginary then Lemma 11 completes the proof. Assume that the result is true for all connected free α ∈ Q+ of height r − 1. Let β be a connected free element of height r in Q+. Let αi ∈ supp β be such that supp β\{αi} is connected in G. Since supp β is connected such a vertex exit. Now, α = αj ∈supp β αj is connected, free, and has height r − 1. By the induction j6=i hypothesis α is a root inPg. If αi is real then Sαi (α) is a root in turn β = α + αi is also root. If αi is imaginary then, again by Lemma 11, β is a root. This completes the proof of (1). Now, the proof of (2) follows from Lemma 1 and Theorem 5.

Example 9. Let l1 ≥ 1, l2 ≥ 2 and l3 ≥ 3 be positive integers satisfying l1 = l2 = l3. Then the complex finite dimensional simple Lie algebras Al1 ,Bl2 and Cl3 have the same quasi-Dynkin diagram the path graph on l1 vertices with Ψ = ∅. In particular, these algebras have the same set of free roots by the above proposition. In Table 9, using the following Proposition 11, we have listed the BKM superalgebras for which the path graph on 4 vertices is the quasi-Dynkin diagram along with its free roots. Proposition 11. [41, Corollary 2.1.23] A simple finite dimensional Lie superalgebra g is a BKM superalgebra if and only if g is contragredient of type A(m, 0) = sl(m + 1, 1), A(m, 1) = sl(m + 1, 2),B(0,n) = osp(1, 2n),B(m, 1) = osp(2m + 1, 2),C(n) = osp(2, 2n − 2), D(m, 1) = osp(2m, 2), D(2, 1, α) for α = 0, −1, F (4), and G(3). Remark 10. We observe that the number of free roots of a BKM superalgebra is equal to the number of connected subgraphs C(G) of G. In particular, when G is a tree, this number is equal to the number of subtrees of G. This number is well-studied in the literature. For example, see [38] and the references therein. The rest of this section is dedicated to the proof of Theorem 3 and Corollary 1 which relates the k-chromatic polynomial with root multiplicities of BKM superalgebras. Hence we obtain a Lie superalgebras theoretic interpretation of k-chromatic polynomials. 5.2. Multicoloring and the k-chromatic polynomial of G. For any finite set S, let P(S) be the power set of S. For a tuple of non–negative integers k = (ki : i ∈ I), we have supp(k)= {i ∈ I : ki 6= 0}.

Deﬁnition 7. Let G be a graph with vertex set I and the edge set E(G). Let k ∈ Z+[I]. We call a map τ : I → P {1,...,q} a proper vertex k-multicoloring of G if the following conditions are satisﬁed: (i) For all i ∈ I we have |τ(i)| = ki, 34 SHUSHMA RANI AND G. ARUNKUMAR

Table 1. BKM superalgebras with equal set of free roots

BKM superalgebras Simple roots [24, Section 2.5.4] Free roots A4 α1 = ε1 − ε2, α2 = ε2 − ε3, α1, α2, α3, α4, α12, α13, α3 = ε3 − ε4, α4 = ε4 − ε5. α14, α23, α24, α34. B4 α1 = ε1 − ε2, α2 = ε2 − ε3, α1, α2, α3, α4, α12, α13, α3 = ε3 − ε4, α4 = ε4. α14, α23, α24, α34. C4 α1 = ε1 − ε2, α2 = ε2 − ε3, α1, α2, α3, α4, α12, α13, α3 = ε3 − ε4, α4 = 2ε4. α14, α23, α24, α34. A(3, 0) α1 = ε1 − ε2, α2 = ε2 − ε3, α1, α2, α3, α4, α12, α13, α3 = ε3 − ε4, α4 = ε4 − δ1. α14, α23, α24, α34. A(2, 1) α1 = ε1 − ε2, α2 = ε2 − ε3, α1, α2, α3, α4, α12, α13, α3 = ε3 − δ1, α4 = δ1 − δ2. α14, α23, α24, α34. B(0, 4) α1 = δ1 − δ2, α2 = δ2 − δ3, α1, α2, α3, α4, α12, α13, α3 = δ3 − δ4, α4 = δ4. α14, α23, α24, α34. B(3, 1) α1 = δ1 − ε1, α2 = ε1 − ε2, α1, α2, α3, α4, α12, α13, α3 = ε2 − ε3, α4 = ε3. α14, α23, α24, α34. C(4) α1 = ε1 − δ1, α2 = δ1 − δ2, α1, α2, α3, α4, α12, α13, α3 = δ2 − δ3, α4 = 2δ3. α14, α23, α24, α34. 1 F (4) α1 = 2 (ε1 + ε2 + ε3 + δ), α2 = −ε1, α1, α2, α3, α4, α12, α13, α3 = ε1 − ε2, α4 = ε2 − ε3. α14, α23, α24, α34.

(ii) For all i, j ∈ I such that (i, j) ∈ E(G) we have τ(i) ∩ τ(j)= ∅.

The case ki = 1 for i ∈ I corresponds to the classical graph coloring of graph G. For more details and examples we refer to [18]. The number of ways a graph G can be k–multicolored using q colors is a polynomial in q, called the generalized k-chromatic polynomial (k-chromatic G polynomial in short) and denoted by πk (q). The k-chromatic polynomial has the following well– known description. We denote by Pk(k, G) the set of all ordered k–tuples (P1,...,Pk) such that:

(1) each Pi is a non–empty independent subset of I, i.e. no two vertices have an edge between them; and (2) For all i ∈ I, αi occurs exactly ki times in total in the disjoint union P1∪···˙ ∪˙ Pk. Then we have G q πk (q)= |P (k, G)| . (5.1) k k Xk≥0 We have the following relation between the ordinary chromatic polynomials and the k- chromatic polynomials. We have

G 1 G(k) πk (q)= π1 (q) (5.2) k! G(k) where π1 (q) is the chromatic polynomial of the graph G(k) and k! = i∈I ki!. The graph G(k) (the join of G with respect to k) is constructed as follows: For each j ∈ supp(k), take a 1 kj Q clique (complete graph) of size kj with vertex set {j ,...,j } and join all vertices of the r–th and s–th cliques if (r, s) ∈ E(G). A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 35

re For the rest of this paper, we ﬁx an element k ∈ Z+[I] satisfying ki ≤ 1 for i ∈ I ⊔ Ψ0, where Ψ0 is the set of odd roots of zero norm. 5.3. Bond lattice and an isomorphism of lattices. In this subsection, we prove a lemma which will be useful in the proof of Theorem 3.

Deﬁnition 8. Let LG(k) be the weighted bond lattice of G, which is the set of J = {J1,...,Jk} satisfying the following properties:

(i) J is a multiset, i.e. we allow Ji = Jj for i 6= j (ii) each Ji is a multiset and the subgraph spanned by the underlying set of Ji is a connected subgraph of G for each 1 ≤ i ≤ k and (iii) For all i ∈ I, αi occurs exactly ki times in total in the disjoint union J1∪···˙ ∪˙ Jk. For J ∈ LG(k) we denote by D(Ji, J) the multiplicity of Ji in J and set mult(β(Ji)) = g 0 dim β(Ji), where β(Ji)= α∈Ji α. We deﬁne J0 = {Ji ∈ J : β(Ji) ∈ ∆+} and J1 = J\J0. im Lemma 11. [50, PropositionP 2.40] Let i ∈ I and α ∈ ∆+\{αi} such that α(hi) < 0. Then α + jαi ∈ ∆+ for all j ∈ Z+.

Lemma 12. [1, Lemma 3.4] Let P be the collection of multisets γ = {β1,...,βr} (we allow βi = βj for i 6= j) such that each βi ∈ ∆+ and β1 + · · · + βr = η(k). The map ψ : LG(k) → P deﬁned by {J1,...,Jk} 7→ {β(J1),...,β(Jk)} is a bijection. 5.4. Proof of Theorem 3: (Chromatic polynomial and root multiplicities). For a

Weyl group element w ∈ W , we ﬁx a reduced word w = si1 · · · sik and let I(w)= {αi1 ,...,αik }. Note that I(w) is independent of the choice of the reduced expression of w. For γ = miαi ∈ i∈I Ω, we set Im(γ) is the multiset {αi,...,αi : i ∈ I} and I(γ) is the underlying set of IPm(γ). We

mi times define Ψ0(γ)= I(γ)∩Ψ0. Also, we define J (γ)= {w ∈ W \{e} : I(w)∪I(γ) is an independent set}. The following lemma is a generalization| {z of} [49, Lemma 2.3] (for Kac-Moody Lie algebras) and [1, Lemma 3.6] (for Borcherds algebras) to the setting of BKM superalgebras. Since the proof of this lemma is similar to the proof of the Borcherds algebras case, we omit the proof here. re Recall that k = (ki : i ∈ I) satisfies ki ≤ 1 for i ∈ I ⊔ Ψ0.

Lemma 13. Let w ∈ W and γ = αi + miαi ∈ Ω. We write ρ − w(ρ)+ w(γ) = i∈I\Ψ0 i∈Ψ0 α∈Π bα(w, γ)α. Then we have P P (i) b (w, γ) ∈ Z for all α ∈ Π and b (w, γ) = 0 if α∈ / I(w) ∪ I(γ). P α + α (ii) bα(w, γ) ≥ 1 for all α ∈ I(w). (iii) bα(w, γ) = 1 if α ∈ I(γ)\Ψ0(γ) and bα(w, γ)= mα if α ∈ Ψ0(γ). (iv) If w ∈J (γ), then bα(w, γ) = 1 for all α ∈ I(w) ∪ (I(γ)\Ψ0(γ)), bα(w, γ)= mα for all α ∈ Ψ0(γ). re (v) If w∈J / (γ) ∪ {e}, then there exists α ∈ I(w) ⊆ Π such that bα(w, γ) > 1. The following proposition is an easy consequence of the above lemma and essential to prove Theorem 3. Let U be the sum-side of the denominator identity (Equation (2.1)). Proposition 12. Let q ∈ Z. We have q −η(k) ht(η(k)) G U [e ] = (−1) πk (q), 36 SHUSHMA RANI AND G. ARUNKUMAR where U q[e−η(k)] denotes the coefficient of e−η(k) in U q. q q k Proof. Write U = k (U − 1) . From Lemma 13 we get k≥0 P w(ρ) − ρ − w(γ)= −γ − α, for w ∈J (γ) ∪ {e}. α∈XI(w) re −η(k) k Since ki ≤ 1 for i ∈ I ⊔ Ψ0, the coefficient of e in (U − 1) is equal to k −γ− α k ǫ(γ)ǫ(w)e Pα∈I(w) [e−η( )]. (5.3) γ∈Ω w∈J (γ) ! γX6=0 X Hence the coefficient is given by

ǫ(γ1) · · · ǫ(γk)ǫ(w1) · · · ǫ(wk) (5.4) (γ1X,...,γk) (w1,...,wk) k k where the sum ranges over all k–tuples (γ1, . . . , γk) ∈ Ω and (w1, . . . , wk) ∈ W such that

• wi ∈J (γi) ∪ {e}, 1 ≤ i ≤ k, re • I(w1) ∪···˙ ∪˙ I(wk)= {αi : i ∈ I , ki = 1},

• I(wi) ∪ I(γi) 6= ∅ for each 1 ≤ i ≤ k,

• γ1 + · · · + γk = kiαi. im iX∈I It follows that I(w1) ∪ I(γ1),...,I(wk) ∪ I(γk) ∈ Pk k, G and each element is obtained in this way. So the sum ranges over all elements in P k, G . Hence (U − 1)k[e−η(k)] is equal k to (−1)ht(η(k))|P (k, G)|. Now, Equation (5.1) completes the proof. k Remark 11. We need the extra assumption ki ≤ 1 for i ∈ Ψ0 when we extend Theorem 1 to the case of BKM superalgebras. Suppose ki > 1 for some i ∈ Ψ0. We observe that each γi contributes Im(γi) to the required coeﬃcient in Equation (5.3) and Im(γi) can be a multiset. This implies that I(wi)∪Im(γi) can be a multiset. The independent set considered in Equation (5.1) are sets. By assuming ki ≤ 1 for i ∈ Ψ0, we have avoided the possibility of Im(γi) being a multiset. Now, we can prove Theorem 3 using the product side of the denominator identity (2.1). G Proposition 12 and Equation (2.1) together imply that the k-chromatic polynomial πk (q) is given by the coeﬃcient of e−η(k) in −α q mult(α) k α∈∆0 (1 − e ) k (−1)ht(η( )) + = (−1)ht(η( )) (1 − ǫ(α)e−α)ǫ(α)q mult(α). (5.5) −α q mult(α) Qα∈∆1 (1 + e ) + αY∈∆+ 0 1 where ǫ(α) = 1 Qif α ∈ ∆+ and − 1 if α ∈ ∆+. Now, ǫ(α)q mult α (1 − ǫ(α)e−α)ǫ(α)q mult(α) = (−ǫ(α))k e−kα . k αY∈∆+ αY∈∆+ Xk≥0 A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 37

A direct calculation of the coeﬃcient of e−η(k) in the right-hand side of the above equation completes the proof of Theorem 3.

5.5. Proof of Corollary 1: (Formula for multiplicities of free roots). In this subsection, we prove Corollary 1 which gives a combinatorial formula for the multiplicities of free roots. We consider the algebra of formal power series A := C[[Xi : i ∈ I]]. For a formal power (1−ζ)k series ζ ∈A with constant term 1, its logarithm log(ζ)= − k≥1 k is well–deﬁned.

−αi P −αi Proof. We consider U as an element of C[[e : i ∈ I]] where Xi = e [c.f. Lemma 13]. From the proof of Proposition 12 we obtain that the coeﬃcient of e−η(k) in −log U is equal to

k k (−1) (−1)ht(η( )) |P (k, G)| k k Xk≥1 G which by Equation (5.1) is equal to |πk (q)[q]|. Now applying −log to the right hand side of the denominator identity (2.1) gives

1 G mult η (k/ℓ) = |πk (q)[q]| (5.6) ℓ ℓ∈N Xℓ|k

+ if β(k) ∈ ∆0 and l+1 (−1) G mult η (k/ℓ) = |πk (q)[q]| (5.7) ℓ ℓ∈N Xℓ|k + if β(k) ∈ ∆1 . The statement of the corollary is now an easy consequence of the following M¨obius inversion n formula: g(d)= d|n f(d) ⇐⇒ f(n)= d|n µ( d )g(d) where µ is the m¨obius function. P P 1 Example 10. Consider the BKM superalgebra g and the root space η(k) = 3α3 + 3α6 ∈ ∆+ from Example 2. The k-chromatic polynomial of the quasi Dynkin diagram G of g is equal to

G q q − 3 1 πk (q)= = q(q − 1)(q − 2)(q − 3)(q − 4)(q − 5). 3 3 3!3! By Corollary 1, since η(k) is odd,

Example 11. Consider the BKM superalgebra g from the previous example. Let k = Z 0 (2, 1, 0, 1, 2, 0) ∈ +[I]. Then η(k) = 2α1 + α2 + α4 + 2α5 ∈ ∆+. We have

µ(ℓ) G mult(η(k)) = |πk/ℓ(q)[q]| k ℓ Xℓ| G G 1 3 2 This implies that mult(η(k)) = |πk (q)[q]|. We have πk (q) = 4 q(q − 1) (q − 2) . Therefore mult(η(k)) = 1. References [1] G. Arunkumar, Deniz Kus, R. Venkatesh. Root multiplicities for Borcherds algebras and graph coloring. J. Algebra 499, 538–569, 2018. [2] G. Arunkumar, Generalized chromatic polynomials of graphs from Heaps of pieces. Arxiv: 1907.08864. [3] Richard Borcherds. Generalized Kac-Moody algebras. J. Algebra, 115(2):501–512, 1988. [4] Martin Cederwall, Jakob Palmkvist. L∞ algebras for extended geometry from Borcherds superalgebras. Comm. Math. Phys. 369 (2019), no. 2, 721–760. [5] E. S. Chibrikov. A right normed basis for free Lie algebras and Lyndon-Shirshov words. J. Algebra, 302(2):593–612, 2006. [6] E. S. Chibrikov. The right-normed basis for a free Lie superalgebra and Lyndon-Shirshov words Algebra and Logic, 45(4):261–276, 2006. [7] Shun-Jen Cheng, Jae-Hoon Kwon, Weiqiang Wang. Irreducible characters of Kac-Moody Lie superalgebras. Proc. Lond. Math. Soc. 110(3), No.1, 108–132, 2015. [8] Miranda C. N. Cheng, Atish Dabholkar. Borcherds-Kac-Moody symmetry of N=4 dyons. Commun. Number Theory Phys. 3 (2009), no. 1, 59–110. [9] Meng-Kiat Chuah, Fioresi, Rita Fioresi. Equal rank real forms of affine non-twisted Kac-Moody Lie superalgebras. J. Pure Appl. Algebra 224, No.7, 106278, 2020. [10] Meng-Kiat Chuah, Fioresi, Rita Fioresi. Affine Lie superalgebras. Journal of Algebra 570, 15, 636-677, 2021. [11] G. Duchamp and D. Krob. The free partially commutative Lie algebra: bases and ranks. Adv. Math., 95(1):92–126, 1992. [12] Matthias R. Gaberdiel, Stefan Hohenegger, Daniel Persson. Borcherds algebras and N = 4 topological amplitudes. J. High Energy Phys. 2011, no. 6, 125, 34 pp. [13] Abhijit Gadde, Pedro Liendo, Leonardo Rastelli, Wenbin Yan. On the integrability of planar N=2 super- conformal gauge theories. J. High Energy Phys. 2013, no. 8. [14] R. M. Green. Combinatorics of minuscule representations. Cambridge University Press, Cambridge Cam- bridge Tracts in Mathematics, (199) viii+320, 2013, ISBN = 978-1-107-02624-7. [15] Curtis Greene, Thomas Zaslavsky. On the interpretation of Whitney numbers through arrangements of hyperplanes, zonotopes, non-Radon partitions, and orientations of graphs. Trans. Amer. Math. Soc 280 (1) (1983) 97–126. [16] J. Greitz, P. S. Howe. Maximal supergravity in three dimensions: supergeometry and differential forms. J. High Energy Phys. 2011, no. 7, 071, 27 pp. [17] Suresh Govindarajan, Sutapa Samanta. BKM Lie superalgebras from counting twisted CHL dyons—II. Nuclear Phys.B 948 (2019), 114770, 31 pp. [18] Magnús M. Halldórsson and Guy Kortsarz. Multicoloring: problems and techniques. In Mathematical foundations of computer science 2004, volume 3153 of Lecture Notes in Comput. Sci., pages 25–41. Springer, Berlin, 2004. [19] Sarah M. Harrison, Natalie M. Paquette, Roberto Volpato, A Borcherds–Kac–Moody Superalgebra with Conway Symmetry. Comm. Math. Phys. 370 (2019), no. 2, 539–590. [20] Marc Henneaux, Bernard L. Julia, Jérôme Levie. E11, Borcherds algebras and maximal supergravity. J. High Energy Phys. 2012, no. 4, 078, front matter+30 pp. [21] Marc Henneaux, Victor Lekeu. Kac-Moody and Borcherds symmetries of six-dimensional chiral supergravity. J. High Energy Phys. 2015, no. 3, 056, front matter+28 pp. A STUDY ON FREE ROOTS OF BORCHERDS-KAC-MOODY LIE SUPERALGEBRAS 39

[22] Elizabeth Jurisich. An exposition of generalized Kac-Moody algebras. Contemp. Math., 194, Amer. Math. Soc., Providence, RI, 1996. [23] Elizabeth Jurisich. Generalized Kac-Moody Lie algebras, free Lie algebras and the structure of the Monster Lie algebra. J. Pure Appl. Algebra, 126 (1998), no. 1-3, 233–266. [24] V. G. Kac. Lie superalgebras. Advances in Math., 26(1):8–96, 1977. [25] Seok-Jin Kang and Myung-Hwan Kim. Free Lie algebras, generalized Witt formula, and the denominator identity. J. Algebra, 183(2):560–594, 1996. [26] Jeong-Ah Kim, Dong-Uy Shin. Construction of Kac-Moody superalgebras as minimal graded Lie superalgebras and weight multiplicities for Kac-Moody superalgebras. J. Math. Phys. 41, no. 7, 4981–5001, 2000. [27] Ctirad Klimˇc´ık. On supermatrix models, Poisson geometry, and noncommutative supersymmetric gauge theories. J. Math. Phys. 56 (2015), no. 12. [28] Daniel Krob and Pierre Lalonde. Partially Commutative Lyndon Words. Book Title: STACS, 1993. [29] Namhee Kwon. Weyl-Kac type character formula for admissible representations of Borcherds-Kac-Moody Lie superalgebras. Math. Z., 295(1-2):711–725, 2020. [30] Ja Kyung Koo, Young Tak Oh. Freudenthal-type multiplicity formulas for generalized Kac-Moody superalgebras. Comm. Algebra 29 (2001), no. 1, 225–244. [31] Pierre Lalonde. Bases de Lyndon des algèbres de Lie libres partiellement commutatives Theor. Comput. Sci., 117(1-2):217–226, 1993. [32] Pierre Lalonde. Lyndon heaps: An analogue of Lyndon words in free partially commutative monoids Discret. Math., 145(1-3):171–189, 1995. [33] R.C. Lyndon. On Burnside’s problem. Trans. Amer. Math. Soc., 77:202–215, 1954. [34] Bousquet-Mélou, Mireille and Rechnitzer, Andrew. Lattice animals and heaps of dimers. Discrete Math., 258(1-3):235–274, 2002. [35] A.A. Mikhalev. Subalgebras of free colored Lie superalgebras. Mathematical Notes of the Academy of Sciences of the USSR, 37, 356–360 (1985). https://doi.org/10.1007/BF01157965. [36] Jakob Palmkvist. Borcherds and Kac-Moody extensions of simple finite-dimensional Lie algebras. J. High Energy Phys. no. 6, 003, front matter+9 pp, 2012. [37] Jakob Palmkvist. Tensor hierarchies, Borcherds algebras and E11. J. High Energy Phys. 2012, no. 2, 066, front matter+19 pp. [38] Dinesh Pandey and Kamal Lochan Patra. On the number of connected subgraphs of graphs. To appear in Indian Journal of Pure and Applied Mathematics Arxiv: 1811.11411. [39] E. N. Poroshenko. Bases for partially commutative Lie algebras. Algebra Logika, 50(5):405–417, 2011. [40] Urmie Ray. A character formula for generalized Kac-Moody superalgebras. J. Algebra. 177, no.1, 154-163, 1995. [41] Urmie Ray. Automorphic forms and Lie superalgebras. Springer, Dordrecht Algebra and Applications, ISBN = 978-1-4020-5009-1; 1-4020-5009-7, 2006. [42] Christophe Reutenauer. Free Lie algebras, volume 7 of London Mathematical Society Monographs. New Series. The Clarendon Press, Oxford University Press, New York, 1993. Oxford Science Publications. [43] Richard P. Stanley. Acyclic orientations of graphs. Discrete Math., 5:171–178, 1973. [44] Gérard Xavier Viennot. Heaps of pieces. I. Basic definitions and combinatorial lemmas. Graph theory and its applications: East and West (Jinan, 1986). Ann. New York Acad. Sci., 576:542–570, 1989. [45] Gérard Xavier Viennot. Multi-directed animals, connected heaps of dimers and Lorentzian triangulations. Journal of Physics: Conference Series, Institute of Physics Publishing, 42:268–280, 2006. [46] Gérard Xavier Viennot. The Art of Bijective Combinatorics, Part II, Commutations and Heaps of Pieces, Chapters 2b, 2d. Lectures at IMSc, Chennai., http://www.viennot.org/abjc2-ch2.html, PAGES = 8–21, 61–81. [47] Gérard Xavier Viennot. The Art of Bijective Combinatorics, Part II, Commutations and Heaps of Pieces, Chapter 5a. Lectures at IMSc, Chennai., http://www.viennot.org/abjc2-ch5.html, PAGES = 1–80. [48] Gérard Xavier Viennot. Commutations and Heaps of Pieces, Chapter 6. Lectures at IMSc, Chennai., http://cours.xavierviennot.org/Talca_2013_14_files/Talca13%3A14_Ch6.pdf. [49] R. Venkatesh and Sankaran Viswanath. Chromatic polynomials of graphs from Kac-Moody algebras. J. Algebraic Combin., 41(4):1133–1142, 2015. 40 SHUSHMA RANI AND G. ARUNKUMAR

[50] Minoru Wakimoto. Inﬁnite-dimensional Lie algebras. Translated from the 1999 Japanese original by Kenji Iohara, Iwanami Series in Modern Mathematics. Translations of Mathematical Monographs Volume-195 American Mathematical Society, Providence, RI Algebra and Applications, ISBN = 0-8218-2654-9, 2001. [51] E. Witt. Treue Darstellung Liescher ringe. J. Reine Angew. Math., 177:152–160, 1937.

Indian Institute of Science Education and Research, Mohali, India Email address: [email protected], [email protected].

Indian Institute of Science, Bangalore, India Email address: [email protected], [email protected].