arxiv: v2 [math.ag] 26 Sep 2014

Transcription

1 PUSH-PULL OPERATORS ON THE FORMAL AFFINE DEMAZURE ALGEBRA AND ITS DUAL arxiv:32.009v2 [math.ag] 26 Sep 204 BAPTISTE CALMÈS, KIRILL ZAINOULLINE, AND CHANGLONG ZHONG Contents. Introduction 2. Formal Demazure and push-pull operators 4 3. Two bases of the formal twisted group algebra 7 4. The Weyl and the Hecke actions 9 5. Push-pull operators and elements 6. The push-pull operators on the dual 3 7. Relations between bases coefficients 5 8. Another basis of the W Ξ -invariant subring 7 9. The formal Demazure algebra and the Hecke algebra 8 0. The algebraic restriction to the fixed locus on G/B 20. The algebraic restriction to the fixed locus on G/P The push-pull operators on D F An involution The non-degenerate pairing on the W Ξ -invariant subring Push-forwards and pairings on D F,Ξ 32 References 34. Introduction In a series of papers [KK86], [KK90] Kostant and Kumar introduced and successfully applied the techniques of nil (or 0-) Hecke algebras to study equivariant cohomology and K-theory of flag varieties. In particular, they showed that the dual of the nil Hecke algebra serves as an algebraic model for the T-equivariant singular cohomology of G/B (here G is a split semisimple linear algebraic group with a chosen split maximal torus T and G/B is the variety of Borel subgroups). In [HMSZ] and [CZZ], this formalism has been generalized using an arbitrary formal group law associated to an algebraic oriented cohomology theory in the sense of Levine-Morel [LM07], via the Quillen formula. Namely, given a formal group law F and a finite root system with a set of simple roots Π, one defines the formal affine Demazure 200 Mathematics Subject Classification. 20C08, 4F43, 57T5. The first author acknowledges the support of the French Agence Nationale de la Recherche (ANR) under reference ANR-2-BL The second author was supported by the NSERC Discovery grant , NSERC DAS grant and the Early Researcher Award (Ontario). We appreciate the support of the Fields Institute; part of this work was done while authors were attending the Thematic Program on Torsors, Nonassociative algebras and Cohomological Invariants at the Fields Institute.

2 2 BAPTISTE CALMÈS, KIRILL ZAINOULLINE, AND CHANGLONG ZHONG algebra D F and its dual D F provides an algebraic model for the T-equivariant oriented cohomology h T (G/B). Specializing to the additive and the multiplicative formal group laws, one recovers Chow groups (or singular cohomology) and K-theory respectively. AnothermotivationforstudyingthealgebraD F comesfromitscloserelationship to Hecke algebras. Indeed, for the additive (resp. multiplicative) F it coincides with the completion of the nil (resp. 0-) affine Hecke algebra (see [HMSZ]). Moreover, in section 9, we show that for some elliptic formal group law F and a root system of Dynkin type A the non-affine part of D F is isomorphic to the classical Iwahori- Hecke algebra, hence, relating it to equivariant elliptic cohomology. In the present paper we pursue the algebraization program for oriented cohomology theories started in [CPZ] and continued in [HMSZ] and [CZZ]; the general idea is to match cohomology rings of flag varieties and elements of classical interest in them (such as classes of Schubert varieties) with algebraic and combinatorial objects that can be introduced simply and algebraically, in the spirit of [De73] or [KK86]. This approach is useful to study the structure of these rings, and to perform various computations. We focus here on algebraic constructions pertaining to T-equivariant oriented cohomology groups. The precise proofs and details of how our algebraic objects match cohomology groups will be given in [CZZ2]; however, for the convenience of the reader, we now give a brief description of the geometric setting. Given an equivariant oriented cohomology theory h over a base field whose spectrum is denoted by pt, the formal group algebra S will correspond to h T (pt). It is an algebra over R = h(pt). The T-fixed points of G/B are naturally in bijection with the Weyl group W. This gives a pull-back to the fixed locus map h T (G/B) h T (W) w W h T(pt). This map happens to be injective. We do not know a direct geometric reason for that, but it follows from our algebraic description, in which it appears as the map D F S W w W S of Definition 0.. It is then convenient to enlarge S to its localization Q at a multiplicative subset generated by Chern classes of line bundles corresponding canonically to roots, which gives injections S Q, S W Q W and SW Q W. Although we do not know good geometric interpretations of Q, Q W or Q W, all the formulas and operators we are interested in are easily defined at that localized level, because they involve denominators. The main technical difficulties then lie in proving that these operators actually restrict to S, SW, D F etc., or so to speak, that the denominators cancel out. Our central object of study is a push-pull operator on D F, which is an algebraic version of the composition h T (G/P) p h T (G/Q) p h T (G/P) of the push-forward followed by the pull-back along the quotient map p: G/P G/Q, where P Q are two parabolic subgroups of G. Again p happens to be injective, and it identifies h T (G/Q) to a subring of h T (G/P), namely the subring of invariants under the action of the parabolic subgroup W Q of the Weyl group W. Thisdoesnotseemtobestraightforwardfromthegeometryeither, anditoncemore follows from our algebraic description: given subsets Ξ Ξ of a given set of simple We will require that the cohomology rings are complete in some precise sense, but this is a technical point, that we prefer to hide here for simplicity. See [CZZ2, Definition 2.]

3 PUSH-PULL OPERATORS 3 roots Π (each giving rise to a parabolic subgroup), we define an element Y Ξ/Ξ in Q W (see 5.3). We define an action of the Demazure algebra D F on its S-dual D F, by precomposition by multiplication on the right. The action of Y Ξ/Ξ thus defines the desired push-pull operator A Ξ/Ξ : (D F )W Ξ (D F. The formula for the )WΞ element Y Ξ/Ξ with Ξ = had already appeared in related contexts, namely, in discussions around the Becker-Gottlieb transfer for topological complex-oriented theories (see [BE90, (2.)] and [GR2, 4.]). Finally, we define the algebraic counterpart of the natural pairing h T (G/B) h T (G/B) h T (pt) obtained by multiplication and push-forward to the point. It is a pairing D F D F S. We show that it is non-degenerate, and that algebraic classes corresponding to (chosen) desingularization of Schubert varieties form a basis of D F, with a very simple dual basis with respect to the pairing. We provide the same kind of description forh T (G/P). This generalizes(to parabolic subgroups and to equivariant cohomology groups) and simplifies several statements from[cpz, 4], as well as results from [KK86] and [KK90] (to arbitrary oriented cohomology theories). The paper is organized as follows. In sections 2 and 3, we recall definitions and basic properties from [CPZ, 2, 3], [HMSZ, 6] and [CZZ, 4, 5]: the formal group algebra S, the Demazure and push-pull operators α and C α for every root α, the formal twisted group algebraq W and its Demazure and push-pull elements X α and Y α. In section 4, we introduce a left Q W -action on the dual Q W. It induces both an action of the Weyl group W on Q W (the Weyl-action) and an action of X α and Y α on Q W (the Hecke-action). In sections 5 and 6, we introduce and study more general push-pull elements in Q W and operators on Q W with respect to given coset representatives of parabolic quotients of the Weyl group. In section 7 we study relationships between some technical coefficients. In section 8, we construct a basis of the subring of invariants of Q W, which generalizes [KK90, Lemma 2.27]. In section 9, we recall the definition and basic properties of the formal (affine) Demazure algebra D F following [HMSZ, 6], [CZZ, 5] and [Zh3]. We show that for a certain elliptic formal group law (Example 2.2), the formal Demazure algebra can be identified with the classical Iwahori-Hecke algebra. In section 0, we define the algebraicrestrictionto the fixed locusmap which is used in section2to restrict allourpush-pull operatorsandelements tod F anditsdual D F aswellastorestrict the non-degenerate pairing on D F. In section, we define the algebraicrestriction to the fixed locus map on G/P for any parabolic subgroup P. In section 3, we define an involution on D F which is used to relate the equivariant characteristic map with the push-pull operators. In section 4, we define and discuss the nondegenerate pairing on the subring of invariants of D F under a parabolic subgroup of the Weyl group. At last, in section 5, in the parabolic case, we identify the Weyl group invariant subring (D F with D )WΞ F,Ξ, the dual of a quotient of D F, which matches more naturally to h T (G/P). Acknowledgments: One of the ingredients of this paper, the push-pull formulas in the context of Weyl group actions, arose in discussions between the first author and Victor Petrov, whose unapparent contribution we therefore gratefully acknowledge.

4 4 BAPTISTE CALMÈS, KIRILL ZAINOULLINE, AND CHANGLONG ZHONG 2. Formal Demazure and push-pull operators In this section we recall definitions of the formal group algebra and of the formal Demazure and push-pull operators, following [CPZ, 2, 3] and [CZZ]. Let R be a commutative ring with unit, and let F be a one-dimensional commutative formal group law (FGL) over R, i.e. F(x,y) R[[x,y]] satisfies F(x,0) = 0, F(x,y) = F(y,x) and F(x,F(y,z)) = F(F(x,y),z). Example 2.. Theadditive FGLisdefined byf a (x,y) = x+y, andamultiplicative FGL is defined by F m (x,y) = x+y βxy with β R. The coefficient ring of the universal FGL F u (x,y) = x + y + i,j a i,jx i y j is generated by the coefficients a ij modulo relations induced by the above properties and is called the Lazard ring. Example 2.2. Consider an elliptic curve given in Tate coordinates by ( µ t µ 2 t 2 )s = t 3. The corresponding FGL over the coefficient ring R = Z[µ,µ 2 ] is given by [BB0, Cor. 2.8] F(x,y) := x+y µxy +µ. 2xy Its genus is the 2-parameter generalized Todd genus introduced and studied by e Hirzebruch in [Hi66]. Its exponent is given by the rational function ǫ x +e ǫ 2 x ǫ e ǫ x +ǫ 2e in ǫ 2 x e x, where µ = ǫ +ǫ 2 and µ 2 = ǫ ǫ 2 which suggests to call F a hyperbolic FGL and to denote it by F h. By definition we have F h (x,y) = x+y xy(µ +µ 2 F h (x,y)) and, thus, that the formal inverse of F h is identical to the one of F m (i.e. x µ x ) and F h (x,x) = 2x µx2 +µ 2x 2. Let Λ be an Abelian group and let R[[x Λ ]] be the ring of formal power series with variables x λ for all λ Λ. Define the formal group algebra S := R[[Λ]] F to be the quotient of R[[x Λ ]] by the closure of the ideal generated by elements x 0 and x λ+λ 2 F(x λ,x λ2 ) for any λ,λ 2 Λ. Here 0 is the identity element in Λ. Let I F denote the kernel of the augmentation map ǫ: S R, 0. Let Λ be a free Abelian group of finite rank and let Σ be a finite subset of Λ. A root datum is an embedding Σ Λ, α α into the dual of Λ satisfying certain conditions [SGA, Exp. XXI, Def...]. The rank of the root datum is the Q-rank of Λ Z Q. The root lattice Λ r is the subgroup of Λ generated by Σ, and the weight lattice Λ w is the Abelian group defined by Λ w := {ω Λ Z Q α (ω) Z for all α Σ}. We always assume that the root datum is reduced and semisimple (Q-ranks of Λ r, Λ w and Λ arethe sameand no root is twice another one). We saythat a rootdatum is simply connected (resp. adjoint) if Λ = Λ w (resp. Λ = Λ r ), and then use the notation Dn sc (resp. Dn ad ) for irreducible root data where D = A,B,C,D,E,F,G is one of the Dynkin types and n is the rank. The Weyl group W of a root datum (Λ,Σ) is a subgroup of Aut Z (Λ) generated by simple reflections s α for all α Σ defined by s α (λ) := λ α (λ)α, λ Λ.

5 PUSH-PULL OPERATORS 5 We fix a set of simple roots Π = {α,...,α n } Σ, i.e. a basis of the root datum: each element of Σ is an integral linear combination of simple roots with either all positive or all negative coefficients. This partitions Σ into the subsets Σ + and Σ of positive and negative roots. Let l denote the length function on W with respect to the set of simple roots Π. Let w 0 be the longest element of W with respect to l and let N := l(w 0 ). Following [CZZ, Def. 4.4] we say that the formal group algebra S is Σ-regular if is not a zero divisor in S for all roots α Σ. We will always assume that: The formal group algebra S is Σ-regular. By [CZZ, Lemma 2.2] this holds if x+ F x is not a zero divisor in R[[x]], in particular if 2 is not a zero divisor in R, or if the root datum does not contain any symplectic datum C sc as an irreducible component. Following [CPZ, Definitions 3.5 and 3.2] for each α Σ we define two R-linear operators α and C α on S as follows: (2.) α (y) := y sα(y), C α (y) := κ α y α (y) = y x α + sα(y), y S, where κ α := + x α (note that κ α S). The operator α is called the Demazure operatorand the operatorc α is called the push-pull operatoror the BGG operator. Example 2.3. For the hyperbolic formal group law F h we have κ α = µ + µ 2 F h (x α, ) = µ for each α Σ. If the root datum is of type A sc, we have Σ = {±α}, Λ = ω with simple root α = 2ω and C α ( ) = xα x α + x α = µ + µ, C α(x ω ) = xω x α + x ω = µ x ω +µ2x2 ω µ x ω. If it is of type A sc 2 we have Σ = {±α,±α 2,±(α +α 2 )}, Λ = ω,ω 2 with simple roots α = 2ω ω 2, α 2 = 2ω 2 ω and = 2x µx2 x2 µ2x2 x2 +µ 2x 2 µx2 2µ2xx2, C α2 (x ) = µ x, C α (x ) = µ x +µ2x2 µx2 2µ2xx2 µ x µ 2x x 2, where x := x ω and x 2 := x ω2. According to [CPZ, 3] the operators α satisfy the twisted Leibniz rule (2.2) α (xy) = α (x)y +s α (x) α (y), x,y S, i.e. α is a twisted derivation. Moreover,they are S Wα -linear, where W α = {e,s α }, and (2.3) s α (x) = x if and only if α (x) = 0. Remark 2.4. Properties (2.2) and (2.3) suggest that the Demazure operators can be effectively studied using the theory of twisted derivations and the invariant theory of W. On the other hand, push-pull operatorsdo not satisfy properties (2.2) and (2.3) but according to [CPZ, Theorem 2.4] they correspond to the push-pull maps between flag varieties and, hence, are of geometric origin. For the i-th simple root α i, let i := αi and s i := s αi. Given a non-empty sequence I = (i,...,i m ) with i j {,...,n} define I := i im and C I := C i C im. We say that a sequence I is reduced in W if s i s i2...s im is a reduced expression of the element w = s i s i2...s im in W, i.e. it is of minimal length among such

6 6 BAPTISTE CALMÈS, KIRILL ZAINOULLINE, AND CHANGLONG ZHONG Type A l (l 2) B l (l 3) C l (l 2) D l (l 4) G 2 F 4 E 6 E 7 E 8 2 F 2 F 2 F adjoint 2 F 2 F 2 F and 3 F or 3 F or 3 F non adjoint Λ/Λ r 2 2 R Table. Integers and formal integers assumed to be regular in R or R[[x]] in Lemma 2.7. In the simply connected C 2 case, we require 2 invertible in R. decompositions of w. In this case we also say that I is a reduced sequence for w of length l(w). For the neutral element e of W, we set I e = and = C = id S. Remark 2.5. It is well-known that for a nontrivial root datum the composites Iw and C Iw are independent of the choice of a reduced sequence I w of w W if and only if F is of the form F(x,y) = x + y + βxy, β R. The if part of the statement is due to Demazure [De73, Th. ] and the only if part is due to Bressler-Evens [BE90, Theorem 3.7]. So for such F we can define w := Iw and C w := C Iw for each w W. The operators w and C w play a crucial role in the Schubert calculus and computations of the singular cohomology (F = F a ) and the K-theory (F = F m ) rings of flag varieties. For a general F (e.g. for F = F h ) the situation becomes much more intricate as we have to rely on choices of reduced decomposition I w. Let us now prove a Euclid type lemma for later use. Lemma 2.6. If f xr[[x]] is regular in R[[x]] and g yr[[y]], then f(x)+ F g(y) is regular in R[[x,y]]. Proof. Consider f+ F g in R[[x,y]] = (R[[x]])[[y]] and note that its degree 0 coefficient (in R[[x]]) is f and is regular by assumption, so it is regular by [CZZ, Lemma 2.3.(a)]. Lemma 2.7. For each irreducible component of the root datum, assume that the corresponding integers or formal integers listed in Table are regular in R or R[[x]] (and that 2 is invertible for Cl sc ). In particular, S is Σ-regular. Then x β x implies that x for any two positive roots α β and for any x S. (For example, in adjoint type E 7 we require that either 2 F x or 3 F x is regular in R[[x]], and in simply connected type E 7, we require that 2 is regular in R.) Proof of Lemma 2.7. It is equivalent to show that x β is regular in S/( ). If α and β belong to different irreducible components, we can complete α and β into bases of the lattices of their respective components by [CZZ, Lemma 2.], and then complete the union of the two sets into a basis of Λ. By [CPZ, Cor. 2.3], it gives an isomorphism S R[[x,,x l ]] sending to x and x β to x 2, so the conclusion is obvious in this case. If α and β belong to the same irreducible component, we can assume that the root datum is irreducible. Adjoint case. Complete α to a basis (α i ) i l of simple roots of Σ and express β = i n iα i. Still by [CPZ, Cor. 2.3], this yields an isomorphism S R[[x,...,x l ]],

7 PUSH-PULL OPERATORS 7 sending to x and x β to (n F x )+ F + F (n l F x l ). A repeated application of Lemma 2.6 shows that x β is regular provided n i F x is regular in R[[x]] for at least one i. Using Planche I to IX in [Bo68] giving coefficients of positive roots decomposed on simple ones, one checks for every type that it is always the case under the assumptions. For example, in the E 6 case, there are alwaystwo s in any decomposition (except if the root is simple), hence the absence of any requirement. In the E 7 case, the same is true except for the longest root, in which there is a, a 2 and a 3, hence the requirement that 2 F x or 3 F x is regular in R[[x]]. All other cases are as easy and left to the reader. Non adjoint case. By [CZZ, Lemma.2], the natural morphism R[[Λ r ]] F R[[Λ]] F induced by the inclusion of the root lattice Λ r Λ is injective. Furthermore, it becomes an isomorphism if q = Λ/Λ r is invertible in R. Since α can be completed as a basis of Λ or as a basis of Λ r, both R[[Λ r ]] F / and R[[Λ]] F / are isomorphic to power series ring (in one less variable) and therefore respectively inject in R[ q ][[Λ r]] F / and R[ q ][[Λ r]] F /, which are isomorphic. By the adjoint case, x β is regular in the latter, and thus in its subring S/ = R[[Λ]] F /. Remark 2.8. Since n F x is regular in R[[x]] if n is regular in R, the conclusion of Lemma 2.7 holds when formal integers are replaced by usual integers in R in the adjoint case. But more cases are covered. For example, if the formal group law is the multiplicative one x+y xy, then one can show that 2 F x is regularin R[[x]] for any noetherian ring R (exercise: consider the ideal generated by the coefficients of a power series annihilating 2 F x), and in particular if R = Z[a,b]/(2a,3b), in which neither 3 nor 2 are regular, but Lemma 2.7 will still apply to all adjoint types. 3. Two bases of the formal twisted group algebra We now recall definitions and basic properties of the formal twisted group algebra Q W, Demazure elements X α and push-pull elements Y α, following [HMSZ] and [CZZ]. For a chosen set of reduced sequences {I w } w W we introduce two Q-bases {X Iw } w W and {Y Iw } w W of Q W and describe transformation matrices (a X v,w) and (a Y v,w) with respect to the canonical basis {δ w } w W of Q W. Let S W be the twisted group algebra of S and the group ring R[W], i.e. S W = S R R[W] as an R-module and the multiplication is defined by (3.) (x δ w )(x δ w ) = xw(x ) δ ww, x,x S, w,w W, where δ w is the canonical element corresponding to w in R[W]. The algebra S W is a free S-module with basis { δ w } w W. Note that S W is not an S-algebra since the embedding S S W, x x δ e is not central. Since the formal group algebra S is Σ-regular, it embeds into the localization Q = S[ α Σ]. Let Q W be the Q-module obtained by localizing the S-module S W, i.e. Q W = Q S S W. The product on S W extends to Q W using the same formula (3.) on basis elements (x and x are now in Q). InsideQ W, weusethenotationq := q δ e andδ w := δ w, := δ e andδ α := δ sα for a root α Σ. Thus qδ w = q δ w and δ w q = w(q) δ w. By definition, {δ w } w W is a basis of Q W as a left Q-module, and S W injects into Q W via δ w δ w.

8 8 BAPTISTE CALMÈS, KIRILL ZAINOULLINE, AND CHANGLONG ZHONG For each α Σ we define the following elements of Q W (corresponding to the operators α and C α, respectively, by the action of (4.3)): X α := δ α, Y α := κ α X α = x α + δ α called the Demazure elements and the push-pull elements, respectively. Direct computations show that for each α Σ we have (3.2) X 2 α = κ α X α = X α κ α and Y 2 α = κ α Y α = Y α κ α, X α q = s α (q)x α + α (q) and Y α q = s α (q)y α + α (q), q Q, X α Y α = Y α X α = 0. We set δ i := δ si, X i := X αi and Y i := Y αi for the i-th simple root α i. Given a sequence I = (i,i 2,...,i m ) with i j {,...,n}, the product X i X i2...x im is denoted by X I and the product Y i Y i2...y im by Y I. We set X = Y =. By [Bo68, Ch. VI,, No 6, Cor. 2] if v W has a reduced decomposition v = s i s i2 s im, then (3.3) vσ Σ + = {α i,s i (α i2 ),...,s i s i2 s im (α im )}. We define x v :=. α vσ Σ + In particular, x w0 = α Σ x + α if w 0 is the longest element of W. Lemma 3.. We have (a) s α Σ Σ + = {α} and x sα = ; (b) if l(vs i ) = l(v)+, then vs i Σ Σ + = (vσ Σ + ) {v(α i )} and x vsi = x v x v(αi); (c) if l(s i v) = l(v)+, then s i vσ Σ + = s i (vσ Σ + ) {α i } and x siv = s i (x v )i ; (d) if w = uv and l(w) = l(u)+l(v), then wσ Σ + = (uσ Σ + ) u(vσ Σ + ) and x w = x u u(x v ); (e) for any v W, v(xw 0 ) x w0 is invertible in S. Proof. Items (a)-(d) follow immediately from the definition. As for (e) we have vσ + = (vσ + Σ ) (vσ + Σ + ) = ( (vσ Σ + ) ) (vσ + Σ + ) and Σ + = vσ Σ + = (vσ Σ + ) (vσ + Σ + ), therefore, v(x w0 ) x w0 = α vσ+ xα = α Σ + xα which is invertible in S since so is x α. α vσ Σ + x α, Lemma 3.2. Let I v be a reduced sequence for an element v W. Then X Iv = w v ax v,w δ w for some a X v,w Q, where the sum is taken over all elements of W less or equal to v with respect to the Bruhat order and a X v,v = ( ) l(v) x v. Moreover, we have δ v = w v bx v,wx Iw for some b X v,w S such that b X v,e = and b X v,v = ( ) l(v) x v.

9 PUSH-PULL OPERATORS 9 Proof. It follows from [CZZ, Lemma 5.4, Corollary 5.6] and the fact that δ α = X α. Similarly, for Y s we have Lemma 3.3. Let I v be a reduced sequence for an element v W. Then Y Iv = w v ay v,w δ w for some a Y v,w Q and ay v,v = x v. Moreover, we have δ v = w v by v,w Y I w for some b Y v,w S and by v,v = x v. Proof. We follow the proof of [CZZ, Lemma 5.4] replacing X by Y. By induction we have Y Iv = ( x β + x β δ β ) w v a Y v,wδ w = x β s β (a Y v,v )δ v + w<va Y v,wδ w, where I v = (i,...,i m ) is a reduced sequence of v, β = α i and v = s β v. This implies the formulas for Y Iv and for a Y v,v. Remaining statements involving by v,w follow by the same arguments as in the proof of [CZZ, Corollary 5.6] using the fact that δ α = Y α xα x α and xα x α S. As in the proof of [CZZ, Corollary 5.6], Lemmas 3.2 and 3.3 immediately imply: Corollary 3.4. The family {X Iv } v W (resp. {Y Iv } v W ) is a basis of Q W as a left or as a right Q-module. Example 3.5. For the root data A ad or A sc and the formal group law F h we have x Π = x α and ( (a Y v,w) v,w W = 0 µ where the first row and column correspond to e W and the second to s α W. ), 4. The Weyl and the Hecke actions In the present section we recall several basic facts concerning the Q-linear dual Q W following [HMSZ] and [CZZ]. We introduce a left Q W-action on Q W. The latter induces an action of the Weyl group W on Q W (the Weyl-action) and the action by means of X α and Y α on Q W (the Hecke-action). These two actions will play an important role in the sequel. Let Q W := Hom Q(Q W,Q) denote the Q-linear dual of the left Q-module Q W. By definition, Q W is a left Q-module via (qf)(z) := qf(z) for any z Q W, f Q W and q Q. Moreover, there is a Q-basis {f w } w W of Q W dual to the canonical basis {δ w } w W defined by f w (δ v ) := δw,v Kr (the Kronecker symbol) for w,v W. Definition 4.. We define a left action of Q W on Q W as follows: (z f)(z ) := f(z z), z,z Q W, f Q W. By definition, this action is left Q-linear, i.e. z (qf) = q(z f) and it induces a different left Q-module structure on Q W via the embedding q qδ e, i.e. (q f)(z) := f(zq). It also induces a Q-linear action of W on Q W via w(f) := δ w f. Lemma 4.2. We have q f w = w(q)f w and w(f v ) = f vw for any q Q and w,v W.

10 0 BAPTISTE CALMÈS, KIRILL ZAINOULLINE, AND CHANGLONG ZHONG Proof. We have (q f w )(δ v ) = f w (v(q)δ v ) = v(q)δw,v Kr which shows that q f v = v(q)f v. Forthesecondequality,wehave[w(f v )](δ u ) = f v (δ u δ w ) = δv,uw Kr,sow(f v) = f vw. There is a coproduct on the twisted group algebra S W that extends to Q W defined by [CZZ, Def. 8.9]: : Q W Q W Q Q W, qδ w qδ w δ w. Here Q is the tensor product of left Q-modules. It is cocommutative with co-unit ε : Q W Q, qδ w q [CZZ, Prop. 8.0]. The coproduct structure on Q W induces a product structure on Q W, which is Q-bilinear for the natural action of Q on Q W (not the one using ). In terms of the basis {f w } w W this product is given by component-wise multiplication: (4.) ( v W q v f v )( w W q wf w ) = w W q w q wf w, q w,q w Q. In other words, if we identify the dual Q W with the Q-module of maps Hom(W,Q) via Q W Hom(W,Q), f f, f (w) := f(δ w ), then the product is the classical multiplication of ring-valued functions. The multiplicative identity of this product corresponds to the counit ε and equals = w W f w. We also have (4.2) q (ff ) = (q f)f = f(q f ) for q Q and f,f Q W. Lemma 4.3. For any α Σ and f,f Q W we have s α(ff ) = s α (f)s α (f ), i.e. the Weyl group W acts on the algebra Q W by Q-linear automorphisms. Proof. By Q-linearity of the action of W and of the product, it suffices to check the formula on basis elements f = f w and f = f v, for which it is straightforward. Observe that the ring Q can be viewed as a left Q W -module via the following action: (4.3) (qδ w ) q := qw(q ), q,q Q, w W. Then by definition we have (4.4) (q )(z) = z q, z Q W. Definition 4.4. For α Σ we define two Q-linear operators on Q W by A α (f) := Y α f and B α (f) := X α f, f Q W. An action by means of A α or B α will be called a Hecke-action on Q W. Remark 4.5. If F = F m (resp. F = F a ) one obtains actions introduced by Kostant Kumar in [KK90, I 8 ] (resp. in [KK86, I 5 ]). As in (2.2) and (2.3) we have (4.5) B α (ff ) = B α (f)f +s α (f)b α (f ) and B α s α = B α, for f,f Q W, (4.6) B α (f) = 0 if and only if f (Q W) Wα. Indeed, using (4.2) and Lemma 4.3 we obtain B α (f)f +s α (f)b α (f ) = [ ( δ α ) f]f +s α (f)[ ( δ α ) f ]

11 PUSH-PULL OPERATORS = [ (f s α (f))]f +s α (f)[ (f s α (f ))] = (ff s α (f)s α (f )) = B α (ff ) and B α (s α (f)) = ( δ α ) s α (f) = (s α (f) f) = B α (f). As for (4.6) we have 0 = B α (f) = X α f = [( δ α ) f] which is equivalent to f = s α (f). And as in (3.2), we obtain (4.7) A 2 α (f) = κ α A α (f) = A α (κ α f), B 2 α (f) = κ α B α (f) = B α (κ α f), A α B α = B α A α = 0. We set A i = A αi and B i := B αi for the i-th simple root α i. We set A I = A i... A im andb I = B i... B im foranon-emptysequencei = (i,...,i m )with i j {,...,n} and A = B = id. The operators A I and B I are key ingredients in the proof that the natural pairing of Theorem 2.4 on the dual of the formal affine Demazure algebra is non-degenerate. 5. Push-pull operators and elements Let us now introduce and study a key notion of the present paper, the notion of push-pull operators (resp. elements) on Q (resp. in Q W ) with respect to given coset representatives in parabolic quotients of the Weyl group. Let (Σ,Λ) be a root datum with a chosen set of simple roots Π. Let Ξ Π and let W Ξ denote the subgroup of the Weyl group W of the root datum generated by simple reflections s α, α Ξ. We thus have W = {e} and W Π = W. Let Σ Ξ := {α Σ s α W Ξ } and let Σ + Ξ := Σ Ξ Σ +, Σ Ξ := Σ Ξ Σ be subsets of positive and negative roots respectively. Given subsets Ξ Ξ of Π, let Σ + Ξ/Ξ := Σ + Ξ \Σ+ Ξ and Σ Ξ/Ξ := Σ Ξ \Σ Ξ. We define x Ξ/Ξ := and set x Ξ := x Ξ/. α Σ Ξ/Ξ In particular, x Π = α Σ = w 0 (x w0 ). Lemma 5.. Given subsets Ξ Ξ of Π we have v(σ Ξ/Ξ ) = Σ Ξ/Ξ and v(σ + Ξ/Ξ ) = Σ + Ξ/Ξ for any v W Ξ. Proof. We prove the first statement only, the second one can be proven similarly. Since v acts faithfully on Σ Ξ, it suffices to show that for any α Σ Ξ/Ξ, the root β := v(α) Σ Ξ and is negative. Indeed, if β Σ Ξ, then so is α = v (β) (as v W Ξ ), which is impossible. On the other hand, if β is positive, then β = v(α) vσ Ξ Σ+ Ξ = vσ Ξ Σ+ Ξ, where the latter equality follows from (3.3) and the fact that v W Ξ. So α = v (β) Σ Ξ, a contradiction. Corollary 5.2. For any v W Ξ, we have v(x Ξ/Ξ ) = x Ξ/Ξ.

12 2 BAPTISTE CALMÈS, KIRILL ZAINOULLINE, AND CHANGLONG ZHONG Definition 5.3. Given a set of left coset representatives W Ξ/Ξ of W Ξ /W Ξ we define a push-pull operator on Q with respect to W Ξ/Ξ by C Ξ/Ξ (q) := w ( q x Ξ/Ξ ), q Q, w W Ξ/Ξ and a push-pull element with respect to W Ξ/Ξ by Y Ξ/Ξ := ( ) δ w w W Ξ/Ξ x. Ξ/Ξ We set C Ξ := C Ξ/ and Y Ξ := Y Ξ/ (so they do not depend on the choice of W Ξ/ = W Ξ in these two special cases). By definition, we have C Ξ/Ξ (q) = Y Ξ/Ξ q, where Y Ξ/Ξ acts on q Q by (4.3). Also in the trivial case where Ξ = Ξ, we have x Ξ/Ξ =, while C Ξ/Ξ = id Q and Y Ξ/Ξ = if we choose e as representative of the only coset. Observe that for Ξ = {α i } we have W Ξ = {e,s i } and C Ξ = C i (resp. Y Ξ = Y i ) is the push-pull operator (resp. element) introduced before and preserves S. Example 5.4. For the formal group law F h and the root datum A 2, we have x Π = x α x α2 x α α 2 and C Π () = w W w( x Π ) = µ ( x α2 x α α 2 + x α 2 + +α 2 ) = µ 3 +µ µ 2. Lemma 5.5. The operator C Ξ/Ξ restricted to Q W Ξ is independent of the choices of representatives W Ξ/Ξ and it maps Q W Ξ to Q WΞ. Proof. The independence follows, since x Q W Ξ by Corollary 5.2. The second Ξ/Ξ part follows, since for any v W Ξ, and for any set of coset representatives W Ξ/Ξ, the set vw Ξ/Ξ is again a set of coset representatives. Actually, we will see in Corollary 2.2 that the operator C Ξ sends S to S WΞ. Remark 5.6. The formula for the operator C Ξ (with Ξ = ) had appeared before in related contexts, namely, in discussions around the Becker-Gottlieb transfer for topological complex-oriented theories (see [BE90, (2.)] and [GR2, 4.]). The definition of the element Y Ξ/Ξ can be viewed as a generalized algebraic analogue of this formula. Lemma 5.7 (Composition rule). Given subsets Ξ Ξ Ξ of Π and given sets of representatives W Ξ/Ξ and W Ξ /Ξ, take W Ξ/Ξ := {wv w W Ξ/Ξ, v W Ξ /Ξ } as the set of representatives of W Ξ /W Ξ. Then C Ξ/Ξ C Ξ /Ξ = C Ξ/Ξ and Y Ξ/Ξ Y Ξ /Ξ = Y Ξ/Ξ. Proof. We prove the formula for Y s, the one for C s follows since C acts as Y, and the composition of actions corresponds to multiplication. We have Y Ξ/Ξ Y Ξ /Ξ = ( δ w x )( δ Ξ/Ξ v x ) = δ Ξ /Ξ wv v (x Ξ/Ξ )x. Ξ /Ξ w W Ξ/Ξ v W Ξ /Ξ w W Ξ/Ξ,v W Ξ /Ξ By Corollary 5.2, we have v (x Ξ/Ξ ) = x Ξ/Ξ. Therefore, v (x Ξ/Ξ )x Ξ /Ξ = x Ξ/Ξ x Ξ /Ξ = x Ξ/Ξ. We conclude by definition of W Ξ/Ξ. The following lemma follows from the definition of C Ξ/Ξ.

13 PUSH-PULL OPERATORS 3 Lemma 5.8 (Projection formula). We have C Ξ/Ξ (qq ) = qc Ξ/Ξ (q ) for any q Q WΞ and q Q. Lemma 5.9. Given a subset Ξ of Π and α Ξ we have (a) Y Ξ = Y Y α = Y α Y for some Y and Y Q W, (b) Y Ξ X α = X α Y Ξ = 0, Y α Y Ξ = κ α Y Ξ and Y Ξ Y α = Y Ξ κ α. Proof. (a) The first identity follows from Lemma 5.7 applied to Ξ = {α} (in this case Y = Y Ξ/Ξ ). For the second identity, let α W Ξ be the set of right coset representatives of W α \W Ξ, thus each w W Ξ can be written uniquely either as w = s α u or as w = u with u α W Ξ. Then Y Ξ = (+δ α )δ u x Ξ = (+δ α ) x α x α δ u x Ξ u α W Ξ u α W Ξ = Y α x α δ u x Ξ = Y α u α W Ξ (b) then follows from (a) and (3.2). u α W Ξ δ u u (x α) x Ξ. 6. The push-pull operators on the dual We now introduce and study the push-pull operators on the dual of the twisted formal group algebra Q W. For w W, we define fw Ξ := v ww Ξ f v. Observe that fw Ξ = fξ w if and only if ww Ξ = w W Ξ. Consider the subring of invariants (Q W by means of the - )WΞ action of W Ξ on Q W and fix a set of representatives W Π/Ξ of W/W Ξ. By Lemma 4.2, we then have the following Lemma 6.. The family {f Ξ w} w WΠ/Ξ forms a basis of (Q W )WΞ as a left Q-module, and f Ξ wf Ξ v = δ Kr w,vf Ξ v for any w,v W Π/Ξ. In other words, {f Ξ w } w W Π/Ξ is a set of pairwise orthogonal projectors, and the direct sum of their images is (Q W )WΞ. Definition 6.2. Given subsets Ξ Ξ of Π and a set of representatives W Ξ/Ξ we define a Q-linear operator on Q W by A Ξ/Ξ (f) := Y Ξ/Ξ f, f Q W, and call it the push-pull operator with respect to W Ξ/Ξ. It is Q-linear since so is the -action. We set A Ξ = A Ξ/. Lemma 5.7 immediately implies: Lemma 6.3 (Composition rule). Given subsets Ξ Ξ Ξ of Π and sets of representatives W Ξ/Ξ and W Ξ /Ξ, let W Ξ/Ξ = {wv w W Ξ/Ξ, v W Ξ /Ξ }, then we have A Ξ/Ξ A Ξ /Ξ = A Ξ/Ξ. Lemma 6.4 (Projection formula). We have A Ξ/Ξ (ff ) = fa Ξ/Ξ (f ) for any f (Q W )WΞ and f Q W.

14 4 BAPTISTE CALMÈS, KIRILL ZAINOULLINE, AND CHANGLONG ZHONG Proof. Using (4.2) and Lemma 4.3, we compute A Ξ/Ξ (ff ) = Y Ξ/Ξ (ff ) = ( ) (ff ) = = = f w W Ξ/Ξ w W Ξ/Ξ w W Ξ/Ξ δ w ( f( x Ξ/Ξ f ) ) = w W Ξ/Ξ δ w x Ξ/Ξ δ w x Ξ/Ξ f = fa Ξ/Ξ (f ) Here is an analogue of Lemma 5.5. w W Ξ/Ξ (δ w f)(δ w x Ξ/Ξ f ) δ w x Ξ/Ξ (ff ) Lemma 6.5. The operator A Ξ/Ξ restricted to (Q W )W Ξ is independent of the choices of representatives W Ξ/Ξ and it maps (Q W )W Ξ to (Q W )WΞ. Proof. Let f (Q W )W Ξ. For any w W and v W Ξ, by Corollary 5.2, we have ( ) ( δwv x Ξ/Ξ f = δw x δ ) ( ) Ξ/Ξ v f = δw x δv f = ( δ Ξ/Ξ w x Ξ/Ξ ) f. which proves that the action on f of any factor δ w ( x ) in Y Ξ/Ξ Ξ/Ξ is independent of the choice of the coset representative w. Now if v W Ξ, we have v(a Ξ/Ξ (f)) = δ v Y Ξ/Ξ f = (δ v Y Ξ/Ξ ) f = A Ξ/Ξ (f), where the last equalityholds since δ v Y Ξ/Ξ is again an operatory Ξ/Ξ corresponding tothesetofcosetrepresentativesvw Ξ/Ξ (insteadofw Ξ/Ξ ). Thisprovesthesecond claim. Lemma 6.6. We have A Ξ/Ξ (f v ) = v(x Ξ/Ξ ) w W f Ξ/Ξ vw. In particular, A Ξ/Ξ (f Ξ v ) = v(x Ξ/Ξ ) fξ v, A Π/Ξ (f Ξ v ) = v(x Π/Ξ ) and A Π(v(x Π )f v ) =. Proof. By Lemma 4.2 we get A Ξ/Ξ (f v ) = ( ) fv = w W Ξ/Ξ In particular A Ξ/Ξ (fv Ξ ) = δ w x Ξ/Ξ w W Ξ = v(x Ξ/Ξ ) vw(x Ξ/Ξ ) w W Ξ/Ξ u W Ξ/Ξ w vw Ξ f w = v(x Ξ/Ξ ) fξ v, δ w ( v(x Ξ/Ξ ) f ) v = f vwu = v(x Ξ/Ξ ) where the second equality follows from Corollary 5.2. Together with Lemma 6. we therefore obtain: Corollary 6.7. We have A Ξ/Ξ ((Q W )W Ξ ) = (Q W )WΞ. v(x f Ξ/Ξ ) vw. w W Ξ/Ξ Definition 6.8. We define the characteristic map c: Q Q W w W Ξ u W Ξ/Ξ f vwu by q q. By the definition of the action, c is an R-algebra homomorphism given by c(q) = w W w(q)f w, that is, c(q) Q W is the evaluation at q Q W via the action (4.3) of Q W on Q. Note that c is Q W -equivariant with respect to this action

15 PUSH-PULL OPERATORS 5 and the -action. Indeed, c(z q) = (z q) = z (q ) = z c(q). In particular, it is W-equivariant. The following lemma provides an analogue of the push-pull formula of [CPZ, Theorem. 2.4]. Lemma 6.9. Given subsets Ξ Ξ of Π, we have A Ξ/Ξ c = c C Ξ/Ξ. Proof. By definition, we have A Ξ/Ξ (c(q)) = Y Ξ/Ξ c(q) = c(y Ξ/Ξ q) = c(c Ξ/Ξ (q)). 7. Relations between bases coefficients In this section we describe relations between coefficients appearing in decompositions of various elements on the different bases of Q W and of Q W. Given a sequence I = (i,...,i m ), let I rev := (i m,...,i ). Lemma 7.. Given a sequence I in {,...,n}, for any x,y S and f,f Q W we have C Π ( I (x)y) = C Π (x I rev(y)) and A Π (B I (f)f ) = A Π (fb I rev(f )). Similarly, we have C Π (C I (x)y) = C Π (xc I rev(y)) and A Π (A I (f)f ) = A Π (fa I rev(f )). Proof. By Lemma 5.9.(b) we have Y Π X α = 0 for any α Π. By (4.5) we obtain 0 = A Π ( Bα (s α (f)f ) ) = A Π ( fbα (f ) B α (f)f ). Hence, A Π (B α (f)f ) = A Π (fb α (f )) and A Π (B I (f)f ) = A Π (fb I rev(f )) by iteration. To prove the corresponding formula involving A I, note that A α = κ α B α, so fa α (f ) A α (f)f = f(κ α f B α (f )) (κ α f B α (f))f (4.2) = B α (f)f fb α (f ) = B α (s α (f )f), so A Π (A α (f)f ) = A Π (fa α (f )) and again A Π (A I (f)f ) = A Π (fa I rev(f )) by iteration. The formulas involving C operators are obtained similarly. Corollary 7.2. Let I = (i,...,i m ) be a sequence in {,...,n}. Let X I = v W a X I,v δ v and X I rev = v W a X I,v δ v for some a X I,v, a X I,v Q, then v(x Π )a X I,v = v(ax I,v )x Π. Similarly, let Y I = v W a Y I,v δ v and Y I rev = v W a Y I,v δ v for some a Y I,v, a Y I,v Q, then v(x Π )a Y I,v = v(ay I,v )x Π. Proof. We have v(x Π )A Π ( BI (f e )f v ) = v(xπ )A Π ( (XI f e )f v ) = v(xπ )A Π ( ( = v(x Π )A Π ( v(a X I,v )f v ) 6.6 = v ( a X I,v ), w w (a X I,w )f w )f ) v

16 6 BAPTISTE CALMÈS, KIRILL ZAINOULLINE, AND CHANGLONG ZHONG and symmetrically ( x Π A Π fe B I rev(f v ) ) ( ) = x Π A Π f e a X I,wδ w f v w ( ) = x Π A Π f e vw (a X I,w )f vw w = x Π A Π (a X I,v f e) = a X I,v. Lemma 7. then yields the formula by comparing the coefficients of X I and X I rev. The formula involving Y I is obtained similarly. Lemma 7.3. For any sequence I, we have A I rev(x Π f e ) = v W v(x Π )a Y I,vf v and B I rev(x Π f e ) = v W v(x Π )a X I,vf v. Proof. We prove the first formula only. The second one can be obtained using similararguments. Let Y I rev = v W a Y I,v δ v and Y I = v W ay I,v δ v as in Corollary7.2. A I rev(x Π f e ) = Y I rev x Π f e = v W x Π (a Y I,vδ v f e ) = x Π (a Y I,v f v ) = x Π v (a Y I,v )f v = x Π v(a Y I,v )f v. v W v W v W The formula then follows from Corollary 7.2. Let {XI w } w W and {YI w } w W be the Q-linear bases of Q W dual to {X I w } w W and {Y Iw } w W, respectively, i.e. XI w (X Iv ) = δw,v Kr for w,v W. By Lemma 3.2 we have δ v = w v bx v,wx Iw = w v by v,wy Iw. Therefore, by duality we have (7.) X I w = v w b X v,wf v and Y I w = v wb Y v,wf v. Lemma 7.4. We have X I e = and, therefore, X I e (z) = z, z Q W (the action defined in (4.3)). For any sequence I with l(i), we have X I e (X I ) = X I = 0 and, moreover, if we express X I = v W q vx Iv, then q e = 0. Proof. Indeed, for each v W we have XI e (δ v ) = b X v,e = = (δ v). Therefore, XI e =. The formula for XI e (z) then follows by (4.4). Since X α = 0, we have X I = 0. Finally, we obtain 0 = X I = q v X Iv = q e + q v X Iv = q e. v W l(v) Lemma 7.5. Let w 0 be the longest element in W of length N. We have A Π (X I w0 ) = ( ) N and A Π (Y I w0 ) =. Proof. Consider the first formula. By Lemma 3.2 δ v = w v bx v,wx Iw with b X w,w = x w, therefore X I w = v w bx v,wf v. Lemma 6.6 yields A Π (X I w ) = v w b X v,w v(x Π). If w = w 0 is the longest element, then A Π (XI w0 ) = ( )N x w0 w 0(x Π) = ( ) N by (3.3). The second formula is obtained similarly using Lemma 3.3 instead.

17 PUSH-PULL OPERATORS 7 Lemma 7.6. For any reduced sequence I of an element w and q Q we have X I q = v wφ I,v (q)x Iv for some φ I,v (q) Q. Proof. For any subsequence J of I (not necessarily reduced), we have w(j) w by [De77, Th..]. Thus, by developing all X i = x i ( δ i ), moving all coefficients to the left, and then using Lemma 3.2 and transitivity of the Bruhat order, X I q = w v φ I,w (q)δ w = w v φ I,w (q)x Iw for some coefficients φ I,w (q) and φ I,w (q) Q. 8. Another basis of the W Ξ -invariant subring Recall that {f Ξ w } w W Π/Ξ is a basis of the invariant subring (Q W )WΞ. In the present section we construct another basis {X I u } u W Ξ of the subring (Q W )WΞ, which generalizes [KK86, Lemma 4.34] and [KK90, Lemma 2.27]. Given a subset Ξ of Π we define W Ξ = {w W l(ws α ) > l(w) for any α Ξ}. Note that W Ξ is a set of left coset representativesof W/W Ξ such that each w W Ξ is the unique representative of minimal length. We will extensively use the following fact [Hu90,.0]: (8.) For any w W there exist unique u W Ξ and v W Ξ such that w = uv and l(w) = l(u)+l(v). Definition 8.. Let Ξ be a subset of Π. We say that the reduced sequences {I w } w W are Ξ-compatible if for each w W and the unique factorization w = uv with u W Ξ and v W Ξ, l(w) = l(u)+l(v) of (8.) we have I w = I u I v, i.e. I w starts with I u and ends by I v. Observe that there always exists a Ξ-compatible family of reduced sequences. Indeed, one could start with arbitrary reduced sequences {I u } u W Ξ and {I v } v WΞ, and complete it into a Ξ-compatible family {I w } w W by defining I w as the concatenation I u I v for w = uv with u W Ξ,v W Ξ. Theorem 8.2. For any Ξ-compatible choice of reduced sequences {I w } w W, if u W Ξ, then for any sequence I in W Ξ of length at least (i.e. α i Ξ for each i appearing in the sequence I), we have X I u (zx I ) = 0 for all z Q W. Proof. Since {X Iw } w W is a basis of Q W, we may assume that z = X Iw for some w W. We decompose X I = v W Ξ q v X Iv with q v Q. By Lemma 7.4 we may assume v e. Weproceedbyinductiononthelengthofw. Ifl(w) = 0, wehavex Iw = X Ie =. Since W Ξ W Ξ = {e}, for any v W Ξ, v e, we conclude that X I u (X Iv ) = 0. The induction step goes as follows: Assume l(w). Since the sequences are Ξ-compatible, we have X Iw X I = X Iw X Iv X I = X Iw X I, where w W Ξ, v W Ξ, I W Ξ, and

18 8 BAPTISTE CALMÈS, KIRILL ZAINOULLINE, AND CHANGLONG ZHONG l(i ) l(i). We can thus assume that w W Ξ, so that by Lemma 7.6, X Iw X I = (X Iw q v )X Iv = φ Iw, w(q v )X I w X Iv. v e w w,v e NowXI u (X Iw X Iv ) = XI u (X Iwv ) = 0sincewv isnotaminimalcosetrepresentative: indeed, we already have w W Ξ and v e. Applying XI u to other terms in the above summation gives zero by induction. Remark 8.3. The proof will not work if we replace X s by Y s, because constant terms appear (we can not assume v e). Corollary 8.4. For any Ξ-compatible choice of reduced sequences {I u } u W, the family {X I u } u W Ξ is a Q-module basis of (Q W )WΞ. Proof. For every α i Ξ we have (δ i X I u )(z) = X I u (zδ i ) = X I u (z( x i X i )) = X I u (z), z Q W, where the last equality follows from Theorem 8.2. Therefore, X I u is W Ξ -invariant. Let σ (Q W )WΞ, i.e. for each α i Ξ we have σ = s i (σ) = δ i σ. Then σ(zx i ) = σ(z i ( δ αi )) = σ(z i ) (δ i σ)(z i ) = (σ δ i σ)(z i ) = 0 for any z Q W. Write σ = w W x wx I w for some x w Q. If w / W Ξ, then I w ends by some i such that α i Ξ which implies that x w = σ(x Iw ) = σ(x I w X i ) = 0, where I w is the sequence obtained by deleting the last entry in I w. So σ is a linear combination of {XI u } u W Ξ. Corollary 8.5. If the reduced sequences {I w } w W are Ξ-compatible, then b X wv,u = b X w,u for any v W Ξ, u W Ξ and w W, where b X wv,u are the coefficients of Lemma 3.2. Proof. From Lemma 3.2 we have X I u = w u bx w,uf w. By Lemma 4.2 we obtain that v(x I u ) = w u bx w,u f wv for any v W Ξ. Since X I u is W Ξ -invariant by Corollary 8.4 and {f w } w W is a basis of Q W, this implies that bx wv,u = bx w,u. 9. The formal Demazure algebra and the Hecke algebra In the present section we recall the definition and basic properties of the formal (affine) Demazure algebra D F following [HMSZ], [CZZ] and [Zh3]. Following [HMSZ], we define the formal affine Demazure algebra D F to be the R-subalgebra of the twisted formal group algebra Q W generated by elements of S and the Demazure elements X i for all i {,...,n}. By [CZZ, Lemma 5.8], D F is also generated by S and all X α for all α Σ. Since κ α S, the algebra D F is also generated by Y α s and elements of S. Finally, since δ α = X α, all elements δ w are in D F, and D F is a sub-s W -module of Q W, both on the left and on the right. Remark 9.. Since {X Iw } w W is a Q-basis of Q W, restricting the action (4.3) of Q W onto D F we obtain an isomorphism between the algebra D F and the R- subalgebra D(Λ) F of End R (S) generated by operators α (resp. C α ) for all α Σ, and multiplications by elements from S. This isomorphism maps X α α and Y α C α. Therefore, for any identity or statement involving elements X α or Y α there is an equivalent identity or statement involving operators α or C α.

19 PUSH-PULL OPERATORS 9 According to [HMSZ, Theorem 6.4] (or [CZZ, 7.9] when the ring R is not necessarily a domain), in type A n, the algebra D F is generated by the Demazure elements X i, i {,...,n}, and multiplications by elements from S subject to the following relations: (a) X 2 i = κ ix i (b) X i X j = X j X i for i j >, (c) X i X j X i X j X i X j = κ ij (X j X i ) for i j = and (d) X i q = s i (q)x i + i (q), Furthermore, by [CZZ, Prop. 7.7], for any choice of reduced decompositions {I w } w W, the family {X Iw } w W (resp. the family {Y Iw } w W )) is a basis of D F as a left S-module. WeshownowthatforsomehyperbolicformalgrouplawF h, theformaldemazure algebra can be identified with the classical Iwahori-Hecke algebra. Recall that the Iwahori-Hecke algebra H of the symmetric group S n+ is a Z[t,t ]-algebra with generators T i, i {,...,n}, subject to the following relations: (A) (T i +t)(t i t ) = 0 or, equivalently, T 2 i = (t t)t i +, (B) T i T j = T j T i for i j > and (C) T i T j T i = T j T i T j for i j =. (TheT i sappearinginthe definitionoftheiwahori-heckealgebra[cg0, Def. 7..] correspond to tt i in our notation, where t = q /2.) Following [HMSZ, Def. 6.3] let D F denote the R-subalgebra of D F generated by the elements X i, i {,...,n}, only. By [HMSZ, Prop. 7.], over R = C, if F = F a (resp. F = F m ), then D F is isomorphic to the completion of the nil-hecke algebra (resp. the 0-Hecke algebra) of Kostant-Kumar. The following observation provides another motivation for the study of formal (affine) Demazure algebras. Let us consider the FGL of example 2.2 with invertible µ. After normalization x wemayassumeµ =. Thenits formalinverseis x, andsince (+µ 2x i x j )x i+j = x i +x j x i x j, the coefficient κ ij of relation (c) is simply µ 2 : (9.) κ ij = x i+jx j x i+jx i x ix j = xi+xj xixj xi+j x ix jx i+j = (+µ2xixj)xi+j xi+j x ix jx i+j = µ 2 Proposition 9.2. Let F h be a normalized (i.e. µ = ) hyperbolic formal group law over an integral domain R containing Z[t,t ], and let a,b R. Then the following are equivalent () The assignment T i ax i + b, i {,...,n}, defines an isomorphism of R-algebras H Z[t,t ] R D F. (2) We have a = t+t or t t and b = t or t respectively. Furthermore µ 2 (t+t ) 2 = ; in particular, the element t+t is invertible in R. Proof. Assume there is an isomorphism of R-algebras given by T i ax i +b. Then relations (b) and (B) are equivalent and relation (A) implies that 0 = (ax i +b) 2 +(t t )(ax i +b) = [a 2 +2ab+a(t t )]X i +b 2 +b(t t ). Therefore b = t or t and a = t t 2b = t +t or t t respectively, since and X i are S-linearly independent in D F D F.

20 20 BAPTISTE CALMÈS, KIRILL ZAINOULLINE, AND CHANGLONG ZHONG Relations (C) and (a) then imply 0 = (ax i +b)(ax j +b)(ax i +b) (ax j +b)(ax i +b)(ax j +b) = a 3 (X i X j X i X j X i X j )+(a 2 b+ab 2 )(X i X j ). Therefore, by relation (c) and (9.), we have a 3 µ 2 a 2 b ab 2 = 0 which implies that 0 = a 2 µ 2 ab b 2 = (t+t ) 2 µ 2 +. Conversely, by substituting the values of a and b, it is easy to check that the assignment is well defined, essentially by the same computations. It is an isomorphism since a = ±(t+t ) is invertible in R. Remark 9.3. The isomorphism of Proposition 9.2 provides a presentation of the Iwahori-Hecke algebra with t+t inverted in terms of the Demazure operators on the formal group algebra R[[Λ]] Fh. Remark 9.4. In general, the coefficients µ and µ 2 of F h can be parametrized as µ = ǫ +ǫ 2 and µ 2 = ǫ ǫ 2 for some ǫ,ǫ 2 R. In 9.2 it corresponds to ǫ = t t+t and ǫ 2 = t t+t (up to a sign) and in this case [BuHo, Thm. 4.] implies that F h does not correspond to a topological complex oriented cohomology theory (i.e. a theory obtained from complex cobordism M U by tensoring over the Lazard ring). Observe that such F h still corresponds to an algebraic oriented cohomology theory in the sense of Levine-Morel. 0. The algebraic restriction to the fixed locus on G/B In the present section we define the algebraic counterpart of the restriction to T-fixed locus of G/B. Consider the S-linear dual SW = Hom S(S W,S) of the twisted formal group algebra. Since {δ w } w W is a basis for both S W and Q W, SW can be identified with the free S-submodule of Q W with basis {f w} w W or, equivalently, with the subset {f Q W f(s W) S}. Since δ α = X α for each α Σ, there is a natural inclusion of S-modules η: S W D F. The elements {X Iw } w W (and, hence, {Y Iw } w W ) form a basis of D F as a left S-module by [CZZ, Prop. 7.7]. Observe that the natural inclusion S W Q W factors through η. Tensoring η by Q we obtain an isomorphism η Q : Q W Q S D F, because both are free Q-modules and their bases {X Iw } w W are mapped to each other. Definition 0.. Consider the S-linear dual D F = Hom S(D F,S). The induced map η : D F S W (composition with η) will be called the restriction to the fixed locus. Lemma 0.2. The map η is an injective ring homomorphism and its image in SW Q W = Q S SW coincides with the subset {f S W f(d F) S}. Moreover, the basis of D F dual to {X I w } w W is {X I w } w W in Q W. Proof. The coproduct on Q W restricts to a coproduct on D F by [CZZ, Theorem 9.2] and to the coproduct on S W via η. Hence, the map η is a ring homomorphism.

21 PUSH-PULL OPERATORS 2 There is a commutative diagram D F η S W Q S D F η Q Q S S W where the vertical maps are injective by freeness of the modules and because S injects into Q. The description for the image then follows from the fact that {X Iw } w W is a basis for both D F and Q W. The last part of the lemma follows immediately. By Lemma 0.2, σ D F Q W means that σ(d F) S. For any X D F we have (X σ)(d F ) = σ(d F X) S, so X σ D F. Hence, the -action of Q W on Q W induces a -action of D F on D F. For each v W, we define f v := x Π f v = v(x Π )f v Q W, i.e. fv ( w W Lemma 0.3. We have f v D F for any v W. q w δ w ) = v(x Π )q v. x w0 v(x w0 ) Proof. We know that x Π = w 0 (x w0 ), and by Lemma 3..(e), is invertible in S for any v W, so it suffices to show that x Π f v D F. If v = w 0, by Lemma 3.2, we have X Iw0 = a X w δ 0,w w, where a X w 0,w 0 = ( ) N x w0, so w w 0 (x Π f w0 )(X Iu ) = (x Π f w0 )( a X u,w δ w) = (x Π a X w 0,w 0 )δu,w Kr 0 = ( ) N xπ x w0 δu,w Kr 0 S. w u By Lemma 0.2, we have x Π f w0 D F. For an arbitrary v W, by Lemma 4.2, we obtain x Π f v = x Π f w0w 0 v = v w 0 (x Π f w0 ) = v w 0 (x Π f w0 ) D F. Corollary 0.4. For any z D F, we have x Π z S W and zx Π S W. Proof. It suffices to show that for any sequence I v, x Π X Iv and X Iv x Π belong to S W. Indeed, x Π X Iv = x Π w va X v,w δ w = w v(x Π a X v,w )δ w = (x Π f w )(X Iv )δ w S W, w v and X Iv x Π = w v a X v,wδ w x Π = w v a X v,ww(x Π )δ w = w v(w(x Π )f w )(X Iv )δ w S W. Let ζ: D F S W be the multiplication on the right by x Π (it does indeed land in S W by Corollary 0.4). The dual map ζ : S W D F is the -action by x Π, and ζ (f v ) = f v. Remark 0.5. In T-equivariant cohomology, the map ζ corresponds to the pushforward from the T-fixed point set of G/B to G/B itself, see [CZZ2, Lemma 8.5]. In the topological context, for singular cohomology, it coincides with the map i discussed in [AB84, p.8].