arxiv: v1 [math.rt] 2 Oct 2012


 Antony Boyd
 10 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)
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 email: gungorm@itu.edu.tr arxiv:0706.2563v2 [mathph]
More informationNOTES 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 informationLittlewood 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 informationCOMBINATORIAL 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 Slides will be posted at: http://sites.math.rutgers.edu/ carbonel/ Video will be
More informationAnother proof of the global F regularity of Schubert varieties
Another proof of the global F regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, RabenPedersen and Thomsen proved that Schubert varieties are globally F regular. We give
More informationPATTERN 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 informationBruhat 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 informatione j = Ad(f i ) 1 2a ij/a ii
A characterization of generalized KacMoody algebras. J. Algebra 174, 10731079 (1995). Richard E. Borcherds, D.P.M.M.S., 16 Mill Lane, Cambridge CB2 1SB, England. Generalized KacMoody algebras can be
More informationL(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 informationA Problem of HsiangPalaisTerng on Isoparametric Submanifolds
arxiv:math/0312251v1 [math.dg] 12 Dec 2003 A Problem of HsiangPalaisTerng on Isoparametric Submanifolds Haibao Duan Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, dhb@math.ac.cn
More informationMAT 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 KacMoody
More informationBackground 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 informationQUANTUM 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 informationON 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 informationarxiv: v1 [math.rt] 15 Oct 2008
CLASSIFICATION OF FINITEGROWTH GENERAL KACMOODY SUPERALGEBRAS arxiv:0810.2637v1 [math.rt] 15 Oct 2008 CRYSTAL HOYT AND VERA SERGANOVA Abstract. A contragredient Lie superalgebra is a superalgebra defined
More informationarxiv: 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 informationResearch 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 informationKacMoody Algebras. Ana Ros Camacho June 28, 2010
KacMoody Algebras Ana Ros Camacho June 28, 2010 Abstract Talk for the seminar on Cohomology of Lie algebras, under the supervision of JProf. Christoph Wockel Contents 1 Motivation 1 2 Prerequisites 1
More information(Equivariant) ChernSchwartzMacPherson classes
(Equivariant) ChernSchwartzMacPherson 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 informationAlgebraic 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 informationTHE psmooth LOCUS OF SCHUBERT VARIETIES. Let k be a ring and X be an ndimensional variety over C equipped with the classical topology.
THE psmooth 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 informationMath 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 ksubgroup
More informationA 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 informationComputers 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 informationA Study on KacMoody Superalgebras
ICGTMP, 2012 Chern Institute of Mathematics, Tianjin, China Aug 2o26, 2012 The importance of being Lie Discrete groups describe discrete symmetries. Continues symmetries are described by so called Lie
More informationTHE 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 informationIntroduction 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 informationarxiv: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 informationLecture 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 informationarxiv: 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, simplyconnected algebraic group over an algebraically closed field of
More informationEquivariant K theory and hook formula for skew shape on dcomplete set
Equivariant K theory and hook formula for skew shape on dcomplete set Hiroshi Naruse Graduate School of Education University of Yamanashi Algebraic and Enumerative Combinatorics in Okayama 2018/02/20
More informationLECTURE 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 KazhdanLusztig conjecture. We start by introducing
More informationCharacters of the Negative Level HighestWeight Modules for Affine Lie Algebras
IMRN International Mathematics Research Notices 1994, No. 3 Characters of the Negative Level HighestWeight Modules for Affine Lie Algebras Masaki Kashiwara and Toshiyuki Tanisaki 0 Introduction Our main
More informationBLOCKS IN THE CATEGORY OF FINITEDIMENSIONAL REPRESENTATIONS OF gl(m n)
BLOCKS IN THE CATEGORY OF FINITEDIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finitedimensional gl (m n) modules into the direct sum of blocks, show that
More informationTHE 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 informationMATH 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 informationAn 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 S100 44 Stockholm, Sweden bjorner@math.kth.se Dipartimento di Matematica
More informationREPRESENTATION 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 informationPermutation groups/1. 1 Automorphism groups, permutation groups, abstract
Permutation groups Whatever you have to do with a structureendowed entity Σ try to determine its group of automorphisms... You can expect to gain a deep insight into the constitution of Σ in this way.
More informationOn 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 informationTHE 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 informationReachability 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 informationA 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 informationChow 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 informationLogarithmic 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 informationGeneric 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 informationCentralizers of Coxeter Elements and Inner Automorphisms of RightAngled Coxeter Groups
International Journal of Algebra, Vol. 3, 2009, no. 10, 465473 Centralizers of Coxeter Elements and Inner Automorphisms of RightAngled Coxeter Groups Anton Kaul Mathematics Department, California Polytecnic
More informationEKT 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 informationIntermediate semigroups are groups
Semigroup Forum Version of September 12, 2017 SpringerVerlag New York Inc. Intermediate semigroups are groups Alexandre A. Panin arxiv:math/9903088v3 [math.gr] 4 Dec 1999 Communicated by Mohan Putcha
More informationCharacteristic classes in the Chow ring
arxiv:alggeom/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 informationMATRIX 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 informationReachability 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 informationArithmetic Funtions Over Rings with Zero Divisors
BULLETIN of the Bull Malaysian Math Sc Soc (Second Series) 24 (200 8191 MALAYSIAN MATHEMATICAL SCIENCES SOCIETY Arithmetic Funtions Over Rings with Zero Divisors 1 PATTIRA RUANGSINSAP, 1 VICHIAN LAOHAKOSOL
More information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine kalgebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More informationNew Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2groups and 3groups
New Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2groups and 3groups John Polhill Department of Mathematics, Computer Science, and Statistics Bloomsburg University Bloomsburg,
More informationReducibility 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 informationFILTERED 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 informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A1090 Wien, Austria Common Homoclinic Points of Commuting Toral Automorphisms Anthony Manning Klaus Schmidt
More informationCourse 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 informationarxiv: v4 [math.rt] 9 Jun 2017
ON TANGENT CONES OF SCHUBERT VARIETIES D FUCHS, A KIRILLOV, S MORIERGENOUD, V OVSIENKO arxiv:1667846v4 [mathrt] 9 Jun 217 Abstract We consider tangent cones of Schubert varieties in the complete flag
More informationCOHOMOLOGY 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 informationExploring the Exotic Setting for Algebraic Geometry
Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 610, 2010 1 Introduction In this project, we will describe the basic topology
More informationAn 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 informationNotes 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 informationEigenvalue 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 informationON 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 informationOn 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 informationA 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 informationA 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 fourpart series of foundational papers [1],
More informationRes + X F F + is defined below in (1.3). According to [JeKi2, 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 Hequivariant Euler class of the normal bundle ν(f), c is a nonzero constant 2, and is defined below in (1.3).
More informationA 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 KacMoody
More informationIDEAL CLASSES AND RELATIVE INTEGERS
IDEAL CLASSES AND RELATIVE INTEGERS KEITH CONRAD The ring of integers of a number field is free as a Zmodule. It is a module not just over Z, but also over any intermediate ring of integers. That is,
More informationColoured KacMoody algebras, Part I
Coloured KacMoody 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 informationTHE 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 bfunction, is an important invariant of
More informationZero 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 zerocycles modulo rational equivalence of a twisted form
More information5 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 informationThe 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 informationLecture 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 informationPower 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. GuseinZade I. Luengo A. Melle Hernández Abstract
More informationarxiv: v1 [math.co] 17 Jan 2019
A NOTE ON NONREDUCED 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 informationWeyl 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 informationSpherical 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 informationFirst 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 informationGALOIS 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 informationStaircase 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 informationThe MorozovJacobson Theorem on 3dimensional Simple Lie Subalgebras
The MorozovJacobson Theorem on 3dimensional Simple Lie Subalgebras Klaus Pommerening July 1979 english version April 2012 The MorozovJacobson theorem says that every nilpotent element of a semisimple
More informationVARGA 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 informationChern 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 informationWe 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 informationIntersection 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 informationNONNEGATIVE 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 informationFree 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 information12. 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 informationALGEBRAIC 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 informationCanonical 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 Umodules:
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 informationDefinition 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 informationOn 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 informationALGEBRAIC GEOMETRY I  FINAL PROJECT
ALGEBRAIC GEOMETRY I  FINAL PROJECT ADAM KAYE Abstract This paper begins with a description of the Schubert varieties of a Grassmannian variety Gr(k, n) over C Following the technique of Ryan [3] for
More information