arxiv: v1 [math.rt] 2 Oct 2012


 Antony Boyd
 3 months ago
 Views:
Transcription
1 On the Poincaré series of KacMoody Lie algebras arxiv:0.0648v [math.rt] Oct 0 Chunhua Jin, Academy of Mathematics and Systems Science, Chinese Academy of Sciences Beijing 0090, China Xuan Zhao, Mathematics Department of Beijing Normal University Beijing 00875, China September 3, 08 Abstract In this paper, we discuss the Poincaré series of KacMoody Lie algebras, especially for indefinite type. Firstly, we compute the Poincaré series of certain indefinite KacMoody Lie algebras whose Cartan matrices have the same type of principal submatrices. Secondly, we show that the Poincaré series of KacMoody 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: KacMoody Lie algebra, Poincaré series, Cartan matrix, Flag manifold. Introduction To start with, we briefly review some concepts and results about KacMoody 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 KacMoody 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)
2 Kac and Peterson[3][4][5] further constructed the KacMoody 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 KacMoody Lie algebra g(a), there is the Cartan decomposition g(a) = h g α, where h is the Cartan subalgebra and is the root system. Let b = h g α be α α + the Borel subalgebra, then b corresponds to a Borel subgroup B(A) in the KacMoody 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 indvariety. The flag manifold F(A) admits a CWdecomposition 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 KacMoody 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 KacMoody 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 KacMoody 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 submatrix 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, KacMoody 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 semidefinite and has rank n. (3) g(a) is of indefinite type otherwise.
3 Let Ã be the Extended Cartan matrix of the Cartan matrix A of finite type, then every nontwisted affine KacMoody 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 KacMoody 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 KacMoody 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 KacMoody Lie algebras through Equation (.3) and (.4) by iterations. This reduces the computation of Poincaré series of KacMoody 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 KacMoody 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 KacMoody Lie algebras can be used to compute the Poincaré series of the generalized flag manifolds of KacMoody 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 KacMoody 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 (a ij,a ji ) (0,0) (, ) (, ) ( 3, ) ( 4, ) 3
4 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 submatrices having the same type, and P denotes the Poincaré series of the order principal submatrix, 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
5 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 submatrices 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
6 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 and B = 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 and B = 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,
7 Besides the above, there is another interesting property. It s shown in Gungormez and Karadayi[4] that for Poincaré series of hyperbolic KacMoody 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 KacMoody algebras. Theorem 3. For any KacMoody 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 submatrices 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 submatrix. This proves the theorem. This shows that the Poincaré series of a KacMoody 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 submatrix 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 KacMoody 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 For A we see that all its finite type principal submatrices 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
8 We see that all its finite principal submatrices 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 submatrices 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 submatrix. 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 : TheLeraySerrespectralsequenceoffibrationF(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
9 5 Application to graph theory The Poincaré series of KacMoody 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 KacMoody 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 KacMoody groups. For example i is determined by the number of loops in Γ, see [5]. For more connection between 9
10 the homotopy indices and the rational homotopy groups of KacMoody 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 KacMoody 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 KacMoody 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 A = and B = with Coxeter graphs as follows Coxeter graph of B Coxeter graph of A 0
11 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 KacMoody 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: (ChapavalovLeitesStekolshchik) The Poincaré series of an infinite dimensional KacMoody 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 KacMoody 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.
12 . 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 KacMoody 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) 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 quasiinfinite chain. The set of all the chains(infinite chains and quasiinfinite 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
13 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 quasiinfinite 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 quasiinfinite 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 quasiinfinite chains S {i}, i 3 and 3
14 length quasiinfinite 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 and B = 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 [3] Kac, Victor; Peterson, Dale, Regular functions on certain infinitedimensional groups. Arithmetic and geometry, Vol. II, 466, Progr. Math., 36, Birkh?user Boston, Boston, MA, 983. [4] Kac, Victor; Peterson, Dale, Defining relations of certain infinitedimensional groups. The mathematical heritage of lie Cartan (Lyon, 984). Astrisque 985, Numro Hors Srie, [5] Kac, Victor G, Constructing groups associated to infinitedimensional Lie algebras. Infinitedimensional groups with applications (Berkeley, Calif., 984), 676, Math. Sci. Res. Inst. Publ., 4, Springer, New York, 985. [6] Kumar, Shrawan, KacMoody 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), [8] R. Bott, H. Samelson, The cohomology ring of G/T. Proc. Nat. Acad. Sci. U. S. A. 4 (955),
15 [9] R. Bott, An Application of the Morse Theory to the topology of Liegroups, Bull. Soc. Math. France 84, 956, 58 [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: v [5] Zhao Xuan, Jin Chunhua, Zhang jimin, Poincaré series and rational cohomology rings of KacMoody 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)