DUALITY BETWEEN GL(n; R) AND THE DEGENERATE AFFINE HECKE ALGEBRA FOR gl(n)

Transcription

1 DUALITY BETWEEN GL(n; R) AND THE DEGENERATE AFFINE HECKE ALGEBRA FOR gl(n) DAN CIUBOTARU AND PETER E. TRAPA Abstract. We dene an exact functor Fn;k from the category of Harish-Chandra modules for GL(n; R) to the category of nite-dimensional representations for the degenerate ane Hecke algebra for gl(k). Under certain natural hypotheses, we prove that the functor maps standard modules to standard modules (or zero) and irreducibles to irreducibles (or zero). 1. introduction In this paper, we dene an exact functor F n;k from the category HC n of Harish-Chandra modules for G R = GL(n; R) to the category H k of nite-dimensional representations for the degenerate ane Hecke algebra H k for gl(k). When we take k = n and restrict to an appropriate subcategory, we prove that the functor maps standard modules to standard modules (or zero) and irreducibles to irreducibles (or zero). We deduce the latter statement from the former using a geometric relationship between unramied Langlands parameters for GL(n; Q p ) and Langlands parameters for GL(n; R) (or rather the Adams-Barbasch-Vogan version of them). Our functor may be viewed as a real version of the one dened by Arakawa and Suzuki [AS], and the geometric statement may be viewed as a real version of [Z] due (independently) to Lusztig and Zelevinsky. The functor is very simple to dene. Let K R = O(n), a maximal compact subgroup of G R, write g = gl(n; C) for the complexied Lie algebra, and let V denote the standard representation of G R. Let sgn denote the determinant representation of K R. Given a Harish- Chandra module X for G R, we dene F n;k (X) = Hom KR (1; (X sgn) V k ): (The twist of X by sgn is a convenient normalization and is not conceptually important.) It is known that H k acts on Y V k for any U(g)-module Y (e.g. [AS,.]); see Section 3.1 below. In our setting, it is easy to see that this action commutes with K R, and thus F n;k (X) becomes a module for H k. Obviously F n;k is exact and covariant. Related functors appear in the work of Etingof, Freund, and Ma ([EFM], [M]), and in that of Oda [O]. We note that (even if we take k = n) the functor F n;k does not behave well on the category of all Harish-Chandra modules for G R. This is not surprising. After all, using the Borel-Casselman equivalence [Bo] and the reduction of Lusztig [Lu], we may interpret H n as the category I sph n of Iwahori-spherical representations of the p-adic group GL(n; Q p ). The objects in this latter category are exactly the subquotients of spherical principal series. So it is natural to expect that F n;n should only be well-behaved on some real analog of I sph n, and this is indeed the case. We make this more precise in Section 3. where we introduce a notion of level for HC n, and dene a category HC n;k consisting of modules of level at least k. (For Date: March 5,

2 DAN CIUBOTARU AND PETER E. TRAPA instance, every subquotient of a spherical principal series for G R is an object in HC n;n ; see Example 3..) We prove that F n;k maps standard modules in HC n;k to standard modules in H k (or zero). When k = n, we further prove that F n;n maps irreducibles to irreducible (or zero). Theorem 1.1. Suppose X is an irreducible Harish-Chandra module for GL(n; R) whose level is at least n. Then F n;n (X) is irreducible or zero. Moreover, F n;n implements a bijection between irreducible Harish Chandra modules of level exactly n and irreducible H n -modules. Here is a sketch of the proof of Theorem 1.1. Since the theorem is about a nice relationship between GL(n; R) and GL(n; Q p ) (in the guise of H n ), the place to begin looking for its origins is on the level of Langlands parameters. This is the setting of Section. The main result there is Theorem.5, a suitably equivariant compactication of the space of unrami- ed Langlands parameters for GL(n; Q p ) by spaces of ABV parameters. As a consequence (Corollary.8), we obtain that various coecients in the expression of irreducible modules in terms of standard ones coincide in both HC n and H n. The conclusion is that if one could nd an exact functor which matches the \right" standard modules in both cases, it would automatically match irreducibles too. In Section 3, we make the relevant computation of F n;k applied to standard modules (Theorem 3.5), and in Section 4 we check that the matching is the right one from the viewpoint of the geometry of Section. The statement about irreducibles mapping to irreducibles (or zero) follows immediately (Corollary 4.). The functor F n;k has a number of other good properties which we shall pursue in detail elsewhere. For instance, F n;k takes certain special unipotent derived functor modules to interesting unitary representations dened by Tadic; see Example 3.16(). More generally, it matches appropriately dened Jantzen ltrations in the real and p-adic cases (a real version of the results of Suzuki [S]). We will use this fact to study unitary representations, ultimately giving a functorial explanation of the coincidence of the spherical unitary duals of GL(n; R) and GL(n; Q p ) ([Vo5], [Ta1], [Ta], [Ba]).. Geometric relationship between the langlands classification for GL(n; R) and H n.1. The Langlands classication for GL(n; R). We begin with the classication of irreducible objects in HC n which does not involve the dual group. In order to do so, we must recall the relative discrete series of GL(1; R) and GL(; R), and accordingly we must discuss representations of the maximal compact subgroups O(1) and O(). As in the introduction, we continue to write sgn for the determinant representation of O(n). Apart from 1 and sgn, the remaining irreducible representations of O() are two-dimensional and parametrized by integers n 1. We let V (n) denote the irreducible representation of O() with SO() weights n. It is also convenient to let V (0) denote the reducible representation 1 sgn. Then we always have V (k) V (l) ' V (jk lj) V (k + l) for instance. For x GL(1; R) ' R, write sgn(x) for the sign of x. Then any irreducible representation of R is a relative discrete series and is of the form ("; ) := " j j : (.1) for " f1; sgng and C. Meanwhile, any relative discrete series for GL(; R) is of the form (l; ) := D l jdet( )j ; (.)

3 DUALITY BETWEEN GL(n; R) AND THE DEGENERATE AFFINE HECKE ALGEBRA FOR gl(n) 3 where l Z, C, det is the determinant character, and D n is a discrete series representation of SL (; R) (the group of two-by-two real matrices with determinant 1) with lowest O()-type V (l). In more detail, D l is characterized by requiring its restriction to O() decompose as the sum V (l + k) over k N. We now introduce a key parameter set 0 P R n. Its elements consists of pairs (P R ; ). Here P R is a block upper triangular subgroup of G R whose Levi factor is an (ordered) product L R = GL(n 1 ; R) GL(n r ; R) with n i 1;, and = 1 r is a relative discrete series of L R. Thus each i is of the form (" i ; i ) (as in (.1)) if n i = 1, and otherwise of the form i = (l i ; i ) (as in (.)). We impose the further condition that n 1 1 Re( 1) n 1 Re( ) n 1 r Re( r ): (.3) To each such pair 0 = (P R ; ) in 0 P R n, we may form the parabolically induced standard module std( 0 ) := Ind G R P R (); (.4) here it is understood that has been extended trivially to the nilradical of P R. It is further understood that the induction is normalized as in [Kn, Chapter VII]. The condition (.3) guarantees that std( 0 ) has a unique irreducible quotient, which we denote irr( 0 ). Alternatively, irr( 0 ) is characterized as the constituent of std( 0 ) containing its (unique) lowest K-type. The assignment 0 7! irr( 0 ) is not quite injective. To remedy this we let P R n denote the set of equivalence classes in 0 P R n for the relation (P R ; ) (PR 0 ; 0 ) if the two dier by the obvious kind of rearrangement of factors. Then std( 0 ) (and thus irr( 0 )) depend only on the equivalence class of 0. It thus makes sense to write std() and irr() for P R n. When we want to emphasize that we are in the real case, we may write std R () and irr R () instead. Here is the classical Langlands classication in this setting ([La], cf. [Vo4, Section ]). Theorem.1. With notation as above, the map is bijective. P R n! irreducible objects in HC n! irr R () (.5) In the Grothendieck group of HC n (where we denote the image of an object M by [M]), we may consider expressions of the form X [irr R ()] = M R (; )[std R ()]; (.6) P R n here M R (; ) Z. Each such expression is nite. More precisely, x a Cartan subalgebra h of g, and x h. According to the Harish-Chandra isomorphism, denes an innitesimal character for g. Let HC n () denote the full subcategory of modules with this innitesimal character; there are only nitely many irreducible objects in HC n (). Using the classication of Theorem.1, let P R n () denote the parameters such that irr R () is an object of HC n (). Then if P R n () and = P R n (), we have M R (; ) = 0: In the next section we give a geometric interpretation of the numbers M R (; ).

4 4 DAN CIUBOTARU AND PETER E. TRAPA.. Geometry of the Langlands classication for GL(n; R). One natural approach to computing the numbers M R (; ) of (.6) involves the Beilinson-Bernstein localization functor from HC n () to O(n; C)-equivariant -twisted D-modules on the ag variety of g [Vo]. But there is no analogue of this kind of localization in the p-adic case. From the viewpoint of the local Langlands conjecture, it is instead more natural to work with the geometry of the reformulated space of Langlands parameters due to [ABV]. Though not necessary, we nd it convenient to work with one innitesimal character at a time. As above x a Cartan subalgebra h of g, and x h. At this point we have two options. We could identify h with h (using the trace form, for instance), and view as an element of h. Alternatively, we could canonically identify h with a Cartan subalgebra of the Lie algebra g _ of the complex Langlands dual group G _. Of course g _ ' gl(n; C), and so both options are equivalent. To keep notation to a minimum, we choose the rst route, and henceforth consider as a semisimple element of g. But it is important to keep in mind that the geometry we introduce below is naturally dened \on the dual side" (a fact which is particularly important when considering generalizations outside of Type A). Consider ad(). Let g() denote the sum of its integral eigenspaces, let n() denote the sum of its strictly positive integral eigenspaces, and let l() denote its zero eigenspace. Set p() = l() n(). Set y() = exp(i) and e() = y() = exp(i). Write G() for the centralizer in G of e(); clearly its Lie algebra is g(). Write L() for the centralizer in G of ; its Lie algebra is l(). Let P () denote the analytic subgroup of G with Lie algebra p(). Finally let K() denote the centralizer in G() of y(); it's Lie algebra k() is the sum of the even integral eigenspaces of ad(). Since y() squares to e(), K() is a symmetric subgroup of G(). For instance if = corresponds to the trivial innitesimal character, c; C). then G = G() and K() ' GL(d n e; C) GL(b n In practice, only the symmetric subgroup K() will arise for us. But to formulate Theorem. we need others (in order to account for other \blocks" of representations for G R ). Let fy 0 ; : : : ; y r g denote representatives of G conjugacy classes of semisimple elements which square to e(). Arrange the ordering so that y 0 = y() above, let K i () denote the centralizer in G of y i. In the example of = mentioned above, the collection fk i ()g equals fgl(p; C) GL(q; C) j p + q = ng. We need to introduce notation for intersection homology, and it is convenient to do this in greater generality. So suppose H is a complex algebraic group acting with nitely many orbits on a complex algebraic variety X. Let be an irreducible H-equivariant local system on X. Then naturally parametrizes both an irreducible H-equivariant constructible sheaf con() on X and an irreducible H-equivariant perverse sheaf per() on X ([BBD, 1.4.1, 4.3.1]). By taking Euler characteristics, we may identify the integral Grothendieck group of the categories of H-equivariant perverse sheaves on X and H-equivariant constructible sheaves on X. In this Grothendieck group, we may write [con()] = ( 1) l() X M g ( ; )[per( )]; (.7) here the sum is over all H-equivariant local systems, and l() denotes the dimension of the support of. (The superscript \g" is meant to stand for \geometric".) We return to our specic setting and let Pn R;g () denote the disjoint union over i f0; : : : ; rg of the set of irreducible K i () equivariant local systems on X() = G()=P (). In fact, the centralizer in each K i () of any point in X() always turns out to be connected, and thus each such local system is trivial. As a matter of notation, if Q is an orbit of K i ()

5 DUALITY BETWEEN GL(n; R) AND THE DEGENERATE AFFINE HECKE ALGEBRA FOR gl(n) 5 on X(), then we will also write Q for the corresponding trivial local system; in particular, we will write things like Q Pn R;g () and implicitly identify P S n R;g () with i K i()nx(). Specializing (.7) to this setting (taking H to be any of the groups K i () and X = X()), we thus obtain integers M g R (Q; Q0 ) for K i () orbits Q and Q 0 on X() dened via [con(q)] = ( 1) dim(q) X Q 0 Pn R;g () M g R (Q0 ; Q)[per(Q 0 )]; (.8) The following is the geometric formulation of the local Langlands correspondence is our setting ([ABV, Corollary 1.6(c), Corollary 15.13(b)]). Theorem.. Fix an innitesimal character as above, recall the parameter space P R n () of Section.1, and recall the integers M R (; ) and M g R (Q; Q0 ) of (.6) and (.8). Then there is a bijection d R : P R n ()! Pn R;g () such that M R (; ) = M g R (d R(); d R ()); here the sign is that of the parity of the dierence in dimension of (the support of) d R () and d R ()..3. The Langlands classication for H n. The graded Hecke algebra H n is an associative algebra with unit dened as follows. Fix a Cartan subalgebra h in g and a system of simple roots (g; h) of h in g. The H n contains as subalgebras the group algebra C[W n ] of the Weyl group W n ' S n and the symmetric algebra S(h), subject to the commutation relations s s () s = h; i; for all simple roots (g; h); and h: (.9) We write H n for the category of nite-dimensional H n modules. We recall the classication of irreducible H n modules. To begin, we recall the onedimensional Steinberg module St on which C[W n ] acts by the sign representation and S(h) acts by the weight corresponding to the choice (g; h). For C, let C denote the one dimensional representation of H n where C[W n ] acts trivially and S(h) acts by the weight of the center of g corresponding to. Any relative discrete series representation of H n is of the form St C. We next introduce a parameter set 0 P H n analogous to 0 P R n in Section.1. As we implicitly did there, we x h to be the diagonal Cartan subalgebra and let (g; h) correspond to the upper triangular Borel subalgebra. We let 0 P H n consist of pairs (H P ; ). Here H P is a subalgebra of H corresponding to a block upper triangular subalgebra of g whose blocks we write as the ordered product l = gl(n 1 ) gl(n r ); and = 1 r a relative discrete series of l. Thus each i is of the form St C i. We further require that Re( 1 ) Re( r ): (.10) To each such pair 0 0 P H n, we form the induced module std( 0 ) = H n HP : Because of (.10), std( 0 ) has a unique irreducible quotient irr( 0 ). Now let P H n denote equivalence classes in 0 P H n for the relation of rearranging factors (while still preserving (.10) of course). Then the modules std() and irr() are well-dened on

6 6 DAN CIUBOTARU AND PETER E. TRAPA equivalence classes P H n. When we want to emphasize that we are in the Hecke algebra case, we may write std H () and irr H () instead. The Langlands classication in this setting is as follows ([BZ], cf. [Ev]). Theorem.3. With notation as above, the map is bijective. P H n! irreducible objects in H n! irr H () (.11) In the Grothendieck group of H n, we X may consider expressions of the form [irr H ()] = M H (; )[std H ()]; (.1) P H n here M H (; ) Z. Each such expression is once again nite. More precisely, x h. Since the center of H n is S(h) Wn, denes a central character. Let H n () denote the full subcategory of modules with this central character. Using the classication of Theorem.3, let P H n () denote the parameters such that irr H () is an object of H n (). Then of course if P H n () and = P H n (), we have M H (; ) = 0:.4. Geometry of the Langlands classication for H n. As in the previous section, x h. With the same caveats in place as in Section., we identify h with h via the trace form, and thus view as a semisimple element of g. Again as in Section., we let L() analytic subgroup of G = GL(n; C) with Lie algebra equal to the zero eigenspace of ad(). We let g 1() denote the 1 eigenspace. Then L() acts (via the adjoint action) with nitely many orbits on g 1(). These orbits may naturally be identied with orbits of G on the space of unramied Langlands parameters for GL(n; Q p ) (e.g. [Vo6, Example 4.9]), and so they are to be considered the p-adic analog of the real Langlands parameters considered in Section.. Again it transpires that the centralizer in L() of any point of g 1() is connected, and thus we may identity the set of orbits of L() on g 1() with the set Pn H;g () of irreducible L()-equivariant local systems on g 1(). Specializing (.7) to this setting (taking H = L() and X = g 1()), we obtain integers M g H (Q; Q0 ) dened via [con(q)] = ( 1) dim(q) X Q 0 Pn H;g () M g H (Q0 ; Q)[per(Q 0 )]; (.13) We have the following version of the local Langlands correspondence is this setting ([Lu1, 10.5], cf. [CG, 8.6.]). Theorem.4. Fix a central character as above, recall the parameter space P H n () of Section.1, and recall the integers M H (; ) and M g H (Q; Q0 ) of (.1) and (.13). Then there is a bijection such that d H : P H n ()! Pn H;g () M H (; ) = M g H (d H(); d H ()); here the sign is that of the parity of the dierence in dimension of (the support of) d H () and d H ().

7 DUALITY BETWEEN GL(n; R) AND THE DEGENERATE AFFINE HECKE ALGEBRA FOR gl(n) 7.5. Geometric relationship between Langlands parameters for HC n () and H n (). Fix a semisimple element of the diagonal Cartan subalgebra h. Consider the injective map : g 1()! X() = G()=P () dened by (N) = (1 + N) p(): (.14) Here, as usual, we view G()=P () as the variety of conjugates of p(). Then is obviously equivariant for the action of L(). Since L() is a subgroup of K(), if Q is an L() orbit on g 1(), then (Q) = K() (Q) is a single K() orbit. We thus obtain an injection g : Pn H;g (),! Pn R;g (): (.15) The image thus does not contain any parameters corresponding to the other symmetric subgroups K i (); i 1, introduced above. The main result of this section is the following. It may be interpreted as a relation between the intersection homology of the closures of spaces of real and p-adic Langlands parameters for GL(n). Theorem.5. In the notation of (.8) and (.13), We begin with a simple lemma. M g R (Q; Q0 ) = M g H (Q); (Q0 ) : Lemma.6. Let N() denote the analytic subgroup of G() with Lie algebra n() consisting of the strictly negative integral eigenvalues of ad(). Then the unipotent group K() \ N() acts freely on the image of. In particular, given an L() orbit Q on g 1(), we have dim ( (Q)) = dim (Q) + dim K() \ N() : Proof. The assertion amounts to proving that k() \ n() \ (1 + N)p()(1 + N) 1 is empty. If this were not the case, then there would in particular be an element Y n() such that [Ad(1 + N) 1 ]Y p(). But [Ad(1 + N) 1 Y ] is a sum of ad() eigenvectors with strictly negative eigenvalues, and so cannot belong to p(). The previous lemma shows how K()\N() acts on the image of ; the next examines how K() \ P () acts. Lemma.7. Fix N g 1(). Then L() (N) is dense in (K() \ P ()) (N). Proof. The main result of [Z] (due independently to Lusztig) asserts that L() (N) is dense in P () (N). Since L() K(), the lemma follows. Proof of Theorem.5. Let Y denote the union of K() orbits in X() = G()=P () which meet the closure (in X()) of (g 1()). Set Y := (K() \ N()) (g 1()): Let A = k() \ n(), an ane space. Lemma.6 implies that ' : A g 1()! Y (a; N)! exp(a) (N)

8 8 DAN CIUBOTARU AND PETER E. TRAPA is an isomorphism. Lemma.7 implies Y is dense in Y. We next observe that analogous facts also hold on the level of the relevant stratications leading to the denitions of M g R and M g H in Theorem.5. Fix an orbit Q in the stratication of g 1() by L() orbits. Then, as above, the previous two lemmas imply that (Q) is the unique stratum in the stratication of Y by K() orbits such that '(A Q) ' A Q is dense in (Q); and, moreover, all strata in Y arise in this way. Thus the topological properties of intersection homology imply the assertion of Theorem.5. With notation as in Sections.1 and.3, dene the \pullback" of g, as follows. Fix P R n. If there exists 0 P H n then 0 is unique and we set : P R n! P H n [ f0g; (.16) such that g (d H ( 0 )) = d R (); () = 0 : If no such 0 exists, set () = 0. Theorems. and.4 immediately give the following corollary. Corollary.8. Suppose () 6= 0 and () 6= 0. Then M R (; ) = M H ( (); ()): The corollary has the following consequence. Suppose F were an exact functor from HC n to H n such that F(std R ()) = std H ( ()) (.17) if () 6= 0 and F(std R ()) = 0 otherwise. Then Corollary.8 immediately allows us to conclude F(irr R ()) = irr H ( ()) (.18) if () 6= 0 and F(irr R ()) = 0 otherwise. In the next two sections we will prove that the functor F n;n of the introduction satises (.17), and hence (.18), but only when restricted to those parameters P H n of level at least n (in the sense of Section 3.). 3. images of standard modules In this section we dene the functor F n;k : HC n! H k carefully and compute the images of certain standard modules (those of level k in the language of Section 3.) The functor F n;k. For the computations below it will be convenient to introduce coordinates. In this paragraph only, let a denote n or k. Recall that we have identied h and h using the trace form. We further x an isomorphism to C a so the pairing h ; i of h and h becomes the usual dot product in C a. We set {z } i 1 i = (0; : : : 0 ; 1; 1; 0 : : : ; 0) C a ; 1 i a 1,

9 DUALITY BETWEEN GL(n; R) AND THE DEGENERATE AFFINE HECKE ALGEBRA FOR gl(n) 9 identify the simple roots of h in g with f 1 ; : : : ; a 1 g, and set {z } j 1 j = (0; : : : ; 0 In these coordinates, we have = ( a 1 i will be denoted by s i : Given an object X in HC n, consider ; a 3 ; 1; 0; : : : ; 0); 1 j a ; : : : ; a 1 ): The reections in the simple roots Hom KR (1; (X sgn) V k ); where V = C n is the standard representation of g. As in [AS,.], we now dene an action of H k on F n;k (X), thus obtaining an exact covariant functor F n;k : HC n! H k : To begin, let B and B denote two orthonormal bases of g = gl(n) (with respect to the trace form inner product (A; B) = tr(ab)). Assume further that they are dual to each other in the sense that there is a bijection B! B such that the corresponding matrix representation of ( ; ) is the identity. For E B, write E for its image in B. For 0 i < j k dene the operator i;j End((X sgn) V k ) i;j = X EB(E) i (E ) j ; (3.1) where, for simplicity of notation, we abbreviated the operator 1 i E1 j i 1 E 1 k j by (E) i (E ) j : The denition of i;j does not depend on the choice of orthonormal bases. Moreover if 1 i < j k, notice that i;j acts by permuting the factors of V k. Consider the map from H k to End((M sgn) V k X ) dened by (s i ) = i;i+1 ; 1 i k; (`) = l;` + n 1 ; 1 l k: (3.) 0l<` It is not dicult to verify this denition respects the commutation relation in H k : It is also easy to see that the action of H k dened by commutes with the g-action and the diagonal K R -action. Thus we obtain the desired action of H k. Remark 3.1. It is interesting to replace the trivial K R type in the denition of F n;k with other K R types which are ne in the sense of Vogan (e.g. [Vo1, Denition 4.3.9]). We shall return to this elsewhere. 3.. A notion of level for HC n. In order to state the main computation of F n;k applied to standard modules (Theorem 3.5), we must consider ner structure on the set P R n of Section.1. We dene lev : P R n! Z 0 (3.3) as follows. Fix a (representative of a) parameter = (; P R ) P R n. Write P R = L R N R and Dene lev() := rx i=1 L R = GL(n 1 ; R) : : : GL(n r ; R) = 1 r : lev( i ); where lev( i ) = 8 >< >: 1; if i = (1; i ) (as in (.1)) 0; if i = (sgn; i ) (as in (.1)) l i ; if i = (l i ; i ) (as in (.)) (3.4)

10 10 DAN CIUBOTARU AND PETER E. TRAPA Clearly this is well-dened independent of the choice of representative for. Informally, lev() is a kind of measure of the size of the lowest L R \ K R type of, and thus the lowest K R type of std R () or irr R (). (This can be made precise but we have no occasion to do so here.) For l 0, dene P R n;l = lev 1 (l); the parameters of level exactly l, and P R n;l = [ mlp R n;m, the parameters of level at least l. We say std R () or irr R () is of level l if is. Dene HC n;l to be the full subcategory of HC n whose objects are subquotients of standard modules of level at least l. Example 3.. Suppose std R () is a spherical (minimal) principal series. Then = (B R ; ) for a Borel subgroup B R and = 1 n with each i of the form (1; i ). Thus has level n, and every subquotient of a spherical principal series for G R is an object in HC n;n. Though we make no essential use of it, we include the following result as indication that level is a reasonable notion. Proposition 3.3. Any irreducible object in HC n;l is of the form irr R () for P R n;l. More precisely, every irreducible subquotient of a standard module of level l has level at least l. Sketch. By explicitly examining the Bruhat G-order of [Vo, Denition 5.8], one may verify the proposition directly. We next dene a map n;k : P R n;k! P H k [ f0g: (3.5) as follows. If lev() > k, set n;k () = 0. Next assume lev() = k and x a representative (P R ; ) of with = 1 r. We dene a representative of n;k () as follows. Let p = plev() denote the block upper triangular parabolic subalgebra of gl(k; C) with Levi factor l = llev() consisting of (ordered) diagonal blocks of size lev( 1 ); : : : lev( r ) (with notation as in (3.4)). Write H P for the corresponding subalgebra of H k. Let t denote the number of GL(; R) factors in P R and m denote the number of GL(1; R) factors in P R whose corresponding relative discrete series in is trivial when restricted to O(1). Thus there are m + t simple factors in l. List, in order, the corresponding relative discrete series in as 1 0 ; : : : ; 0 m+t. Write 0 i for the central character of 0 i. Let H be the relative discrete series 1 H H m+t of H P with H i = St C 0 i. Then (H P ; H ) species an element of P H, which k we dene to be n;k (). For later use we note that the central character of std H ( n;k ()) is gl(lev( 0 1)) gl(lev( 0 m+t)) + 0 m+t ; (3.6) where the vertical lines denote concatenation. Remark 3.4. Note the identical construction could be made for parameters (P R ; ) not satisfying the dominance hypothesis of (.3). The resulting pair (H P ; H ) would then be well-dened but need not satisfy the dominance of (.10). With the convention that std(0) = 0, the main result of this section is as follows. Theorem 3.5. Recall the map n;k of (3.5). Then as H k modules for all P R n;k. F n;k (std R ()) = std H ( n;k ())

11 DUALITY BETWEEN GL(n; R) AND THE DEGENERATE AFFINE HECKE ALGEBRA FOR gl(n) 11 Remark 3.6. In fact the proof below shows that induced modules which fail to satisfy (.3) are also mapped to induced modules (or zero). The correspondence of parameters is given as in Remark Proof of Theorem 3.5. We rst prove the theorem on the level of vector spaces (Lemma 3.7), then on the level of C[W k ] modules (Lemma 3.9), and then locate an appropriate cyclic vector which allows us to deduce the H k -module statement. Lemma 3.7. Fix a representative (P R ; ) of P R n, write = 1 r, and consider std R () as in Section.1. Recall the level maps of (3.3) and (3.4). Then we have F n;k (std R ()) 6= 0 only if lev() k. Moreover, if lev() = k; then dim F n;k (std R ()) = Thus, with notation as in Theorem 3.5, k! Q r i=1 lev( i)! : dim F n;k (std R ()) = dim std H ( n;k ()) : Proof. We have the following string of isomorphisms: F (std R ()) = Hom KR 1K R ; Res K R G R Ind G R P R () sgn V k = Hom KR sgn KR ; Res K R G R Ind G R P R () V k = Hom KR sgn KR ; Res K R G R Ind G R P R ( V k ) = Hom KR sgn KR ; Ind K R K R \L R ( V k ) = Hom KR \L R (sgn KR \L R ; Res K R K R \L R V k ) = Hom KR \L R ( sgn KR \L R ; Res K R K R \L R V k ): (by a Mackey isomorphism) (restriction to K R ) (Frobenius reciprocity) (3.7) Note that K R \ L R is a product of O() and O(1) factors. So we need to understand V k as an O() s O(1) n s module. Recall the notation V (j) for O() types from Section.1. We have (as a representation of O() s O(1) n s ): V '( sm i=1 M C V ith n s (1) C C) ( C (j+s)th sgn C C): (3.8) Notice that p V (1) p = V (p) + V (p ) p V (1) p = V (p) + V (p ) We have (up to permutation of the factors): j=1 p V (1); p 0 p p 0 V (0) KR \L R = V (l 1 ) V (l t ) 1 (r t m) sgn m if p = p is odd if p = p 0 is even. + higher terms where P t i=1 l i + m = lev() and the higher terms involve larger L R \ K R types. Using the rules for the tensor powers of V (1) given above, we see that the only way ( sgn) KR \L R can appear in V k is if the ith V (1) factor in (3.8) contributes l i times and there are m

12 1 DAN CIUBOTARU AND PETER E. TRAPA distinct contributions of the j + s sgn factors. This implies that if lev() > k; then there can be no overlap between and Res K R K R \L R V k ; and therefore F n;k (std R ()) = 0: Now for the second part assume that lev() = k exactly. Then the dimension of the image F n;k (std R ()) is the coecient of X l 1 1 X lt t y 1 : : : y m in (X X t + y y m ) k, namely k! l 1! l t! ; as claimed. Remark 3.8. The proof did not use the dominance of (.3) anywhere. So the result holds for more general standard modules (not just those with Langlands quotients). For calculations below, we will need to specify a basis of F n;k () for of level k. As before let (P R ; ) denote a representative of. We will use the chain of isomorphisms of (3.7) and specify a basis of F n;k () by instead specifying a basis of Hom KR \L R (sgn KR \L R ; V n ): (3.9) We need some notation. For gl(; C); we will need the following basis: 0 i H = ; E i 0 + = 1 1 i ; E = 1 1 i 1 0 ; Z = i 1 i : (3.10) Then fe + ; H; E g form a Lie triple, and Z generates the center. Let f be the eigenvectors of H on C : f + = 1 i i ; f = 1 : Then we have H f + = f + ; E + f + = 0; E f + = if ; H f = f ; E f = 0; E + f = if + : Let w (i) denote highest SO() weight vectors (of respective weights l i ) in the two-dimensional lowest K-type of the relative discrete series (l i ; i ) of GL(; R): Assume further that w + (i) and w (i) 0 1 are interchanged by the element in O(). These vectors satisfy 1 0 E + w (i) = 0; E w (i) + = 0; Hw(i) = l iw (i) : We need to embed these kinds of gl(; C) considerations inside gl(n; C), and this involves some extra notation. Fix (P R ; ) of level k and, as usual, let and i denote the representation spaces of the relevant relative discrete series. For each i such that n i = 1, x nonzero vectors in x (i) i ; for each i such that n i =, set x (i) = w (i). Set x = x (1) x (r) : Next let e 1 ; : : : ; e n denote the basis of V we have been implicitly invoking. For an index i such that n i = 1, let e pos(i) denote the basis element corresponding to the position of ith component of the Levi factor of P R. For an index i such that n i =, let e pos(i) 1 ; e pos(i) denote the pair of basis elements corresponding to the position of the ith component of the a Levi factor of P R. For an index i such that n i = and z = C b let z (pos(i)) denote ae pos(i) 1 + be pos(i) in V. Finally for an element X of gl(; C) and an index i such that

13 DUALITY BETWEEN GL(n; R) AND THE DEGENERATE AFFINE HECKE ALGEBRA FOR gl(n) 13 n i =, let X pos(i) denote the image of X in gl(n; C) under the inclusion of gl(; C) into the ith component complexied Lie algebra of the Levi factor of P R. Set u (i) = 8 >< f (pos(i)) {z } >: f (pos(i)) l i ; if n i = ; u (i) = e pos(i) ; if n i = 1 and i = (1; i ) and O u = u (i) V k ; i where the tensor is over indices i such that n i = or n i = 1 and i is trivial when restricted to O(1). (This tensor is in V k since we have assumed to be of level k.) Finally set v = x + u + x u + ( V k ): (3.11) Then the basis of the space in (3.9) is formed of the orbit of v under the W k action permuting the V k factors of v. Clearly the stabilizer of v is Q i=1 W lev( i ). Together with the denition of the standard H modules, we obtain the following lemma. Lemma 3.9. In the setting of Theorem 3.5, we have as modules for the group algebra C[W k ]. F n;k (std R ()) = std H ( n;k ()) We now turn to the proof of Hecke algebra action in Theorem 3.5. Assume has level k, so n;k() 6= 0 by Lemma 3.7. From the denition of standard modules given in Section.3, the H k -module std H ( n;k ()) is generated under W k by a cyclic vector v which transforms like the sign representation of W (llev()); and which is a common eigenvector for all generators i, i v = i ; ( n;k ()) : (3.1) where ( n;k ()) denotes the central character of std H ( n;k ()) (as in (3.6)). In light of Lemma 3.9, it is sucient to nd an element of F n;k (std R ()) which transforms like the sign representation of W (llev()) and which is a common eigenvector for ( i ) with the same eigenvalues as in (3.1). The correct cyclic vector in F n;k (std R ()) is the one corresponding to v (from (3.11)) under the chain of isomorphisms in (3.7). In fact, since F n;k (std R ()) is isomorphic to the K R invariants (for the diagonal action) in Ind G R P R ( sgn) V k ' Ind G R P R ( sgn) Ind G R G R (V ) k ' Ind Gk+1 R P R G R G R (( sgn) V V ) ; (3.13) we will nd it convenient to specify f as a K R invariant element of the latter space, i.e. as a function on the (k + 1)-fold product G k+1 R. The advantage of this point of view is that the left-translation action of G k+1 R is transparent, and that will of course be helpful below. To unwind the denition of f from v, rst consider the induced representation Ind G R P R ( sgn V k )

14 14 DAN CIUBOTARU AND PETER E. TRAPA of V k -valued functions on G R. Using the decomposition G R = K R P R = K R M R A R N R, set f (kman) = (man) 1 v ; the action of (man) 1 is the diagonal one. By construction, this is well-dened and K R invariant. Finally dene the function f in the space of (3.13) as f (x 0 ; x 1 ; : : : ; x n ) = 1 (x 1 1 x 0) n (x 1 n x 0 )f (x 0 ); (3.14) here i (g) denote the action of g G R in the (i + 1)st factor of the tensor product V k. Then f is well-dened and K R invariant. It is completely characterized by the value of f at the identity 1, i.e. v. It is clear that f transforms like the sign representation for (s) P with s W (llev()) (since v does). So it remains to compute the action of (`) = 0l` l;` on f and see that it is a simultaneously eigenvector with eigenvalues as in (3.1). We choose, as we may, a convenient basis for g = gl(n) and dene 0;` with respect to it. Recall the notation pos(i) introduced before (3.11). Write fe i;j g 1i;jn for the usual basis of g. The basis we choose consists of the following elements: f 1 p E (pos(i)) + ; 1 p E (pos(i)) ; 1 p H (pos(i)) ; 1 p Z (pos(i)) g; (3.15) for indices i such that n i = ; E pos(i);pos(i) for indices i such that n i = 1; and E i;j n n; where n denotes the complexied Lie algebra of N R, and n denoted the opposite nilradical. Recall the notation i ( ) for the action of g G R in the (i + 1)st factor of V k : We use the same notation for the corresponding action of an element E g: The calculation is divided into three parts, depending if the element E g in the term (E) 0 (E )` of 0;` belongs to n; n; or l: Lemma Assume that E; F are elements of p = l + n: Then, we have In particular, if E n; then ((E) 0 (F )`)f = 0: Proof. From (3.14), we have: ((E) 0 (F )`)f (1) = [((E) 0 (F )`)f ](1) = 0 (E)`(F ) v : (3.16) d du ds u=s=0 ky l=1;l6=` l (e ue )`(e sf e ue )f 4 (e ue ) = d du ds u=s=0 `(e sf ) 0 (e ue ) v = 0 (E)`(F ) v ; (3.17) where we have used that f 4 (e ue ) = [ Q k l=1 l(e ue )]f 4 (1); since e ue N R : For the second claim, it is sucient to notice that if E n; then 0 (e ue )v = v : Note that, in particular, Lemma 3.10 implies that [ X En(E) 0 (E )`]f = 0: (3.18)

15 DUALITY BETWEEN GL(n; R) AND THE DEGENERATE AFFINE HECKE ALGEBRA FOR gl(n) 15 To compute the action of the terms (E i;j ) 0 (E j;i )` with E i;j n; we will nd the following calculation useful. Lemma Assume that E i;j n. Then [((E i;j ) 0 (E j;i )`)f ](1) = [( `(E j;j ) + `(E j;i ) kx l=1;l6=` l ( E i;j + E j;i ))] v : (3.19) Proof. Since we have E j;i n; from Lemma 3.10, it follows that (E j;i ) 0 (E i;j ) = 0 on f : Therefore, if we set H i;j = E i;j E j;i ; we see that (E i;j ) 0 (E j;i )` = (H i;j ) 0 (E j;i )`: Since H i;j k; the (equivalent) operator (H i;j ) 0 (E j;i )` is easier to compute. By a computation similar to (3.17), we nd that ((H i;j ) 0 (E j;i )`)f (1) = d du ds u=s=0 ky l=1;l6=` l (e uh i;j )`(e se j;i e uh i;j )f 4 (e uh i;j ): Notice that f 4 (e uh i;j) = v, since e uh i;j KR : Then the claim follows by applying the chain rule. Before computing the action of the terms P E i;j n (E i;j) 0 (E j;i )` in 0;` on f ; we need to establish more notation. Notation 3.1. For every 1 ` k; set (`) = i, if P the `-th factor of the tensor product u from (3.11) is f (pos(i)) i 1 or e pos(i). Set also prec(`) = j=1 ju (j) j; where ju (j) j is the (tensor) length of u (j). Notice that prec(`) ` 1; and if n (`) = 1; then prec(`) = ` 1. Lemma With the notation as in 3.1, the action of [ prec(`) X l=1 l;` n + p] Id; X E i;j n where p = pos((`)): (E i;j ) 0 (E j;i )` on f equals: Proof. We use Lemma There are two cases, depending if n (`) = or 1: Assume that n (`) = : In order for a term (E i;j ) 0 (E j;i )` to act nontrivially, it is necessary that either `(E j;j ) or `(E j;i ) from (3.19) act nontrivially on the `th factor of v : With our notation, the `th factor of v is f (p) (p) : Recall that the convention is that f is in the C-span of the vectors e p 1 ; e p : This implies that we must be in one of the following two cases: (1) j fp 1; pg; and p + 1 i n: Then (E i;j ) 0 (E j;i )` = `(E j;j ); and so px j=p 1 (E i;j ) 0 (E j;i )` = Id : () i fp 1; pg; and 1 j p : Then we have (E i;j ) 0 (E j;i )` = `(E j;i ) prec(`) X l=1;l6=` l ( E i;j + E j;i ):

16 16 DAN CIUBOTARU AND PETER E. TRAPA It is not hard to verify directly that p X px j=1 i=p 1 (E i;j ) 0 (E j;i )` = prec(`) X In the second case (n (`) = 1), the `th factor of v is e p : Therefore, the only nonzero contributions come from: l=1 l;`: (1) j = p, and i p + 1: Then we have (E i;p ) 0 (E p;i )` = `(E p;p ) = Id : () i = p; and j p 1: Then we have (E p;j ) 0 (E j;p )` = `(E j;p ) When we sum over all j; we get X` 1 j=1 (E p;j ) 0 (E j;p )` = X` 1 l=1 X l ( E p;j ): ` 1 l;`: Next, we compute the action of the terms corresponding to l: Lemma With the notation as in 3.1 and (3.6), the action of X El(E) 0 (E )` on f equals: [ lev(0 p) + 0 p + n p + 1] Id; l=1 where p = pos((`)): Proof. We use Lemma Assume rst that n (`) = ; so that the `th factor in u is f (p) : The only nontrivial actions could come from f p1 E (p) ; p 1 H (p) ; p 1 Z (p) g (notation as in (3.15)): (1) () (3) [( 1 (H(p) ) 0 (H (p) )`)f ](1) = lev(0 p) v ; since H (p) w (p) = lev(0 p) w and H (p) f (p) = f (p) ; where n [( 1 (Z(p) ) 0 (Z (p) )`)f ](1) = ( 0 p + n p + 1)v ; p + 1 is the -shift in the normalized induction in this case; [( 1 (E(p) ) 0 (E (p) )`)f ] = 0; since E w (p) = 0; and E f (p) = 0: In the case that n (`) = 1, the only nontrivial action of f is that of (E p;p ) 0 (E p;p )` = [p 0 + n 1 p + 1] Id where n 1 p + 1 is the -shift in this case. Recall also that lev(p) 0 = 1 if n (`) = 1: Finally we can compute the eigenvalue of (`) on f ; which concludes the proof of Theorem 3.5.

17 DUALITY BETWEEN GL(n; R) AND THE DEGENERATE AFFINE HECKE ALGEBRA FOR gl(n) 17 Proposition We have (`)f = h`; ( n;k ())if ; for all 1 ` n; where the action of (`) is dened in (3.), ( n;k ()) is the central character from (3.6), and f is the eigenfunction (3.14). Proof. By putting together (3.18) and Lemmas 3.13, 3.14, we see that 0;`f = X prec(`) l=1 where p = pos((`)): From (3.), we nd then (`)f = lev(0 p) 1 l;` lev(0 p) 1 + `X l=prec(`)+1 n 1 ; l;`f : Now the claim follows by observing that l;`f = f ; for every l such that prec(`) < l < `, since in this case l;` permutes identical factors. Example We give some basic examples. (1) If n = k and std R () is the spherical minimal principal series of GL(n; R), with spherical quotient, then std H ( n;k ()) is the spherical principal series of H k with spherical quotient (and the same central character as the innitesimal character of std R ()). () Assume that n = m and k = dm; d ; and dene std R () = Ind G R P R d; m 1 where L R = GL(; R) m : Then Theorem 3.5 implies that F m;dm (std R ()) = std H ( m;dm ()) = H dm H m d (St C m 1 d; m 1 : St C m 1 ): The unique irreducible quotient of std R () is a Speh representation for GL(m; R), while the unique irreducible quotient of std H ( m;dm ()) is a Tadic representation for H dm : 4. images of irreducible modules This section is devoted to the following result. Theorem 4.1. Write n;n for restriction of the map of (.16) to the set of parameters P R n;n for GL(n; R) of level at least n (Section 3.). Recall the map n;n of (3.5). Then n;n = n;n : Arguing as at the end of Section, and using the convention that irr H (0) = 0, we immediately obtain our main result. Corollary 4.. If X is an irreducible object in the category HC n;n Harish-Chandra modules for GL(n; R) with level at least n (Section 3.), then F n;n (X) is irreducible or zero. More precisely F n;n (irr R ()) = irr H ( n;n ()) ;

18 18 DAN CIUBOTARU AND PETER E. TRAPA which is nonzero if and only if has level n. All irreducible objects in H n arise in this way. In particular, F n;n implements a bijection between the irreducible objects in HC n of level n and the irreducible objects in H n. Example 4.3. There are two extremes: (1) When irr R () is the spherical quotient of the minimal principal series std R (); then irr H ( n;n ()) is the spherical quotient of the corresponding minimal principal series std H ( n;n ()) (see Example 3.16(1)). In particular, the trivial G R representation is mapped to the trivial H n -module. () Set std R () = Ind G R P R ((sgn; n 1 1) (n; 0) (sgn; n 1 + 1)); where L R = GL(1; R) d n e 1 GL(; R) GL(1; R) b n c 1 ; and (n; 0) is inserted between (sgn; 1 ) and (sgn; 1 ) when n is even, or (sgn; 0) and (sgn; 1); if n is odd. Then F n;n (std R ()) is the Steinberg H n module St, and F n;n (irr R ()) = irr H ( n;n ()) = St: Since we have dened n;n and n;n quite explicitly, the proof of Theorem 4.1, which we shall sketch in the remainder of this section, amounts to a rather unenlightening combinatorial verication. First we note that it is obvious from the denitions that we may work with a xed innitesimal and central character. It is then not dicult to reduce to the case of integral, and we impose that assumption henceforth. (There is hard work involved in this reduction to the integral case, but it is buried in Theorems. and.4 and the references to [ABV] and [Lu1].) After twisting by the center, there is no harm in assuming that consists of a (weakly) decreasing sequence of n integers. The map n;n is given very explicitly in (3.5). We need to be similarly explicit with the maps d R, d H, and g which go into the denition of n;n. We treat each of these individually, starting with g. First we discuss the parameter space Pn R;g (). Recall that the only relevant parameters for us are the ones corresponding to the set of K() orbits on G()=P (). Since is assumed to be integral, G = G() and K() ' GL(p; C) GL(q; C) for p+q = n (where p is the number of even entries in and q is the number of odd entries). Let B denote a Borel subgroup of G, and (since is xed), write K = K(), P = P (), and P = LU to conserve notation. Write for the projection of G=B to G=P. The orbits of K on G=P thus are parametrized by equivalence classes of K orbits on G=B for the relation Q Q 0 if (Q) = (Q 0 ). The orbits of K on G=B are parametrized by certain twisted involutions on which the equivalence relation is easy to read o ([RS]). We recall the combinatorics now. The set of K orbits on G=B is parametrized by involutions in S n with signed xed points of signature (p; q); that is, involutions in the symmetric group S n whose xed points are labeled with signs (either + or ) so that half the number of non-xed points plus the number of + signs is exactly p (or, equivalently, half the number of non-xed points plus the number of signs is q). Given such an involution, write Q for the corresponding orbit. Identify the Weyl group of P with S m1 S mr inside S n. For a simple transposition s W P in the coordinates i and i + 1 and an involution with signed xed points, dene a new involution with signed xed points s as follows: (1) if the coordinates i and i + 1 of are xed points with opposite signs, replace them by the transposition s but make no other changes to ; () if the coordinates i and i + 1 of are xed points with the same sign or else are nonxed points interchanged by, do nothing; and (3) in all other cases,

19 DUALITY BETWEEN GL(n; R) AND THE DEGENERATE AFFINE HECKE ALGEBRA FOR gl(n) 19 let s be obtained from by the obvious conjugation action of s on involutions with signed xed points. (See [McT, Section ], for instance, for a more careful discussion.) Then the equivalence relation Q Q 0 on K orbits is generated by Q Q s. Correspondingly we introduce a combinatorial model for Pn H;g. Dene a segment to be a nite increasing sequence of complex numbers, such that any two consecutive terms dier by 1. A multisegment is an ordered collection of segments. If is a multisegment, dene the support of to be the set of all elements (with multiplicity) of all the segments in the multisegment. Set M() = f multisegment : = (up to permutation)g: (4.1) If ; 0 M(); dene 0 if and 0 have the same segments (in dierent order). This is an equivalence relation on M(), whose classes we shall denote by M () Then there is a one-to-one correspondence ([Z1]) L()ng 1()! M (); (4.) and, as discussed in Section.4, Pn H;g identies with the orbits of L() on g 1. For example, if =, there are n 1 multisegments in M (): In (4.), the zero L()-orbit is parameterized by the multisegment ff n 1g; : : : ; f n 1 gg, while the open L()-orbit is parameterized by ff n 1; : : : ; n 1gg. Next we describe the map g of (.15) in terms of this parametrization, i.e. as a map which assigns to each multisegment an (equivalence class of an) involution with signed xed points. We shall do so through a detailed example. Suppose n = 11 and = (4; 4; 3; 3; 3; 3; ; ; 1; 1; 0) and is the multisegment ff0; 1; ; 3; 4g; f1; ; 3g; fg; f3g; f3g; f4gg. Since there are ve even entries of and six odd ones, we will assign to an involution in S 11 with signed xed points of signature (5; 6). We rst start with a diagram where the entries of are arranged in columns and replaces by signs according to their parity Start with the longest connected component of. If starts at 0 and ends at 4. We connect a + in the 0 column with a + in the 4 column. Since these columns have the same parity, we invert one sign in each of the intermediate columns. (If the signs we connected had opposite parities, we would need no such inverting.) The picture we get is The next longest connected component in connects 1 to 3. So we take a in the 1 column and connect it to a in the 3 column. (We never use signs which were changed in previous steps.) Since we connected two signs of the same parity, we change a + sign to a sign in

20 0 DAN CIUBOTARU AND PETER E. TRAPA the intermediate column labeled. We obtain: Now we come to a nal attening procedure. In this step, we want to produce a linear array of +'s and 's and connected dots. To do so, we throw away the numbers and collapse each column of the above diagram to the same height, but do make any identications in the process and do not mix adjacent columns. This step is ambiguous. For instance, we could collapse the above diagram to obtain either of the following diagrams (among many others) Each of these diagrams may be interpreted as an involution with signed xed points on 11 elements in the obvious way. Although individually they are not well-dened they automatically belong to the same equivalence class described above, so indeed determine a well-dened orbit of K on G=P. Thus we have taken the multisegment parameter for P H;g 11 a signed involution parameter for P R;g 11 (). The example clearly generalizes to give a map from P H;g n () and dened () to Pn R;g () in general. It is not dicult to verify that this map indeed coincides with g of (.15). Next we remark that the explicit details of the map d H are given in [Z1]. More precisely, there is an obvious correspondence between multisegments M () and the parameter set P H n (). It takes a multisegment represented by = ffa 1 ; : : : ; b 1 g; : : : ; fa r ; : : : ; b r gg M() satisfying Re a 1+b 1 Re a +b Re ar+br to the parameter (H P ; ) where P corresponds to the parabolic subalgebra whose (ordered) Levi factor is l = gl(b 1 a 1 + 1) gl(b r a r + 1); and = 1 r where i = St C a i +b i : We already remarked above that there is a also natural correspondence between M () and Pn H;g (). With these identications in place, the map d H : P H n ()! Pn H;g () is simply the identity map on multisegments. Finally, we discuss d R. It takes a parameter P R n () and produces an element of Pn R;g, which we have now identied with the the orbits of K ' GL(p; C) GL(q; C) on G=P. In turn we may identify such orbits with a subset of K orbits on G=B, namely the ones which are maximal in the preimage under the projection from G=B to G=P of an orbit on G=P. Using Beilinson-Bernstein localization, the orbits of K on G=B correspond to irreducible Harish-Chandra modules for U(p; q) with trivial innitesimal character. Unwinding these identications, we can interpret the map d R as sending a parameter P R n () to an irreducible Harish-Chandra module for U(p; q), and it is this correspondence we seek to describe explicitly. Let irr reg () denote an irreducible Harish-Chandra module with regular innitesimal character which translates by a \push to walls" translation functor to irr().