PERMUTATION REPRESENTATIONS ON SCHUBERT VARIETIES arxiv:math/ v2 [math.rt] 4 Jun 2007

Transcription

1 PERMUTATION REPRESENTATIONS ON SCHUBERT VARIETIES arxiv:math/64578v2 [mathrt] 4 Jun 27 JULIANNA S TYMOCZKO Abstract This paper defines and studies permutation representations on the equivariant cohomology of Schubert varieties, as representations both over C and over C[t 1, t 2,, t n] We show these group actions are the same as an action of simple transpositions studied geometrically by M Brion, and give topological meaning to the divided difference operators of Berstein-Gelfand- Gelfand, Demazure, Kostant-Kumar, and others We analyze these representations using the combinatorial approach to equivariant cohomology introduced by Goresky-Kottwitz-MacPherson We find that each permutation representation on equivariant cohomology produces a representation on ordinary cohomology that is trivial, though the equivariant representation is not 1 Introduction Geometric representation theory is an important approach to understanding permutation representations It builds algebraic varieties whose cohomology carries group actions and uses the geometric structure to analyze the representations However, constructions of these representations to date are either not elementary (eg [Sp], [BoM], or [L]) or not explicit (eg [S] or [P]) We rectify this situation This paper constructs permutation representations on cohomology and equivariant cohomology of Schubert varieties in a simple yet concrete fashion Divided difference operators akin to those of Bernstein-Gelfand-Gelfand [BGG] and Demazure [D] result naturally from this geometric representation Denote the flag variety by the quotient GL n (C)/B, where B is the group of invertible upper-triangular matrices Let [g] be the flag corresponding to the matrix g For each permutation matrix w, the Schubert variety X w is the closure of the flags [Bw] in GL n (C)/B Schubert varieties are studied because they form a natural basis for the (equivariant) cohomology of the flag variety, and have deep combinatorial connections The diagonal matrices in GL n (C) act on each Schubert variety: if t is diagonal and [g] is in X w then t [g] = [tg] We study H T (X w) for this torus This paper considers the action of the permutation group S n on equivariant and ordinary cohomology induced from the geometric action of u S n on [g] GL n (C)/B given by u [g] = [u 1 g] Corollary 21 provides a simple formula for the action of an arbitrary element of S n on each equivariant class in H T (GL n(c)/b) We then obtain an explicit formula for the action of a simple transposition on the basis of equivariant Schubert classes, which is the core of our work If s i,i+1 S n MSC primary 2C3, secondary 5E1, 14M15, 55N91, 2F55 The author was partially supported by NSF grant

2 2 JULIANNA S TYMOCZKO is the simple transposition (i, i + 1) and [Ω v ] Xw is a Schubert class in X w then { [Ωv ] (1) s i,i+1 [Ω v ] Xw = Xw if s i,i+1 v > v and [Ω v ] Xw + (t i+1 t i )[Ω si,i+1v] Xw if s i,i+1 v < v This formula was proven by M Brion in [B, Proposition 62] using geometric methods that can only construct the action of simple transpositions on H T (X w) We show the action in [B] derives from the global geometric action of S n on GL n (C)/B Equivariant cohomology surjects onto ordinary cohomology by the map that sends each t i Together with Equation (1), this is part of the main theorem: Theorem 11 Fix a permutation w Denote the trivial representation in degree d by 1 d The action of u S n on [g] GL n (C)/B given by u [g] = [u 1 g] induces an action of S n on both H T (X w) and H (X w ) with the following properties: (1) H T (X w) is isomorphic to [v] [S n] X w 1 l(v) C[t 1,, t n ] as a graded C[S n ]-module, where S n acts on C[t 1,, t n ] by permuting the variables; (2) H T (X w) is isomorphic to [v] [S n] X w 1 l(v) as a graded twisted module over C[t 1,, t n ][S n ]; and (3) H (X w ) is isomorphic to [v] [S n] X w 1 l(v) as a graded C[S n ]-module Since the group GL n (C) is connected, the endomorphism on GL n (C)/B given by u [g] = [u 1 g] is homotopic to the identity for each u GL n (C), including u S n Thus the action induced by S n on the ordinary cohomology H (GL n (C)/B) is trivial However, the map u [g] = [u 1 g] is not T-equivariant, so this fails for equivariant cohomology (indeed, Equation (1) shows S n does not act trivially on equivariant Schubert classes) Moreover, the action u [g] = [u 1 g] is not generally well-defined on the Schubert variety X w In fact S n does act on the cohomology of Schubert varieties and this action is trivial because it is a quotient of a direct sum of trivial representations An open question is to interpret this action geometrically Rewriting Equation (1) gives the divided difference operator [X] [X] si,i+1[x] t i t i+1 First defined by Bernstein-Gelfand-Gelfand [BGG] and Demazure [D], divided difference operators have been widely used to analyze the algebraic structure of H (GL n (C)/B) (eg [KK1], [KK2]) and to find Schubert polynomials, namely nice representatives for Schubert classes (eg [LS], [BJS], [FK]); [F2] has a survey This paper is atypical in treating HT (GL n(c)/b) as a subring of a product of n! polynomial rings rather than as a quotient ring (see also [KK1], [KK2], and [B]) The group S n acts naturally on HT (GL n(c)/b) by both left and right multiplication on the index set, though this distinction is often elided in the literature The two actions give divided difference operators in very different ways We consider the action of left multiplication and its left divided difference operator; the other case is in [T2] The formula for the left divided difference operator is that of Bernstein- Gelfand-Gelfand/Demazure, but the morphism is not This case is also studied in [B], where it is misidentified as the Bernstein-Gelfand-Gelfand/Demazure operator In fact, the right divided difference operators defined by Kostant-Kumar in [KK1], [KK2] were proven in [A] to be the divided difference operators of Bernstein-Gelfand-Gelfand and Demazure If HT (GL n(c)/b) is presented as a quotient ring, the left divided difference operator is the divided difference operator in the y-variables of double Schubert polynomials (see eg [F1]) Unusually, our arguments rely primarily on elementary combinatorics

3 PERMUTATION REPRESENTATIONS ON SCHUBERT VARIETIES 3 Our approach to equivariant cohomology uses the method of M Goresky, R Kottwitz, and R MacPherson [GKM], which translates topological data of cohomology into a purely combinatorial calculation and is sketched in Section 22 ([KK1] and [KK2] essentially develop GKM theory by hand for GL n (C)/B) The GKM method applies to Schubert varieties, as described in [C] The ring H T (X w) has a special basis of Schubert classes produced by a combinatorial algorithm modeled on work of Guillemin-Zara and Knutson-Tao [GZ1], [GZ2], [KT] These classes are also the Kostant-Kumar ξ v -classes of [KK1] and [KK2] Section 23 discusses these bases for more general algebraic varieties than in [GZ1], [GZ2] Section 3 contains the equivariant cohomology calculations Our statements and proofs are first given for flags over GL n (C) Nonetheless, these results hold for all Lie types Our presentation was chosen because the exposition is more concrete for GL n (C), because some readers will primarily be interested in this case, and because the reader interested in other Lie types can usually extrapolate those results immediately from our description of the special casethe general statements and all proofs that do not just change notation are in Section 4 The author gratefully thanks Charles Cadman, William Fulton, Mel Hochster, Robert MacPherson, John Stembridge, and the referee for helpful comments 2 Background 21 Permutation statistics We fix notation and give background about flag varieties and permutations As before, B denotes the group of invertible upper-triangular matrices The flag variety is denoted G/B, and its typical element is denoted [g] We also consider [g] to be the collection of nested subspaces whose i-dimensional subspace is the span of the first i columns of g, for each i Fix the standard basis e 1, e 2,, e n in C n Each permutation matrix w also gives an element [w] of the flag variety We use the same notation for the matrix w and for the permutation on {1, 2,, n} given by we i = e w(i) We write s jk to denote the transposition that exchanges j and k If u is a matrix, its (i, j) entry is denoted u ij Definition 21 For each permutation w, define the subgroup U w of GL n to be { u B : uii = 1 for each i, and if i j then u ij = unless w 1 (i) > w 1 (j) } The nonzero, nondiagonal entries in U w are important in what follows Definition 22 A pair (i, j) is an inversion for w if i < j and w 1 (i) > w 1 (j) The set I w = {t i t j : i < j, w 1 (i) > w 1 (j)} is a collection of binomials bijectively associated to the inversions for w More generally, I w is the set of the positive roots that w sends to negative roots Definition 23 For each j k and c C, define the matrix G jk (c) by 1 if i = l, (G jk (c)) il = c if i = j and k = l, and otherwise The group {G jk (c) : c C} is a subgroup of U w if j < k and w 1 (j) > w 1 (k) Lie theoretically, the group {G jk (c) : c C} is a root subgroup

4 4 JULIANNA S TYMOCZKO If w is a permutation, then [Bw] is the Schubert cell corresponding to w and X w = [Bw] is the corresponding Schubert variety For each w, the Schubert cell [Bw] is homeomorphic to affine space and is parametrized by the subgroup U w The flag variety is the disjoint union w S n [Bw] Proposition 24 Each flag in the Schubert cell [Bw] can be written uniquely as a matrix of the form U w w Each matrix g U w w can be written uniquely as g = w +u, where u is zero except in entries u ij that are both to the left and above a nonzero entry in w If w and v are permutations, we say that w v if [Bw] [Bv] The length of the permutation w is l(w) = dim[bw] We have l(w) = I w by construction The combinatorial argument in the next proof is similar to [KM, Section 3] Similar results appear in the literature (especially [BGG, Lemma 24]); since we were unable to find this formulation, we include it here Section 4 contains the general proof Lemma 25 If j < k and w is a permutation with l(s jk w) = l(w) + 1 then (1) the inversions I sjk w = {t j t k } I w mod(t j t k ) with multiplicity; and (2) if s i,i+1 is a simple transposition with s i,i+1 w > w then s i,i+1 s jk w > s jk w Proof We use Proposition 24 repeatedly Figure 1 is a schematic for the matrices A B C 1 D E F 1 U w w A B C a F 1 D E 1 U sjk ws jk w Figure 1 Transposing U w w U sjk ws jk w and U w w We first confirm that the matrices are labeled correctly The matrices differ only in the columns and rows indicated in Figure 1 Regions A, B, C, and E have the same free entries in U w w as in U sjk ws jk w The entry labeled a is free in one set but not in the other Region D has all of the nonzero entries from D, plus perhaps additional nonzero entries; similarly for F and F We conclude that the matrices on the right are translated by a permutation of greater length than those on the left, which means they must be U sjk ws jk w Now compare U w to U sjk w in Figure 2 If l(s jk w) = l(w) + 1 then in fact D and D have the same nonzero entries, as do F and F The entry marked a is free in U sjk w but not in U w, so I sjk w contains t j t k while I w does not Other than t j t k, the multisets I sjk w mod(t j t k ) and I w mod(t j t k ) are the same

5 PERMUTATION REPRESENTATIONS ON SCHUBERT VARIETIES 5 A B 1 C C D 1 E, F B A 1 C, F a C, F D 1 E U w U sjk w Figure 2 The subgroups U w and U sjk w For the last part, we also use Figure 2 We are given that entry (i, i + 1) is zero in U w and need to show that entry (i, i+1) is zero in U sjk w If (i, i+1) is in region A in U w then entry (i, k) in region B of U w is also zero, according to the description of the matrices U w w in Proposition 24 If (i, i + 1) is in region C or E in U w then it is unchanged in U sjk w This is true also if (i, i + 1) is in region D of U w, since the free entries of D and D are exactly the same If (i, i + 1) is in region F, then entry (i, i + 1) is zero in U sjk w by construction If (i, i + 1) is in region F then to be above the diagonal it must be between the j th and k th columns In that case, it is zero in U sjk w since F and F have the same free columns No other free entry in U w differs from that in U sjk w The next lemma specializes the previous argument Lemma 26 If s i,i+1 w > w, the inversions satisfy I si,i+1w = {t i t i+1 } s i,i+1 I w, where s i,i+1 acts on C[t 1,, t n ] by s i,i+1 (t l ) = t si,i+1(l) for each l Proof Consider Lemma 251 in the case when s jk = s i,i+1 The free entries in regions C and E of Figure 1 are exactly the same, and the regions marked D and D do not exist Figure 2 now looks like: A B 1 C 1 C, F B A 1 a C, F 1 C The inversions in columns i and i + 1 and rows i and i + 1 are exchanged 22 GKM theory The GKM method reduces the task of identifying equivariant cohomology of a suitable space X to an algebraic computation on a combinatorial graph associated to X We sketch this method; the reader interested in more is encouraged to see the original paper [GKM], the survey [T1], or the very nice presentation in the introduction of [KT] Let X be a complex projective algebraic variety with a linear algebraic action of a torus T = C C that satisfies the following conditions: the torus has finitely many fixed points as well as finitely many one-dimensional orbits in X; and

6 6 JULIANNA S TYMOCZKO X is equivariantly formal, a technical property that holds if, for instance, X has no odd-dimensional (ordinary) cohomology These are the GKM conditions Any X satisfying the GKM conditions is called a GKM variety The group G acts on the flag variety G/B by h [g] = [hg] If T is the torus consisting of all diagonal matrices in G, the G-action restricts to a T-action Many subvarieties of the flag variety do not carry this torus action However, Schubert varieties do and are equivariantly formal with respect to this T-action We give the following result for completeness, though it is not new Proposition 27 Every Schubert variety is T-equivariant and is equivariantly formal with respect to this action Proof Each Schubert variety has a cell decomposition as a union of Schubert cells Each Schubert variety is T-closed since it is B-closed No Schubert variety has odd-dimensional cohomology since each [Bw] is a complex affine cell Consequently, every Schubert variety is equivariantly formal with respect to every possible torus action by [GKM, Theorem 14] When X satisfies the GKM conditions, the closure of each one-dimensional T- orbit in X is homeomorphic to P 1 Both the origin and the point at infinity of P 1 correspond to T-fixed points in X If O is a one-orbit in X and N O and S O are the T-fixed points in O, then the torus acts on the tangent space T NO (O) with weight α if and only if the torus acts on the tangent space T SO (O) with weight α (see [GKM, 711]) In this case, we associate to X a labeled directed graph called the moment graph of X The vertices of the moment graph of X are the T-fixed points in X, denoted X T If v and w are two vertices, there is an edge between v and w exactly when there is a one-orbit in X whose closure contains both v and w Given a directed edge v w with associated one-orbit O, the edge v w is labeled with the weight of the torus action on the tangent space T v (O) (The moment graph of X is not canonically directed; see Section 23 for more) The flag variety is the example that forms the basis of the calculations in this paper Part 1 of the next proposition describes the moment graph for the flag variety GL n /B, as stated (in more generality) in [C, Theorem F] Figure 3 gives the moment graph when n = 3, drawn so that each edge is directed from the higher endpoint to the lower endpoint t 1 t 2 t 2 t 3 t 1 t 3 (13) (123) (132) (12) (23) e Figure 3 The moment graph for G/B when n = 3 Several corollaries follow immediately from the description of the moment graph Recall that if V is a subset of the vertices of the graph (V, E), then the subgraph induced by V is the maximal subgraph of (V, E) with vertex set V, namely the graph (V, E ) where E = {vw : v, w V and vw E} Proposition 28 In GL n (C)/B:

7 PERMUTATION REPRESENTATIONS ON SCHUBERT VARIETIES 7 (1) The vertices of the moment graph for GL n /B are [w] for w S n If j < k then the flags [G jk (c)w] with c correspond to an edge directed out of w if and only if w 1 (j) > w 1 (k) This edge is directed into s jk w and is labeled t j t k (2) There are l(w) edges directed out of w, labeled exactly by the set I w (3) If there is an edge from s i,i+1 w to w and a transposition s jk s i,i+1 with both l(s jk w) = l(w) + 1 and an edge from s jk w to w, then there is also an edge from s i,i+1 s jk w to s jk w (4) If s i,i+1 w > w then the edges directed out of s i,i+1 w are labeled bijectively with {t i t i+1 } s i,i+1 I w, where s i,i+1 acts on C[t 1,, t n ] by the rule s i,i+1 (t l ) = t si,i+1(l) for each l (5) The moment graph for the Schubert variety X w is the subgraph of the moment graph for GL n /B induced by the permutation flags in X w, namely [v] where v S n satisfies v w Proof Part 1 is [C, Theorem F], with our convention for directing and labeling the graph The number of edges directed out of w is exactly dim[bw] = l(w), and is indexed by the inversions for w This proves Part 2 Part 3 is Lemma 252 Part 4 is Lemma 26 Part 5 is in [C, Theorem F5] and is a nice exercise for the reader The main theorem that we use is: Proposition 29 (Goresky, Kottwitz, MacPherson) Let X be a GKM variety and let S be the polynomial ring C[t 1,,t n ] For each one-dimensional orbit O, the fixed points in O are denoted N O and S O, and the weight of the T-action on O is t O The equivariant cohomology HT (X) is the subring of S X T given by: { } HT(X) = (p w ) w X T S X T : for each one-orbit O, p NO p SO t O An element u S n acts on the flag [g] G/B by u [g] = [u 1 g] This geometric action induces an action of S n on the equivariant cohomology of G/B as follows Recall that u S n acts on the polynomial ring C[t 1,, t n ] by u p(t 1,, t n ) = p(t u(1),, t u(n) ) Corollary 21 The action of S n on G/B induces a well-defined group action of S n on the equivariant cohomology H T (G/B), given by the rule that if u S n and p = (p v ) v Sn H T (G/B) then the localization of u p at each v S n is (u p) v (t 1,, t n ) = u p u 1 v(t 1,, t n ) = p u 1 v(t u(1),,t u(n) ) Proof The action of u S n on the variety G/B gives a graph automorphism of the undirected moment graph since s u 1 (j),u 1 (k)u 1 v = u 1 s jk v In particular, there is an edge between v and s jk v if and only if there is an edge between u 1 v and u 1 s jk v The edge between u 1 v and u 1 s jk v is labeled t u 1 (j) t u 1 (k) or t u 1 (k) t u 1 (j) This means the polynomial (u p) v (u p) sjk v is in the ideal t j t k if and only if p u 1 v p u 1 s jk v is in t u 1 (j) t u 1 (k) So, the S n -action is well-defined We now show this action is induced from the geometric action of S n on G/B We use the Borel construction of equivariant cohomology of a complex algebraic variety X with the action of a torus T If ET is the classifying bundle of T, namely a contractible space on which T acts freely, then the equivariant cohomology is defined to be H T (X) = H (ET T X), where ET T X denotes the

8 8 JULIANNA S TYMOCZKO quotient of the product ET X under the equivalence relation (e, x) (et, t 1 x) for all t T For the complex torus T = C C, one may use the classifying bundle ET = (C \{}) (C \{}) The action of u S n on (e, x) ET T G/B is defined by u (e, [g]) = (eu, [u 1 g]), where u acts on e by permuting its coordinates Suppose (et, [t 1 g]) (e, [g]) There is a t T such that (etw, [w 1 t 1 g]) = (ewt, [(t ) 1 w 1 g]) because the group S n normalizes the torus T Since (ewt, [(t ) 1 w 1 g]) (ew, [w 1 g]), this action of S n is well-defined on ET T G/B The Borel construction of equivariant cohomology is related to the GKM construction by the inclusion j : X T X, which for GKM spaces X induces an isomorphism onto its image j : H T (X) H T (X T ) The S n -action on ET T G/B restricts to an S n -action on ET T (G/B) T, which commutes with j by definition Recall that H T((G/B) T ) = w Sn H T(pt) = w Sn C[t 1,,t n ] For each u S n, the map u : HT ((G/B)T ) HT ((G/B)T ) permutes the fixed points by u 1 and permutes the coordinates of the torus by u, which is precisely the action defined in this Corollary Since j u = u j, this is the action induced by the geometric action of S n on G/B Figure 4 gives an example of this permutation action on HT (G/B) when n = 3 An equivariant class p is denoted by a copy of the moment graph in which each t 1 t 3 t 1 t 2 t 1 t 3 s 1,2 t 1 t 2 = t 2 t 3 t 2 t 3 t 2 t 1 t 2 t 1 Figure 4 The permutation action on classes in H T (G/B) vertex v is labeled with the polynomial p v If we compute the action of s 2,3 instead of s 1,2 on the class in Figure 4, we obtain the same class we started with In general, the moment graph of a subvariety of the flag variety is not an induced subgraph of the moment graph for G/B For instance, Figure 5 shows the moment t 1 t 2 t 2 t 3 t 1 t 3 (13) (123) (132) (12) (23) e Figure 5 The toric variety for the decomposition into Weyl chambers in GL 3 graph for the toric variety associated to the decomposition into Weyl chambers in GL 3 The (ordinary) cohomology of this toric variety carries a nontrivial S 3 -action that was studied in [S] and [P]

9 PERMUTATION REPRESENTATIONS ON SCHUBERT VARIETIES 9 23 A combinatorial basis for HT (X) Once the moment graph is constructed, the GKM description of equivariant cohomology is purely combinatorial We now discuss a combinatorial construction of a basis for the equivariant cohomology ring as a module over HT (pt), which we call Knutson-Tao classes after [KT] Our results are similar to those of Guillemin-Zara in [GZ1] and [GZ2] but use an underlying combinatorial model that is simpler and less restrictive Definition 211 A combinatorial moment graph is a finite graph whose edges are labeled by linear forms and are directed so that there are no directed circuits We will assume one additional condition on moment graphs in this section, which holds for moment graphs of GKM varieties for geometric reasons: For each v X T, if β 1,, β k label the edges directed out of v then the β i are pairwise linearly independent It is a small exercise to see that that is equivalent to the following condition: For each v X T, if β 1,,β k label the edges directed out of v then β 1 β 2 β k = k i=1 β i If X is a GKM variety, then its moment graph can be directed without circuits by choosing a suitably generic one-dimensional subtorus T T and directing the edges according to the flow of T (see [T1, Section 5]) Once its moment graph is directed acyclically, each edge v w is labeled with the T-weight at v on the corresponding one-dimensional orbit This gives (many) combinatorial moment graphs associated to X Combinatorial moment graphs form a larger class of graphs than studied by Guillemin-Zara, including for instance moment graphs of singular GKM varieties We note that combinatorial moment graphs need not be regular and have no particular relationship between edges directed in and out of each vertex (axiom A3 of the Guillemin-Zara axial function, [GZ1, Definition 211] or [GZ2, Definition 21]) Using combinatorial moment graphs, we will show that Knutson-Tao classes are unique for a large class of varieties including Schubert varieties For Grassmannians and flag varieties, the Knutsen-Tao classes are Schubert classes We ask whether the results of Guillemin-Zara can be extended to show that Knutson-Tao classes exist for combinatorial moment graphs Write u D u if there is a directed path from u to u in the combinatorial moment graph, possibly of length zero For any directed graph with no directed circuits, the relation D is a partial order on the vertices (This partial order coincides with the Bruhat order for the moment graph of G/B in Proposition 28) We now define Knutson-Tao classes, which T Braden and R MacPherson also used to construct equivariant intersection cohomology [BrM] and which are homogeneous versions of the generating classes in [GZ2, Definition 23] Definition 212 Let X be a GKM variety and let v be a T-fixed point in X A Knutson-Tao class for v is an equivariant class (p v w ) w X T H T (X) for which: (1) p v v = α vw, where α vw is the label on the edge v w; w X T st v w is an edge (2) each nonzero p v w is a homogeneous polynomial with deg(pv w ) = deg(pv v ); and (3) p v w = for each w with no directed path from w to v, that is if w D v

10 1 JULIANNA S TYMOCZKO Figure 6 gives three examples of Knutson-Tao classes in G/B The reader may note that the Knutson-Tao class for the permutation (12) appeared in Figure 4 t 1 t 3 t 1 t 2 1 t 1 t 3 1 t 1 t 3 1 t t 1 t 2 1 t 3 t 2 t t 2 t 3 Class for (12) Class for e Class for (23) Figure 6 Three Knutson-Tao classes in H T (G/B) When they exist, Knutson-Tao classes form a basis for equivariant cohomology The following is similar to [GZ1, Theorem 244] The proof uses minimal elements in the moment graph; these exist because the graph is finite, directed, and acyclic Proposition 213 Suppose that for each v X T there exists at least one Knutson- Tao class p v H T (X) Then the classes {pv : v X T } form a basis for H T (X) Proof The proof will be by induction on the partial order defined by the moment graph For each q HT (X) and each minimal element v in the poset, we have q v = c v p v v for a unique polynomial c v (In fact c v = q v ) Thus (q c v p v ) v = Let S be any subset of X T such that for each v S and u D v in the moment graph, the fixed point u S as well The inductive hypothesis is that for each q HT (X) there are unique coefficients c v such that (q v S c vp v ) u = for each u S For each minimal element u X T S, note that (q v S c vp v ) u = for all u D u The GKM conditions imply there is a unique polynomial c u with (q v S c v p v ) u = c u p u u So (q v S c vp v c u p u ) u = Since p u u = for all u D u, it is also true that (q v S c vp v c u p u ) u = (q v S c vp v ) u = for all u S Thus the inductive hypothesis holds for the set S {u } There are a finite number of fixed points in X T so there is a unique expression q = v X c vp v for each q H T T (X) Our next results hold for a family of varieties called Palais-Smale varieties Motivated by the comment in [K, page 187], we generalize the definition of Palais-Smale so that it applies to varieties that are not Hamiltonian, nor even smooth Definition 214 The GKM variety X is Palais-Smale if its moment graph can be directed so that there is an edge from v to u only if there are more edges directed out of v than out of u For instance, each projective space CP n is Palais-Smale We will see that each Schubert variety in the full flag variety is also Palais-Smale The toric variety whose moment graph is shown in Figure 5 is not Palais-Smale Lemma 215 Each Schubert variety is Palais-Smale, including G/B Proof Our convention for the moment graph for X w is that there is a directed path from u to v only if u > v in the Bruhat order A directed circuit is a directed path from u to u Since u u, no such circuit exists in the moment graph for X w

11 PERMUTATION REPRESENTATIONS ON SCHUBERT VARIETIES 11 There is a directed edge from s jk v to v only if s jk v > v By Proposition 281, there are l(v) edges directed out of v in G/B and l(s jk v) edges out of s jk v This holds in X w by Proposition 285 If s jk v > v then by definition l(s jk v) > l(v) If X is Palais-Smale, then Knutson-Tao classes are unique The next proposition is similar to [GZ2, Theorem 23] Like theirs, it could be modified to prove uniqueness of a Knutson-Tao class at one particular vertex Lemma 216 If X is Palais-Smale and p v = (p v w ) w X T, qv = (qw v ) w X T Knutson-Tao classes corresponding to v, then p v w = qv w for each w X T are two Proof The proof mimics [KT, Lemma 1] Consider the class (p v q v ) HT (X) We know that (p v q v ) u = if u = v or if there is no directed path from u to v Choose a minimal vertex u satisfying (p v q v ) u This means both that u D v and that (p v q v ) u = for all u with u D u In particular, the polynomial (p v q v ) u is in the ideal generated by the labels on the edges u u by the GKM rules The variety X is Palais-Smale so the number of edges u u is greater than deg p v Since p v q v has degree deg p v, we conclude (p v q v ) u = It is not a priori clear that any Knutson-Tao classes exist We prove existence for G/B in Section 3 Existence for various families of smooth GKM varieties is proven in [GZ2] 3 Permutation representations on the (equivariant) cohomology of X w In this section we study permutation representations on HT (X w) and H (X w ) In Section 31, we show how to construct a basis of Knutson-Tao classes for HT (X w) by restricting the Schubert basis for HT (G/B) In Section 32, we explicitly identify the S n -action on HT (G/B) by computing how each simple transposition acts on each Schubert class Finally, in Section 33, we use the formula of Section 32 and a restriction map ι : HT (G/B) H T (X w) to analyze the restricted S n - representation on HT (X w) and H (X w ) 31 Knutson-Tao classes in X w and G/B Lemma 31 Define the map ι : H T (G/B) H T (X w) by restriction: ι((p v ) v Sn ) = (p v ) [v] Xw The map ι is a well-defined ring and C[t 1,, t n ]-module homomorphism Proof The moment graph of X w is an induced subgraph of the moment graph of G/B, so for each p HT (G/B), the GKM conditions hold on ι(p) This means ι(p) HT (X w) By construction, ι is both a ring and module homomorphism We use the following property of equivariant cohomology [KT, Fact 2, page 1]: Let X be a T-invariant oriented cycle in X, a smooth compact complex algebraic variety Then X determines a class [X] HT (X) whose degree is the codimension of X in X If u X T is not in X, then the localization of [X] at u is zero For instance, let [v] S n be a permutation flag and let B be the group of lower-triangular invertible matrices The closure [B vb] in G/B determines a class [Ω v ] HT (G/B) called the Schubert class of v in G/B We give several properties of [Ω v ], which is also the class ξ v in [KK1]

12 12 JULIANNA S TYMOCZKO Lemma 32 Write the class [Ω v ] H T (G/B) as [Ω v] = (p v u ) u S n (1) The T-fixed points in [B v] are exactly those u S n with u v (2) If v, u S n and u v then the degree of p v u is l(v) If u v then p v u = (3) For each v S n, the polynomial p v v satisfies p v v = (t i t j ) t i t j I v (4) The class [Ω v ] is the Knutson-Tao class corresponding to v in HT (G/B) (5) Suppose u > v has l(u) = l(v) + 1 and that the edge from u to v is labeled t j t k Then the polynomial p v u satisfies p v u = (t i t i ) t i t i I u t i t i t j t k Proof (1) The closure relation [B u] [B v] is equivalent to u v (2) We use [KT, Fact 2, page 1] The degree of [Ω v ] is the codimension of [B v] in G/B, namely l(v) If u v then u [B v] and so p v u = (3) The localization p v v is the product of the weights of the torus action on the normal space at [v] to [Ω v ] in G/B (see [KT, Fact 3, p 1]) The normal space at v to [B v] in G/B is [U v v] by, for instance, [C, Theorem G2] (4) The relation u v means there is no path from u to v in the moment graph of G/B Parts 2 and 3 show that [Ω v ] is a Knutson-Tao class Knutson-Tao classes are unique by Lemma 216, since G/B is Palais-Smale (5) Let q = t i t i I u (t i t i ) There are l(v) + 1 edges directed out t i t i t j t k of u One edge is to v, so there are l(v) edges from u to vertices u with p v u = The polynomial pv u is in the ideal generated by the labels of these l(v) edges, so p v u is a scalar multiple of q Since u = s jk v, we have I v = {} Isjk v mod(t j t k ) by Lemma 251 By Part 3, the polynomial q p v v is in t j t k Since q t j t k, we conclude p v u = q The next lemma permits us to specialize calculations from G/B to X w Lemma 33 For each [v] X w, restriction preserves Knutson-Tao classes: [Ω v ] Xw := ι([ω v ]) is the unique Knutson-Tao class for v in X w Proof We need to check that ι([ω v ]) satisfies the Knutson-Tao conditions The map ι preserves degree, so deg[ω v ] Xw is l(v) If [u] X w satisfies u v in X w then u v in G/B, so neither the moment graph for X w nor for G/B has a path from u to v For each such u, the localization of [Ω v ] Xw to u is zero by definition of ι Lemma 323 proves the localization of [Ω v ] Xw to v is as desired The Knutson-Tao class is unique because X w is Palais-Smale (Lemma 216) When X w is singular, the Knutson-Tao class for v need not be the geometric Schubert class corrresponding to v The precise relationship between geometric Schubert classes and Knutson-Tao classes in H T (X w) is unknown The next corollary combines Lemma 284 with Parts 3 and 5 of Lemma 32 It is the heart of our later calculations

13 PERMUTATION REPRESENTATIONS ON SCHUBERT VARIETIES 13 Corollary 34 Let v, s i,i+1 S n satisfy s i,i+1 v > v Write [Ω v ] G/B = (p v u ) u S n and [Ω si,i+1v] G/B = (pu si,i+1v ) u Sn for the corresponding Schubert classes Then s i,i+1 p v s i,i+1v = p v v = s i,i+1p si,i+1v s i,i+1v t i+1 t i 32 The S n -action on HT (G/B) Recall that if u S n then u acts on p = (p v (t 1,,t n )) v Sn HT (G/B) by (u p) v = u p u 1 v(t 1,,t n ) = p u 1 v(t u(1),,t u(n) ) We now describe this S n -action on HT (G/B) explicitly by giving a formula for the action of a simple transposition on an equivariant Schubert class For an arbitrary permutation u, the action of u on (p v ) v Sn is obtained by factoring u into simple transpositions and then inductively applying the formula Since the S n -action on HT (G/B) is well-defined, the result is independent of the factorization of u though that is not obvious from the formula for the action of a simple transposition! Our methods in this section consist entirely of elementary combinatorics For examples, the reader may wish to refer to Figures 4 and 6, which contain the calculations s 2,3 [Ω (12) ] = [Ω (12) ] and s 1,2 [Ω (12) ] = [Ω (12) ] + (t 2 t 1 )[Ω e ] The reader interested in the situation outside of type A n should note that the following proof will apply immediately to general Lie type, once the generalizations of Lemma 25, 28, and 32 and Corollary 34 are given in Section 4 Proposition 35 For each Schubert class [Ω w ] HT (G/B) and simple transposition s i,i+1, the action of s i,i+1 on [Ω w ] is given by { [Ωw ] if s s i,i+1 [Ω w ] = i,i+1 w > w and [Ω w ] + (t i+1 t i )[Ω si,i+1w] if s i,i+1 w < w Proof For convenience, write s i,i+1 [Ω w ] = (q v ) v Sn Schubert classes form a basis for HT (G/B) over C[t 1,, t n ] We expand s i,i+1 [Ω w ] = c w v [Ω v] in terms of this basis and identify the coefficients c w v To begin, the degree of [Ω v] is l(v) and the degree of s i,i+1 [Ω w ] is l(w) by Lemma 322 This means c w v is zero if l(v) > l(w) Case 1: s i,i+1 w > w We show that if l(v) l(w) then either q v = or v = w Suppose v satisfies q v and l(v) l(w) Since q v we know s i,i+1 v w Recall that l(s i,i+1 v) = l(v)±1 If l(s i,i+1 v) = l(w) then in fact s i,i+1 v = w, which contradicts s i,i+1 w > w Consequently l(s i,i+1 v) = l(w) + 1 = l(v) + 1 Lemma 322 implies that s i,i+1 v w is an edge in the moment graph, say labeled t j t k If s jk s i,i+1 then s 2 i,i+1 v > s i,i+1v by Lemma 252 This contradicts s i,i+1 v > v We conclude that s jk = s i,i+1 and so v = w By definition q w = s i,i+1 p w s By i,i+1w Corollary 34, we know s i,i+1 p w s i,i+1w = p w w This means c w w = 1 and c w v = for all other v, namely s i,i+1 [Ω w ] = [Ω w ] Case 2: s i,i+1 w < w First we show that [Ω w ]+(t i+1 t i )[Ω si,i+1w] agrees with s i,i+1 [Ω w ] in entries w and s i,i+1 w We know that q w = s i,i+1 p w s i,i+1w and q si,i+1w = s i,i+1 p w w The Knutson-Tao construction shows that pw s i,i+1w = Corollary 34 says s i,i+1 p w w = (t i+1 t i )p si,i+1w s i,i+1w and p w w = (t i+1 t i )p si,i+1w w It follows that p w u + (t i+1 t i )pu si,i+1w = q u when u = w or u = s i,i+1 w Suppose v s i,i+1 w is a fixed point with q v and l(v) l(w) If q v then s i,i+1 v > w The length restrictions l(v) l(w) and l(s i,i+1 v) > l(w) together with l(s i,i+1 v) = l(v) ± 1 imply that l(v) = l(w) This means the four fixed points v, w, s i,i+1 v, s i,i+1 w form the fragment of the moment graph shown

14 14 JULIANNA S TYMOCZKO in Figure 7 (The edge between v and s i,i+1 w exists and is labeled t j t k since v = s i,i+1 s j,k s i,i+1w = s jk w by virtue of the other three edges) t j t k w s i,i+1 v v s i,i+1 w t j t k Figure 7 Fragment of moment graph (angles may not be to scale) We have shown q v = p w v +(t i+1 t i )pv si,i+1w when v = w or v = s i,i+1 w and now show it for each v w such that l(v) = l(w) and v > s i,i+1 w By construction, we have s j k = s i,i+1s jk s i,i+1 and s i,i+1 (t j t k ) = t j t k Lemma 325 identifies p w s i,i+1v (respectively psi,i+1w v ) as the product of the monomials in I si,i+1v except t j t k (respectively I v and t j t k ) Note that I si,i+1v is exactly {t i t i+1 } s i,i+1 I v by Lemma 284 We conclude q v = s i,i+1 p w s i,i+1v = (t i+1 t i )p si,i+1w v Since p w v = unless s jk = s i,i+1, we have q v = p w v + (t i+1 t i )p si,i+1w v 33 The S n -action on HT (X w) and H (X w ) The group S n acts on HT (X w) and on H (X w ) by restricting the S n -action on HT (G/B) This section contains the main results of this paper: the representation HT (X w) is not trivial over C but is trivial over C[t 1,, t n ], and the representation H (X w ) is trivial (These results hold for G/B since G/B = X w when w is the longest permutation) Lemma 36 For each s S n, the action of s on the Schubert class [Ω w ] HT (G/B) is given by s [Ω w ] = [Ω w ] + c v [Ω v ] v<w for some polynomials c v C[t 1,, t n ] with deg(c v ) = l(w) l(v) Proof If s = s i,i+1 then the claim holds by inspection of the formula in Proposition 35 The permutation s can be factored as a product of simple transpositions s i,i+1 Since s i,i+1 preserves degree, induction on the length of s completes the proof Proposition 37 The group S n acts on HT (X w) by the rule that for each s i,i+1 S n and Knutson-Tao class [Ω v ] Xw HT (X w), we have { [Ωv ] s i,i+1 [Ω v ] Xw = Xw if s i,i+1 v > v and [Ω v ] Xw + (t i+1 t i )[Ω si,i+1v] Xw if s i,i+1 v < v Proof The restriction map ι : HT (G/B) H T (X w) given by ι((p u ) u Sn ) = (p u ) [u] [Sn] X w is a C[t 1,, t n ]-module homomorphism For each s S n, we know that s[ω v ] = [Ω v ] + u<v c u[ω u ] by Lemma 36 We obtain a well-defined S n -action on HT (X w) by the rule that s [Ω v ] Xw = ι(s[ω v ])) This action restricts the S n -representation on HT (G/B) in Proposition 35 Note that this representation is not trivial as a C[S n ]-module For instance, the submodule C[t 1,,t n ][Ω e ] Xw of H T (X w) is invariant under S n In fact, it is isomorphic to the S n -algebra induced by the standard S n -action on Ct 1 Ct n, which is not trivial The next theorem shows this is essentially the only way in which these representations are not trivial Write 1 d for the trivial representation in degree d

15 PERMUTATION REPRESENTATIONS ON SCHUBERT VARIETIES 15 Theorem 38 The S n -representation H T (X w) is isomorphic to [v] [S n] X w 1 l(v) as a graded twisted C[t 1,,t n ]-module Proof The S n -action preserves the degree of each class [Ω v ] Xw HT (X w) as well as the degree of each polynomial p C[t 1,,t n ] If s S n then we can write s[ω v ] Xw = [Ω v ] Xw + u<v c u[ω u ] Xw for some c u C[t 1,, t n ] by Lemma 36 Let s S [Y v ] Xw = n s[ω v ] Xw S n so in particular [Y v ] Xw is S n -invariant and has degree l(v) We show that the [Y v ] Xw generate HT (X w) There are polynomials q u with [Y v ] Xw = [Ω v ] Xw + u<v q u[ω u ] Xw by construction It follows that [Y e ] Xw = [Ω e ] Xw This proves the inductive hypothesis that if v has length at most k then the Schubert class [X v ] Xw can be written in terms of the [Y u ] Xw for u v If v has length k + 1 then [Ω v ] Xw = [Y v ] Xw u<v q u[ω u ] Xw which can by induction be written in terms of the [Y u ] Xw for u v It follows that the Schubert classes, a known basis for HT (X w), are generated by the [Y v ] Xw So HT (X w) decomposes as X w [S n ] distinct S n -modules, each eigenspaces over C[t 1,, t n ][S n ] Corollary 39 Let C[t 1,, t n ] denote the S n -algebra induced by the standard S n - representation on Ct 1 Ct n Then H T (X w) is isomorphic to [v] [S n] X w 1 l(v) C[t 1,,t n ] as a graded C[S n ]-module The S n -action on H T (X w) gives rise to a S n -action on H (X w ) Theorem 31 Consider H (X w ) as a C[S n ]-module with the S n -action inherited from H T (X w) Then H (X w ) is isomorphic to [v] [S n] X w 1 l(v) as a graded C[S n ]-module Proof The ring H (X w ) is isomorphic to HT (X w)/ t 1,, t n (see [GKM, Equation 124]) Consequently, the S n -action on HT (X w) induces an S n -action on H (X w ) given by s i,i+1 [Ω v ] Xw = [Ω v ] Xw for each s i,i+1 S n and [v] X w [S n ] This representation is trivial 34 Divided difference operators This action of S n on H T (X w) gives rise to divided difference operators on the equivariant cohomology ring Definition 311 For each i = 1,,n 1, the i th (left) divided difference operator D i is defined by D i (p) = p s i,i+1 p t i t i+1 for each p H T (X w) Note that the left divided difference operator uses the S n -action on equivariant classes rather than the S n -action on the polynomials obtained by localizing equivariant classes We prove that the divided difference operators are well-defined by using the following stronger result Let i : C[t 1,, t n ] C[t 1,, t n ] denote the (ordinary) divided difference operator defined by i (p) = p sip t i t i+1

16 16 JULIANNA S TYMOCZKO Proposition 312 Let p HT (X w) be an equivariant class whose expansion in terms of the basis of Knutson-Tao classes is p = c v [Ω v ] Then D i (p) = i (c v )[Ω v ] + s i (c v )[Ω siv] v:s iv<v Proof The S n -action on HT (X w) is C-linear, so D i (p) = D i (c v [Ω v ]) Proposition 37 shows that D i (c v [Ω v ]) is i (c v )[Ω v ] if s i v > v and is i (c v )[Ω v ]+s i (c v )[Ω siv] if s i v < v In particular D i (p) is an element of H T (X w) whenever p is in H T (X w) Every Schubert class of G/B can be obtained by performing a sequence of divided difference operators on the class of the longest permutation [X w ] This is not true for general Schubert varieties For instance, no sequence of divided difference operators performed on the highest class [X s1s 2 ] of the Schubert variety X s1s 2 gives the class [X s2 ] The divided difference operator D i is not the same as the operator defined by Bernstein-Gelfand-Gelfand and Demazure [BGG], [D], though the formulas are similar Another divided difference operator was defined by Kostant-Kumar in [KK1]: for each p H T (G/B) and each v S n let ( i p)(v) = p(v) p(vs i) v(t i t i+1 ) Arabia proved in [A] that the operator i is the same morphism as the Bernstein- Gelfand-Gelfand/Demazure divided difference operator The formulas differ because Bernstein-Gelfand-Gelfand/Demazure use a different presentation of the ring HT (G/B) than Kostant-Kumar (and we) do 4 General Lie type We now describe these results in arbitrary Lie type Our exposition is brief: we assume our reader is familiar with the general theory and only indicate the proofs whose generalization is not immediate In this section, G is a complex reductive linear algebraic group, B a Borel subgroup, and T a maximal torus contained in B The full flag variety is G/B We write an element of the flag variety as [g] The Weyl group is W = N(T)/T The set of simple reflections in W is written S and the set of all reflections is R = w W wsw 1 The roots are denoted Φ, with positive roots Φ + and negative roots Φ The elements in R are the reflections associated to the positive roots We write s α R to denote the reflection associated to α Φ + There is a partial order on W called the Bruhat order and defined by the condition that w v if and only if [Bw] [Bv] This is equivalent to the condition that there is a reduced factorization w = s i1 s ik with each s ij S such that v is the (ordered) product of a substring of the s ij The length of w is the minimal k required to factor w = s i1 s ik as a product of simple transpositions s ij S The length of w is denoted l(w) = k The next few results are combinatorial properties of W This next proposition complements [BGG, Lemma 24] Proposition 41 Suppose s α R and w W satisfy l(s α w) = l(w) + 1 Then (1) s α w > w; and

17 PERMUTATION REPRESENTATIONS ON SCHUBERT VARIETIES 17 (2) if s i is a simple reflection with s i s α and s i w > w, then s i s α w > s α w Proof The first part follows because either s α w > w or s α w < w, and the Bruhat order respects length For the second part, suppose s i s α w < s α w By the exchange property [Bou, IV15] or [BB, Corollary 144], there is a reduced expression for s α w that begins with s i, say s i s i1 s ik Since s α w > w and l(s α w) = l(w)+1, we can obtain a reduced factorization of w by erasing one of the simple transpositions in the string s i s i1 s ik If it were not s i then s i w < w So s i s α w > s α w unless s α = s i The following set is well-known in the literature (eg [Bou, VI16, Proposition 17]) but seems not to have a concise name Definition 42 Given w W, the inversions corresponding to w are the roots I w = {α Φ + : w 1 α Φ } = Φ + wφ For instance, each simple transposition s i has a unique inversion I si = {α i } There are l(w) elements in the set I w Proposition 43 If s i w > w then I siw = s i I w {α i } Proof The definition of I w implies that (w 1 s i )s i I w Φ By the exchange property [Bou, IV15] or [BB, Corollary 144], there is a reduced factorization for s i w beginning with s i It is a small exercise (proven in, eg, [H, Corollary 12C]) to see that this implies that (s i w) 1 (α i ) is negative We conclude that α i I siw and that α i I w The simple reflection s i negates α i and permutes the other positive roots, so s i I w Φ + We have shown that the set s i I w {α i } consists of distinct roots and is contained in I siw Since both sets contain l(w)+1 roots, they are in fact equal Proposition 44 If s α w > w and l(s α w) = l(w) + 1 then I sαw = {α} ( Φ + s α I w ) ( Iw s α Φ ) Proof The root α must be in exactly one of I w and I sαw Since s α w > w, we have α I sαw (see [C, Theorem F4] or Proposition 462) Note that if β I w then (s α w) 1 s α (β) is a negative root If s α (β) Φ + then s α (β) I sαw Suppose instead that s α (β) Φ There is a positive integer c β such that s α (β) = β c β α by definition of reflections On the one hand, we know that β = s α (β)+c β α is a positive root On the other hand, we know that w 1 s α (s α (β)+c β α) = w 1 (β)+c β w 1 ( α) We conclude that β is in I sαw, since w 1 (β) and w 1 ( α) are both negative and c β is positive { sα (β) if s We have shown that the map sending β I w to α (β) Φ + and β else has image in I sαw It is an injection because it is invertible By comparing cardinalities, we know that I sαw consists of the image of this map together with exactly one other root This proves the claim Corollary 45 If s α w > w and l(s α w) = l(w) + 1 then I sαw = {α} s α I w mod (α) (with multiplicity) Proof If β in I w and s α (β) I sαw then by the previous proposition, there is a positive integer c β with β = s α (β)+c β α I sαw In this case β s α (β) mod α

18 18 JULIANNA S TYMOCZKO J Carrell described the moment graph for Schubert varieties in G/B in [C, Theorem F] We give his result here for the convenience of the reader The root subgroup corresponding to α is written U α Proposition 46 (1) The vertices for the moment graph for G/B are exactly the flags [w] for w W (2) There is an edge between [v] and [w] in the moment graph if and only if v 1 w R If v 1 w = s α then the edge is labeled α and corresponds to the one-dimensional T-orbit [U α w] [U α v] The edge between [s α v] and [v] is directed from the element of greater length to the element of lesser length (3) The edges directed out of [w] are labeled exactly by the roots in I w (4) The moment graph for the Schubert variety X w = [Bw] is the subgraph induced by the elements [v] [W] X w from the moment graph for G/B Write HT (pt) as the polynomial ring in the simple roots C[α 1,, α n ] The Weyl group acts on HT (pt) by extending the coadjoint W-action on Φ, namely w W acts on p(α 1,, α n ) HT (pt) by w p(α 1,, α n ) = p(w(α 1 ),, w(α n )) The equivariant cohomology of each Schubert variety HT (X w) is a module over HT (pt) In particular, let [Ω v ] be the class in HT (G/B) determined by the closure [B vb] in G/B The previous results imply that [Ω v ] is the Knutson-Tao class for v Proposition 47 Let v W and write [Ω v ] HT (G/B) as [Ω v] = (p v u) u W (1) If u v then p v u = If u v then p v u has degree l(v) (2) The localization of [Ω v ] to v is p v v = α I v α (3) The class [Ω v ] is the unique Knutson-Tao class for v in HT (G/B) (4) If u > v satisfies u = s α v and l(u) = l(v) + 1 then p v u = 1 α (5) If s i S satisfies s i v > v then β I u β s i p v s iv = pv v = s ip siv s iv α i Proof As in type A n, the closure [B vb] contains exactly the T-fixed points [w] with w v The normal space to [B vb] at v is given by [Bv], whose torus weights are indexed by I v So, the proofs of Parts 1, 2, and 3 are identical to those in Lemma 32 The proof of the other parts is closely parallel to those for type A n Write q = 1 α β I u β The polynomial p v u q by the GKM conditions, so p v u = cq for some (complex) constant c Corollary 45 shows q p v v α, so c = 1 This proves Part 4 Part 5 follows directly from Part 2 and Proposition 43 We now describe a group action of W on HT (G/B) induced by the action of u W on [v] [W] given by u [v] = [u 1 v] Unlike the case when G = GL n (C), this group action is not well-defined on the entire flag variety, since u W = N(T)/T is defined only up to T However, the action does induce a graph automorphism of the moment graph of G/B This action arises from the action of u W on ET T G/B given by u (e, [g]) = (eu, [u 1 g]) just as in Corollary 21 Proposition 48 The group W acts on HT (G/B) according to the rule that if u W and p = (p v ) v W HT (G/B) then for each v W (u p) v W = u p u 1 v (α 1,,α n ) = p u 1 v (u(α 1 ),, u(α n ))