Presenting and Extending Hecke Endomorphism Algebras
|
|
- Hester Francis
- 5 years ago
- Views:
Transcription
1 Presenting and Extending Hecke Endomorphism Algebras Jie Du University of New South Wales Shanghai Conference on Representation Theory 7-11 December / 27
2 The Hecke Endomorphism Algebra The (equal parameter) Hecke algebra H q associated with a Coxeter system (W, S) is presented as the Z[q]-algebra generated by T s, s S, subject to the relations the Hecke relations: (H1) Ts 2 = (q 1)T s + q; (H2) T s T t T s... = T }{{} t T s T t..., where m }{{} s,t is the order of st. m s,t m s,t Replacing q by q cs, the unequal parameter Hecke algebra can be defined similarly. These algebras naturally appear in the theory of finite groups of Lie type. Definition Let Λ = Λ(W, S) = {I S W I is finite} x I = w W I T w, (I Λ). The Z[q]-algebra S q = End Hq ( I Λ x I H q ) is called the Hecke endomorphism algebra associated to the Coxeter group W. 2 / 27
3 Motivation In the categorification of H q by Soergel bimodules, KL generators are used and the category is presented by generators and relations. [Elias Williamson] Q: Presenting S q directly by Hecke type relations. If (W, S) is a Weyl group, then S q has a stratification relative to a quasi-poset structure on Λ. Conjecture: There exists a preorder on the set Ω of left cells in W, strictly compatible with its partition Ω into two-sided cells, and a right H-module X such that the following statements hold: (1) X has an finite filtration with sections of the form S ω, ω Ω. (2) Let T + := ( I Λ x I H q ) X and put { S + q := End Hq (T + ), + (ω) := Hom Hq (S ω, T + ), for any ω Ω. Then, for any commutative, Noetherian Z-algebra R, the set { + (ω) R } ω Ω is a strict stratifying system for S + q,r-mod relative to the quasi-poset (Ω, ). 3 / 27
4 References G. Williamson, Singular Soergel bimodules, IMRN, 2011, J. Du, B. Jensen and X. Su, Presenting Hecke endomorphism algebras by Hasse quivers with relations, arxiv: J. Du, B. Parshall and L. Scott, Stratifying endomorphism algebras associated to Hecke algebras, J. Algebra, 203 (1998), V. Ginzburg, N. Guay, E. Opdam, and R. Rouquier, On the category O for rational Cherednik algebras, Invent. math. 156 (2003), R. Rouquier, q-schur algebras and complex reflection groups, Moscow Math. J. 8 (2008), J. Du, B. Parshall and L. Scott, Extending Hecke endomorphism algebras, Pacific J. Math. (Steinberg memorial issue), to appear (arxiv: ). 4 / 27
5 KL generators For w W, let C + w = y w P y,w T y. Then {C w + } w W is a new basis for H q, x I = C w + I, and { C s + C w + (q + 1)C w +, if sw < w, = C sw + + q y<w,sy<y µ(y, w)q 1 2 (l(w) l(y) 1) C y +, otherwise, where µ(y, w)q 1 2 (l(w) l(y) 1) is the leading term of P y,w. For a reduced expression w = (s 1, s 2..., s l ) for w, let C + w = C + s 1 C + s 2 C + s l. Then there exist a y,w Z[q] such that C + w = C + w + q y<w a y,w C + y, ( relation) where y < w denotes a subsequence of w obtained by removing some terms in the sequence. 5 / 27
6 Relations in KL generators Let x s = C + s = T s + 1. The elements x s, s S generate H q. For {s, t} Λ and m m s,t, let T [m]t = T t T s T }{{} t and T t[m] = T t T s T t. }{{} m m Define x [m]t, x t[m] similarly. Let x (1) (s,t) = x t and x (m) m 1 (s,t) = 1 + (T [i]s + T [i]t ) + T [m]t for m 2. i=1 In terms of KL generators, we have m 1 2 x (m) (s,t) = i=0 ( m i 1 i ) ( q) i x [m 2i]t. The Hecke algebra H q can be presented by x s, s S, and (a) Quasi-idempotent relations: (x s ) 2 = (q + 1)x s and (b) Braid relations: x (ms,t) (s,t) = x (ms,t) (t,s) for all s, t S. 6 / 27
7 Notation For each I Λ and every total ordering on I : I : = I 0 I 1 I 2 I m = I, where I J I J, I = J 1, fix a reduced expression w I = s l s l 1 s 1 such that w Ii = s ji s ji 1 s 1 for all i = 1,..., m. Let w I = (s l, s l 1,, s 1 ) and let x w I = x sl x sl 1 x s1. Then the relation above gives the following. Lemma For any I Λ, any ordering I as above, and any reduced expression w I, there exist a y,w I Z[q] such that x I = x w I + q a y,w I x y. y<w I 7 / 27
8 The Hasse quiver Consider the poset Λ with the inclusion relation which can be describe by its Hasse graph (or diagram). Replacing every edge in the Hasse graph of the poset Λ by a pair of arrows in opposite direction yields a quiver Q, the Hasse quiver of W. Example If W = S 4, then the Hasse quiver Q has the form Q : {1} {1, 2} {2} {1, 3} {3} {2, 3} Here, for I J, K in Λ, down arrows: δ J,I ; up arrows: υ I,J ; length 0 path: e K. {1, 2, 3} 8 / 27
9 Let Q q := Z[q]Q be the path algebra of Q over Z[q]. For each singleton {s} Λ, let χ s = υ,{s} δ {s}, Q q. For each I Λ, a total ordering I on I, and a reduced expression w I, let where χ I = χ w I + q a y,w I χ y and ρ I = χ I π(i ), y<w I χw = χ sl χ sl 1 χ s1 if w = (s j, s l 1,, s 1 ), a y,w I Z[q] are given in the lemma above, and π(i ) is the Poincaré polynomial of WI. 9 / 27
10 Hasse Presentation of RS q Let R = { f 1 + qg } f, g Z[q] = Theorem (DJS := D.-Jensen-Su) { f h }. f, h Z[q], h(0) = 1 Let J be the subset of RQ = RQ q consisting of the following relations (J1) Quasi-idempotent relations: δ J,I υ I,J π(j) π(i ) e J, I J in Λ. (J2) Sandwich relations: υ I,J υ J,K υ I,J υ J,K and δ K,J δ J,I δ K,J δ J,I for all I, J, J, K Λ with I J K and I J K. (J3) Extended braid relations: υ,i1... υ Im 1,I δ I,Im 1... δ I2,I 1 δ I1, χ I for all I Λ and given ordering I. Then RS q = RQ/ J. 10 / 27
11 Idea of the proof If we put δ J,I = π(i ) π(j) δ J,I, then relations (J1) and (J3) give ( J1) and ( J3) below. Hence, J generates in RQ q the ideal J, where J consists of the following relations: ( J1) Idempotent relations: for all I, J Λ with I J; ( J2) Sandwich relations: δ J,I υ I,J = e J υ I,J υ J,K = υ I,J υ J,K and δ K,J δj,i = δ K,J δj,i for all I, J, J, K Λ with I J K and I J K; ( J3) Extended braid relations: υ,i1... υ Im 1,I δ I,Im 1... δ I2,I 1 δ I1, = ρ I for all I Λ and ordering I : = I 0 I 1 I m = I. 11 / 27
12 Torsion relations Over Z[q], we have a surjective algebra homomorphism ψ : Q q / J S q, and ker(ψ) = K/ J consists of R-torsion elements. Proposition Let p = i f ip i be a linear combination of paths from I to J, where each f i Z[q]. If υ,j pδ I, = 0 in Q q / J, then p is R-torsion. Further, the ideal K is generated by all such R-torsion elements (and J ). Example (the dihedral case) Q : υ {1} υ {2} δ {1} δ {2} {1} {2} δ {1,2},{1} δ {1,2},{2} υ {1},{1,2} {1, 2} υ {2},{1,2} 12 / 27
13 Presenting S q (I n ) over Z[q] Theorem (Elias, DJS) The Z[q]-algebra S q (I n ) is isomorphic to the quotient algebra of the path algebra Q q modulo the following relations. (1) Quasi-idempotent relations: for i = 1, 2, (i) δ {i} υ {i} = (1 + q)e {i} ; (ii) δ {1,2},{i} υ {i},{1,2} = (1 + q + + q n 1 )e {1,2}. (2) Sandwich relations: (i) υ {1} υ {1},{1,2} = υ {2} υ {2},{1,2} (ii) δ {1,2},{1} δ {1} = δ {1,2},{2} δ {2} ; (3) Refined braid relations: for (s, t) = (1, 2) or (2, 1). ( n (i) υ {t},{1,2} δ {1,2},{s} = δ {t} j=2 bn j χ [j 2]t) υ{s}, where χ [0]t = e, if n is even; ( n (ii) υ {s},{1,2} δ {1,2},{s} = δ {s} j=3 bn j χ ) [j 2]t υ{s} + ( q) n 1 2 e {s}, if n is odd. ( ) j + s 1 Here bj m is equal to ( q) j 1 s if s = m j 2 is an integer, and 0 otherwise, given by x (m) (s,t) = m j=1 bm j x [j]t. 13 / 27
14 Presenting S q (S 4 ) over Z[q] Theorem (DJS) The Z[q]-algebra S q (S 4 ) is isomorphic to the quotient algebra of the path algebra Q q modulo the quasi-idempotent and sandwich relations together with the following four sets of relations (T1) δ {1}, χ 2 υ,{1} = υ {1}{1,2} δ {1,2},{1} + qe {1} ; (T2) δ {1}, υ,{3} = υ {1},{1,3} δ {1,3},{3} (T3) δ {1,2},{1} υ {1},{1,3} δ {1,3},{1} υ {1},{1,2} = υ {1,2},S δ S,{1,2} + q(q + 1)e {1,2} ; (T4) δ {1,2},{2} υ {2},{2,3} δ {2,3},{3} υ {3},{1,3} = υ {1,2},S δ S,{1,3} + qδ {1,2},{1} υ {1},{1,3}. NB: In the Hasse quiver, every path can be reversed. This defines an anti-involution τ on Q q. Also, every graph automorphism induces an algebra automorphism σ on Q q. Moreover, we may speak of subgraph automorphisms. Each set above is obtained by applying τ and graph or subgraph automorphisms to the relation. 14 / 27
15 Extending Hecke endomorphism algebras An ideal J in an R-algebra A as above is called a stratifying ideal provided that J is an R-direct summand of A and, for A/J-modules M, N, inflation defines an isomorphism of Ext-groups. Ext n A/J (M, N) Ext n A (M, N), n 0. A stratification of length n of A is a sequence 0 = J 0 J 1 J n = A of stratifying ideals of A. If, in addition, each J i /J i 1 is a projective A/J i 1 -module, then the stratification is standard. Theorem (D.-Parshall-Scott =: DPS, 98) If S > 1, then S q has a stratification of length 3. We conjectured the existence of a standard stratification for an enlarged S q in terms of two-sided calls. We have established a local version. 15 / 27
16 KL basis and Lusztig s function a Assume now (W, S) is a Weyl group and let Z = Z[t, t 1 ] and let H = ZH q and S = ZS q (q = t 2 ). For w W, let C w = t l(w) C + w and C xc y = z W h x,y,z C z. Using the preorders L and R on W, the positivity of the coefficients of the h x,y,z implies h x,y,z 0 = z L y, z R x Define the Lusztig function a : W N as follows. For z W, let a(z) be the smallest nonnegative integer such that t a(z) h x,y,z N[t] for all x, y W. For x, y, z W, let γ x,y,z be the coefficient of t a(z) in h x,y,z 1. Then γ x,y,z 0 = x L y 1, y L z 1, z L x / 27
17 The asymptotic algebra J The asymptotic form J of H is a ring with Z-basis {j x x W } and multiplication j x j y = z γ x,y,z 1j z. Following Lusztig, define a Z-algebra homomorphism ϖ : H J Z = J Z, C w h w,d,z j z, z W d D a(d)=a(z) where D is the set of distinguished involutions in W. In particular, ϖ Q(t) becomes an isomorphism ϖ = ϖ Q(t) : H Q(t) Also, ϖ induces a monomorphism JQ(t). ϖ = ϖ Q[t,t 1 ] : H Q[t,t 1 ] J Q[t,t 1 ] = J Q Q[t, t 1 ]. Moreover, base change to Q[t, t 1 ]/(t 1) induces an isomorphism ϖ = ϖ Q : QW J Q 17 / 27
18 Specht and Dual Specht modules For the irreducible (left) J Q -module identified with E Irr(QW ), the (left) H Q[t,t 1 ]-module S(E) := ϖ (E Q[t, t 1 ]) = ϖ (E Q[t,t 1 ]) is called here a dual Specht module for H Q[t,t 1 ]. Note that S(E) = E Q[t,t 1 ] as a Q[t, t 1 ]-module. Therefore, S(E) is a free Q[t, t 1 ]-module. The dual S E = Hom Q[t,t 1 ](S(E), Q[t, t 1 ]) is called a Specht module. For base change to a commutative, Noetherian Q[t, t 1 ]-algebra R, set { S R (E) := S(E) Q[t,t 1 ] R, S E,R := S E Q]t,t 1 ] R = Hom R (S R (E), R). 18 / 27
19 A result of Ginzburg Guay Opdam Rouquier Let Φ 2e (t) denote the (cyclotomic) minimum polynomial for a primitive 2eth root of unity ζ = exp(2πi/2e) C. Fix a modular system (K, Q, k) by letting Q := Q[t, t 1] ] p, where p = (Φ 2e (t)); K := Q(t), the fraction field of Q; k := Q/m = Q( ζ), the residue field of Q. For R = Q, let S(E) := S Q (E) and S E := S E,Q. Proposition (GGOR) Assume that e 2. Suppose E = E are irreducible QW -modules. Then, for a sorting function f, Hom Hk (S k (E), S k (E )) 0 = f (E) < f (E ), Hom Hk (S k (E), S k (E)) = k, Ext 1 H( S(E), S(E )) 0 = f (E) < f (E ), and Ext 1 H( S(E), S(E)) = / 27
20 The sorting function f The sorting function f : irr(qw ) N is defined by f (E) = a E + A E = a(e) + N a(e det), where the generic degree d E = bt a E + + ct A E, with bc 0, a E A E. We can now define the (somewhat subtle) preorder f on Ω by setting ω f ω (for ω, ω Ω) if and only if either f (ω) < f (ω ), or ω and ω lie in the same two-sided cell. Note that the equivalence classes of the preorder f identify with the set of two-sided cells thus, f is strictly compatible with the set of two-sided cells. 20 / 27
21 Left cell and Dual left cell modules Parallel to S(E) and S E, we define, for each ω Ω, the left cell module S(ω) := H Lω /H < Lω H mod and the dual left cell module S ω := Hom Z (S(ω), Z) mod H. Define similarly the module over Q: S(ω) := S(ω) Q, Sω := S ω Q, ω Ω. Lusztig and GGOR tell us: Lemma There is an H-module isomorphism σ : ϖ (J ω Z) S(ω) induced by the map σ : J Z H, j y C y. In particular, S(ω) is a direct sum of modules S(E) for some E Irr(QW ). Moreover, for left cells ω, ω (and e 2), we have Ext 1 H( S ω, S ω ) 0 = f (ω) > f (ω ). 21 / 27
22 Preliminary lemma 1 Let R be a commutative ring and let C be an abelian R-category. Let M, Y C, and suppose that Ext 1 C (M, Y ) is generated as an R-module by elements ɛ 1,, ɛ m. Let χ := i ɛ i Ext 1 C (M m, Y ) correspond to the short exact sequence 0 Y X M m 0. Lemma (Homological vanishing) The map Ext 1 C (M, Y ) Ext1 C (M, X ), induced by the inclusion Y X, is the zero map. If Ext 1 C (M, M) = 0, then Ext1 C (M, X ) = / 27
23 Preliminary lemma 2 Lemma (Property of KL basis) Let N M be left ideals in H R, with each spanned by the Kazhdan Lusztig basis elements C y that they contain. Let s S be a simple reflection and assume either N = 0 or that q + 1 is not a zero divisor in R. Suppose 0 x M/N satisfies T s x = qx.then x is represented in M by an R-linear combination of Kazhdan Lusztig basis elements C y with sy < y. 23 / 27
24 The H-module X ω For ω Ω, we iteratively construct an H-module X ω, filtered by dual left cell modules, such that S ω X ω is the lowest nonzero filtration term, and Ext 1 H( S ω, X ω ) = 0 for all left cells ω. For j N, let Ω j = {ν Ω f (ν) = j}. Fix i = f (ω). Suppose Ext 1 H( S τ, S ω ) 0 for some τ Ω. Then, by the lemma, f (τ) > f (ω) = i. Assume f (τ) = j is minimal with this property. Since Q is a DVR and Ext 1 H( S τ, S ω ) is finitely generated, it follows that Ext 1 H( S τ, S ω ) is a direct sum of m τ ( 0) nonzero cyclic Q-modules. Let Ỹτ mτ be the extension of S τ by S ω, constructed by using generators for the cyclic modules. Then the homological vanishing lemma implies Ext 1 H( S τ, Ỹτ ) = 0. Continue to construct for certain j 1 < j 2 < < j r m τ1 m τ 1 Ω j1 S τ2 τ 1 τ Y j1 =, Y j1,j 2 = 2 Ω j2 S τ 2,, Y j1,...,j r = S X ω. ω Y j1 24 / 27
25 Let Ω be the set of all left cells that do not contain the longest element of a parabolic subgroup. Put T = λ S x λ H and X = ω Ω Xω. Theorem (DPS, 15) Assume that e 2. Let T + = T X, S + = End H( T + ) and (ω) = Hom H( S ω, T + ) for ω Ω. Then:- { (ω)} ω Ω is a strict stratifying system for the category S + -mod with respect to the quasi-poset (Ω, f ). Hence, S + has a standard stratification of length # Ω, the number of two-sided cells. 25 / 27
26 Identification of S + Theorem (DPS, 15) Assume that e 2. The Q-algebra S + is quasi-hereditary, with standard modules (E) = Hom H( S E, T + ), E Irr(QW ), and partial order < f. In order to use the covering theory of Rouquier, we consider the ring R := (C[t, t 1 ] (t ζ) ) We have the following category equivalence. Theorem (DPS, 15) Assume that e 2. The category of left modules over the base-changed algebra S + R := S + Q R is equivalent to the R-category O of modules for the rational Cherednik R-algebra associated to W. 26 / 27
27 THANK YOU 27 / 27
PRESENTING HECKE ENDOMORPHISM ALGEBRAS BY HASSE QUIVERS WITH RELATIONS
PRESENTING HECKE ENDOMORPHISM ALGEBRAS BY HASSE QUIVERS WITH RELATIONS JIE DU, BERNT TORE JENSEN, AND XIUPING SU arxiv:1511.04135v1 [math.qa] 13 Nov 2015 Abstract. A Hecke endomorphism algebra is a natural
More informationLECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O
LECTURE 10: KAZHDAN-LUSZTIG BASIS AND CATEGORIES O IVAN LOSEV Introduction In this and the next lecture we will describe an entirely different application of Hecke algebras, now to the category O. In the
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 Kazhdan-Lusztig conjecture. We start by introducing
More informationKOSZUL DUALITY FOR STRATIFIED ALGEBRAS I. QUASI-HEREDITARY ALGEBRAS
KOSZUL DUALITY FOR STRATIFIED ALGEBRAS I. QUASI-HEREDITARY ALGEBRAS VOLODYMYR MAZORCHUK Abstract. We give a complete picture of the interaction between Koszul and Ringel dualities for quasi-hereditary
More informationCELLULAR ALGEBRAS AND QUASI-HEREDITARY ALGEBRAS: A COMPARISON
ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 5, Pages 71 75 (June 24, 1999) S 1079-6762(99)00063-3 CELLULAR ALGEBRAS AND QUASI-HEREDITARY ALGEBRAS: A COMPARISON STEFFEN
More information`-modular Representations of Finite Reductive Groups
`-modular Representations of Finite Reductive Groups Bhama Srinivasan University of Illinois at Chicago AIM, June 2007 Bhama Srinivasan (University of Illinois at Chicago) Modular Representations AIM,
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More informationLECTURES ON SYMPLECTIC REFLECTION ALGEBRAS
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 18. Category O for rational Cherednik algebra We begin to study the representation theory of Rational Chrednik algebras. Perhaps, the class of representations
More informationarxiv:math/ v1 [math.rt] 6 Mar 2007
CALOGERO-MOSER SPACE, REDUCED RATIONAL CHEREDNIK ALGEBRAS AND TWO-SIDED CELLS. I.G. GORDON AND M. MARTINO arxiv:math/0703153v1 [math.rt] 6 Mar 2007 Abstract. We conjecture that the nilpotent points of
More informationLECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O
LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn
More informationFULLY COMMUTATIVE ELEMENTS AND KAZHDAN LUSZTIG CELLS IN THE FINITE AND AFFINE COXETER GROUPS. Jian-yi Shi
FULLY COMMUTATIVE ELEMENTS AND KAZHDAN LUSZTIG CELLS IN THE FINITE AND AFFINE COXETER GROUPS Jian-yi Shi Abstract. The main goal of the paper is to show that the fully commutative elements in the affine
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationKAZHDAN LUSZTIG CELLS IN INFINITE COXETER GROUPS. 1. Introduction
KAZHDAN LUSZTIG CELLS IN INFINITE COXETER GROUPS MIKHAIL V. BELOLIPETSKY AND PAUL E. GUNNELLS 1. Introduction Groups defined by presentations of the form s 1,..., s n s 2 i = 1, (s i s j ) m i,j = 1 (i,
More informationIVAN LOSEV. Lemma 1.1. (λ) O. Proof. (λ) is generated by a single vector, v λ. We have the weight decomposition (λ) =
LECTURE 7: CATEGORY O AND REPRESENTATIONS OF ALGEBRAIC GROUPS IVAN LOSEV Introduction We continue our study of the representation theory of a finite dimensional semisimple Lie algebra g by introducing
More informationA CATEGORIFICATION OF INTEGRAL SPECHT MODULES. 1. Introduction
A CATEGORIFICATION OF INTEGRAL SPECHT MODULES MIKHAIL KHOVANOV, VOLODYMYR MAZORCHUK, AND CATHARINA STROPPEL Abstract. We suggest a simple definition for categorification of modules over rings and illustrate
More informationOn certain family of B-modules
On certain family of B-modules Piotr Pragacz (IM PAN, Warszawa) joint with Witold Kraśkiewicz with results of Masaki Watanabe Issai Schur s dissertation (Berlin, 1901): classification of irreducible polynomial
More informationarxiv: v1 [math.co] 23 May 2013
arxiv:1305.5328v1 [math.co] 23 May 2013 Orbits of pairs in abelian groups C. P. Anilkumar and Amritanshu Prasad Abstract. We compute the number of orbits of pairs in a finitely generated torsion module
More informationROUQUIER COMPLEXES DONGKWAN KIM
ROUQUIER COMPLEXES DONGKWAN KIM 1. Rouquier complexes 1.1. Setup. In this talk k is a field of characteristic 0. Let (W, S) be a Coxeter group with S = n
More informationRepresentation theory through the lens of categorical actions: part III
Reminders Representation theory through the lens of categorical actions: part III University of Virginia June 17, 2015 Reminders Definition A g-action on an additive category C consists of: A direct sum
More informationProof of the Broué Malle Rouquier Conjecture in Characteristic Zero (After I. Losev and I. Marin G. Pfeiffer)
Arnold Math J. DOI 10.1007/s40598-017-0069-7 RESEARCH EXPOSITION Proof of the Broué Malle Rouquier Conjecture in Characteristic Zero (After I. Losev and I. Marin G. Pfeiffer) Pavel Etingof 1 Received:
More informationThe real root modules for some quivers.
SS 2006 Selected Topics CMR The real root modules for some quivers Claus Michael Ringel Let Q be a finite quiver with veretx set I and let Λ = kq be its path algebra The quivers we are interested in will
More informationarxiv:math/ v3 [math.qa] 16 Feb 2003
arxiv:math/0108176v3 [math.qa] 16 Feb 2003 UNO S CONJECTURE ON REPRESENTATION TYPES OF HECKE ALGEBRAS SUSUMU ARIKI Abstract. Based on a recent result of the author and A.Mathas, we prove that Uno s conjecture
More informationASYMPTOTIC CASE. MEINOLF GECK and LACRIMIOARA IANCU. To George Lusztig on his 60th birthday
M. Geck and L. Iancu Nagoya Math. J. Vol. 182 (2006), 199 240 LUSZTIG S a-function IN TYPE B n IN THE ASYMPTOTIC CASE MEINOLF GECK and LACRIMIOARA IANCU To George Lusztig on his 60th birthday Abstract.
More informationThe Distinguished Involutions with a-value 3 in the Affine Weyl Group Ẽ6
International Mathematical Forum, 5, 010, no. 6, 59-69 The Distinguished Involutions with a-value in the Affine Weyl Group Ẽ6 Xigou Zhang College of Math. and Information on Science JXNU, Nanchang, 00,
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationOn metacyclic extensions
On metacyclic extensions Masanari Kida 1 Introduction A group G is called metacyclic if it contains a normal cyclic subgroup N such that the quotient group G/N is also cyclic. The category of metacyclic
More informationDECOMPOSITION OF TENSOR PRODUCTS OF MODULAR IRREDUCIBLE REPRESENTATIONS FOR SL 3 (WITH AN APPENDIX BY C.M. RINGEL)
DECOMPOSITION OF TENSOR PRODUCTS OF MODULAR IRREDUCIBLE REPRESENTATIONS FOR SL 3 (WITH AN APPENDIX BY CM RINGEL) C BOWMAN, SR DOTY, AND S MARTIN Abstract We give an algorithm for working out the indecomposable
More informationCategory O and its basic properties
Category O and its basic properties Daniil Kalinov 1 Definitions Let g denote a semisimple Lie algebra over C with fixed Cartan and Borel subalgebras h b g. Define n = α>0 g α, n = α
More informationClassification of root systems
Classification of root systems September 8, 2017 1 Introduction These notes are an approximate outline of some of the material to be covered on Thursday, April 9; Tuesday, April 14; and Thursday, April
More informationHard Lefschetz for Soergel bimodules
Hard Lefschetz for Soergel bimodules Notes by Kostya Tolmachov Abstract These are notes for the joint MIT/Northeastern Graduate seminar on category O and Soergel bimodules, Fall 2017. We prove the hard
More informationKraśkiewicz-Pragacz Modules and Pieri and Dual Pieri Rules for Schubert Polynomials
J. Math. Sci. Univ. Tokyo 24 (2017), 259 270. Kraśkiewicz-Pragacz Modules and Pieri and Dual Pieri Rules for Schubert Polynomials By Masaki Watanabe Abstract. In their 1987 paper Kraśkiewicz and Pragacz
More informationREPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES. Notation. 1. GL n
REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES ZHIWEI YUN Fix a prime number p and a power q of p. k = F q ; k d = F q d. ν n means ν is a partition of n. Notation Conjugacy classes 1. GL n 1.1.
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationBoundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals
Boundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals Kazuhiko Kurano Meiji University 1 Introduction On a smooth projective variety, we can define the intersection number for a given
More informationAlgebraic number theory
Algebraic number theory F.Beukers February 2011 1 Algebraic Number Theory, a crash course 1.1 Number fields Let K be a field which contains Q. Then K is a Q-vector space. We call K a number field if dim
More informationLECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES
LECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationProjective-injective modules, Serre functors and symmetric algebras
Projective-injective modules, Serre functors and symmetric algebras Volodymyr Mazorchuk and Catharina Stroppel Abstract We describe Serre functors for (generalisations of) the category O associated with
More informationLemma 1.1. The field K embeds as a subfield of Q(ζ D ).
Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms
More informationLECTURE 20: KAC-MOODY ALGEBRA ACTIONS ON CATEGORIES, II
LECTURE 20: KAC-MOODY ALGEBRA ACTIONS ON CATEGORIES, II IVAN LOSEV 1. Introduction 1.1. Recap. In the previous lecture we have considered the category C F := n 0 FS n -mod. We have equipped it with two
More informationMASTERCLASS MARCH 2013 BY Ben Elias, MIT, Boston and Geordie Williamson, MPI, Bonn Titel: Soergel bimodules & Kazhdan-Lusztig conjectures
Venue: aud. G1 Monday 18 March, The Cast 10.00-10.45 Introduction: Category O and the Kazhdan-Lusztig conjectures The happenings of 1979. The miracle of KL polynomials. Arbitrary Coxeter groups. The miracle
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 informationR. Kwashira 1, 2 Work with J.C. Mba 3 ( 1 Birmingham, (CoE-MaSS), South Africa, 3 University of Johannesburg, South Africa
Groups, St Andrews 2017 Non-cancellation group of a direct product R. Kwashira 1, 2 Work with J.C. Mba 3 1 University of the Witwatersrand, South Africa, 2 DST-NRF Centre of Excellence in Mathematical
More informationNew York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group
New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in
More informationHigher Schur-Weyl duality for cyclotomic walled Brauer algebras
Higher Schur-Weyl duality for cyclotomic walled Brauer algebras (joint with Hebing Rui) Shanghai Normal University December 7, 2015 Outline 1 Backgroud 2 Schur-Weyl duality between general linear Lie algebras
More information1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by
Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.
More informationExercises on chapter 4
Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationDecomposition Matrix of GL(n,q) and the Heisenberg algebra
Decomposition Matrix of GL(n,q) and the Heisenberg algebra Bhama Srinivasan University of Illinois at Chicago mca-13, August 2013 Bhama Srinivasan (University of Illinois at Chicago) Heisenberg algebra
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationAlgebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001
Algebra Review Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor June 15, 2001 1 Groups Definition 1.1 A semigroup (G, ) is a set G with a binary operation such that: Axiom 1 ( a,
More informationq-schur algebras and complex reflection groups, I
q-schur algebras and complex reflection groups, I Raphael Rouquier To cite this version: Raphael Rouquier. q-schur algebras and complex reflection groups, I. Corrected version, 5.2.3 and 5.2.4 are new.
More informationFILTRATIONS IN ABELIAN CATEGORIES WITH A TILTING OBJECT OF HOMOLOGICAL DIMENSION TWO
FILTRATIONS IN ABELIAN CATEGORIES WITH A TILTING OBJECT OF HOMOLOGICAL DIMENSION TWO BERNT TORE JENSEN, DAG MADSEN AND XIUPING SU Abstract. We consider filtrations of objects in an abelian category A induced
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationMonoidal categories associated with strata of flag manifolds
Monoidal categories associated with strata of flag manifolds 16 Dec 2017 This is a joint work with Masaki Kashiwara, Myungho Kim and Se-jin Oh (arxiv:1708.04428) Quantum groups 1.1. Quantum groups I :=
More informationarxiv: v2 [math.rt] 16 Mar 2018
THE COXETER TRANSFORMATION ON COMINUSCULE POSETS EMINE YILDIRIM arxiv:1710.10632v2 [math.rt] 16 Mar 2018 Abstract. Let J(C) be the poset of order ideals of a cominuscule poset C where C comes from two
More informationA BRIEF REVIEW OF ABELIAN CATEGORIFICATIONS
Theory and Applications of Categories, Vol. 22, No. 19, 2009, pp. 479 508. A BRIEF REVIEW OF ABELIAN CATEGORIFICATIONS MIKHAIL KHOVANOV, VOLODYMYR MAZORCHUK CATHARINA STROPPEL Abstract. This article contains
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
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 informationDimensions of Triangulated Categories, joint work with M. Ballard and L. Katzarkov
Dimensions of Triangulated Categories, joint work with M. Ballard and L. Katzarkov David Favero University of Miami January 21, 2010 The Dimension of a Triangulated Category The Dimension of a Triangulated
More informationOn Iwahori Hecke Algebras with Unequal Parameters and Lusztig s Isomorphism Theorem
Pure and Applied Mathematics Quarterly Volume 7, Number 3 (Special Issue: In honor of Jacques Tits) 587 620, 2011 On Iwahori Hecke Algebras with Unequal Parameters and Lusztig s Isomorphism Theorem Meinolf
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 informationON SPLIT-BY-NILPOTENT EXTENSIONS
C O L L O Q U I U M M A T H E M A T I C U M VOL. 98 2003 NO. 2 ON SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM ASSEM (Sherbrooke) and DAN ZACHARIA (Syracuse, NY) Dedicated to Raymundo Bautista and Roberto
More informationCellular structures using U q -tilting modules
Cellular structures using U q -tilting modules Or: centralizer algebras are fun! Daniel Tubbenhauer q(λ) g λ i M f λ j ι λ T q(λ) N g λ i f λ j π λ q(λ) Joint work with Henning Haahr Andersen and Catharina
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationRing theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory
Ring theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A talk in June, 2016 at Banff conference center.
More informationSUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT
SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationKOSZUL DUALITY FOR STRATIFIED ALGEBRAS II. STANDARDLY STRATIFIED ALGEBRAS
KOSZUL DUALITY FOR STRATIFIED ALGEBRAS II. STANDARDLY STRATIFIED ALGEBRAS VOLODYMYR MAZORCHUK Abstract. We give a complete picture of the interaction between the Koszul and Ringel dualities for graded
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationRepresentation type, boxes, and Schur algebras
10.03.2015 Notation k algebraically closed field char k = p 0 A finite dimensional k-algebra mod A category of finite dimensional (left) A-modules M mod A [M], the isomorphism class of M ind A = {[M] M
More informationALGEBRA 11: Galois theory
Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
More informationDecomposition numbers for generic Iwahori-Hecke algebras of non-crystallographic type
Decomposition numbers for generic Iwahori-Hecke algebras of non-crystallographic type Jürgen Müller IWR der Universität Heidelberg Im Neuenheimer Feld 368 D 69120 Heidelberg Abstract In this note we compute
More informationCOMPLEX MULTIPLICATION: LECTURE 15
COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider
More informationHigher representation theory in algebra and geometry: Lecture II
Higher representation theory in algebra and geometry: Lecture II Ben Webster UVA ebruary 10, 2014 Ben Webster (UVA) HRT : Lecture II ebruary 10, 2014 1 / 35 References or this lecture, useful references
More informationCURTIS HOMOMORPHISMS AND THE INTEGRAL BERNSTEIN CENTER FOR GL n
CURTIS HOMOMORPHISMS AND THE INTEGRAL BERNSTEIN CENTER OR GL n DAVID HELM Abstract. We describe two conjectures, one strictly stronger than the other, that give descriptions of the integral Bernstein center
More informationA pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra
A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra Volodymyr Mazorchuk and Serge Ovsienko Abstract We show that there exists a natural non-degenerate
More informationH(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).
92 19. Perverse sheaves on the affine Grassmannian 19.1. Spherical Hecke algebra. The Hecke algebra H(G(Q p )//G(Z p )) resp. H(G(F q ((T ))//G(F q [[T ]])) etc. of locally constant compactly supported
More informationA classification of commutative parabolic Hecke algebras
A classification of commutative parabolic Hecke algebras Peter Abramenko James Parkinson Hendrik Van Maldeghem Abstract Let (W, S) be a Coxeter system with I S such that the parabolic subgroup W I is finite.
More information2. Preliminaries In this section we give some basic definitions and known results, which will be useful in the sequel.
M ath. es. Lett. 4 (2007), no. 4, 589 596 c International Press 2007 KOSULITY AND THE HILBET SEIES OF PEPOJECTIVE ALGEBAS Pavel Etingof and Ching-Hwa Eu. Introduction The goal of this paper is to prove
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More informationAn example of higher representation theory
An example of higher representation theory Geordie Williamson Max Planck Institute, Bonn Geometric and categorical representation theory, Mooloolaba, December 2015. First steps in representation theory.
More informationON AN INFINITE LIMIT OF BGG CATEGORIES O
ON AN INFINITE LIMIT OF BGG CATEGORIES O KEVIN COULEMBIER AND IVAN PENKOV Abstract. We study a version of the BGG category O for Dynkin Borel subalgebras of rootreductive Lie algebras, such as g = gl(
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
More informationThe Major Problems in Group Representation Theory
The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship
More informationSOERGEL BIMODULES, HECKE ALGEBRAS, AND KAZHDAN-LUSZTIG BASIS. Contents. References Introduction
SOERGEL BIMODULES, HECKE ALGEBRAS, AND KAZHDAN-LUSZTIG BASIS BORIS TSVELIKHOVSKY Abstract. These are the notes for a talk at the MIT-Northeastern seminar for graduate students on category O and Soergel
More informationCharacters 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 informationGalois theory (Part II)( ) Example Sheet 1
Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationSYMPLECTIC REFLECTION ALGEBRAS AND AFFINE LIE ALGEBRAS
SYMPLECTIC REFLECTION ALGEBRAS AND AFFINE LIE ALGEBRAS PAVEL ETINGOF 1. Introduction These are the notes of my talk at the conference Double affine Hecke algebras and algebraic geometry (MIT, May 18, 2010).
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationThe 3-local cohomology of the Mathieu group M 24
The 3-local cohomology of the Mathieu group M 24 David John Green Institut für Experimentelle Mathematik Universität GHS Essen Ellernstraße 29 D 45326 Essen Germany Email: david@exp-math.uni-essen.de 11
More informationGeometric Structure and the Local Langlands Conjecture
Geometric Structure and the Local Langlands Conjecture Paul Baum Penn State Representations of Reductive Groups University of Utah, Salt Lake City July 9, 2013 Paul Baum (Penn State) Geometric Structure
More informationCALABI-YAU ALGEBRAS AND PERVERSE MORITA EQUIVALENCES
CALABI-YAU ALGEBRAS AND PERERSE MORITA EQUIALENCES JOSEPH CHUANG AND RAPHAËL ROUQUIER Preliminary Draft Contents 1. Notations 2 2. Tilting 2 2.1. t-structures and filtered categories 2 2.1.1. t-structures
More informationarxiv: v1 [math.ra] 22 Jul 2014
ANOTHER PROOF OF A THEOREM OF VAN DEN BERGH ABOUT GRADED-INJECTIVE MODULES arxiv:1407.5916v1 [math.ra] 22 Jul 2014 AMNON YEKUTIELI Suppose A = i N A i is a left noetherian N-aded ring. The category of
More informationOn the generation of the coefficient field of a newform by a single Hecke eigenvalue
On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2
More information