On the Poincaré series of Kac-Moody Lie algebras arxiv:0.0648v [math.rt] Oct 0 Chunhua Jin, jinch@amss.ac.cn Academy of Mathematics and Systems Science, Chinese Academy of Sciences Beijing 0090, China Xu-an Zhao, zhaoxa@bnu.edu.cn Mathematics Department of Beijing Normal University Beijing 00875, China September 3, 08 Abstract In this paper, we discuss the Poincaré series of Kac-Moody Lie algebras, especially for indefinite type. Firstly, we compute the Poincaré series of certain indefinite Kac-Moody Lie algebras whose Cartan matrices have the same type of principal sub-matrices. Secondly, we show that the Poincaré series of Kac-Moody Lie algebras satisfy certain interesting properties. Lastly we give some applications of the Poincaré series to other fields. Particularly we construct some counter examples to a conjecture of Victor Kac[5] and a conjecture of Chapavalov, Leites and Stekolshchik[6]. Keywords: Kac-Moody Lie algebra, Poincaré series, Cartan matrix, Flag manifold. Introduction To start with, we briefly review some concepts and results about Kac-Moody Lie algebras and their Poincaré series. Let A = (a ij ) be an n n integer matrix, A is called a Cartan matrix if it satisfies: () For each i,a ii = ; () For i j,a ij 0; (3) If a ij = 0, then a ji = 0. For each Cartan matrix A, there is an associated Kac-Moody Lie algebra g(a), modulo its center which is generated by h i,e i,f i, i n over C, with the defining relations: () [h i,h j ] = 0; () [e i,f i ] = h i,[e i,f j ] = 0,i j; (3) [h i,e j ] = a ij e j,[h i,f j ] = a ij f j ; (4) ad(e i ) a ij+ (e j ) = 0; (5) ad(f i ) a ij+ (f j ) = 0. For details see Kac[] and Moody[]. The authors are supported by Natural Science Foundation of China (Grant No.705)
Kac and Peterson[3][4][5] further constructed the Kac-Moody group G(A) with Lie algebra g(a). Let M(A) = (m ij ) n n be the Coxeter matrix of the Cartan matrix A. That is: for i = j,m ij = ; for i j,m ij =,3,4,6 and as a ij a ji = 0,,,3 and 4 respectively, then the Weyl group W(A) of g(a) is: W(A) =< σ,σ,,σ n (σ i σ j ) m ij =, i j n >. Each element w W(A) has a decomposition w = σ i σ ik, i,,i k n. The length of w is defined as the least integer k in all of those decompositions of w, denoted by l(w). The Poincaré series of g(a) is the power series P(A) = t l(w). Hence P(A) only w W(A) depends on the structure of Weyl group W(A) and the length function on it. For the Kac-Moody Lie algebra g(a), there is the Cartan decomposition g(a) = h g α, where h is the Cartan sub-algebra and is the root system. Let b = h g α be α α + the Borel sub-algebra, then b corresponds to a Borel subgroup B(A) in the Kac-Moody group G(A). The homogeneous space F(A) = G(A)/B(A) is called the complete flag manifold of G(A). By Kumar[6] F(A) is a ind-variety. The flag manifold F(A) admits a CW-decomposition of Schubert cells which is indexed bytheelementsofweyl groupw(a). Foreachw W(A), thecomplexdimensionofschubert variety X w is l(w). Therefore the Poincaré series of the flag manifold F(A) defined by Betti numbers is just the Poincaré series P(A) of g(a). The Poincaré series P(A) is closely related to the topology of Kac-Moody group G(A) and its flag manifold F(A). For flag manifolds over finite field F q,q = p k for a prime number p, by the Schubert decomposition, the number of elements in F(A) is just given by the value of Poincaré series P(A) at t = q. This fact can be further used to compute the orders of Kac-Moody group over F q (by using a regularization procedure). The cohomology of flag manifolds and Poincaré series of finite type and affine type Kac- Moody Lie algebras are extensively studied by Borel[7], Bott and Samelson[8], Bott[9], and Chevalley[0]. But for indefinite type, little is known. For Kac-Moody Lie algebra g(a) of finite type, Poincaré series has the following form P(A) = n i= t d i t (.) where d i s are the degrees of basic invariants of g(a). Let I be a subset of S = {,,n}, define the principal sub-matrix A I = (a ij ) i,j I. It s obvious that A I is also a Cartan matrix. Let W I (A) be the subgroup of W(A) generated by {σ i i I}, then W I (A) is the Weyl groups of g(a I ). In the following we also denote P(A I ) by P I (A). The Poincaré series P(A) is also denoted by P A (t) to emphasize the variable t. According to the classification of Cartan matrix A = (a ij ) n n, Kac-Moody algebras are classified into three types: () g(a) is of finite type if A is positive definite. () g(a) is of affine type if A is positive semi-definite and has rank n. (3) g(a) is of indefinite type otherwise.
Let à be the Extended Cartan matrix of the Cartan matrix A of finite type, then every non-twisted affine Kac-Moody Lie algebra g(ã) is the central extension of the infinitedimensional Lie algebra g(a) C[t,t ]. Bott[9] showed that the Poincaré series is P(Ã) = P(A) n i= where d i s are the degrees of basic invariants of g(a). For Kac-Moody Lie algebra g(a) of finite type, t d i (.) I P(A) ( ) P I (A) = td(a) (.3) I S where D(A) is the complex dimension of F(A). For Kac-Moody Lie algebra g(a) of affine or indefinite type, I P(A) ( ) P I (A) = 0 (.4) I S The Equations (.3) and (.4) are given in Steinberg[] and Humphurays[]. Theoretically, one can compute Poincaré series of any affine and indefinite Kac-Moody Lie algebras through Equation (.3) and (.4) by iterations. This reduces the computation of Poincaré series of Kac-Moody Lie algebras of affine and indefinite types to the finite case. The paper proceeds as follows: In section, we give some concrete computation results of the Poincaré series of certain Kac-Moody Lie algebras of indefinite type; In section 3, we derive some properties satisfied by the Poincaré series. These properties are mainly derived from Equation (.4) and verify a conjecture given by Gungormez and Karadayi[4]; In section 4, we show the computation of the Poincaré series for Kac-Moody Lie algebras can be used to compute the Poincaré series of the generalized flag manifolds of Kac-Moody groups. In section 5, we discuss the application of Poincaré series to graph theory and define the Poincaré-Coxeter invariants and the homotopy indices of a graph. In section 6, we construct some counter examples to a conjecture given by Kac[5]; In section 7, we derive the condition needed for the conjecture of Chapavalov, Leites and Stekolshchik[6] to be true and give some counter examples. Computation of the Poincaré series for certain Kac-Moody Lie algebras From the definition of Weyl group and Poincaré series, we see that Poincaré series are determined only by the products a ij a ji, for all i, j. If we change one a ij a ji > 4 to 4, then the Coxeter matrix is unchanged. Therefore we have Proposition. Let A = (a ij ) n n be a Cartan matrix, define a Cartan matrix A = (a ij ) n n. For i > j, (a ij,a ji ) is given by the product a ija ji as follows, a ij a ji 0 3 4 (a ij,a ji ) (0,0) (, ) (, ) ( 3, ) ( 4, ) 3
then P(A) = P(A ). Therefore for the computation of Poincaré series, we only need to consider Cartan matrix of form: l(a ) l(a n) a l(a n) A =........ ( ), a n a n { 0, x = 0; where 4 a ij 0 and l(x) =, otherwise. Theorem. Let P n be the Poincaré series of an n n Cartan matrix A in which all order principal sub-matrices having the same type, and P denotes the Poincaré series of the order principal sub-matrix, then (+t)p P n = (n )(n ) tp (n+)(n ) P + n(n ) (+t) Proof: we prove the theorem by induction on n. (i) For n =, Theorem can be checked directly. (ii) Suppose Theorem is true for k < n, by Equation (.4), we get ( ) ( ) ( ) ( ) n n n n + + +( ) n = ( )n P P 3 P 3 n P n P n By P = +t. and the induction assumption, we have n ( ) (i )(i ) n ( ) i tp (i+)(i ) P + i(i ) (+t) = ( )n i (+t)p P n Since We can show i=0 n ( ) n ( ) i i = ( ) n n and i i=0 n ( n ( ) i i i=0 ) i = ( ) n n. ( ) n (+t)p (n )(n ) tp (n+)(n ) P + n(n ) (+t) = ( )n. P n So the theorem holds for k = n. By Theorem, we get Corollary. Let A = (a ij ) n n be a Cartan matrix as in Theorem, then P(A) = (n )(n ) (n )(n ) P(A ) t 3 (n )t (n )t+ P(B ) t 4 (n )t 3 (n )t (n )t+ P(G ) (n )(n ) t 6 (n )(t 5 +t 4 +t 3 +t +t)+ +t (n )t if i j,a ij a ji = ; if i j,a ij a ji = ; if i j,a ij a ji = 3; if i j,a ij a ji 4. The computation in the proof of Theorem is just a sample. The same method can 4
be used to give a complete computation results for all the Poincaré series of finite and affine types(untwisted case and twisted case). For various special kinds of Cartan matrices of indefinite type, the method is also useful to get the various kinds of formulas for Poincaré series. But there is not a single simple formula, so we don t discuss it further. 3 Some properties of the Poincaré series It is apparent that two different Cartan matrices may have the same Poincaré series. The following theorem shows that for Cartan matrix of form( ) without element 0, the corresponding Poincaré series is determined by the set S(A) := {a ij j < i n}(with multiplicity). Theorem. For a Cartan matrix A of form ( ) with a ij 0, i,j, the corresponding Poincaré seriesisinvariantunderexchangingofanytwoelements a ij anda i j belowdiagonal. Proof: set g(a) := ( t )( t 3 ) ( t), a = ; ( t )( t 4 ) ( t), a = ; ( t )( t 6 ) ( t), a = 3; +t t, a = 4. ( In fact, g(a) is the Poincaré series of Cartan matrix To prove the theorem, we only need to prove a Assertion: For a Cartan matrix A = (a ij ) n n without element 0, P(A) is a symmetric rational function of {g(a ij ) j < i n}. Now, we start to prove this assertion. Now we prove the assertion by induction on n. Notice that, if there is no element 0 in A, then all principal sub-matrices with order 3 in A are of indefinite type. hence (i)for n = 3, suppose A = (a ij ) 3 3 without element 0, by Equation (.4), we have P(A) = ). P(A) 3 P(A) +t + P(A) g(a ) + P(A) g(a 3 ) + P(A) g(a 3 ) =. (+t)g(a )g(a 3 )g(a 3 ) (t )g(a )g(a 3 )g(a 3 )+(t+)(g(a )g(a 3 )+g(a )g(a 3 )+g(a 3 )g(a 3 )). So P(A) is a symmetric rational function of g(a ),g(a 3 ),g(a 3 ). (ii)suppose the assertion hold for all k with 3 k < n, and A = (a ij ) n n be a Cartan matrix without element 0. By the induction assumption, for any I S, P I (A) is a symmetric rational function of {g(a ij ) i,j I,j < i}. We definean action of Sn(n ) (permutation group of n(n ) -elements) on the set of rational functions g(a ij ) s by the action of S n on index (i,j). Then we get an action of Sn(n ) on the rational functions of g(a ij ) s. 5
Note the set { P I (A) I = k,i S},k < n is invariant under the Sn(n ) symmetric rational function of {g(a ij ) j < i n}. And by equation ( ) S + I S action. Therefore, for any k < n, I =k,i S I P(A) ( ) P I (A) = I S I P(A) ( ) P I (A) = 0 P I (A) is a we get that P(A) is a symmetric rational function of {g(a ij ) j < i n}. This finishes the proof. The following example shows that the condition there is no element 0 in A can t be discarded. Example : For Cartan matrices A = their Poincaré series are and 0 0 3 3 and B = 0 0 3 3 P(A) = (t3 +)(t 3 +t +t+)(t +t+)(t+) t 9 +t 8 3t 5 3t 4 t 3 t t+ P(B) = (t5 +t 4 +t 3 +t +t+)(t 3 +t +t+) t 8 t 7 +t 6 t 5 t 4 t 3 t+. Therefore even if the sets S(A) = {a ij j < i n} and S(B) = {b ij j < i n} (with multiplicity) are same, the Poincaré series are different because A and B contain element 0. If we replace (0,0) in A, B by ( 4, ), we get the new Cartan matrices A = and their Poincaré series are 4 3 3 and B = 4 3 3 P(A ) = P(B ) = (t5 +t 4 +t 3 +t +t+)(t 3 +t +t+) t 8 t 7 t 5 3t 4 t 3 t t+ Due to the symmetry in Theorem, we see that the number of Poincaré series corresponding to all Cartan matrices without element 0 is much smaller than the number it seems to be. Denote the number of Poincaré series corresponding to order n Cartan matrices without element 0 by K(n), then through Theorem and some Combinatorial computation, we get K(n) (n(n ) +3) 3. This motivates us to make the following Conjecture : K(n) = (n(n ) +3). 3 The conjecture is verified in cases n = 3,4,5,6 by figuring out all the K(n) Poincaré series. 6,
Besides the above, there is another interesting property. It s shown in Gungormez and Karadayi[4] that for Poincaré series of hyperbolic Kac-Moody Lie algebras, their explicit forms seem to be the ratio of the Poincaré series of a properly chosen finite Lie algebra and a polynomial of finite degree. In the following, we will see this result can be extended to all Kac-Moody algebras. Theorem 3. For any Kac-Moody Lie algebras g with Cartan matrix A, the Poincaré series can be written as a rational function whose numerator is the least common multiple of those Poincaré series of all finite type principal sub-matrices of A. Proof: by Equation (.4), we have ( ) n+ P(A) = I S ( ) I P I (A). For those P I (A) s with affine or indefinite Cartan matrices A I, substitute the item ( ) I P I (A) by the same formula for A I, do the same operation successively until the denominator of each item of the right side of the resulted formula is the Poincaré series of a finite type sub-matrix. This proves the theorem. This shows that the Poincaré series of a Kac-Moody Lie algebra is a rational function, and its numerator can be chosen to be the least common multiple of the Poincaré series of the finite type principal sub-matrix of A. By multiplying suitable polynomial factor if needed, the numerator can be the Poincaré series of a properly chosen finite type Lie algebra. Thus we have shown that for an infinite dimensional Kac-Moody Lie algebra g(a), its Poincaré series can be written as the ratio of the Poincaré series P(A ) of a properly chosen finite type Lie algebra g(a ) and a denominator polynomial Q of finite degree. P(A) = P(A ) Q This proves a conjecture given by Gungormez and Karadayi[4]. 0 Example : Take Cartan matrix A = 0, its Coxeter graph is 0 0 3 For A we see that all its finite type principal sub-matrices are A, A, G, A A, and A A. Since the Poincaré series of G is the least common multiple the of Poincaré series of these Cartan matrices, the numerator of Poincaré series of A is just the Poincaré series of G. By calculation, Poincaré series of A is: (+t)(+t+t +t 3 +t 4 +t 5 ) t 6 t 5 t 4 +t 3 t+ Example 3: For Cartan matrix corresponding to the Dynkin diagram as follows. 7
We see that all its finite principal sub-matrices are of type A, A, A 3, A 4, B, B 3, B 4, A B 3, A A A, A A A, A B, A A and A A. The least common t multiple of their Poincaré series is i i=,4,6,8,5 t,itisthepoincaré seriesofd 5. Bycalculation, Poincaré series of above Dynkin diagram is (t 7 +t 6 +t 5 +t 4 +t 3 +t +t+)(t 5 +t 4 +t 3 +t +t+)(t 4 +t 3 +t +t+)(t 3 +t +t+)(t+) t 9 t 8 t 7 t 6 +t 4 +t 3 +t +t +t 0 +t 9 +t 8 t 7 t 6 t 5 t 4 t 3 + By the way, for case, and 3 in Corollary, the numerators of Poincaré series are P(A ),P(B ) and P(G ) respectively. For Cartan matrices in case, and 3, their finite type principal sub-matrices are of type A, B and G respectively. And for case 4, +t is just the Poincaré series of A, the only finite type principal sub-matrix. 4 The Poincaré series of generalized flag manifolds For each I S, there is a parabolic subgroup G I (A) corresponding to the Cartan matrix A I. The inclusions B(A) G I (A) G(A) induce a fibration G I (A)/B(A) i π G(A)/B(A) G(A)/G I (A). G I (A)/B(A) = F(A I ), and G(A)/G I (A) is called a generalized flag manifold. This gives i π a fibration F(A I ) F(A) G(A)/G I (A). The generalized flag manifold G(A)/G I (A) also has a decomposition of Schubert cells which are indexed by the coset W(A)/W I (A). By Bernstein, Gel fand and Gel fand[3], W(A)/W I (A) can be regarded as subset W I (A) = {w W for all w W I (A),l(ww ) l(w)}. of W(A). The homomorphism i : H (F(A)) H (F(A I )) and π : H (G(A)/G I (A)) H (F(A)) have good properties. See [3] for details. Lemma :. W(A) = W I (A) W I (A) and for each w W I (A),w W I (A),l(ww ) = l(w)+l(w ).. Schubert variety X w,w W I (A) forms an additive basis of H (F(A I )) and i is surjective. In fact, for each w W(A), if w W I (A), then i (X w ) = X w ; otherwise i (X w ) = 0. Here for w W I (A), we identify w W I (A) with its image in W(A). 3. Schubert variety X w,w W I (A) forms an additive basis of H (G(A)/G I (A)) and π is injective. In fact for each w W I (A), π (X w ) = X w ; Here we identify w with ww I (A) for w W I (A). As a consequence of the Lemma, we get Corollary : TheLeray-SerrespectralsequenceoffibrationF(A I ) collapses at E -item and P(A) = P I (A) P(G(A)/G I (A)). i F(A) π G(A)/G I (A) Hence if we have computed the Poincaré series of P(A) and P I (A), the Poincaré series of the generalized flag manifolds G(A)/G I (A) is P(A) P I (A). 8
5 Application to graph theory The Poincaré series of Kac-Moody Lie algebras can be used to construct invariants of graphs. Definition : Let Γ be an undirected graph without selfloop, suppose the set of vertices of Γ to be {,,,n} and the vertices are connected by edges with multiplicity. Let M(Γ) be the Coxeter matrix (m ij ) n n defined by m ij = if i = j; m ij =,3,4,6 and if the multiplicity of edge between vertices i,j is 0,,,3 and 4 respectively. The Coxeter group W(Γ) of graph Γ is W(Γ) =< σ,,σ n (σ i σ j ) m ij =, i,j n >. The Poincaré-Coxeter invariant of Γ is defined as the Poincaré series of W(A), denoted by P(Γ). According to the definition, the properties in the previous sections can be interpreted naturally as properties of the Poincaré-Coxeter invariants. For example, P(Γ) is a rational function of variable t; If the multiplicity of an edge in Γ is great than 4, then changing the multiplicity to 4 doesn t alter the invariant; If any two vertices of Γ are connected by edges, then exchange of the multiplicities of edges doesn t alter the invariant; The following definition is motivated by another work of the authors. Definition : Let Γ be a graph as above, then the homotopy indices i,i,,i k, are integers satisfying P(Γ) = ( t) n ( t k ) i k ( t k ) i k. k= By results of the authors[5], the sequences i k,k > 0 is well defined and we have The homotopy indices of the Coxeter graph of Kac-Moody groups of finite and affine types are tabulated as follows. Γ nonzero homotopy indices Γ nonzero homotopy indices A n i k =, k n+ Ã n i k =,k = n+ B n i k =,k =,4,,n Bn i k =,k =,3,4,,n,n; D n i k =,k =,4,, Dn i k =,k =,3,4,,n ; n 4n 4,4n,n n i k =,k = n,n+,,4n ; i n = D n+ i k =,k =,4,, Dn+ i k =,k =,3,4,,n ; n 4n,4n,n+ n i k =,k = n+,n+,,4n; G i k =,k =,6 Ẽ i k =,k =,5,6 F 4 i k =,k =,6,8, F4 i k =,k =,5,6,7,8,,; E 6 i k =,k =,5,6,8,9, Ẽ 6 i k =,k =,4,6,7,9,,; E 7 i k =,k =,6,8,0, Ẽ 7 i k =,k =,5,6,7,8,9,0,,,3,,4,8 4,7,8 E 8 i k =,k =,8,,4,8, Ẽ 8 i k =,k =,7,8,,,3,4,7,8, 0,4,30 9,0,3,4,9,30 Proposition : The homotopy indices of Γ contain the same amount of information as the Poincaré-Coxeter invariant of graph Γ. The homotopy indices of a Coxeter graph is important both for the research of combinatoric graph theory and for the research of algebraic topology of Kac-Moody groups. For example i is determined by the number of loops in Γ, see [5]. For more connection between 9
the homotopy indices and the rational homotopy groups of Kac-Moody groups, see [5]. So a natural question is Question : Determine the homotopy indices i,i,,i k, from the information of the graph Γ. Example 4: ForthegraphΓwith3vertices andedgeswithmultiplicities,3,4, thepoincaré- Coxeter invariant is P(Γ) = ( t 4 )( t 6 ) ( t) ( t 7 t 6 t 5 t 4 t 3 t+). Letg bethegraded freeliealgebra over C withgenerators x,x 3,y 3,x 4,x 5,y 5,x 6,x 7 (set degx i = degy i = i) and d k be the dimension of the degree k homogeneous component of g. The homotopy indices of graph Γ be i = 0,i 4 = d 4,i 6 = d 6 and the other i k = d k. 6 Disproof of a conjecture of Victor Kac In Kac[5], page 04, Victor Kac gave a conjecture on the Poincaré series of Kac-Moody Lie algebras of indefinite type. To state the conjecture, we need the following definition. Definition 3: An n n Cartan matrix A is called symmetrizable if there exists an invertible diagonal matrix D and a symmetric matrix B such that A = DB. g(a) is called a symmetrizable Kac-Moody Lie algebra if its Cartan matrix is symmetrizable. Putǫ = or 0 according to A is symmetrizable or not and C(t) = P(A)( t) n ( t ) ǫ, Kac gave the following conjecture. Conjecture : C(t) = B(t), where B(t) = b t +b 3 t + + and b i 0. We construct some counter examples to Kac s conjecture. Example 5: For the Cartan matrices 0 0 0 0 0 0 A = 0 0 0 0 0 0 and B = 0 0 0 0 0 0 with Coxeter graphs as follows. 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 Coxeter graph of B Coxeter graph of A 0
The Poincaré series are P(A) = ( t )( t 5 )( t 6 )( t 8 ) ( t) 4 (t 6 t 5 t +t 9 t 8 +t 7 +t 3 t+). and P(B) = ( t ) ( t 4 )( t 6 )( t 8 ) ( t) 5 (t 6 t 4 t +t 8 t 7 +t 5 +t 4 t 3 t t+). A is a symmetric matrix, so From C(t) = at t = 0 is: C(t) = P(A) ( t) 6 ( t ) B(t), B(t) = C(t), the Taylor expansion of B(t) = ( t)4 (t 6 t 5 t +t 9 t 8 +t 7 +t 3 t+) ( t )( t 5 )( t 6 )( t 8 ) t ( t) 6. t +t 3 +t 4 +t 7 +t 8 +t 9 t 5 t 6 t 7 3t 8 3t 9 +O(t 0 ) For Cartan matrix B, the Taylor expansion of at t = 0 is: B(t) = ( t)5 (t 6 t 4 t +t 8 t 7 +t 5 +t 4 t 3 t t+) ( t ) ( t 4 )( t 6 )( t 8 ) t ( t) 6 t 3 +t 5 t 6 +3t 7 t 8 +3t 9 t 0 +5t 4t +4t 3 5t 4 +8t 5 8t 6 +6t 7 0t 8 +0t 9 +O(t 0 ) 7 On the conjecture of Chapavalov, Leites and Stekolshchik In their paper[6], page 08, Chapavalov, Leites and Stekolshchik made a conjecture on the Poincaré series of infinite dimensional Kac-Moody Lie algebras g(a). For a rational function P(t), write P(t) as form P(t) = Q(t), define degp(t) = R(t) degq(t) degr(t). It doesn t depend on how Q(t) and R(t) are chosen. Conjecture 3: (Chapavalov-Leites-Stekolshchik) The Poincaré series of an infinite dimensional Kac-Moody Lie algebra g(a) with connected Coxeter graph satisfy 0 degp(a). This conjecture is false for a finite type Lie algebra since in this case degp(a) = the complex dimension of F(A). The infinite dimensional Kac-Moody Lie algebras contains affine type and indefinite type. For affine type Conjecture 3 is true since in this case degp(a) = 0. We need the following lemma for further discussion. Lemma 3: For rational functions P i (t), i k, degp i (t) = d i, suppose the sum of P i (t), t k be P(t), then. degp(t) max i k d i.
. If I = {i d i = max t k d t} has only one element, then degp(t) = max i k d i. By using Lemma 3, we have Proposition 3: The Poincaré series of an infinite dimensional Kac-Moody Lie algebra g(a) with connected Coxeter graph satisfy degp(a) 0. Proof: let A be a n n Cartan matrix of affine or indefinite type. For I S, P I (A) denotes the Poincaré series of A I. We prove this proposition by induction on n. For n =, the proposition is obviously true. Assume for each Cartan matrix A of affine or indefinite type with size < n, the proposition is true. By Equation (.4), we have ( )n P(A) = ( ) I P I (A) I S If I =, P (A) = ; If A I (I ) is of finite type, then degp I (A). If A I is of affine or indefinite type, then by induction assumption degp I (A) 0. Therefor for any I S, we have degp I (A) 0, so deg ( ) I P I (A) degp(a) 0. 0. By Lemma 3, deg ( )n P(A) 0, this shows Let A be a Cartan matrix and I S, denote by D I the complex dimension of flag manifold F(A I ). Put I 0 = S. For D =, set t D = 0. We get By Equation (.4) Lemma 4: (t D I 0 +( ) I 0 + ) P(A) = I S P(A) = (t D I 0 +( ) I0 + ) P I (A). S I By induction we get Proposition 3: ( ) I ( ) I P I (A) n P(A) = r=0 S I I I r j= ( r ( ) I j (t D I j +( ) I j + ) ) (t D Ir +( ) Ir + ) (.5) Motivated by Equation (.5), we give the following definition. Definition 4: LetAbeann ncartanmatrix ofaffineor indefinitetype, S = {,,,,n}. A sequence T : S = I 0 I I I r of subsets in S is called a chain of length r. If dimg(a Ii ),0 i r is infinite, the chain T is called an infinite chain. If dimg(a Ii ),0 i r is infinite and I r =, the chain T is called a quasi-infinite chain. The set of all the chains(infinite chains and quasi-infinite chains respectively) is denoted by C(A)(C (A) and C q (A) respectively). Note C (A) and C q (A) are disjoint. Let D be the dimension function which send I S to dimf(a I ). By Equation (.5), we have
Proposition 4: /P(A) = H T = ( T C(A) r j= H T, where for T : S = I 0 I I I r, ( ) I j (t D I j +( ) I j + ) ) (t D Ir +( ) Ir + ). This shows that the inverse power series of Poincaré series P(A) equals to the P(A) summation on the set of chains in S. The contribution of a chain is determined by the dimension function D. Theorem 4: The Conjecture 3 is false for a Cartan matrix A if and only if for A both q H T and H T equal to 0. T C (A) T C (A) Proof: The contribution of each chain T : S = I 0 I I I k to /P(A) is H T, with degree 0. Note degh T = 0 if and only if T is a infinite chain and degh T = if and only if T is a quasi-infinite chain. By using the fact H T = ( ) n r for infinite chain T and Lemma 3 we know: if H T 0, then degp(a) = 0. If H T = 0, then T C (A) T C (A) the degree 0 items in summation cancel each other. A quasi-infinite chain T gives an item if By Lemma 3, we have deg H T = ( ) I ( ) I ( ) I 0 + ( ) I + ( ) Ir ( ) I r + t+ = ( ) n r. (+t) T C q (A) H T = T C q (A) ( ) n r (+t) =, hence degp(a) =. P(A) 0. Bytheway weget thefollowing criteria fordegp(a) = 0or. LetK 0 (A) = and K (A) = H T, we have T C q (A) H T T C (A) Proposition 5: Let A beacartan matrix of affine or indefinite type with connected Coxeter graph. If K 0 (A) 0, the degree of the Poincaré series P(A) is 0, and the ratio of the coefficients of the highest power of t in the numerator and denominator polynomials of P(A) is : K 0 (A); If K 0 (A) = 0, but K (A) 0, the degree of the Poincaré series P(A) is, and the ratio of the coefficients of the highest power of t in the numerator and denominator polynomials of P(A) is : K (A). Remark: Besides K 0 (A) and K (A), we can also construct invariants K (A),K 3 (A),, K k (A), of A as in obstruction theory, such that degp(a) = k if and only if K 0 (A),K (A),,K k (A) = 0, but K k (A) 0 and the ratio of the coefficients of the highest power of t in the numerator and denominator polynomials of P(A) is : K k (A). But things become more and more complicate as k increases, so we give up the explicit computation of K k (A) for k >. Example 6: For rank 3 Cartan matrix A, suppose the multiplicities of edges between three vertices be p,p,p 3, then the only infinite chains are S = {,,3} and S S {i},p i 4, hence K 0 (A) = 0 if and only if there is exact one pair of vertices connected by edge with multiplicity 4. In this case, there are 3 length quasi-infinite chains S {i}, i 3 and 3
length quasi-infinite chains, so K (A) =. Therefore the Conjecture 3 is true for n = 3. The ratio of the coefficients of the highest power of t in the numerator and denominator polynomials of P(A) can be computed from K 0 (A) and K (A). For n = 4, there are counter examples to the Conjecture 3. Example 7: For Cartan matrices A = Their Poincaré series are and with degree 4 and. 0 4 0 0 0 and B = 0 4 0 P(A) = (t5 +t 4 +t 3 +t +t+)(t 3 +t +t+)(t+) t 5 +t 4 +t 3 +t. +t P(B) = (t5 +t 4 +t 3 +t +t+)(t 3 +t +t+)(t+) t 7 +t 6 +t 5 +t 4 +t 3 +t. +t We don t have examples to show that the degree of Poincaré series can be arbitrary large and don t know if there exists any upper bound. References [] V. Kac, Infinite Dimensional Lie Algebras, Cambridge University Press, 98 [] Moody, Robert, A new class of Lie algebras. J. Algebra 0 968-30. [3] Kac, Victor; Peterson, Dale, Regular functions on certain infinite-dimensional groups. Arithmetic and geometry, Vol. II, 4-66, Progr. Math., 36, Birkh?user Boston, Boston, MA, 983. [4] Kac, Victor; Peterson, Dale, Defining relations of certain infinite-dimensional groups. The mathematical heritage of lie Cartan (Lyon, 984). Astrisque 985, Numro Hors Srie, 65-08. [5] Kac, Victor G, Constructing groups associated to infinite-dimensional Lie algebras. Infinite-dimensional groups with applications (Berkeley, Calif., 984), 67-6, Math. Sci. Res. Inst. Publ., 4, Springer, New York, 985. [6] Kumar, Shrawan, Kac-Moody groups, their flag varieties and representation theory. (English summary) Progress in Mathematics, 04. Birkh??auser Boston, Inc., Boston, MA, 00. [7] A.Borel, Sur la cohomologie des espaces fibres principaux et des espaces homogenes de groupes de Lie compacts, Ann.math. 57(953), 5-07. [8] R. Bott, H. Samelson, The cohomology ring of G/T. Proc. Nat. Acad. Sci. U. S. A. 4 (955), 490-493. 4
[9] R. Bott, An Application of the Morse Theory to the topology of Lie-groups, Bull. Soc. Math. France 84, 956, 5-8 [0] C. Chevalley, Sur les Decompositions Cellulaires des Espaces G/B, in Algebraic groups and their generalizations: Classical methods, W. Haboushed. Proc. Symp. in Pure Math. 56 (part ) (994), -6. [] R. Steinberg, Endomorphisms of linear algebraic groups, Memoirs Amer. Math. Soc. 80 (968) C08; also available in Collected papers. Amer. Math. Soc. (997). [] J. E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge University Press, 990. [3] I. N. Bernstein, I. M. Gel fand and S. I. Gel fand, Schubert cells and cohomology of the spaces G/P, Russian Math. Surveys 8(973), -6. [4] Meltem Gungormez, Hasan R. Karadayi, On Poincaré series Of Hyperbolic Lie Algebra.arXiv:0706.563v [5] Zhao Xu-an, Jin Chunhua, Zhang jimin, Poincaré series and rational cohomology rings of Kac-Moody groups and their flag manifolds, in preparation. [6] Maxim Chapovalov, Dimitry Leites, Rafael Stekolshchik, The Poincaré series of the hyperbolic Coxeter groups with finite volume of fundamental domains. Journal of Nonlinear Mathematical Physics, Vol. 7, Suppl. (00) 69-5 5