arxiv: v2 [math.rt] 25 Oct 2016

Transcription

1 Z/Z-GRADED LIE ALGEBRAS AND PERVERSE SHEAVES, III: GRADED DOUBLE AFFINE HECKE ALGEBRA arxiv: v2 [ath.r] 25 Oct 2016 GEORGE LUSZIG AND ZHIWEI YUN Abstract. In this paper we construct representations of certain graded double affine Hecke algebras(daha) with possibly unequal paraeters fro geoetry. More precisely, starting with a siple Lie algebra g together with a Z/Z-grading i Z/Z g i and a block of D G0 (g i ) as introduced in [9], we attach a graded DAHA and construct its action on the direct su of spiral inductions in that block. his generalizes results of Vasserot [13] and Oblokov-Yun [11] which correspond to the case of the principal block. Contents 1. Introduction 1 2. Relative affine Weyl group and graded DAHA 6 3. Facets and spirals he graded DAHA action on spiral inductions 20 References Background. 1. Introduction Let G be a siply-connected alost siple group over an algebraically closed field k with char(k) = 0. Let g = Lie G. Let 1 be an integer and let g = i Z/Z be a Z/Z-grading on g. For an integer n Z, let n be its iage in Z/Z. For the rest of the paper, we fix η Z {0}. Let G 0 G be the connected reductive subgroup with Lie algebra g 0. Let g nil 1 η be the cone of nilpotent eleents in g η. In the series of papers starting with [9] and [10], we are interested in the structure of the equivariant derived category D G0 (g nil η ). his paper ainly relies on [9, 1-4] and [10, 10]. We will use notation fro [9], part of which will be reviewed in 1.5. g i G.L. is partially supported by the NSF grant DMS ; Z.Y. is supported by the NSF grant DMS and the Packard Foundation. 1 In [9, 10] we use δ to denote η; in this paper we will reserve δ for an iaginary root in an affine root syste. 1

2 2 GEORGE LUSZIG AND ZHIWEI YUN Block decoposition and adissible systes. he ain result of [9] is a direct su decoposition of D G0 (g nil η ) into blocks in the style of the generalized Springer correspondence: (1.1) D G0 (g nil η ) = ξ η D G0 (g nil η ) ξ. he blocks are in bijection with the set η of G 0 -conjugacy classes of adissible systes. Roughly speaking, an adissible syste is a tuple ξ = (M,M 0,,,L), where M is a reductive subgroup of G which is the fixed point subgroup of a finite-order autoorphis of G (a pseudo-levi subgroup, see 2.2), = n Z n is a Z-grading on the Lie algebra of M such that n g n, M 0 is the connected reductive subgroup of M with Lie algebra 0, and L is an irreducible cuspidal M 0 -equivariant local syste (with Q l -coefficients) on the open M 0 -orbit η of η. For the precise definition of an adissible syste, see [9, 3.1] or here is a unique G 0 -conjugacy class of adissible systes (M,M 0,,,L) in which M is a torus. In this case, M is a axial torus in G 0, the Z-grading on is concentrated in degree 0, and the local syste L is the skyscraper sheaf supported on η = {0}. Let ξ 0 η be the G 0 -conjugacy class of such adissible systes. We call D G0 (g nil η ) ξ 0 the principal block. his block contains the intersection cohoology sheaves IC(O) of all G 0 - orbits O g nil η with constant local systes Spiral induction. Let ǫ = η/ η {1, 1} be the sign of η. In [9, 2] we defined the notion of ǫ-spirals for the Z/Z-graded g. he definitions of spirals and its splittings will be recalled in 3.3. Fix a G 0 -conjugacy class ξ of adissible systes, and let (M,M 0,,,L) ξ. Let P ξ be the set of ǫ-spirals p of the Z/Z-graded g such that soe (equivalently any) splitting of it is G 0 -conjugate to (M,M 0,, ). For each p P ξ with splitting (L,L 0,l,l ) which isg 0 -conjugateto (M,M 0,, ), there isacanonical L 0 -equivariant cuspidal local syste on l η (the open L 0 -orbit on l η ) which corresponds to L under any eleent g G 0 that conjugates (L,L 0,, ) to (M,M 0,, ) (see 4.1.3). We denote this local syste on l η still by L. We have the (unnoralized) spiral induction (see 4.1.3) I p = ǫ Ind gη p η (L ) D G0 (g nil η ). By definition, the full triangulated subcategory D G0 (g nil η ) ξ D G0 (g nil η ) that appears in the decoposition (1.1) is generated by those siple perverse sheaves that appear as direct suands (up to shifts) of I p for various p P ξ. he graded diensions of Ext (I p,i p ) are coputed in [9, Prop. 6.4]. In this paper, we will exhibit a large syetry on the direct su of all spiral inductions I p belonging to the fixed block D G0 (g nil η ) ξ Main results.

3 Z/Z-GRADED LIE ALGEBRAS AND PERVERSE SHEAVES, III WefixaG 0 -conjugacyclassofadissiblesystesξ η andlet ξ = (M,M 0,,,L) be an adissible syste in ξ. Attached to ξ we will introduce an affine Coxeter group W ξ aff with siple reflections I ξ and a reflection representation on a Q-vector space E ξ. We will also introduce a graded double affine Hecke algebra (DAHA) H c (W ξ aff ) with paraeters {c i } i I ξ. he underlying vector space of H c (W ξ aff ) is H c (W ξ aff ) = Q[u] Sy(Eξ, ) Q[Wξ aff ]. Finally, for ν Q, let H c,ν (W ξ aff ) be the specialization of H c(w ξ aff ) by sending u ν and E ξ, δ 1. For ore details see 2.5. he affine Dynkin graphs of W ξ aff are exactly those appearing as the -diagras in the tables of [6, 7] and [8, 11]. he paraeters c that appear in the graded DAHA are also specified in loc.cit. as the first label of each node of the -diagras. Fro these tables one can list exactly which graded DAHAs appear as our H c (W ξ aff ) Let P ξ = G 0 \P ξ. It can be shown that I p depends only on the G 0 -conjugacy class of the ǫ-spiral p (see 4.1.4). Let [p ] P ξ, then I [p ] is well-defined. he set P ξ adits a cobinatorial description in ters of alcoves in an affine space E odulo a finite group action (see Corollary ). In the notation of [10, 10], P ξ is in bijection with the W-orbits of alcoves in E (alcoves are defined using the hyperplanes {H α,n,n } introduced in loc.cit.; for precise stateents, see and Lea ). he ain theore of this paper is the following heore. Let ξ η. Consider the infinite direct su of perverse sheaves in D G0 (g nil η ) ξ I ξ := p HI [p ]. [p ] P ξ he notation p H( ) eans the direct su of perverse cohoology sheaves, see hen there is a Z/2Z-graded action of H c,η/ (W ξ aff ) on I ξ. A Z/2Z-graded action of H c,η/ (W ξ aff ) on the infinite direct su I ξ eans the following. For every eleent h H c,η/ (W ξ aff ) and [p ],[p ] P ξ, there is a ap of perverse sheaves h [p ],[p ] : p HI [p ] p HI [p ] preserving the Z/2Z-gradings such that (1) For fixed [p ], h [p ],[p ] = 0 for all but finitely any [p ]. (2) he assignent H c,η/ (W ξ aff ) Ho(p HI [p ], p HI [p ]) given by h h [p ],[p ] is Q- linear. (3) Let 1 H c,η/ (W ξ aff ) be the identity eleent, then 1 [p ],[p ] is the identity if [p ] = [p ] and zero otherwise. (4) For h,h H c,η/ (W ξ aff ) and [p ],[p ],[p ] P ξ, we have h [p ],[p ] h [p ],[p ] = (h h) [p ],[p ].

4 4 GEORGE LUSZIG AND ZHIWEI YUN By the decoposition theore, we know that each p HI [p ] is a seisiple perverse sheaf. For any siple perverse sheaf S in D G0 (g nil η ) ξ, let [ p HI [p ] : S] = Ho(S, p HI [p ]) be the ultiplicity space of S in p HI [p ]. A priori [ p HI [p ] : S] is Z/2Z-graded; however, by [10, heore 14.10(d)], [ p HI [p ] : S] is concentrated in degrees of the sae parity as di Supp(S) Corollary (ofheore1.2.3). Foranysipleperverse sheafs in the blockd G0 (g nil η ) ξ, there is an action of H c,η/ (W ξ aff ) on the vector space (1.2) [I ξ : S] := [ p HI [p ] : S]. [p ] P ξ In the decoposition (1.2), each direct suand [ p HI [p ] : S] is in fact a generalized eigenspace for the polynoial part of H c,η/ (W ξ aff ), and the eigenvalue can be described explicitly as a point in E ξ, see Proposition We ake soe conjectures about the H c,η/ (W ξ aff )-odules we construct Conjecture. In the notation of Corollary 1.2.5, [I ξ : S] is a siple H c,η/ (W ξ aff ) Q Q l -odule. his conjecture is true when ξ = ξ 0 (corresponding to the principal block), by the result of Vasserot [13] Fix a hooorphis σ : µ e Out(G), a positive integer and a tuple ξ = (M,M 0,,,L) where (M,M 0,, ) is a graded pseudo-levi subgroup of (G,σ) (see Definition2.2.1), and Lis anm 0 -equivariant cuspidal local syste on η. hen the graded DAHA H c,η/ (W ξ aff ) is defined independent of the choice of the Z/Z-grading on g. An H c,η/ (W ξ aff ) Q l-odule V is called integrable if the polynoial part Sy(E ξ, ) Q l acts on V locally finitely. For a Z/Z-grading θ on g whose outer class is σ (in the sense of 3.1.1), the tuple ξ ay or ay not be an adissible syste for (G,θ). If it is, I ξ is defined. o ephasize its dependence on θ, we denote it by I ξ,θ. We expect that all integrable siple H c,η/ (W ξ aff ) Q l -odules are of the for [I ξ,θ : S] for various Z/Z-gradings θ on g such that ξ is adissible with respect to θ and various siple perverse sheaves S in D G0 (g nil η ) ξ Miicking the construction of standard odules for the graded affine Hecke algebra in [5], one can define standard odules for the graded DAHA H c,η/ (W ξ aff ) by taking stalks of I ξ. Now if Conjecture holds, we would get a forula for the ultiplicities of the siple odules in the standard odules in ters of the stalks of the siple perverse sheaves in the block D G0 (g nil η ) ξ, which are coputable algorithically as shown in [10] Organization of the paper. In 2, the discussion is independent of the Z/Zgrading on g. We introduce the notion of a pseudo-levi subgroup M of (G,σ) (where σ : µ e Out(G)) and describe its relation with building theory. For such an M that adits a cuspidal local syste, with the extra choice of a facet in the building, we will

5 Z/Z-GRADED LIE ALGEBRAS AND PERVERSE SHEAVES, III 5 introduce an affine Coxeter group and a graded DAHA with possibly unequal paraeters. In particular, the graded DAHA attached to M is independent of the Z/Z-grading on g. In 3, the Z/Z-grading on g starts to play a role. We review the notion of spirals and describe the again in ters of building theory. In particular, we get a cobinatorial description of P ξ in Corollary his section is closely related to [10, 10]. In 4 we prove heore In 4.3 we first construct the action of the polynoial part of H c,η/ (W ξ aff ) on each I p using Chern classes coing fro equivariant paraeters. hen, in 4.5, for each finite subgroup W J W ξ aff generated by a proper subset J of siple reflections, we construct actions of the corresponding subalgebra H c,η/ (W J ) on I ξ (in fact on a finite direct su of the p HI [p ]). his construction is essentially the construction in [5], which we review in 4.4. Equivariant localization with respect to a torus action is used in the passage fro the results in [5] to our setting. Finally the action of H c,η/ (W ξ aff ) is obtained by gluing the actions of H c,η/ (W J ) for various J (the W J s generate W ξ aff ) Variant and related work he Z-graded case. he construction in this paper can be applied to the situation of a Z-gradedLie algebra g. In this case, foreach G 0 -conjugacyclass ξ = (M,M 0,,,L)of adissible systes, we have a finite Coxeter group W ξ and a graded affine Hecke algebra H c (W ξ ) as introduced in [5] for the cuspidal pair (M,L) for G (independent of the Z- grading on g). here exists an action of H c (W ξ )/(u 1) on the direct su of parabolic inductions fro (M,M 0,,,L). his is essentially done in 4.5, and it follows directly fro the results in [5] by equivariant localization Relation with loop algebras. A natural way to study the Z/Z-graded Lie algebra g istoturnthez/z-gradinginto az-gradingonitsloopalgebralg = g((z)) (oritstwisted for if σ is nontrivial). Under such a translation, spirals can be interpreted using parahoric subalgebras of Lg, and spiral induction can be understood using parahoric induction. We discuss this relationship in , but otherwise we avoid entioning loop algebras or parahoric induction in this paper in order to ake our approach as eleentary as possible. However, we are iplicitly taking the loop algebra point of view: for exaple we ake a choice of a lifting of the eleent x X ( ad ) Z/Z giving rise to the Z/Z-grading to an eleent x X ( ad ) giving rise to a Z-grading on Lg Relation with [13] and [11]. In [13], when the grading on g is inner, a siilar action of H c (W aff ) for the principal block D G0 (g nil η ) ξ 0 was constructed fro the point of view of the loop algebra. Moreover, [13] gives a coplete classification of integrable siple H c,η/ (W aff )-odules: they are in bijection with siple perverse sheaves in the principal block D G0 (g nil η ) ξ0. In [11], an action of H c (W aff ) on the cohoology of hoogeneous affine Springer fibers was constructed. Spirals did not explicitly appear in these works but the relevant varieties X A P0 A = G 0 p A η (Hessenberg varieties) showed up as torus fixed points on hoogeneous affine Springer fibers in the affine flag variety (see [11, 5.4]). he action of H c (W aff ) on the cohoology of hoogeneous affine Springer fibers constructed in [11] is related to the

6 6 GEORGE LUSZIG AND ZHIWEI YUN one constructed in this paper via a Fourier transfor (between D G0 (g η ) and D G0 (g η )) and equivariant localization Notation hroughout the paper, k is an algebraically closed field of characteristic zero. All schees are schees of finite type over k in this paper unless otherwise claied LetGbeanalostsiple, siply-connected algebraicgroupoverk. Letg = LieG Let l be a prie different fro char(k). When we talk about coplexes of sheaves on a schee X, we always ean Q l -coplexes on X for the étale topology. Let D(X) be the bounded derived category of Q l -coplexes on X. If an algebraic group H acts on X, let D H (X) be the derived category of H-equivariant Q l -coplexes on X as developed in [1]. We will use the notion of coplexes of sheaves on algebraic stacks X but only for quotient stacks of the for X = [X/H], in which case D(X) = D H (X) by definition. All sheaf-theoretic functors are derived Let X be a schee. For a local syste L on soe locally closed, equidiensional sooth subschee j : Y X, we let L = j! (L[diY])[ diy] D(X). Note that L Y = L For a schee X of finite type over k with an action of an algebraic group H, and any object K D H (X), we define the perverse sheaves p H ev K := n even p H n K; p H odd K := n odd p H n K; p HK := p H ev K p H odd K = n Z p H n K. We consider p HK as a Z/2Z-graded perverse sheaf For a subalgebra h g, we denote by e h the (sooth) connected subgroup of G with Lie algebra h, whenever it exists For an algebraic group H and a subgroup H of it which acts on a schee X, we denote by H H X the (stack) quotient of H X under the H -action given by h (h,x) = (hh 1,h x), h H,h H and x X. In the exaples we consider, the quotient H H X is always representable by a schee For a Z-graded Lie algebra h = n Z h n, we often abbreviate the collection of the graded pieces {h n n Z} by h For a positive integer n, µ n denotes the diagonalizable group over k of n-th roots of unity. 2. Relative affine Weyl group and graded DAHA In this section, for a pseudo-levi subgroup M of (G,σ) which adits a cuspidal local syste supported on a nilpotent orbit, we will introduce an affine Coxeter group and a graded DAHA with possibly unequal paraeters. he results in this section are essentially contained in [6] and [5].

7 2.1. Affine root syste. Z/Z-GRADED LIE ALGEBRAS AND PERVERSE SHEAVES, III We fix a pinning E = (B 0, 0, ) of G, where B 0 is a Borel subgroup and 0 a axial torus of G contained in B 0. We identify Out(G) with the pinned autoorphis group of G. Fix an injective hooorphis (2.1) σ : µ e Out(G). hen e {1,2,3}. Let µ e act on G via pinned autoorphiss through σ. Let G σ be the fixed point subgroup of σ(µ e ) Let = σ 0 be the fixed points of σ(µ e ), then is a axial torus of G σ, and 0 = C G (). Let t = Lie. Let Φ(G,) X () be the root syste of G with respect to. Note that Φ(G,) is not necessarily reduced, and it is non-reduced precisely when G = SL 2n+1 and e = Let W G be the Weyl group of G with respect to 0. Let W be the Weyl group of the root syste Φ(G,). hen W is also the Weyl group of G σ with respect to. We have W = W σ G, the fixed point subgroup of σ(µ e) he pinned action of σ(µ e ) gives a decoposition g = i Z/eZ g i. For each α Φ(G,) and i Z/eZ, the root space g i (α) is either zero or one diensional. Let Φ(G,) = {(α,i) Φ(G,) Z/eZ g i (α) 0} Let a = X () Z Q. he Killing for on g gives a R = a R a Euclidean structure. Let Φ aff be the set of affine functions α = α+ n on a, for (α,n) Φ(G,) Z such that e (α,n od e) Φ(G,). his is the set of real affine roots attached to the pair (G,σ). he vanishing locus of each eleent α Φ aff gives an affine hyperplane H α a. Let H be the collection of such affine hyperplanes. hese hyperplanes give a stratification of a into facets. Let F be the set of facets in a Definition. A relevant affine subspace E of a is the affine subspace spanned by soe facet F. Let E be the set of relevant affine subspaces of a he affine Weyl group W aff attached to (G,σ) is the group of affine isoetries of a generated by the orthogonal reflections across affine hyperplanes H H. For any facet F a, let W F W aff be the stabilizer of the facet F under W aff. hen W F fixes F pointwise, and it is a finite Weyl group generated by the reflections across those hyperplanes H H that contain F. Note that W F only depends on the affine subspace spanned by F. herefore, if E E, we ay define W E to be W F for any facet F that spans E Let a = a Qd with dual space a, = Qδ a, such that δ,d = 1. We think of δ as the generator of the iaginary roots in Φ aff. he affine action of W aff on a extends canonically to a linear action of W aff on a : w (v + zd) := w(zv) + zd, where v a, z Q,w W aff and w( ) denotes the action of w on a.

8 8 GEORGE LUSZIG AND ZHIWEI YUN Let ad = /Z σ G, where Zσ G = Z G G σ is also the center of G σ. he ebedding X ( ad ) a gives a lattice in a. We have X ( ad ) = {λ a α,λ Z, α Φ(G,)}. he extended affine Weyl group W is the group of affine isoetries of a that stabilize the stratification set H of affine hyperplanes. he translation part of W is X ( ad ) and W/X ( ad ) = W Pseudo-Levi subgroups. Let Aut σ (G) Aut(G) be the preiage of σ(µ e ) under the projection π Out : Aut(G) Out(G). Let µ e µ e be the priitive e-th roots of unity (so µ 1 = µ 1 = {1}). Let Aut σ (G) be the preiage of σ(µ e ) under π Out Definition. A pseudo-levi subgroup of (G,σ) is the fixed point subgroup of G of the for M = G τ for soe seisiple autoorphis τ Aut σ (G). In the case e = 3, we ay restrict τ to be in a fixed non-neutral coponent of Aut σ(g) (aong the two choices), and they give the sae notion of pseudo-levi subgroups, because inversion on Aut(G) interchanges the two choices. By Steinberg s theore, a pseudo-levi subgroup M is a connected reductive group Lea. (1) Any seisiple eleent τ Aut σ (G) = Gad σ(µ e ) ay be conjugated to ad σ(µ e ) under G. (2) If M = G τ for soe τ ad σ(µ e), then is a axial torus of M. Proof. (1) Recall the fixed pinning E = (B 0, 0, ) of G and = 0 σ. By [12, 7.5, 7.6], there exists a Borel subgroup B 1 of G and a axial torus 1 of G with 1 B 1 such that τ noralizes B 1 and 1. Let g G ad be such that Ad(g)(B 1, 1 ) = (B 0, 0 ), then gτg 1 noralizes (B 0, 0 ). Replacing τ by gτg 1, we ay assue that τ noralizes (B 0, 0 ). hen there is an eleent s 0 ad such that s 1 τ fixed the pinning E, i.e., s 1 τ = σ(ζ), where ζ µ e such that σ(ζ) is the iage of τ in Out(G). We then have τ = sσ(ζ) for soe s 0 ad. Let 0,σ(ζ) ad be the coinvariants of the σ(ζ)-action on ad 0, then the natural ap ad = ad,σ(ζ) 0 0 ad 0,σ(ζ) ad is surjective. Let s ad have the sae iage as s in 0,σ(ζ) ad, then there exists s 1 0 ad such that s s 1 = s 1 σ(ζ) s 1 1 (we denote the action of σ(ζ) on G ad by g σ(ζ) g). hen we have s 1 τs 1 1 = s 1 sσ(ζ)s 1 1 = s 1 σ(ζ) s 1 1 sσ(ζ) = s σ(ζ) ad σ(µ e ), as desired. (2) We have C M () = C G () M = 0 M = 0 τ. Since τ = sσ(ζ) for soe s ad and ζ µ e, we have τ 0 = σ(ζ) 0 = 0 σ =, therefore C M() = and is a axial torus in M Let M be the set of pseudo-levi subgroups of (G,σ). Let M = G\M be the G- conjugacy classes of pseudo-levi subgroups. Let M be the set of pseudo-levi subgroups of (G,σ) of the for G τ for soe τ ad σ(µ e). hen M M is surjective by Lea 2.2.2(1). he Weyl group W acts on M by conjugation. We have the following ore precise stateent.

9 Z/Z-GRADED LIE ALGEBRAS AND PERVERSE SHEAVES, III Root syste of a pseudo-levi. When M M, we have the root syste Φ(M,). For each α Φ(M,), the one-diensional root space (α) lies in soe g i for a unique i Z/eZ (for if M is the centralizer of (t,σ(ζ e )) ad σ(µ e ), then (α) 0 if and only if α(t)σ(ζ e ) acts on g with eigenvalue 1, in which case there is a unique i Z/eZ such that α(t) ζe i and g i (α) = (α) 0). herefore each α Φ(M,) deterines soe i Z/eZ. In other words the inclusion Φ(M,) Φ(G,) can be canonically lifted to an injective ap Φ(M,) Φ(G,) Φ(G,) Z/eZ, and we denote its iage by Φ(M,) Φ(G,) Relevant affine subspaces and pseudo-levi subgroups. Let E E be a relevant affine subspace of a. Let R E Φ(G,) be the set of pairs (α,i) such that α,y +i/e Z for all y E. If (α,i) R E, then α deterined i Z/eZ, hence the projection R E Φ(G,) is injective. In particular, R E is a reduced root syste. here is a unique reductive subgroup G E G containing as a axial torus with Lie algebra g E = t ( (α,i) R E g i (α)) In other words Φ(G E,) = R E. We clai that G E M. In fact, we pick any y E that does not lie in any facet with diension strictly saller than that of E, and write y = λ/n for soe λ X () and n ez >0. hen R E = {(α,i) Φ(G,) α,y +i/e Z}. Let τ = λ(ζ n ) σ(ζn n/e ) σ(µ e) for soe priitive n-th root of unity ζ n. hen one can check by exaining root spaces that G E = G τ, and therefore G E M. his way we have defined a ap (2.2) Γ : E M given by E G E. Since all eleents τ σ(µ e) can be obtained fro an eleent y = λ/n a as above, Γ is surjective. It is also easy to see that Γ is X ( ad )-invariant with respect to its translation action on E Supposey a, theny liesinauniquefacetf whichspansarelevant affinesubspace E. We define G y and G F to be G E. We denote the Lie algebra of G y and G F by g y and g F. Consider the coposition Γ F : F E Γ M M. sending a facet F to G E where E = Span(F). For [M] M (the G-conjugacy class of a pseudo-levi M), let F [M] F denote the preiage of [M] under the ap Γ F Let E be a relevant affine subspace of a, and let M = G E be the corresponding pseudo-levi subgroup. Let Z M be the center of M, Z 0 M be the neutral coponent of Z M. Let a M = X (Z 0 M ) Z Q a. hen E is torsor under a M. Let a M = X (/Z M ) Z Q = a/a M. Let π M : a a M be the natural projection. he subgroup W E of W aff fixes E pointwise and induces an affine action on a M fixing the point π M (E). Shifting by π M (E), we ay identify W E with the Weyl group of M with respect to, which acts linearly on a M.

10 10 GEORGE LUSZIG AND ZHIWEI YUN he Killing for on a restricts to a Euclidean structure on E R = E R. For each H H, the intersection H E is either epty, or the whole E, or a hyperplane in E. Let H(E) be the set of hyperplanes in E of the for H E, where H H. hese hyperplanes give a stratification of E into E-facets. his stratification is siply the restriction to E of the stratification of a by facets, and an E-facet is siply a facet of a that is contained in E. Let F(E) denote the set of E-facets. We call the open E-facets E-alcoves. hese are in natural bijection with connected coponents of E R = E R H H(E) H R. he set of E-alcoves is denoted Alc(E) Action of G rot Let G rot be a one-diensional torus. For each relevant affine subspace E a, we define an action of G rot on the corresponding pseudo-levi subgroup G E as follows. It acts trivially on. For each (α,i) R E, we let G rot act on the root space gi (α) of g E with weight e α,y, for any y E (note here that e α,y Z is independent of the choice of y E). If H is a subgroup of G E stable under the action of G rot, we denote H = H G rot WedenotethecanonicalgeneratorofX (G rot )byed; duallythecanonicalgenerator of X (G rot ) is δ/e. We then identify a = a Qd (see 2.1.8) with X ( ) Q, where = G rot For a relevant affine subspace E a, let E be the Q-linear span of the affine subspace E+d a. Let M = G E. hen δ a restricts to a linear function δ : E Q, and we have E = δ 1 (1); a M = δ 1 (0). he center Z M of M = M G rot fits into an exact sequence 1 Z M Z M G rot 1. he neutral coponent Z 0 M is a subtorus of = G rot. herefore X (Z 0 M ) Q is a linear subspace of X ( ) Q = a. he following lea is a direct calculation Lea. We have X (Z 0 M ) Q = E as subspaces of a Relative affine Weyl group We fix a G-conjugacy class [M] of pseudo-levi subgroups of (G,σ), i.e., [M] M. We assue that = Lie M carries an M-equivariant cuspidal local syste L supported on soe nilpotent orbit O. his eans that the perverse sheaf L [dio] is cuspidal for the seisiple Lie algebra der = [,] in the sense of [4, 2(a)]. By the classification of cuspidal local systes in [3], such a nilpotent orbit O, if exists, is unique (i.e., independent of the cuspidal local syste L). he possible conjugacy classes of pseudo-levi subgroups M supporting cuspidal local systes on an nilpotent orbit are classified in [6, 7] in the case e = 1 and in [8, 11] in the case e = 2 or 3. If we choose a standard alcove A 0 in a, one can find a standard facet F A 0 such that F F [M] (which ay not be unique). hen F corresponds to a subdiagra of the (twisted) extended Dynkin diagra of (G, σ). In loc.cit., all such

11 Z/Z-GRADED LIE ALGEBRAS AND PERVERSE SHEAVES, III 11 subdiagras arising fro M supporting cuspidal local systes are shown in the boxes inside the abient affine Dynkin diagras Let A F [M] and E = Span(A). Recall this eans that G E is in the G-conjugacy class [M]. For notational convenience we ay assue G E = M. For each H H(E), there is a unique orthogonal reflection r H across H. Let W aff (E) be the group of affine isoetries of E generated by the reflections r H for all H H(E). Let I(A) be the set of hyperplanes H H(E) spanned by codiension one facets on the boundary of A Proposition ([6]). (1) he group W aff (E) acts siply transitively on Alc(E). (2) If die > 0, then W aff (E) is an affine Coxeter group with siple reflections {r H } H I(A). Proof. Let I be any syste of siple generators of W aff containing I(A). By [6, 5.6] (which uses the classification of cuspidal local systes given in [5]), in the case e = 1, I(A) is an excellent subset of I in the sense of [6, 2.4]. In the case e = 2 or 3, I(A) is again an excellent subset of I. his follows by exaining the tables in [8, 11] case by case. hen the desired stateents follow fro [6, 2.9, 2.11(a)] For A F [M] which spans E, let W A aff := (W aff (E),I(A)) be the resulting Coxeter group. For each H I(A), we have its stabilizer W H under W aff. For a pair H H I(A), the intersection H H is also a relevant affine subspace, hence W H H W aff is also defined. For any of the finite Weyl groups W E,W H and W H H, under any syste of Coxeter generators, the length of the longest eleent is well-defined, and we denote it by l(w E ),l(w H ) and l(w H H ). By [6, 2.28(a)], for H,H I(A), the order H,H of r H r H in W aff (E) is given by H,H = 2(l(W H H ) l(w E)) l(w H )+l(w H ) 2l(W E ) Let N Waff (W E ) be the noralizer of W E in W aff. Since W E is the pointwise stabilizer of E and E is the fixed point locus of W E, N Waff (W E ) is also the stabilizer of E under W aff. he quotient N Waff (W E )/W E acts on E by affine isoetries Proposition ([6, Lea 2.29(a)]). he natural hooorphis N Waff (W E )/W E Aut(E) is injective, and its iage is W aff (E). In particular, we have a canonical isoorphis N Waff (W E )/W E = Waff (E) he linear action of W aff on a (see 2.1.8) restricts to a linear action of W aff (E) = N Waff (W E )/W E on E. We denote the action of w W aff (E) on E and its dual space E by ξ w ξ.

12 12 GEORGE LUSZIG AND ZHIWEI YUN For each hyperplane H H(E), we shall introduce a root α H a M, and a coroot α H am. Since H itself is a relevant affine subspace, we have a pseudo-levi subgroup L := G H G containing M. he connected coponent of E R H R containing A gives a parabolic subgroup Q L containing M as a Levi subgroup. his gives a triangular decoposition of l = Lie L: (2.3) l = n + n where n + is the nilradical of Lie Q. hen acts on n ± by the adjoint action. he ZM 0 -weights on n+ are ultiples of each other (because their vanishing loci are parallel to H). Let α H X (ZM 0 ) be the shortest weight that appear in n+. his defines an assignent H(E) X (ZM 0 ) given by H α H. he vanishing locus of α H (as a hyperplane in a M ) is parallel to H. here is a unique affine function α H on E whose linear part is α H and whose vanishing locus is H. Recall we have the reflection r H across H. We define αh am to be the unique eleent such that r H (x) = x α H (x)αh, x E For each H H(E), we introduce a positive integer c H following [5, 2.10]. We use the sae notation as Recall that O is the nilpotent orbit that supports a cuspidal local syste. Pick any e O, and denote its adjoint action on n + (see (2.3)) by ad(e). We define c H to be the largest integer c such that ad(e) c 2 0 as an endoorphis of n +. In other words, c H 1 is the largest size of a Jordan block of n + under ad(e). Clearly c H is independent of the choice of e O. he assignent H c H defines a function c : H(E) Z >0. It is also clear that the function c is invariant under the perutation action of W aff (E) on H(E) Canonicity of (E,W aff (E),I(A)). So far we have used the choice of A F [M] to define the affine Coxeter group Waff A = (W aff(e),i(a)). If A 1 F [M] is another facet with E 1 = Span(A 1 ), then the affine Coxeter group W A 1 aff (W aff(e 1 ),I(A 1 )) is also defined and it acts on E 1. Suppose A 1 and A are in the sae W aff -orbit, we clai that there is a canonical affine isoetry E = E 1 and a canonical isoorphis of Coxeter groups Waff A = W A 1 aff under which the action of W aff (E) on E and the action of W aff (E 1 ) on E 1 are intertwined. In fact, let w W aff be such that A 1 = wa. hen w is well-defined in the coset W aff /W A = W aff /W E. he eleent w defines an affine isoetry e w : E = E 1. Conjugation by w gives an isoorphis Ad(w) : W aff (E) = N Waff (W E )/W E N Waff (W E1 )/W E1 = W aff (E 1 ), sending I(A) bijectively to I(A 1 ). he isoorphiss e w and Ad(w) clearly intertwine the action of W aff (E) on E and the action of W aff (E 1 ) on E 1. Changing w into ww 1 for soe w 1 W E, we have e ww1 = e w e w1 and Ad(ww 1 ) = Ad(w)Ad(w 1 ). Since w 1 W E fixes E pointwise, both e w1 and Ad(w 1 ) are the identity isoorphiss. herefore both e w and Ad(w) are independent of the choice of w W aff sending A to A 1. Under the canonical isoorphis (E,W aff (E),I(A)) = (E 1,W aff (E 1 ),I(A 1 )) described above, the set of hyperplanes H(E) aps bijectively to H(E 1 ), and the assignents H α H,αH and c H are copatible with such bijections. Moreover, the isoorphis E = E 1

13 Z/Z-GRADED LIE ALGEBRAS AND PERVERSE SHEAVES, III 13 extends uniquely to a linear isoorphis E = E1, preserving the linear functionδ, under which the linear actions of W aff (E) and W aff (E 1 ) are intertwined he graded DAHA attached to Waff A. We retain the setup as in the beginning of Fix A F [M] and let E = Span(A), M = G E. For each i I(A) (which is a subset of H(E)) indexing a siple reflection s i W aff (E), we have defined the siple root α i a [M],, siple coroot αi a [M] and a positive integer c i in and We define a graded Q-algebra H c (Waff A ) as follows. As a Q-vector space it is a tensor product (2.4) H c (W A aff) = Q[u] Sy(E ) Q[W aff (E)]. he grading on H c (Waff A) is deterined by assigning u and E degree 2, and assigning W aff (E) degree 0. he algebra structure on H c (Waff A ) is deterined by: Each of the tensor factors in (2.4) is a subalgebra. u is central in H c (Waff A). For each siple reflection s i W aff (E) (i I(A)), we have (2.5) (1 1 s i ) (1 v 1) (1 s i v 1) (1 1 s i ) = c i v,α i u 1 1, v E. Here the pairing v,α i akes sense because am is a subspace of E Specialization. heeleentδ E isinvariantundertheactionofw aff(e),therefore it is central in H c (W A aff ) by the relation (2.5). For ν Q, we define a quotient of H c(w A aff ) given by H c,ν (Waff A ) = H c(waff A )/(u+ν,δ 1). Now H c,ν (W A aff ) is no longer graded but only filtered: if we let F i = F i H c,ν (W A aff ) be the iage of degree i eleents in H c (W A aff ) for i Z 0, then F i F j F i+j for all i,j Z Bythediscussion in 2.4.9, ifa,a 1 F [M] areinthesaew aff -orbit, thenthereisa canonicalisoorphisofq[u,δ]-algebrash c (Waff A) = H c (W A 1 aff ),andcanonicalisoorphis of algebras H c,ν (Waff A) = H c,ν (W A 1 aff ) for any ν Q. 3. Facets and spirals In this section we describe how to obtain spirals for the Z/Z-graded Lie algebra g fro facets in a. he results in this section are closely related to, and soeties reforulations of results in [10, 10] (see for coparison with the notation in [10]) Z/Z-gradings on g.

14 14 GEORGE LUSZIG AND ZHIWEI YUN Let G,g and the Z/Z-grading on g be given as in the Introduction. Such a Z/Z-grading on g is the sae datu as a hooorphis θ : µ Aut(G). Given such a θ, the graded piece g i is the subspace of g where θ(ζ) acts by ζ i, for all ζ µ. Consider the coposition θ Out : µ θ Aut(G) Out(G). Since eleents in Out(G) have order 1,2 or 3, there is a unique e {1,2,3} and an injective hooorphis σ : µ e Out(G) such that θ Out factors as θ Out : µ [/e] µ e σ Out(G) where [/e] is the ap ζ ζ /e. We call σ the outer class of the Z/Z-grading θ. he discussions in 2 are then applicable to the pair (G,σ). In particular, we fix a axial torus G σ as in By Lea 2.2.2(1), for a priitive eleent ζ µ, θ(ζ) is G-conjugate to an eleent in ad σ(ζ /e ). herefore, θ is G-conjugate to a hooorphis (3.1) θ x = (x,[/e]) : µ ad µ e where the first factor is given by an eleent x X ( ad ) Z/Z. herefore, without loss of generality, we ay assue that θ takes the for (3.1) for soe eleent x X ( ad ) Z/Z Forthe rest of thesection, we fix aneleent x X ( ad ) with iagex X ( ad ) Z/Z. In other words, x is a cocharacter G ad whose restriction to µ gives the first factor of θ x Lea. he point x/ X ( ad ) Q = a defines a pseudo-levi subgroup G x/ as in and We have G 0 = G x/, and is a axial torus of G 0. Proof. Let ζ be a priitive -th root of unity. By definition G 0 = G τ for τ = x(ζ)σ(ζ /e ). he calculation in shows that G τ = G x/. By Lea 2.2.2(2), is a axial torus of G τ = G 0. he proof above shows that (3.2) g n = (α,i) Φ(G,); α,x /+i/e n/+z g i (α). he Weyl group W G0 of G 0 can be identified with W x/, the stabilizer of x/ under the affine Weyl group W aff Graded pseudo-levi subgroups Let g be a subalgebra. A Z-grading on is said to be copatible with the given Z/Z-grading on g if for any i Z/Z we have g i = n. n i()

15 Z/Z-GRADED LIE ALGEBRAS AND PERVERSE SHEAVES, III Let M Z gr be the set of quadruples (M,M 0,, ) where M is a pseudo-levi subgroup of (G,σ) with Lie algebra, = n Z n is a Z-grading on copatible with the Z/Z-grading on g, and M 0 = e 0. he adjoint representation of G 0 on g induces an action of G 0 on M Z gr, and we denote the quotient G 0 \M Z gr by M Z gr. Let M Z gr M Z gr be the subset of quadruples (M,M 0,, ) such that M M and M 0. If (M,M 0,, ) M Z gr, then M 0, hence the Z-grading on is given by a unique eleent j X (/Z M ). Hence we get a bijection M Z gr he Weyl group W G0 of G 0 acts on M Z gr Lea. he natural ap M Z gr = {(M,j) M M,j X (/Z M )}. M Z gr induces an injective ap W G0 \M Z gr M Z gr. Proof. Suppose (M,M 0,, ) and (M,M 0,, ) are both in MZ gr, and g G 0 is such that Ad(g)(M,M 0,, ) = (M,M 0,, ). Since Ad(g)M 0 = M 0, Ad(g) and are both axial tori of M 0, there exists M 0 such that Ad( )Ad(g) =. Replacing g by g, we have Ad(g) =, hence g N G0 (). Since acts trivially on M Z gr, letting w W G0 be the iage of g, then w (M,M 0,, ) = (M,M 0,, ). his shows that the fibers of M Z gr M Z gr are W G0 -orbits Spirals and splittings We recall fro [9] soe basic definitions about spirals. An eleent λ Y G0,Q (see [9, 0.11], it eans λ is a foral expression λ /N where λ : G G 0 and N Z >0 ) induces a Q-grading g = r Q ( λ r g) on g such that each g i is the direct su of λ r g i = λ r g g i for various r Q. Using λ we define (3.3) ǫ p λ n := λ ǫng n = ( λ rg n ), n Z. r Q,r ǫn Recall fro [9, 2.5] that an ǫ-spiral for the Z/Z-graded g is a collection of subspaces p = {p n n Z} of the for ǫ p λ for soe λ Y G 0,Q. We also recall ǫ l λ n := λ ǫng n. Since ǫ is fixed throughout, we shall oit the left superscript ǫ fro the notation such as ǫ p λ n and ǫ l λ n. he direct su l λ = n Z l λ n is a reductive subalgebra of g, and we let L λ = e lλ, L λ 0 = e lλ 0. Note that in [9], l λ n was denoted l λ n, L λ was denoted Λ λ, etc.; in this paper we oit the tildes. Recall fro [9, 2.6] that a splitting of the spiral p is a syste of the for (L λ,l λ 0,lλ,l λ ) for soe λ Y G0,Q such that p = p λ. he following stateent is proved in [9, 2.6(c)] Lea. For λ Y G0,Q, L λ is a pseudo-levi subgroup of (G,σ).

16 16 GEORGE LUSZIG AND ZHIWEI YUN Let P be the set of G 0 -conjugacy classes of ǫ-spirals for the Z/Z-graded g. By Lea 3.3.2, assigning to an ǫ-spiral p any of its splittings (which are conjugate under P 0 = e p 0 by [9, 2.7(a)]), we get a ap 3.4. Spirals and facets. Λ : P M Z gr Let P be the set of ǫ-spirals p of the for p λ for soe λ a (note that a = Y,Q is naturally a subset of Y G0,Q). he Weyl group W G0 acts on P by conjugation Lea. he natural ap P P induces a bijection W G0 \P P. Proof. First, P P is surjective because every λ Y G0,Q is G 0 -conjugate to one in a. Now suppose for λ,λ a, p λ and p λ are G 0 -conjugate to each other. Let g G 0 be = p λ. Let P 0 = e pλ 0, L0 = e lλ 0 and P 0 = e pλ 0, L 0 = e lλ 0. is a parabolic subgroup such that Ad(g)p λ = pλ, i.e., pad(g)λ hen P 0 is a parabolic subgroup of G 0 with Levi subgroup L 0 ; P 0 of G 0 with Levi subgroup L 0. We have Ad(g)P 0 = P 0, hence both Ad(g)L 0 and L 0 are Levi subgroups of P 0. herefore, there exists p P 0 such that Ad(p)Ad(g)L 0 = L 0. Replacing g by pg, we have Ad(g)(P 0,L 0 ) = (P 0,L 0 ). Since l 0 = Ad(g)l 0 = Ad(g)λ 0 g 0 contains t, then for any integer N such that Nλ defines a hooorphis Nλ : G G 0, the iage of Ad(g)(Nλ ) coutes with. herefore Ad(g)(Nλ ) has iage in because is a axial torus in G 0, hence Ad(g)λ a. Since λ and Ad(g)λ are both in a and are conjugate under G 0, they are in the sae W G0 -orbit. herefore there exists w W G0 such that Ad(g)λ = wλ, hence p λ = p Ad(g)λ W G0 -orbit By (3.2), we have = p wλ = wp λ, i.e., p λ and p λ are in the sae l λ = (α,i) Φ(G,); α,x ǫλ /+i/e Z g i (α) Coparing with the root syste of G (x ǫλ)/ (see 2.2.5), we see that (3.4) l λ = g (x ǫλ)/ ; L λ = G (x ǫλ)/ For y a, we let then we have L λy = G y. λ y := ǫ(x y), Lea. Let y,y a, then p λy = p λ y of a. if and only if y and y are in the sae facet Proof. We argue for the case ǫ = 1 and the case ǫ = 1 is siilar. Fro (3.2) and (3.3) we seethatp λy n isthesuofg i (α)where(α,i) Φ(G,)suchthat( α,x n)/+i/e Zand that ( α,x n)/ α,y. In other words the condition for g i (α) to appear in p λy n is that for soe l Z with residue class i od e, we have ( α,x n)/+l/e = 0 α,y +l/e.

17 Z/Z-GRADED LIE ALGEBRAS AND PERVERSE SHEAVES, III 17 I.e., g i (α) appears in p λy n if and only if there exists an affine root α = α+l/e with iage (α,i) Φ(G,) such that (3.5) α(x/) n/ = 0 α(y). Suppose y and y are in the sae facet, then for any affine real root α, α(y) and α(y ) are either both positive or both negative or both zero. herefore the condition (3.5) holds for y if and only if it holds for y. Hence p λy = p λ y. Conversely, suppose y and y do not lie in the sae facet, then there exists a real affine root α Φ aff such that α(y) 0 but α(y ) > 0. Let (α,i) Φ(G,) be the iage of α. Let n = α(x/) Z, then by (3.5) we see that g i (α) is contained in p λy n but not in p λ y n. herefore p λy is not equal to p λ y in this case Let F F, we define the ǫ-spiral p F as pλy for any y F. his is well-defined by Lea he ap F p F then gives a bijection x : F P. he notation x suggests that it depends on x and not just on x. We define a splitting (L F,L F 0,l F,l F ) of p F as (L λy,l λy 0,l λy,l λy ) for any y F. hen the assignent F (L F,L F 0,lF,l F ) M gives a ap Λ : P 1 x F M Z gr. Alternatively, for p P, Λ (p ) ay be characterized as the unique splitting (L,L 0,l,l ) of p such that L 0, but we shall not need this stateent Lea. For any E E, denoting G E by M, we define j x a M by j x = (π M (x/) π M (E)). hen j x X (/Z M ) a M, and therefore j x defines a Z-grading on = Lie M. Proof. For F Alc(E), we denote (L F,L F 0,lF,l F ) by (M,M 0,, ) M Z gr. Let y F, and λ y = ǫ(x y). hen by and (3.4), we have M = G y. By definition, the Z-grading on = l F is the restriction of the Q-grading ǫλ y = x y of g. herefore, the Z-grading on is given by the iage π M (λ y ) = π M (x y) = (π M (x/) π M (E)) = j x. his shows that j x has integral weights on and hence j x X (/Z M ) By Lea 3.4.6, the assignent E (M = G E,j x ) defines a ap Γ x : E M Z gr. We clai that this ap is injective. In fact, if both E and E E give the sae (M,M 0,, ) M Z gr, then E is parallel to E because they are both parallel to a M. Moreover, the gradings on induced by (π M (x/) π M (E)) and (π M (x/) π M (E )) are the sae, hence π M (E) = π M (E ). herefore E = E.

18 18 GEORGE LUSZIG AND ZHIWEI YUN Recall that an adissible syste is (M,M 0,,,L), where (M,M 0,, ) M Z gr which lies in the iage of Λ : P M Z gr (see [9, 3.1(c)]), and L is an M 0 - equivariant cuspidal local syste on the open M 0 -orbit η of η in the sense of [7, 4.4]. Our notation is slightly different fro that in [9, 3.1], where (M,M 0,,,L ) is called an adissible syste. Let η be the set of adissible systes, and let η = G 0 \ η. Forgetting the local syste L gives a ap η M Z gr, and passes to the G 0 -quotients η M Z gr he constructions of the aps x,γ x and Λ gives a coutative diagra (3.6) W x/ \F x W G0 \P P W x/ \E Λ Γ x W G0 \M Z gr Λ M Z gr Here we have used the isoorphis W x/ = WG0, the injectivity of Γ x shown in 3.4.7, Lea 3.2.3, and the isoorphis proved in Lea he coposition of the first row is given by [F] [p F ]. For ξ η, let ξ M Z gr its iage. Let M Z gr,ξ,p ξ,fξ and E ξ be the subsets of,p,f and E which is the preiage of ξ (these subsets only depends on ξ, but we M Z gr use the superscripts ξ for siplicity of notation). he diagra (3.6) restricts to a diagra (3.7) W x/ \F ξ x W G0 \P ξ P ξ W x/ \E ξ Γ x Λ W G0 \M Z gr,ξ Λ {ξ} Corollary. Let ξ η. (1) All eleents in F ξ are in the sae W aff -orbit. (2) Let E E ξ. hen the inclusion Alc(E) F ξ induces a bijection W x/ (E)\Alc(E) W x/ \F ξ = P ξ where W x/ (E) is the iage of W x/ N Waff (W E ) in W aff (E) = N Waff (W E )/W E. Proof. By the diagra (3.7), W x/ \E ξ is a singleton, i.e., the action of W x/ on E ξ is transitive. herefore, for any E E ξ, Alc(E) W x/ \F ξ is surjective. Since N Waff (W E ) is the stabilizer of E under W aff (see the discussion before Proposition 2.4.5), two facets in Alc(E) are in the sae W x/ -orbit if and only if they are in the sae W x/ N Waff (W E )- orbit, which iplies (2). If A,A 1 F ξ, then E = Span(A) and E 1 = Span(A 1 ) are both in E ξ. Hence there exists w W x/ such that we = E 1. Now both A 1 and wa are E 1 -alcoves. By Proposition 2.4.3(1), there exists w 1 W aff (E 1 ) such that w 1 wa = A 1. Hence A 1 is in the sae W aff -orbit as A.

19 Z/Z-GRADED LIE ALGEBRAS AND PERVERSE SHEAVES, III Coparison with [10, 10]. We explain the relation between the notation used here and that in [10, 10]. Let E E ξ and Γ x (E) = (M,M 0,, ). In [10, 10.1], a M was denoted by E, and we introduced a set of affine hyperplanes (denoted by H α,n,n ) in it. o each E we attached an ǫ-spiral denoted by p in [10, 10.2]. We clai that there is an affine isoorphis τ : E = E, sending the set of hyperplanes {H α,n,n } bijectively to H(E), such that if E corresponds to y E, then p = p λy. First note that in the notation of [10], the grading on is induced by ηι/2 X () Q, which is lies in X ( M der ) because ι it coes fro a hooorphis φ : SL 2 M. herefore π M (ηι/2) = j. In particular, π M (x ηι/2)/ = (π M (x) j)/ therefore (x ηι/2)/ E. herefore the ap y = (x η (ι + ))/ gives an affine 2 isoorphis τ : E = a M E. If y under this ap, then λ y = ǫη (ι + ) = 2 η (ι+ ) =, therefore 2 p = p λy. Under the isoorphis τ, the open subset E introduced in [10, 10.1] (which is the copleent of the hyperplanes H α,n,n ) is characterized by the following property: for E, l = if and only if E (see [10, 10.2(b)]). On the other hand, the arguent oflea3.4.4showsthatfory E, l λy = ifandonlyifg y = M, i.e., y E. herefore τ(e ) = E := E H H(E) H, hence the set of hyperplanes {H α,n,n } in E corresponds to H(E) under τ. he following stateent will not be used in the rest of the paper Lea. Let E E ξ and (M,M 0,, ) = Γ x (E). Let W be the finite Weyl group introduced in [10, 10.11] which acts faithfully on E. hen under the isoorphis τ : E = E in , W corresponds to the group W x/ (E) introduced in Corollary Proof. Recall the group H introduced in [10, 10.9]: it is the noralizer of (M,M 0,, ) in G 0. By [10, 10.9(e)], M 0 is the identity coponent of H, and H /M 0 = W. Since is a axial torus of M 0, we have N H ()/N M0 () = H /M 0 = W. Since Wx/ (E) = (W x/ N Waff (W E ))/(W x/ W E ), the desired isoorphis W = W x/ (E) follows fro two canonical isoorphiss (3.8) (3.9) N H ()/ = W x/ N Waff (W E ); N M0 ()/ = W x/ W E. Since H,M 0 are subgroups of G 0 containing, both N H ()/ and N M0 ()/ are subgroups of W G0, which is identified with W x/. he above isoorphiss will in fact be equalities of subgroups of W x/. We show (3.9). Since M 0 is the subgroup of M that fixes the grading eleent j x a M, N M0 ()/ is the subgroup of N M ()/ = W E that fixes j x in a M. Now suppose w W E. By the definition of j x in Lea 3.4.6, w fixes j x if and only if w(x/) and x/ have the sae iage under π M. Since w fixes E pointwise, w(x/) and x/ have the sae orthogonal projection to E as well. herefore w N M0 ()/ W E and if and only w(x/) = x/. We show (3.8). Let w N H ()/ W x/. Now we view x/ as the origin of a, so that w acts linearly on a. Let E be the affine subspace parallel to a M that passes through x/. Since w noralizes M, it noralizes Z M, hence stabilizes E. Since w noralizes each graded piece of, it fixes the grading eleent j x a M, and therefore

20 20 GEORGE LUSZIG AND ZHIWEI YUN fixes x/ E (the projection of x/ to E). hese iply that w stabilizes E (which is characterized as the affine subspace parallel to E and passing through x/ E ). herefore N H ()/ W x/ N Waff (W E ). Conversely, if w W x/ also lies in N Waff (W E ), then w stabilizes E. Again let E be the affine subspace parallel to a M that passes through x/, then w stabilizes E, hence induces an action w on the quotient a M = a/e. Let M = C G (ZM 0 ), then M is the sallest Levi subgroup of G containing M. Now w fixes both π M (E ) = π M (x/) and π M (E) in a M. Note that a M has a set of affine hyperplanes H(a M ) given by π M (H) for those H H (whenver π M (H) is an affine hyperplane in a M ). he root syste Φ(M,) up to ±1 can be identified with the linear parts of those H H(a M ) passing through π M (E). Since w preserves H(a M ) and fixes π M (E), it stabilizes Φ(M,), hence any lift of w to N G0 () stabilizes M. Since w fixes the grading eleent j x a M (because it fixes π M (x/)) for, it noralizes (M,M 0,, ). his finishes the proof of (3.8). he cobination of Corollary , and Lea iplies that P ξ is in natural bijection with W\Alc(E) (where Alc(E) as the set of alcoves in E defined by the hyperplanes {H α,n,n } in [10, 10]). his is essentially a restateent of [10, 10.11(a)] Spirals and parahoric subalgebras. We clarify the relationship between spirals and parahoric subalgebras in the loop algebra of g. his discussion is independent of the rest of the paper. Fro (g,σ), we ay for the σ-twisted loop algebra g as in [2, 8.2]: g = L(g,σ,e) is the fixed point subalgebra of g k k((t 1/e )) under the diagonal action µ e ζ : X t n/e σ(ζ)ζ n X t n/e. We can then talk about affine roots of g as in [2], which includes the real affine roots Φ aff as in and iaginary roots {nδ n Z {0}}. hen gistheliealgebraofaquasi-split forg ofgover F = k((t)), andaistheapartent attached to the axial split torus F of G. By Bruhat-its theory, each point y a defines a parahoric subalgebra g y, 0 of g which is the t-adic copletion of the span of the affine root spaces g( α) such that α(y) 0 (including iaginary roots). For any r Q we define g y,r to be the direct su of those affine root spaces g( α) such that α(y) = r. Withthechoiceofx X ( ad )liftingx, theequality (3.2)gives acanonicalisoorphis (3.10) g n = gx/,n/, for n Z. We ay reinterpret ( 1)-spirals 1 p λ for the Z/Z-graded Lie algebra g using parahoric subalgebras of g as follows. Under the isoorphis (3.10), we have for any y a 1 l x y n 1 p y x n = g x/,n/ g y, 0, = 1 l y x n = g x/,n/ g y,0, for n Z. 4. he graded DAHA action on spiral inductions In this section we give the proof of heore Soe preparation We keep the setup of 3.1. In particular, we fix a axial torus G 0 ; the Z/Z-grading on g is given by θ x as in (3.1) for an eleent x X ( ad ) Z/Z. We also fix a lifting x X ( ad ) of x.