arxiv: v1 [math.rt] 2 Oct 2012

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "arxiv: v1 [math.rt] 2 Oct 2012"

Transcription

1 On the Poincaré series of Kac-Moody Lie algebras arxiv:0.0648v [math.rt] Oct 0 Chunhua Jin, Academy of Mathematics and Systems Science, Chinese Academy of Sciences Beijing 0090, China Xu-an Zhao, 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)

2 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.

3 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 (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 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

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 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

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 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 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

8 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

9 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

10 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 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 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.

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 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) 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

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 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

14 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 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 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, [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), [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 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: v [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)

ON POINCARE POLYNOMIALS OF HYPERBOLIC LIE ALGEBRAS

ON POINCARE POLYNOMIALS OF HYPERBOLIC LIE ALGEBRAS ON POINCARE POLYNOMIALS OF HYPERBOLIC LIE ALGEBRAS Meltem Gungormez Dept. Physics, Fac. Science, Istanbul Tech. Univ. 34469, Maslak, Istanbul, Turkey e-mail: gungorm@itu.edu.tr arxiv:0706.2563v2 [math-ph]

More information

NOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS

NOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS NOTES ON POINCARÉ SERIES OF FINITE AND AFFINE COXETER GROUPS VICTOR REINER Abstract. There are two famous formulae relating the Poincaré series of a finite/affine Weyl group to the degrees of fundamental

More information

Littlewood Richardson coefficients for reflection groups

Littlewood Richardson coefficients for reflection groups Littlewood Richardson coefficients for reflection groups Arkady Berenstein and Edward Richmond* University of British Columbia Joint Mathematical Meetings Boston January 7, 2012 Arkady Berenstein and Edward

More information

COMBINATORIAL CURVE NEIGHBORHOODS FOR THE AFFINE FLAG MANIFOLD OF TYPE A 1 1

COMBINATORIAL CURVE NEIGHBORHOODS FOR THE AFFINE FLAG MANIFOLD OF TYPE A 1 1 COMBINATORIAL CURVE NEIGHBORHOODS FOR THE AFFINE FLAG MANIFOLD OF TYPE A 1 1 LEONARDO C. MIHALCEA AND TREVOR NORTON Abstract. Let X be the affine flag manifold of Lie type A 1 1. Its moment graph encodes

More information

(Kac Moody) Chevalley groups and Lie algebras with built in structure constants Lecture 1. Lisa Carbone Rutgers University

(Kac Moody) Chevalley groups and Lie algebras with built in structure constants Lecture 1. Lisa Carbone Rutgers University (Kac Moody) Chevalley groups and Lie algebras with built in structure constants Lecture 1 Lisa Carbone Rutgers University Slides will be posted at: http://sites.math.rutgers.edu/ carbonel/ Video will be

More information

Another proof of the global F -regularity of Schubert varieties

Another proof of the global F -regularity of Schubert varieties Another proof of the global F -regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, Raben-Pedersen and Thomsen proved that Schubert varieties are globally F -regular. We give

More information

PATTERN AVOIDANCE AND RATIONAL SMOOTHNESS OF SCHUBERT VARIETIES SARA C. BILLEY

PATTERN AVOIDANCE AND RATIONAL SMOOTHNESS OF SCHUBERT VARIETIES SARA C. BILLEY PATTERN AVOIDANCE AND RATIONAL SMOOTHNESS OF SCHUBERT VARIETIES SARA C. BILLEY Let w be an element of the Weyl group S n, and let X w be the Schubert variety associated to w in the ag manifold SL n (C

More information

Bruhat order, rationally smooth Schubert varieties, and hyperplane arrangements

Bruhat order, rationally smooth Schubert varieties, and hyperplane arrangements FPSAC 2010, San Francisco, USA DMTCS proc. AN, 2010, 833 840 Bruhat order, rationally smooth Schubert varieties, and hyperplane arrangements Suho Oh 1 and Hwanchul Yoo Department of Mathematics, Massachusetts

More information

e j = Ad(f i ) 1 2a ij/a ii

e j = Ad(f i ) 1 2a ij/a ii A characterization of generalized Kac-Moody algebras. J. Algebra 174, 1073-1079 (1995). Richard E. Borcherds, D.P.M.M.S., 16 Mill Lane, Cambridge CB2 1SB, England. Generalized Kac-Moody algebras can be

More information

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive

More information

A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds

A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds arxiv:math/0312251v1 [math.dg] 12 Dec 2003 A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds Haibao Duan Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, dhb@math.ac.cn

More information

MAT 5330 Algebraic Geometry: Quiver Varieties

MAT 5330 Algebraic Geometry: Quiver Varieties MAT 5330 Algebraic Geometry: Quiver Varieties Joel Lemay 1 Abstract Lie algebras have become of central importance in modern mathematics and some of the most important types of Lie algebras are Kac-Moody

More information

Background on Chevalley Groups Constructed from a Root System

Background on Chevalley Groups Constructed from a Root System Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described

More information

QUANTUM SCHUBERT POLYNOMIALS FOR THE G 2 FLAG MANIFOLD

QUANTUM SCHUBERT POLYNOMIALS FOR THE G 2 FLAG MANIFOLD QUANTUM SCHUBERT POLYNOMIALS FOR THE G 2 FLAG MANIFOLD RACHEL ELLIOTT, MARK E. LEWERS, AND LEONARDO C. MIHALCEA Abstract. We study some combinatorial objects related to the flag manifold X of Lie type

More information

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,

More information

arxiv: v1 [math.rt] 15 Oct 2008

arxiv: v1 [math.rt] 15 Oct 2008 CLASSIFICATION OF FINITE-GROWTH GENERAL KAC-MOODY SUPERALGEBRAS arxiv:0810.2637v1 [math.rt] 15 Oct 2008 CRYSTAL HOYT AND VERA SERGANOVA Abstract. A contragredient Lie superalgebra is a superalgebra defined

More information

arxiv: v1 [math.rt] 1 Dec 2010

arxiv: v1 [math.rt] 1 Dec 2010 Articl Journal of Nonlinear Mathematical Physics, Vol. 17, No. Supp 01 (2010) 163 167 c Sofiane Bouarroudj, Pavel Grozman, Dimitry Leites arxiv:1012.0176v1 [math.rt] 1 Dec 2010 DEFINING RELATIONS OF ALMOST

More information

Research Statement. Edward Richmond. October 13, 2012

Research Statement. Edward Richmond. October 13, 2012 Research Statement Edward Richmond October 13, 2012 Introduction My mathematical interests include algebraic combinatorics, algebraic geometry and Lie theory. In particular, I study Schubert calculus,

More information

Kac-Moody Algebras. Ana Ros Camacho June 28, 2010

Kac-Moody Algebras. Ana Ros Camacho June 28, 2010 Kac-Moody Algebras Ana Ros Camacho June 28, 2010 Abstract Talk for the seminar on Cohomology of Lie algebras, under the supervision of J-Prof. Christoph Wockel Contents 1 Motivation 1 2 Prerequisites 1

More information

(Equivariant) Chern-Schwartz-MacPherson classes

(Equivariant) Chern-Schwartz-MacPherson classes (Equivariant) Chern-Schwartz-MacPherson classes Leonardo Mihalcea (joint with P. Aluffi) November 14, 2015 Leonardo Mihalcea (joint with P. Aluffi) () CSM classes November 14, 2015 1 / 16 Let X be a compact

More information

Algebraic Varieties. Chapter Algebraic Varieties

Algebraic Varieties. Chapter Algebraic Varieties Chapter 12 Algebraic Varieties 12.1 Algebraic Varieties Let K be a field, n 1 a natural number, and let f 1,..., f m K[X 1,..., X n ] be polynomials with coefficients in K. Then V = {(a 1,..., a n ) :

More information

THE p-smooth LOCUS OF SCHUBERT VARIETIES. Let k be a ring and X be an n-dimensional variety over C equipped with the classical topology.

THE p-smooth LOCUS OF SCHUBERT VARIETIES. Let k be a ring and X be an n-dimensional variety over C equipped with the classical topology. THE p-smooth LOCUS OF SCHUBERT VARIETIES GEORDIE WILLIAMSON ABSTRACT. These are notes from talks given at Jussieu (seminaire Chevalley), Newcastle and Aberdeen (ARTIN meeting). They are intended as a gentle

More information

Math 249B. Tits systems

Math 249B. Tits systems Math 249B. Tits systems 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ + Φ, and let B be the unique Borel k-subgroup

More information

A note on rational homotopy of biquotients

A note on rational homotopy of biquotients A note on rational homotopy of biquotients Vitali Kapovitch Abstract We construct a natural pure Sullivan model of an arbitrary biquotient which generalizes the Cartan model of a homogeneous space. We

More information

Computers work exceptionally on Lie groups

Computers work exceptionally on Lie groups Computers work exceptionally on Lie groups Shizuo Kaji Fukuoka University First Global COE seminar on Mathematical Research Using Computers at Kyoto University Oct. 24, 2008 S.Kaji (Fukuoka U.) Computers

More information

A Study on Kac-Moody Superalgebras

A Study on Kac-Moody Superalgebras ICGTMP, 2012 Chern Institute of Mathematics, Tianjin, China Aug 2o-26, 2012 The importance of being Lie Discrete groups describe discrete symmetries. Continues symmetries are described by so called Lie

More information

THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES

THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES Horiguchi, T. Osaka J. Math. 52 (2015), 1051 1062 THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES TATSUYA HORIGUCHI (Received January 6, 2014, revised July 14, 2014) Abstract The main

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local

More information

arxiv:math/ v2 [math.at] 10 Mar 2007

arxiv:math/ v2 [math.at] 10 Mar 2007 arxiv:math/070113v [math.at] 10 Mar 007 THE INTEGRAL HOMOLOGY OF THE BASED LOOP SPACE ON A FLAG MANIFOLD JELENA GRBIĆ AND SVJETLANA TERZIĆ Abstract. The homology of a special family of homogeneous spaces,

More information

Lecture on Equivariant Cohomology

Lecture on Equivariant Cohomology Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove

More information

arxiv: v1 [math.rt] 11 Sep 2009

arxiv: v1 [math.rt] 11 Sep 2009 FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of

More information

Equivariant K -theory and hook formula for skew shape on d-complete set

Equivariant K -theory and hook formula for skew shape on d-complete set Equivariant K -theory and hook formula for skew shape on d-complete set Hiroshi Naruse Graduate School of Education University of Yamanashi Algebraic and Enumerative Combinatorics in Okayama 2018/02/20

More information

LECTURE 11: SOERGEL BIMODULES

LECTURE 11: SOERGEL BIMODULES LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing

More information

Characters of the Negative Level Highest-Weight Modules for Affine Lie Algebras

Characters of the Negative Level Highest-Weight Modules for Affine Lie Algebras IMRN International Mathematics Research Notices 1994, No. 3 Characters of the Negative Level Highest-Weight Modules for Affine Lie Algebras Masaki Kashiwara and Toshiyuki Tanisaki 0 Introduction Our main

More information

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that

More information

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract Permutation groups Whatever you have to do with a structure-endowed entity Σ try to determine its group of automorphisms... You can expect to gain a deep insight into the constitution of Σ in this way.

More information

THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I

THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I J Korean Math Soc 46 (009), No, pp 95 311 THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I Sung Sik Woo Abstract The purpose of this paper is to identify the group of units of finite local rings of the

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

An improved tableau criterion for Bruhat order

An improved tableau criterion for Bruhat order An improved tableau criterion for Bruhat order Anders Björner and Francesco Brenti Matematiska Institutionen Kungl. Tekniska Högskolan S-100 44 Stockholm, Sweden bjorner@math.kth.se Dipartimento di Matematica

More information

REPRESENTATION THEORY OF S n

REPRESENTATION THEORY OF S n REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November

More information

On the Splitting of MO(2) over the Steenrod Algebra. Maurice Shih

On the Splitting of MO(2) over the Steenrod Algebra. Maurice Shih On the Splitting of MO(2) over the Steenrod Algebra Maurice Shih under the direction of John Ullman Massachusetts Institute of Technology Research Science Institute On the Splitting of MO(2) over the Steenrod

More information

THE CREMONA GROUP: LECTURE 1

THE CREMONA GROUP: LECTURE 1 THE CREMONA GROUP: LECTURE 1 Birational maps of P n. A birational map from P n to P n is specified by an (n + 1)-tuple (f 0,..., f n ) of homogeneous polynomials of the same degree, which can be assumed

More information

Reachability relations and the structure of transitive digraphs

Reachability relations and the structure of transitive digraphs Reachability relations and the structure of transitive digraphs Norbert Seifter Montanuniversität Leoben, Leoben, Austria seifter@unileoben.ac.at Vladimir I. Trofimov Russian Academy of Sciences, Ekaterinburg,

More information

A method for construction of Lie group invariants

A method for construction of Lie group invariants arxiv:1206.4395v1 [math.rt] 20 Jun 2012 A method for construction of Lie group invariants Yu. Palii Laboratory of Information Technologies, Joint Institute for Nuclear Research, Dubna, Russia and Institute

More information

Chow rings of Complex Algebraic Groups

Chow rings of Complex Algebraic Groups Chow rings of Complex Algebraic Groups Shizuo Kaji joint with Masaki Nakagawa Workshop on Schubert calculus 2008 at Kansai Seminar House Mar. 20, 2008 Outline Introduction Our problem (algebraic geometory)

More information

Logarithmic functional and reciprocity laws

Logarithmic functional and reciprocity laws Contemporary Mathematics Volume 00, 1997 Logarithmic functional and reciprocity laws Askold Khovanskii Abstract. In this paper, we give a short survey of results related to the reciprocity laws over the

More information

Generic section of a hyperplane arrangement and twisted Hurewicz maps

Generic section of a hyperplane arrangement and twisted Hurewicz maps arxiv:math/0605643v2 [math.gt] 26 Oct 2007 Generic section of a hyperplane arrangement and twisted Hurewicz maps Masahiko Yoshinaga Department of Mathematice, Graduate School of Science, Kobe University,

More information

Centralizers of Coxeter Elements and Inner Automorphisms of Right-Angled Coxeter Groups

Centralizers of Coxeter Elements and Inner Automorphisms of Right-Angled Coxeter Groups International Journal of Algebra, Vol. 3, 2009, no. 10, 465-473 Centralizers of Coxeter Elements and Inner Automorphisms of Right-Angled Coxeter Groups Anton Kaul Mathematics Department, California Polytecnic

More information

EKT of Some Wonderful Compactifications

EKT of Some Wonderful Compactifications EKT of Some Wonderful Compactifications and recent results on Complete Quadrics. (Based on joint works with Soumya Banerjee and Michael Joyce) Mahir Bilen Can April 16, 2016 Mahir Bilen Can EKT of Some

More information

Intermediate semigroups are groups

Intermediate semigroups are groups Semigroup Forum Version of September 12, 2017 Springer-Verlag New York Inc. Intermediate semigroups are groups Alexandre A. Panin arxiv:math/9903088v3 [math.gr] 4 Dec 1999 Communicated by Mohan Putcha

More information

Characteristic classes in the Chow ring

Characteristic classes in the Chow ring arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic

More information

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2 MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS SYSTEMS OF EQUATIONS AND MATRICES Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

More information

Reachability relations and the structure of transitive digraphs

Reachability relations and the structure of transitive digraphs Reachability relations and the structure of transitive digraphs Norbert Seifter Montanuniversität Leoben, Leoben, Austria Vladimir I. Trofimov Russian Academy of Sciences, Ekaterinburg, Russia November

More information

Arithmetic Funtions Over Rings with Zero Divisors

Arithmetic Funtions Over Rings with Zero Divisors BULLETIN of the Bull Malaysian Math Sc Soc (Second Series) 24 (200 81-91 MALAYSIAN MATHEMATICAL SCIENCES SOCIETY Arithmetic Funtions Over Rings with Zero Divisors 1 PATTIRA RUANGSINSAP, 1 VICHIAN LAOHAKOSOL

More information

4. Noether normalisation

4. Noether normalisation 4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,

More information

New Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2-groups and 3-groups

New Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2-groups and 3-groups New Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2-groups and 3-groups John Polhill Department of Mathematics, Computer Science, and Statistics Bloomsburg University Bloomsburg,

More information

Reducibility of generic unipotent standard modules

Reducibility of generic unipotent standard modules Journal of Lie Theory Volume?? (??)???? c?? Heldermann Verlag 1 Version of March 10, 011 Reducibility of generic unipotent standard modules Dan Barbasch and Dan Ciubotaru Abstract. Using Lusztig s geometric

More information

The Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria

The Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Common Homoclinic Points of Commuting Toral Automorphisms Anthony Manning Klaus Schmidt

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

arxiv: v4 [math.rt] 9 Jun 2017

arxiv: v4 [math.rt] 9 Jun 2017 ON TANGENT CONES OF SCHUBERT VARIETIES D FUCHS, A KIRILLOV, S MORIER-GENOUD, V OVSIENKO arxiv:1667846v4 [mathrt] 9 Jun 217 Abstract We consider tangent cones of Schubert varieties in the complete flag

More information

An introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109

An introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups

More information

Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups

Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Shrawan Kumar Talk given at AMS Sectional meeting held at Davidson College, March 2007 1 Hermitian eigenvalue

More information

COHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II

COHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II COHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II LECTURES BY JOACHIM SCHWERMER, NOTES BY TONY FENG Contents 1. Review 1 2. Lifting differential forms from the boundary 2 3. Eisenstein

More information

Exploring the Exotic Setting for Algebraic Geometry

Exploring the Exotic Setting for Algebraic Geometry Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology

More information

Notes on D 4 May 7, 2009

Notes on D 4 May 7, 2009 Notes on D 4 May 7, 2009 Consider the simple Lie algebra g of type D 4 over an algebraically closed field K of characteristic p > h = 6 (the Coxeter number). In particular, p is a good prime. We have dim

More information

ON THE CHIEF FACTORS OF PARABOLIC MAXIMAL SUBGROUPS IN FINITE SIMPLE GROUPS OF NORMAL LIE TYPE

ON THE CHIEF FACTORS OF PARABOLIC MAXIMAL SUBGROUPS IN FINITE SIMPLE GROUPS OF NORMAL LIE TYPE Siberian Mathematical Journal, Vol. 55, No. 4, pp. 622 638, 2014 Original Russian Text Copyright c 2014 Korableva V.V. ON THE CHIEF FACTORS OF PARABOLIC MAXIMAL SUBGROUPS IN FINITE SIMPLE GROUPS OF NORMAL

More information

On some properties of elementary derivations in dimension six

On some properties of elementary derivations in dimension six Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,

More information

A note on Samelson products in the exceptional Lie groups

A note on Samelson products in the exceptional Lie groups A note on Samelson products in the exceptional Lie groups Hiroaki Hamanaka and Akira Kono October 23, 2008 1 Introduction Samelson products have been studied extensively for the classical groups ([5],

More information

A SURVEY OF CLUSTER ALGEBRAS

A SURVEY OF CLUSTER ALGEBRAS A SURVEY OF CLUSTER ALGEBRAS MELODY CHAN Abstract. This is a concise expository survey of cluster algebras, introduced by S. Fomin and A. Zelevinsky in their four-part series of foundational papers [1],

More information

Coloured Kac-Moody algebras, Part I

Coloured Kac-Moody algebras, Part I Coloured Kac-Moody algebras, Part I Alexandre Bouayad Abstract We introduce a parametrization of formal deformations of Verma modules of sl 2. A point in the moduli space is called a colouring. We prove

More information

Res + X F F + is defined below in (1.3). According to [Je-Ki2, Definition 3.3 and Proposition 3.4], the value of Res + X

Res + X F F + is defined below in (1.3). According to [Je-Ki2, Definition 3.3 and Proposition 3.4], the value of Res + X Theorem 1.2. For any η HH (N) we have1 (1.1) κ S (η)[n red ] = c η F. Here HH (F) denotes the H-equivariant Euler class of the normal bundle ν(f), c is a non-zero constant 2, and is defined below in (1.3).

More information

A NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9

A NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9 A NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9 ERIC C. ROWELL Abstract. We consider the problem of decomposing tensor powers of the fundamental level 1 highest weight representation V of the affine Kac-Moody

More information

IDEAL CLASSES AND RELATIVE INTEGERS

IDEAL CLASSES AND RELATIVE INTEGERS IDEAL CLASSES AND RELATIVE INTEGERS KEITH CONRAD The ring of integers of a number field is free as a Z-module. It is a module not just over Z, but also over any intermediate ring of integers. That is,

More information

THE STRONG TOPOLOGICAL MONODROMY CONJECTURE FOR COXETER HYPERPLANE ARRANGEMENTS

THE STRONG TOPOLOGICAL MONODROMY CONJECTURE FOR COXETER HYPERPLANE ARRANGEMENTS THE STRONG TOPOLOGICAL MONODROMY CONJECTURE FOR COXETER HYPERPLANE ARRANGEMENTS ASILATA BAPAT AND ROBIN WALTERS ABSTRACT. The Bernstein Sato polynomial, or the b-function, is an important invariant of

More information

Zero cycles on twisted Cayley plane

Zero cycles on twisted Cayley plane Zero cycles on twisted Cayley plane V. Petrov, N. Semenov, K. Zainoulline August 8, 2005 Abstract In the present paper we compute the group of zero-cycles modulo rational equivalence of a twisted form

More information

5 Quiver Representations

5 Quiver Representations 5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )

More information

The Spinor Representation

The Spinor Representation The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)

More information

Lecture Notes Introduction to Cluster Algebra

Lecture Notes Introduction to Cluster Algebra Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Update: May 16, 2017 5 Review of Root Systems In this section, let us have a brief introduction to root system and finite Lie type classification

More information

Power structure over the Grothendieck ring of varieties and generating series of Hilbert schemes of points

Power structure over the Grothendieck ring of varieties and generating series of Hilbert schemes of points arxiv:math/0407204v1 [math.ag] 12 Jul 2004 Power structure over the Grothendieck ring of varieties and generating series of Hilbert schemes of points S.M. Gusein-Zade I. Luengo A. Melle Hernández Abstract

More information

arxiv: v1 [math.co] 17 Jan 2019

arxiv: v1 [math.co] 17 Jan 2019 A NOTE ON NON-REDUCED REFLECTION FACTORIZATIONS OF COXETER ELEMENTS arxiv:1901.05781v1 [math.co] 17 Jan 2019 PATRICK WEGENER AND SOPHIANE YAHIATENE Abstract. We extend a result of Lewis and Reiner from

More information

Weyl group representations on zero weight spaces

Weyl group representations on zero weight spaces Weyl group representations on zero weight spaces November 30, 2014 Here we survey briefly (trying to provide reasonably complete references) the scattered work over four decades most relevant to the indicated

More information

Spherical varieties and arc spaces

Spherical varieties and arc spaces Spherical varieties and arc spaces Victor Batyrev, ESI, Vienna 19, 20 January 2017 1 Lecture 1 This is a joint work with Anne Moreau. Let us begin with a few notations. We consider G a reductive connected

More information

First we introduce the sets that are going to serve as the generalizations of the scalars.

First we introduce the sets that are going to serve as the generalizations of the scalars. Contents 1 Fields...................................... 2 2 Vector spaces.................................. 4 3 Matrices..................................... 7 4 Linear systems and matrices..........................

More information

GALOIS GROUPS AS PERMUTATION GROUPS

GALOIS GROUPS AS PERMUTATION GROUPS GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can

More information

Staircase diagrams and the enumeration of smooth Schubert varieties

Staircase diagrams and the enumeration of smooth Schubert varieties FPSAC 06 Vancouver, Canada DMTCS proc. BC, 06, 07 08 Staircase diagrams and the enumeration of smooth Schubert varieties Edward Richmond and William Slofstra Department of Mathematics, Oklahoma State University,

More information

The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras

The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras Klaus Pommerening July 1979 english version April 2012 The Morozov-Jacobson theorem says that every nilpotent element of a semisimple

More information

VARGA S THEOREM IN NUMBER FIELDS

VARGA S THEOREM IN NUMBER FIELDS VARGA S THEOREM IN NUMBER FIELDS PETE L. CLARK AND LORI D. WATSON Abstract. We give a number field version of a recent result of Varga on solutions of polynomial equations with binary input variables and

More information

Chern Classes and the Chern Character

Chern Classes and the Chern Character Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the

More information

We simply compute: for v = x i e i, bilinearity of B implies that Q B (v) = B(v, v) is given by xi x j B(e i, e j ) =

We simply compute: for v = x i e i, bilinearity of B implies that Q B (v) = B(v, v) is given by xi x j B(e i, e j ) = Math 395. Quadratic spaces over R 1. Algebraic preliminaries Let V be a vector space over a field F. Recall that a quadratic form on V is a map Q : V F such that Q(cv) = c 2 Q(v) for all v V and c F, and

More information

Intersection of stable and unstable manifolds for invariant Morse functions

Intersection of stable and unstable manifolds for invariant Morse functions Intersection of stable and unstable manifolds for invariant Morse functions Hitoshi Yamanaka (Osaka City University) March 14, 2011 Hitoshi Yamanaka (Osaka City University) ()Intersection of stable and

More information

NONNEGATIVE CURVATURE AND COBORDISM TYPE. 1. Introduction

NONNEGATIVE CURVATURE AND COBORDISM TYPE. 1. Introduction NONNEGATIVE CURVATURE AND COBORDISM TYPE ANAND DESSAI AND WILDERICH TUSCHMANN Abstract. We show that in each dimension n = 4k, k 2, there exist infinite sequences of closed simply connected Riemannian

More information

Free Loop Cohomology of Complete Flag Manifolds

Free Loop Cohomology of Complete Flag Manifolds June 12, 2015 Lie Groups Recall that a Lie group is a space with a group structure where inversion and group multiplication are smooth. Lie Groups Recall that a Lie group is a space with a group structure

More information

12. Hilbert Polynomials and Bézout s Theorem

12. Hilbert Polynomials and Bézout s Theorem 12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

Canonical systems of basic invariants for unitary reflection groups

Canonical systems of basic invariants for unitary reflection groups Canonical systems of basic invariants for unitary reflection groups Norihiro Nakashima, Hiroaki Terao and Shuhei Tsujie Abstract It has been known that there exists a canonical system for every finite

More information

(for. We say, if, is surjective, that E has sufficiently many sections. In this case we have an exact sequence as U-modules:

(for. We say, if, is surjective, that E has sufficiently many sections. In this case we have an exact sequence as U-modules: 247 62. Some Properties of Complex Analytic Vector Bundles over Compact Complex Homogeneous Spaces By Mikio ISE Osaka University (Comm. by K. KUNUGI, M.J.A., May 19, 1960) 1. This note is a summary of

More information

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,

More information

Definition 2.3. We define addition and multiplication of matrices as follows.

Definition 2.3. We define addition and multiplication of matrices as follows. 14 Chapter 2 Matrices In this chapter, we review matrix algebra from Linear Algebra I, consider row and column operations on matrices, and define the rank of a matrix. Along the way prove that the row

More information

On the geometric Langlands duality

On the geometric Langlands duality On the geometric Langlands duality Peter Fiebig Emmy Noether Zentrum Universität Erlangen Nürnberg Schwerpunkttagung Bad Honnef April 2010 Outline This lecture will give an overview on the following topics:

More information