arxiv:math/ v2 [math.rt] 6 Mar 2002
|
|
- Brooke Wade
- 5 years ago
- Views:
Transcription
1 arxiv:math/ v2 [math.rt] 6 Mar 2002 LOWER BOUNDS FOR KAZHDAN-LUSZTIG POLYNOMIALS FROM PATTERNS SARA C. BILLEY AND TOM BRADEN Abstract. Kazhdan-Lusztig polynomials P x,w (q) play an important role in the study of Schubert varieties as well as the representation theory of semisimple Lie algebras. In particular, the value P x,w (1) is the dimension of the intersection cohomology sheaf of the Schubert variety X w at the T-fixed point indexed by x [KL2]. It is also the multiplicity of a certain irreducible module in a Verma module [BeBe][BryK]. In this paper, we give a lower bound for the values P x,w (1) in terms of patterns. These patterns correspond with special subgroups of the Weyl group generated by reflections. This notion generalizes the concept of patterns and pattern avoidance for permutations to all Weyl groups. The main tool of the proof is Braden s hyperbolic localization on intersection cohomology. This construction gives some insight into the geometry behind pattern avoidance. 1. Introduction Many recent results on the singularities of Schubert varieties X w in the variety F n of flags in C n are expressed by the existence of certain patterns in the indexing permutation w S n. For example, Lakshmibai and Sandhya [LS] proved that X w is singular if and only if w contains the patterns 4231 or 3412 (a permutation w S n is said to contain the pattern w S k for k < n if the permutation matrix of w has the permutation matrix of w as a submatrix). This implies that if w S k is any pattern for w and the Schubert variety X w F k is singular, then X w is singular as well. In this paper, we give a more general geometric explanation of this phenomenon, using the Kazhdan-Lusztig polynomial P x,w (q) Z 0 [q], which measures the singularity of X w at a generic point of X x (see [H] for a definition). Our main result (Theorem 4) is a lower bound on the number P x,w (1) in terms of Kazhdan-Lusztig polynomials of pattern pairs. This lower Date: March 9, Mathematics Subject Classification. 14M15, 20F55. The first author was supported by National Science Foundation grant number DMS
2 2 SARA C. BILLEY AND TOM BRADEN bound easily extends to all Weyl groups using a new generalization of patterns. One consequence of Theorem 4 is the following: Theorem 1. P id,w (1) P id, w (1), where P id,w is the Kazhdan-Lusztig polynomial of the identity and w. Since X w is singular if and only if P id,w (1) > 1 in type A (see [De]), this gives another proof that X w singular implies X w singular. To prove our result, we interpret pattern avoidance geometrically, using an action of C on F n whose fixed point set is a disjoint union of varieties isomorphic to F k. Our inequality follows from a purity result on a hyperbolic localization to this fixed point set, proved in [Br]. A previously-known special case of this purity result was used in a similar way in [BrM] to prove a conjectured inequality of Kalai on toric g-numbers of rational convex polytopes. Our geometric argument applies equally to the flag variety G/B of an arbitrary semisimple complex group G. This leads to a definition of pattern avoidance in the Weyl group W of G (and in fact in any finite Coxeter group) which agrees with the standard one in type A, but is more general than the one using signed permutations in types B and D. Using this notion of patterns, our results hold in this more general situation. Here is an outline of this paper. In 2.1, we discuss pattern avoidance on permutations and some applications from the literature. In 2.2 we describe the generalization of pattern avoidance to general Coxeter groups, using subgroups generated by reflections. 2.3 relates this to the classical case. The main result of 2.2 is proved in 2.4 In 3 we state our main theorem. In 3.1 we isolate two particularly interesting special cases, including Theorem 1. Our geometric arguments are in 4. Acknowledgments. We would like to thank Francesco Brenti for posing the following question which was our original motivation: How can we describe the Weyl group elements w such that P id,w (1) = 2? In type A, we can show that if P id,w (1) = 2 then the singular locus of the Schubert variety X w has only one irreducible component and w must avoid the patterns: (526413) (546213) (463152) (465132) (632541) (653421) We conjecture the converse holds as well. We also benefited greatly from conversations with Victor Ginzburg, Bert Kostant, David Vogan and Greg Warrington. We are grateful to Patrick Polo for spotting an error in Theorem 5.
3 LOWER BOUNDS FOR KL POLYNOMIALS FROM PATTERNS 3 2. Pattern avoidance 2.1. Classical pattern avoidance. For element w of the permutation group S n on n letters, we can write w in one-line notation as w = w 1 w 2 w n, i.e. w maps i to w i. We say a permutation w contains a pattern v S k if there exists a subsequence w i1 w i2 w ik, with the same relative order as v = v 1 v k. If no such subsequence exists we say w avoids the pattern v. More formally, let a 1 a k be any list of distinct positive integers. Define the flattening function fl(a 1 a k ) to be the unique permutation v S k such that a i > a j v i > v j. Then it is equivalent to say that w avoids v if no fl(w i1 w i2 w ik ) = v. For example, w = contains the pattern 3412, since fl(w 1 w 4 w 5 w 7 ) = fl(4612) = 3412, but it avoids Several properties of permutations have been characterized by pattern avoidance and containment. For example, as we have mentioned, the Schubert variety X w is nonsingular if and only if w avoids 3412 and 4231 [LS]. Combining this and results of [Car, De, KL2] shows that the Kazhdan-Lusztig polynomial P id,w = 1 if and only if w avoids 3412 and The element C w of the Kazdhan-Lusztig basis of the Hecke algebra of W equals the product C s a1 C s a2 C s ap for any reduced expression w = s a1 s a2 s ap if and only if w is 321-hexagon-avoiding [BiW]. Here 321-hexagon avoiding means w avoids the five patterns 321, , , , The notion of pattern avoidance easily generalizes to the Weyl groups of types B, C, D since the elements can be represented as permutations in one-line notation with signs on any subset of the elements. Once again, the properties P id,w = 1 and C w = C s a1 C s a2 C s ap can be characterized by pattern avoidance [Bi, BiW], though the list of patterns can be rather long. More examples of pattern avoidance appear in [LasSc, St, BiP, BiW2, Ma, KLR, Co, Co2] Patterns in Coxeter groups. In this section, we generalize the flattening function for permutations to an arbitrary finite Coxeter group W. Let S be the set of simple reflections generating W. The set R of all reflections is R = w W wsw 1. Given w W, its length l(w) is the length of the shortest expression for w in terms of elements of S. The Bruhat-Chevalley order is the partial order on W generated by the relation x < y if l(x) < l(y) and xy 1 R.
4 4 SARA C. BILLEY AND TOM BRADEN A parabolic subgroup of W is a subgroup W 0 W generated by a subset S 0 S. It is a Coxeter group, with simple reflections S 0. More generally we call any subgroup W = xw 0 x 1 conjugate to a parabolic subgroup W 0 a spanning subgroup of W (some sources, e.g. Humphreys [H], call such a group parabolic as well, but we will need to distinguish between the two situations). It is also a Coxeter group, with simple reflections S = xs 0 x 1 and reflections R = R W. Note that S S unless W is itself parabolic. Theorem 3 below gives another characterization of spanning subgroups, in terms of root systems. We denote the length function and the Bruhat-Chevalley order for (W, S ) by l and, respectively. If W is a parabolic subgroup then l = l W and = W W, but in general we only have l (w) l(w) and x y = x y. For instance, if W S 4 is generated by the reflections r 23 = 1324 and r 14 = 4231, then r 23 r 14 although they are not comparable for. The following theorem/definition generalizes the flattening function for permutations. Theorem 2. There is a unique function φ: W W for which (a) φ is W -equivariant: φ(wx) = wφ(x) for all w W, x W, (b) φ restricts to the identity map on W, and (c) If φ(x) φ(wx) for some w W, then x wx. Definition. We call φ(x) the pattern in x for the subgroup W. To show uniqueness, note that φ is determined by the set φ 1 (1) by (a), and (c) implies that φ 1 (1) W x is the unique minimal element in W x. The existence of the function φ will be established in Section Relation with classical patterns. Let Σ = {a 1, a 2,..., a k } be a set of distinct positive integers in 1,..., n as in Section 2.1. Given w S n, define a generalized flattening function by fl {a1 a 2...a k }(w) = fl(w i1 w i2...w ik ), where w ij {a 1, a 2,..., a k } for all 1 j k and 1 i 1 < i 2 <... < i k n. We can associate a spanning subgroup to Σ as follows. Let W be the subgroup generated by the transpositions r ai,a j for all i < j. W is a spanning subgroup since it is conjugate to the parabolic subgroup S k S n of permutations fixing the elements k + 1,..., n. We claim that using this spanning subgroup, the function fl {a1 a 2...a k } satisfies the properties of Theorem 2, and so fl {a1,a 2...a k }(w) = φ(w). As noted after Theorem 2 we only need to check conditions (a) and (c). Condition (a) follows easily from the fact that multiplication on the left by a
5 LOWER BOUNDS FOR KL POLYNOMIALS FROM PATTERNS 5 permutation w W acts only on the values in the set {a 1, a 2,..., a k }. To prove Condition (c), note that if v i = w i for two permutations v, w S n then v w if and only fl(v ) fl(w ) where v, w are the sequences obtained by removing the ith entry from each. Therefore, in fact fl {a1 a 2...a k }(x) fl {a1 a 2...a k }(wx) if and only if x wx. For example, take the numbers 1, 4, 6, 7; the associated subgroup W S 7 is generated by {r 14, r 46, r 67 }. If x = then y = is the unique minimal element in W x and x = r 46 r 14 y hence φ(x) = r 46 r 14. This agrees with the classical flattening using the isomorphism W = S4 given by r 14 s 1, r 46 s 2, r 67 s 3 : in fact, fl {1,4,6,7} (w) = fl(6147) = 3124 = s 2 s 1. To obtain the most general spanning subgroup of S n, let Σ 1,...,Σ l be disjoint subsets of 1...n. To each Σ j is associated a spanning subgroup W j as before, and then W = W 1 W 2...W l = S Σ1 S Σl is a spanning subgroup. The corresponding flattening function is w (fl Σ1 (w),..., fl Σl (w)). In types B and D, the flattening function given in terms of signed permutations can also be viewed as a φ function for spanning subgroups. Here we let W be the set of signed permutations which fix every element except possibly the ±a i, 1 i k. Again, multiplication on the left by w W acts only on the values in the set {±a 1, ±a 2,..., ±a k } and if v i = w i for two signed permutations v, w then v w if and only fl(v ) fl(w ) where v, w are the sequences obtained by removing the ith entry from each. Hence, the Bruhat condition holds. A spanning subgroup of a Coxeter group of type B n can also be isomorphic to S k : the group W = S n of all unsigned permutations is a spanning subgroup, for instance. In this case the flattening function flattens the signed permutation to an unsigned one, taking into account the signs (e.g. 4, 2, 1, ). There are other spanning subgroups of type B whose flattening functions are more difficult to describe Spanning subgroups and the reflection representation. To prove Theorem 2 we need the representation of W by reflections. This involves: a representation of W on a finite-dimensional real vector space V, a positive definite symmetric bilinear pairing B on V, a W-invariant subset Φ V (the roots), and
6 6 SARA C. BILLEY AND TOM BRADEN a bijection r α r of R with a subset Π Φ (the positive roots). These data are determined up to scaling the α r by the following properties: 1. the action of any r R is given by r(v) = v 2 B(v, α r) B(α r, α r ) α r, 2. is the disjoint union of Π and Π, 3. {α s } s S is a basis for V ; any α r can be expressed in this basis with nonnegative coefficients, and 4. if r R, w W, then rw > w if and only if α r wπ. The key relation between the group W and the geometry of the roots is the following. Given a linear functional H : V R, define Π H = {α Φ H(α) > 0}. Call H generic if ker H Φ =. If we take H 1 (α s ) = 1 for all s S, then H 1 is generic and Π = Π H1 by property (3) above. If we put H w = H 1 w 1, then Π Hw = w(π). Conversely, if H is generic, then Π H = wπ for a unique w W. We can now give a geometric characterization of spanning subgroups of W: Theorem 3. Let W W be a subgroup generated by reflections. The following are equivalent: (a) W is a spanning subgroup (b) W is generated by R = {r R α r V } for some subspace V V. (c) W is the isotropy subgroup of some v V. If these hold, then putting B = B V V, = V, and Π = Π V gives the reflection representation of W. Proof. See [H, 1.12]. Remark. In type A, all subgroups generated by reflections are spanning. In other types this is no longer the case for instance, the subgroup (Z 2 ) n B n = Sn (Z 2 ) n is not spanning if n 2. We prove the existence of the function φ from Theorem 2. Given w W, we have wπ = Π H for a generic functional H, and so wπ V = Π H, where H = H V. Given w W, there is a unique φ(w) W so that φ(w)π = wπ V.
7 LOWER BOUNDS FOR KL POLYNOMIALS FROM PATTERNS 7 The W -equivariance of φ is immediate: for any w W and x W, φ(wx)π = (wxπ) V = wxπ wv = w(xπ V ). Properties (a) and (b) from the theorem follow immediately. To prove (c), it will be enough to show that φ(x) φ(rx) implies x rx for any x W, r R, since these relations generate the Bruhat- Chevalley orders on W and W. This in turn follows from property (4) of the reflection representation and the definition of φ: φ(x) < φ(rx) = rφ(x) α r φ(x)π = xπ V = α r xπ = x < rx. 3. The main result Suppose W arises as the Weyl group of a semisimple complex algebraic group G. Let W be a spanning subgroup of W and let φ: W W be the flattening function defined by Theorem 2. By part (c) of that theorem we can pull up the order from W using φ to give an order on any coset W x which is weaker than. Our main result is the following. Theorem 4. Take any x, w W. Then P x,w (1) P y,w (1)P φ(x),φ(y)(1), y M(x,w;W ) where M(x, w; W ) is the set of maximal elements (with respect to ) of [1, w] W x, and P denotes the Kazhdan-Lusztig polynomial for (W, S ). Conjecturally this should hold for any finite Coxeter group W. There is a stronger formulation when W is a parabolic subgroup of W; see the next section. Example. Take W = S 4, w = 4231, x = Let W = S 2 S 2 be the group generated by reflections r 13 = 3214, r 24 = Then W x = {2143, 4123, 2341, 4321}. All but 4321 are in the interval [1, w], so the maximal elements of [1, w] W x are 4123 and The theorem gives P 2143,4231 (1) P 4123,4231 (1)P id,r 24 (1) + P 2341,4231 (1)P id,r 13 (1) = = 2, which holds since P 2143,4231 (q) = 1 + q. Note that this shows X 4231 is singular, even though all the Schubert varieties corresponding to terms on the right hand side are smooth.
8 8 SARA C. BILLEY AND TOM BRADEN Example. One can calculate P id, (1) = 44 in type A. This is the maximum value of P x,w for any x, w S 7. Let W S 9 be the subgroup generated by the reflections {r 13, r 34, r 45, r 57, r 78, r 89 }; it is a spanning subgroup isomorphic to S 7. If w = and x = , then W x = W w so M(x, w; W ) = {w}, giving φ(x) = and φ(w) = Hence, P x,w (1) P id, (1)P w,w(1) = Special cases/applications. The complicated interaction of the multiplicative structure of W and the Bruhat-Chevalley order makes determining the set M(x, w; W ) quite difficult. We mention two cases in which the answer is nice: (a): If w and x lie in the same W -coset then M(x, w; W ) = {w}, and the theorem says P x,w (1) P φ(x),φ(w)(1). This allows us to prove Theorem 1 from the introduction. We can pick x W w so that φ(x) = 1, which gives P id,w (1) P x,w (1) P id,φ(w) (1). The first inequality comes from the monotonicity of Kazhdan-Lusztig polynomials [I],[BrM2, Corollary 3.7]. (b): If either W or x 1 W x is a parabolic subgroup of W, then M(x, w; W ) has only one element. The case where x = 1 was studied by Billey, Fan, and Losonczy [BiFL]. Further, in this case the inequality will hold coefficient by coefficient rather than just at q = 1: Theorem 5. If W or x 1 W x is parabolic, then [q k ]P x,w [q i ]P y,w [q j ]P φ(x),φ(y), i+j=k where M(x, w; W ) = {y}. Here the notation [q k ]P means the coefficient of q k in the polynomial P. If both (a) and (b) hold, then Theorem 5 becomes a well-known equality (see [P, Lemma 2.6]): Theorem 6. If W or x 1 W x is a parabolic subgroup of W and w W x, then P x,w = P φ(x),φ(w). Theorem 6 can be thought of as a generalization of a theorem due to Brenti and Simion:
9 LOWER BOUNDS FOR KL POLYNOMIALS FROM PATTERNS 9 Theorem 7. [BreS] Let u, v S n. For any 1 i n such that {1, 2,..., i} appear in the same set of positions (though not necessarily in the same order) in both u and v, then P u,v (q) = P u[1,i],v[1,i] (q) P fl(u[i+1,n]),fl(v[i+1,n]) (q), where u[j, k] is obtained from u by only keeping the numbers j, j + 1,..., k in the order they appear in u. We demonstrate the relationship between the two theorems on an example. Let W 1 be generated by s 1, s 2, s 3 and let W 2 be generated by s 5, s 6, s 7. Let W = W 1 W 2 be the parabolic subgroup generated by all simple reflections in S 8 except s 4. Any pair x, w in the same coset of W/W (note that the quotient is on the right this time) satisfy the conditions of Theorem 7 and Theorem 6. Take x = and w = Then Theorem 6 (and the fact that P x,w (q) = P x 1,w 1(q) to change right cosets to left cosets), gives P , (q) = P φ( ),φ( ) (q) = P , = P 2143,4231 P 1324,4312 as determined by Theorem 7. The key step is that the function φ takes values in the reducible Coxeter group W 1 W 2 so P φ(x),φ(w) will be a product of two smaller Kazhdan-Lusztig polynomials. 4. Geometry of flag varieties We recall some basic facts about flag varieties. Let G be a connected linear algebraic group over C. The flag variety F associated to G has as points the Borel subgroups of G. G acts on F by conjugation: g B = gbg 1. Since any Borel group is its own normalizer, B is a fixed point of g if and only if g B. Since all Borel subgroups are conjugate, for any B F the map g gbg 1 induces a bijection G/B F. We will fix a particular Borel B and a maximal torus T contained in B. The Weyl group W = N G (T)/T is a finite Coxeter group, and the representation of W on t is the complexification of the reflection representation of W. The roots α are the weights of the adjoint action of T on g/t. The Borel group gbg 1 is a T-fixed point if and only if g N G (T), and so g gbg 1 induces a bijection between W and the set F T of T-fixed points. We will abuse notation and refer to a group element w W and the corresponding point wbw 1 F by the same symbol. The Schubert cell C w is the B-orbit of w in F; it is an affine space, and w its unique T-fixed point. The flag variety F is the disjoint union
10 10 SARA C. BILLEY AND TOM BRADEN of the C w. The Schubert variety X w is the closure of C w ; we have X w = x w C x Torus actions. Now consider a one-dimensional subtorus T 0 T. Let G = Z G (T 0 ), the centralizer of T 0, and for any subgroup H G, define ψ(h) = H G. Theorem 8. [Sp, Theorem 6.4.7] G is connected. If gbg 1 F is a Borel subgroup containing T 0, then ψ(gbg 1 ) is a Borel subgroup of G. Further, ψ(t) = T is a maximal torus in G. Fix a maximal torus and Borel in G by setting B = φ(b), T = φ(t). Let F be the flag variety of G. Let F T 0 be the fixed points of F under the T 0 action. Note that W = F T F T 0. Theorem 8 says geometrically that ψ is a G -equivariant map F T 0 F. The Weyl group of G is W = N G (T )/T = W (G /T ). Proposition 9. W is a spanning subgroup of W, and all spanning subgroups arise in this way for some choice of T 0. Proof. W is the stabilizer in W of the Lie algebra t 0 t. Since there is a W-equivariant identification of t R with t R, Theorem 3 then implies that W is a spanning subgroup. Conversely, if W is a spanning subgroup, then it is the stabilizer of a vector v t. Since W acts on t preserving the lattice of cocharacters of T, we can assume that Cv is the Lie algebra of a 1-dimensional subtorus T 0 T. We can now explain how the pattern map φ defined by Theorem 2 arises geometrically. Theorem 10. With the notation above, we have 1. The map ψ restricts to an isomorphism on each connected component of F T 0, 2. The following diagram commutes W φ W F T 0 where the horizontal arrows are the identifications with the set of T = T fixed-points of F and F respectively, and 3. If {C w } w W are the Schubert cells of the B -action on F, then for any w W the restriction of ψ is an isomorphism between C w F T 0 and C φ(w). F ψ
11 LOWER BOUNDS FOR KL POLYNOMIALS FROM PATTERNS 11 Proof. To show (1), it is enough to show that ψ is a finite map, since it is G -equivariant and its image F is maximal among the compact homogeneous spaces for G. But for any w F T = W, we have ψ 1 (w ) W = F T, since T = T implies T B 0 T ψ(b 0 ) for any B 0 F. In fact, this shows that ψ(f T ) = ψ((f ) T ), so ψ restricts to a map φ: W W. To prove (2), we will show that φ has the properties (a)-(c) of Theorem 2. As noted after that theorem, properties (a) and (c) are enough. The W -equivariance (a) follows immediately from the G -equivariance of ψ. To see that (c) holds, take x W and w W, and suppose that φ(x) φ(wx). This implies that φ(x) C = B φ(wx) φ(wx), and since x and wx lie in the same component of F T 0, we must have x B wx B wx = C wx, and so x wx. Therefore, φ = φ. Finally, (3) follows from the fact that C w F T 0 = B w Hyperbolic localization and purity. Let X 1... X r (r = W/W ) be the connected components of F T 0. Define a variety F + k = {x F lim t 0 t x X k}, and let F + be the disjoint (disconnected) union of all the F + k. Consider the obvious maps F T 0 f F + g F. Denote by D b (F) the derived category of algebraically constructible sheaves of Q-vector spaces on F. Definition. Given an object S D b (F), define its hyperbolic localization S T0 by S T0 = f! g S. This functor was first investigated by Kirwan [Ki], where she shows that if S is the intersection cohomology sheaf of a T 0 -invariant variety, then S and S T0 have isomorphic cohomology. This generalizes to singular varieties the fact that the Morse-Bott complex for a smooth projective variety is perfect. Hyperbolic localization also preserves the local Euler characteristic: take any S D b (F), and for a point p F, let χ p (S) denote the Euler characteristic of the stalk cohomology at p. Proposition 11. [Br] If p F T 0, then χ p (S) = χ p (S T0 ).
12 12 SARA C. BILLEY AND TOM BRADEN Furthermore, this functor extends to a functor on Saito s mixed Hodge modules [S] which preserves purity; see [Br]. Together with the B -equivariance of our varieties this implies the following. Given w W, v W, let L w, and L v be the intersection cohomology sheaves of the Schubert varieties X w and X v, respectively. Theorem 12. Take w W and 1 k r. There is a direct sum decomposition ψ ((L w ) T0 Xk ) m = L v j [d j ], for some v j W and the d j Z Proof of Theorem 4. The coefficients of Kazhdan-Lusztig polynomials are the local intersection cohomology Betti numbers of Schubert varieties [KL2]. In particular, for any x, w W, we have P x,w (1) = χ x (L w ) = dim Q H 2i ((L w ) x ), i using the fact that the stalk hypercohomology groups of L w vanish when i is odd (also note that this implies that the integers d j in Theorem 12 are always even). Now fix w, z W with z w, and let X k be the component of F T 0 containing W z. For every v W, let a j be the number of j for which v j = v in Theorem 12. Then we have (1) j=1 P x,w (1) = χ x (L w ) = χ x (ψ ((L w ) T0 Xk )) m ) = χ x (L v j [d j ] j=1 = y W z a y P φ(x),φ(y) (1) using Theorem 12 and Proposition 11 (note that the shift [d j ] does not change the Euler characteristic, since d j 2Z). If x W z but x / [1, w] then equation (1) implies a x = 0, since all the terms are nonnegative and P u,u = 1 for any u W. Now using (1) again shows that if y M(x; w; W ), i.e. y is maximal in [1, w] W x, then a y = P y,w (1). Evaluating (1) at x and keeping only the terms with y M(x, w; W ) proves Theorem 4. Remark. One could evaluate more of the a y coefficients in the equation P x,w (1) = y W z a yp φ(x),φ(y) (1). However, the resulting terms are complicated alternating sums of Kazhdan-Lusztig polynomials.
13 LOWER BOUNDS FOR KL POLYNOMIALS FROM PATTERNS Proof of Theorem 5. Theorem 5 will follow from the following claim: if W W is parabolic and X k is a fixed-point component of a torus T 0 = C acting on F and (X k ) T = xw is a right coset of W, then T 0 can be chosen so that the action is completely repelling near X k, meaning that the set of points attracted to F + k is just X k itself. If this is true, then setting h: X k F T 0 for the inclusion, we have (S T0 ) Xk = h! f! g S = (fh)! g S = (fh) g S = S Xk for any S D b (F), since both h and fh are open immersions. Thus if x 1 W x = W is parabolic, we have W x = xw, and so we can assume hyperbolic localization to X k is just ordinary restriction. The same argument given for Theorem 4 now proves Theorem 5, using local Poincaré polynomials instead of local Euler characteristics. If instead we assume that W is parabolic, we can make the same argument work by using the antiinvolution g g 1 to replace left cosets by right cosets, since P x 1,w 1 = P x,w for all x, w W. To see the claim, suppose that W = W I is generated by simple reflections {s α } α I for some subset I S, and let µ t be a dominant integral cocharacter with (ker µ) Π = I. Then letting T 0 T be the one-dimensional subgroup corresponding to Ad(x)µ defines the required action. References [BeBe] A. Beilinson and J. Bernstein, Localisation de g-modules, C. R. Acad. Sci. Paris Ser. I Math. 292 (1981), no. 1, [Bi] S. Billey, Pattern avoidance and rational smoothness of Schubert varieties Adv. Math. 139 (1998), no. 1, [BiFL] S. Billey, C.K. Fan, and J. Losonczy, The Parabolic map. J. Algebra, 214 (1999), no. 1, 1 7. [BiP] S. Billey and A. Postnikov, A root system description of pattern avoidance with applications to Schubert varieties. In preparation. [BiW] S. Billey and G. Warrington, Kazhdan Lusztig Polynomials for 321-hexagonavoiding permutations, J. Alg. Comb. 13 (2000), pp [BiW2], Maximal Singular Loci of Schubert Varieties in SL n /B, to appear Trans. of AMS. [Br] T. Braden, Hyperbolic localization preserves purity, preprint math.ag/ , 7 pp., submitted. [BrM] T. Braden and R. MacPherson, Intersection homology of toric varieties and a conjecture of Kalai, Comment. Math. Helv. 74 (1999), no. 3, [BrM2], From moment graphs to intersection cohomology, Math. Ann. 321 (2001) no. 3, [BreS] F. Brenti and R. Simion, Enumerative aspects of some Kazhdan-Lusztig polynomials, Preprint, (1998). [BryK] J.-L. Brylinski and M. Kashiwara, Kazhdan-Lusztig conjecture and holonomic systems, Invent. Math. 64 (1981), no. 3,
14 14 SARA C. BILLEY AND TOM BRADEN [Car] J. Carrell, The Bruhat graph of a Coxeter group, a conjecture of Deodhar, and rational smoothness of Schubert varieties, Proceedings of Symposia in Pure Math., 56 (1994), [Co] A. Cortez, Singularites generiques des varietes de Schubert covexillaires, Ann. Inst. Fourier (Grenoble) 51 (2001), no. 2, [Co2] A. Cortez, Singularites generiques et quasi-resolutions des varietes de Schubert pour le groupe lineaire, preprint math.ag/ (submitted). [De] V. Deodhar, Local Poincaré duality and nonsingularity of Schubert varieties, Comm. Algebra 13 (1985), no. 6, [GM2], Intersection homology II, Invent. Math. 72 (1983), no. 1, [H] J. Humphreys, Reflection groups and Coxeter groups, Cambridge studies in advanced mathematics 29. [I] R. Irving, The socle filtration of a Verma module, Ann. Sci. École Norm. Sup. series 4 21 (1988), no. 1, [KL1] D. Kazhdan and G. Lusztig, Representations of Coxeter groups and Hecke algebras, Invent. Math., 53 (1979), [KL2], Schubert varieties and Poincaré duality, Proc. Symp. Pure. Math., AMS, 36 (1980), [Ki] F. Kirwan, Intersection homology and torus actions, J. Amer. Math. Soc. 1 (1988), no. 2, [LS] V. Lakshmibai and B. Sandhya, Criterion for smoothness of Schubert varieties in Sl(n)/B Proc. Indian Acad. Sci. Math. Sci. 100 (1990), no. 1, [LasSc] A. Lascoux and M.P. Schützenberger, Polynômes de Kazhdan and Lusztig pour les grassmanniennes. (French) [Kazhdan Lusztig polynomials for Grassmannians], Astérisque, (1981), , Young tableaux and Schur functions in algebra and geometry (Toruń, 1980). [KLR] C. Kassel, A. Lascoux and C. Reutenauer, The singular locus of a Schubert variety, Prépublication de l Institut de Recherche Mathématique Avancée (2001). To appear J. of Alg. [Ma] L. Manivel, Le lieu singulier des varietes de Schubert, preprint arxiv:math.ag/ (2001). [P], P. Polo, Construction of arbitrary Kazhdan-Lusztig polynomials in symmetric groups Represent. Theory 3 (1999), (electronic). [S] M. Saito, Introduction to mixed Hodge modules, Astérisque (1989), [Sp] T. Springer, Linear algebraic groups, Second edition. Birkhäuser, Boston, MA, [St] J. Stembridge, On the fully commutative elements of Coxeter groups, J. Algebraic Combin. 5 (1996), no. 4, Dept. of Mathematics, 2-334, Massachusetts Institute of Technology, Cambridge, MA address: billey@math.mit.edu Dept. of Mathematics and Statistics, University of Massachusetts, Amherst, MA address: braden@math.umass.edu
LOWER BOUNDS FOR KAZHDAN LUSZTIG POLYNOMIALS FROM PATTERNS
Transformation Groups, Vol. 8, No. 4, 2003, pp. 321 332 c Birkhäuser Boston (2003) LOWER BOUNDS FOR KAZHDAN LUSZTIG POLYNOMIALS FROM PATTERNS SARA C. BILLEY Department of Mathematics, Massachusetts Institute
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 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 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 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 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 informationjoint with Alberto Mínguez
joint with Alberto Mínguez We consider (complex, smooth, finite length) representations of GL n (F ) where F is a non-archimedean local field. We write Irr = n 0 Irr GL n (F ) (equivalence classes of irreducible
More informationTHE p-smooth LOCUS OF SCHUBERT VARIETIES. Let k be a ring and X be an n-dimensional variety over C equipped with the classical topology.
THE p-smooth LOCUS OF SCHUBERT VARIETIES GEORDIE WILLIAMSON ABSTRACT. These are notes from talks given at Jussieu (seminaire Chevalley), Newcastle and Aberdeen (ARTIN meeting). They are intended as a gentle
More 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 informationPermutations with Kazhdan-Lusztig polynomial P id,w (q) = 1 + q h
Permutations with Kazhdan-Lusztig polynomial P id,w (q) = 1 + q h Alexander Woo Department of Mathematics, Statistics, and Computer Science Saint Olaf College 1520 Saint Olaf Avenue Northfield, MN 55057
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 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 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 informationWORKING SEMINAR SHEAVES IN REPRESENTATION THEORY
WORKING SEMINAR SHEAVES IN REPRESENTATION THEORY The participants are invited to choose a talk in the following list. We have classified the talks into several streams, which we have abbreviated as follows:
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 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 information1. Introduction
Séminaire Lotharingien de Combinatoire 49 (2002), Article B49a AVOIDING 2-LETTER SIGNED PATTERNS T. MANSOUR A AND J. WEST B A LaBRI (UMR 5800), Université Bordeaux, 35 cours de la Libération, 33405 Talence
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 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 informationParameterizing orbits in flag varieties
Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.
More informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 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
More informationLOWER BOUNDARY HYPERPLANES OF THE CANONICAL LEFT CELLS IN THE AFFINE WEYL GROUP W a (Ãn 1) Jian-yi Shi
LOWER BOUNDARY HYPERPLANES OF THE CANONICAL LEFT CELLS IN THE AFFINE WEYL GROUP W a (Ãn 1) Jian-yi Shi Department of Mathematics, East China Normal University, Shanghai, 200062, China and Center for Combinatorics,
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 Kac-Moody
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationOn (B N, A N 1 ) parabolic Kazhdan Lusztig Polynomials
On (B N, A N 1 ) parabolic Kazhdan Lusztig Polynomials Keiichi Shigechi Faculty of Mathematics, Kyushu University, Fukuoka 819395, Japan 1 Introduction Kazhdan and Lusztig introduced Kazhdan Lusztig polynomials
More informationGEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS
GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS ANA BALIBANU DISCUSSED WITH PROFESSOR VICTOR GINZBURG 1. Introduction The aim of this paper is to explore the geometry of a Lie algebra g through the action
More informationON SOME PARTITIONS OF A FLAG MANIFOLD. G. Lusztig
ON SOME PARTITIONS OF A FLAG MANIFOLD G. Lusztig Introduction Let G be a connected reductive group over an algebraically closed field k of characteristic p 0. Let W be the Weyl group of G. Let W be the
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 informationA PROOF OF THE KAZHDAN-LUSZTIG PURITY THEOREM VIA THE DECOMPOSITION THEOREM OF BBD
A PROOF OF THE KAZHDAN-LUSZTIG PURITY THEOREM VIA THE DECOMPOSITION THEOREM OF BBD THOMAS J. HAINES 1. Introduction The purpose of this note is to present the modern proof of the purity result of Kazhdan-Lusztig
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 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, Raben-Pedersen and Thomsen proved that Schubert varieties are globally F -regular. We give
More informationCoxeter-Knuth Classes and a Signed Little Bijection
Coxeter-Knuth Classes and a Signed Little Bijection Sara Billey University of Washington Based on joint work with: Zachary Hamaker, Austin Roberts, and Benjamin Young. UC Berkeley, February, 04 Outline
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 informationCounting matrices over finite fields
Counting matrices over finite fields Steven Sam Massachusetts Institute of Technology September 30, 2011 1/19 Invertible matrices F q is a finite field with q = p r elements. [n] = 1 qn 1 q = qn 1 +q n
More informationConjugacy Classes in Semisimple Algebraic Groups (Revisions)
Conjugacy Classes in Semisimple Algebraic Groups (Revisions) Subtract 4 from each page number in the Index. (This production error seems to be corrected in the paperback reprint.) 7 In line 3 replace M
More informationSmoothness of Schubert varieties via patterns in root subsystems
Advances in Applied Mathematics 34 (2005) 447 466 www.elsevier.com/locate/yaama Smoothness of Schubert varieties via patterns in root subsystems Sara Billey a,1,, Alexander Postnikov b,2 a Department of
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 informationA relative version of Kostant s theorem
A relative version of Kostant s theorem 1 University of Vienna Faculty of Mathematics Srni, January 2015 1 supported by project P27072 N25 of the Austrian Science Fund (FWF) This talk reports on joint
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationarxiv: v1 [math.rt] 14 Nov 2007
arxiv:0711.2128v1 [math.rt] 14 Nov 2007 SUPPORT VARIETIES OF NON-RESTRICTED MODULES OVER LIE ALGEBRAS OF REDUCTIVE GROUPS: CORRIGENDA AND ADDENDA ALEXANDER PREMET J. C. Jantzen informed me that the proof
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 informationCombinatorial properties of the Temperley Lieb algebra of a Coxeter group
J Algebr Comb 2013 37:717 736 DOI 10.1007/s10801-012-0384-y Combinatorial properties of the Temperley Lieb algebra of a Coxeter group Alfonso Pesiri Received: 2 November 2011 / Accepted: 19 June 2012 /
More informationCoxeter-Knuth Graphs and a signed Little Bijection
Coxeter-Knuth Graphs and a signed Little Bijection Sara Billey University of Washington http://www.math.washington.edu/ billey AMS-MAA Joint Meetings January 17, 2014 0-0 Outline Based on joint work with
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 k-subgroup
More informationToshiaki Shoji (Nagoya University) Character sheaves on a symmetric space and Kostka polynomials July 27, 2012, Osaka 1 / 1
Character sheaves on a symmetric space and Kostka polynomials Toshiaki Shoji Nagoya University July 27, 2012, Osaka Character sheaves on a symmetric space and Kostka polynomials July 27, 2012, Osaka 1
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 b-function, is an important invariant of
More informationNotes on Partial Resolutions of Nilpotent Varieties by Borho and Macpherson
Notes on Partial Resolutions of Nilpotent Varieties by Borho and Macpherson Chris Elliott January 14th, 2014 1 Setup Let G be a complex reductive Lie group with Lie algebra g. The paper [BM83] relates
More informationQuotients of Poincaré Polynomials Evaluated at 1
Journal of Algebraic Combinatorics 13 (2001), 29 40 c 2001 Kluwer Academic Publishers. Manufactured in The Netherlands. Quotients of Poincaré Polynomials Evaluated at 1 OLIVER D. ENG Epic Systems Corporation,
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 informationSYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS
1 SYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS HUAJUN HUANG AND HONGYU HE Abstract. Let G be the group preserving a nondegenerate sesquilinear form B on a vector space V, and H a symmetric subgroup
More informationA GEOMETRIC JACQUET FUNCTOR
A GEOMETRIC JACQUET FUNCTOR M. EMERTON, D. NADLER, AND K. VILONEN 1. Introduction In the paper [BB1], Beilinson and Bernstein used the method of localisation to give a new proof and generalisation of Casselman
More informationA SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES
A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X
More informationCYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138
CYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138 Abstract. We construct central extensions of the Lie algebra of differential operators
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 informationLongest element of a finite Coxeter group
Longest element of a finite Coxeter group September 10, 2015 Here we draw together some well-known properties of the (unique) longest element w in a finite Coxeter group W, with reference to theorems and
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationarxiv:math.ag/ v2 29 Jun 2006
GOVERNING SINGULARITIES OF SCHUBERT VARIETIES ALEXANDER WOO AND ALEXANDER YONG arxiv:math.ag/0603273 v2 29 Jun 2006 ABSTRACT. We present a combinatorial and computational commutative algebra methodology
More informationThe Affine Grassmannian
1 The Affine Grassmannian Chris Elliott March 7, 2013 1 Introduction The affine Grassmannian is an important object that comes up when one studies moduli spaces of the form Bun G (X), where X is an algebraic
More informationarxiv:math/ v1 [math.ag] 19 Sep 2005
arxiv:math/0509418v1 [math.ag] 19 Sep 005 ON TORSION IN HOMOLOGY OF SINGULAR TORIC VARIETIES Andrzej Weber Instytut Matematyki, Uniwersytet Warszawski August 005 Abstract Let X be a toric variety. Rationally
More informationRepresentations Are Everywhere
Representations Are Everywhere Nanghua Xi Member of Chinese Academy of Sciences 1 What is Representation theory Representation is reappearance of some properties or structures of one object on another.
More informationSARA C. BILLEY AND STEPHEN A. MITCHELL
AFFINE PARTITIONS AND AFFINE GRASSMANNIANS SARA C. BILLEY AND STEPHEN A. MITCHELL Abstract. We give a bijection between certain colored partitions and the elements in the quotient of an affine Weyl group
More information16.2. Definition. Let N be the set of all nilpotent elements in g. Define N
74 16. Lecture 16: Springer Representations 16.1. The flag manifold. Let G = SL n (C). It acts transitively on the set F of complete flags 0 F 1 F n 1 C n and the stabilizer of the standard flag is the
More informationNew results on the combinatorial invariance of Kazhdan-Lusztig polynomials
Formal Power Series and Algebraic Combinatorics Séries Formelles et Combinatoire Algébrique San Diego, California 2006 New results on the combinatorial invariance of Kazhdan-Lusztig polynomials Federico
More informationSARA BILLEY AND IZZET COSKUN
SINGULARITIES OF GENERALIZED RICHARDSON VARIETIES SARA BILLEY AND IZZET COSKUN Abstract. Richardson varieties play an important role in intersection theory and in the geometric interpretation of the Littlewood-Richardson
More informationBraid group actions on categories of coherent sheaves
Braid group actions on categories of coherent sheaves MIT-Northeastern Rep Theory Seminar In this talk we will construct, following the recent paper [BR] by Bezrukavnikov and Riche, actions of certain
More informationOn the Fully Commutative Elements of Coxeter Groups
Journal of Algebraic Combinatorics 5 (1996), 353-385 1996 Kluwer Academic Publishers. Manufactured in The Netherlands. On the Fully Commutative Elements of Coxeter Groups JOHN R. STEMBRIDGB* Department
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationDefining equations for some nilpotent varieties
1 Defining equations for some nilpotent varieties Eric Sommers (UMass Amherst) Ben Johnson (Oklahoma State) The Mathematical Legacy of Bertram Kostant MIT June 1, 2018 Kostant s interest in the Buckyball
More informationA Gauss-Bonnet theorem for constructible sheaves on reductive groups
A Gauss-Bonnet theorem for constructible sheaves on reductive groups V. Kiritchenko 1 Introduction In this paper, we prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive 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 informationCombinatorial models for the variety of complete quadrics
Combinatorial models for the variety of complete quadrics Soumya D. Banerjee, Mahir Bilen Can, Michael Joyce October 21, 2016 Abstract We develop several combinatorial models that are useful in the study
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 informationSmooth Schubert Varieties are Spherical
Smooth Schubert Varieties are Spherical Mahir Bilen Can 1 and Reuven Hodges 2 arxiv:1803.05515v3 [math.ag] 18 Sep 2018 1 Tulane University, New Orleans; mahirbilencan@gmail.com 2 Northeastern University;
More informationCover Page. Author: Yan, Qijun Title: Adapted deformations and the Ekedahl-Oort stratifications of Shimura varieties Date:
Cover Page The handle http://hdl.handle.net/1887/56255 holds various files of this Leiden University dissertation Author: Yan, Qijun Title: Adapted deformations and the Ekedahl-Oort stratifications of
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 informationA partition of the set of enhanced Langlands parameters of a reductive p-adic group
A partition of the set of enhanced Langlands parameters of a reductive p-adic group joint work with Ahmed Moussaoui and Maarten Solleveld Anne-Marie Aubert Institut de Mathématiques de Jussieu - Paris
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationPeter Magyar Research Summary
Peter Magyar Research Summary 1993 2005 Nutshell Version 1. Borel-Weil theorem for configuration varieties and Schur modules One of the most useful constructions of algebra is the Schur module S λ, an
More informationEquivariant K -theory and hook formula for skew shape on d-complete set
Equivariant K -theory and hook formula for skew shape on d-complete set Hiroshi Naruse Graduate School of Education University of Yamanashi Algebraic and Enumerative Combinatorics in Okayama 2018/02/20
More informationNILPOTENT ORBITS: GEOMETRY AND COMBINATORICS
NILPOTENT ORBITS: GEOMETRY AND COMBINATORICS YUZHOU GU MENTOR: KONSTANTIN TOLMACHOV PROJECT SUGGESTED BY: ROMAN BEZRUKAVNIKOV Abstract. We review the geometry of nilpotent orbits, and then restrict to
More informationCHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0. Mitya Boyarchenko Vladimir Drinfeld. University of Chicago
CHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0 Mitya Boyarchenko Vladimir Drinfeld University of Chicago Some historical comments A geometric approach to representation theory for unipotent
More informationHighest-weight Theory: Verma Modules
Highest-weight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semi-simple Lie algebra (or,
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 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 informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationSOME GEOMETRIC FACETS OF THE LANGLANDS CORRESPONDENCE FOR REAL GROUPS
SOME GEOMETRIC FACETS OF THE LANGLANDS CORRESPONDENCE FOR REAL GROUPS R VIRK arxiv:13127483v5 [mathrt] 6 Nov 2014 1 Introduction Let G be a reductive algebraic group defined over R The local Langlands
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More informationNotes on Weyl modules for semisimple algebraic groups
Notes on Weyl modules for semisimple algebraic groups October 24, 2014 Over many decades of development, there has been some evolution in the language and notation used for Weyl modules in the theory of
More informationSymplectic varieties and Poisson deformations
Symplectic varieties and Poisson deformations Yoshinori Namikawa A symplectic variety X is a normal algebraic variety (defined over C) which admits an everywhere non-degenerate d-closed 2-form ω on the
More informationDUALITY OF ANTIDIAGONALS AND PIPE DREAMS
Séminaire Lotharingien de Combinatoire 58 (2008) Article B58e DUALITY OF ANTIDIAGONALS AND PIPE DREAMS NING JIA AND EZRA MILLER The cohomology ring H (Fl n ) of the manifold of complete flags in a complex
More informationON THE BRUHAT ORDER OF THE SYMMETRIC GROUP AND ITS SHELLABILITY
ON THE BRUHAT ORDER OF THE SYMMETRIC GROUP AND ITS SHELLABILITY YUFEI ZHAO Abstract. In this paper we discuss the Bruhat order of the symmetric group. We give two criteria for comparing elements in this
More information(Equivariant) Chern-Schwartz-MacPherson classes
(Equivariant) Chern-Schwartz-MacPherson classes Leonardo Mihalcea (joint with P. Aluffi) November 14, 2015 Leonardo Mihalcea (joint with P. Aluffi) () CSM classes November 14, 2015 1 / 16 Let X be a compact
More informationEQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TEN: MORE ON FLAG VARIETIES
EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TEN: MORE ON FLAG VARIETIES WILLIAM FULTON NOTES BY DAVE ANDERSON 1 A. Molev has just given a simple, efficient, and positive formula for the structure
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 informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationHomology of the Steinberg Variety and Weyl Group Coinvariants
Documenta Math. 339 Homology of the Steinberg Variety and Weyl Group Coinvariants J. Matthew Douglass and Gerhard Röhrle 1 Received: September 1, 2008 Revised: July 31, 2009 Communicated by Wolfgang Soergel
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 informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationCHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0. Mitya Boyarchenko Vladimir Drinfeld. University of Chicago
arxiv:1301.0025v1 [math.rt] 31 Dec 2012 CHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0 Mitya Boyarchenko Vladimir Drinfeld University of Chicago Overview These are slides for a talk given
More informationarxiv:math/ v1 [math.ag] 24 Nov 1998
Hilbert schemes of a surface and Euler characteristics arxiv:math/9811150v1 [math.ag] 24 Nov 1998 Mark Andrea A. de Cataldo September 22, 1998 Abstract We use basic algebraic topology and Ellingsrud-Stromme
More information