arxiv: v2 [math.rt] 8 Jun 2018

Transcription

1 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS DAN BARBASCH AND KAYUE DANIEL WONG arxiv: v [math.rt] 8 Jun 018 Abstract. In the case of complex classical groups, we find (g, K)-modules with the property that their K-structure matches the structure of regular functions on the closures of nilpotent orbits. 1. Introduction In this manuscript, we study Zariski closures of complex classical nilpotent orbits. In [Br], Ranee Brylinski constructs a Dixmier algebra B(O) associated to each Zariski closure of classical nilpotent orbit O. In particular, B(O) has a (g c,k c )- module structure, with its K c = G spectrum isomorphic to R(O). Normality of nilpotent orbit closures is of interest in both algebraic geometry and representation theory. We state a couple of representation theoretic perspectives on this topic. First of all, it affects the quantizations of certain complex nilpotent orbits. Roughly speaking, quantization of a complex nilpotent orbit amounts to attaching a unitarizable (g c,k c )-module to the orbit. Work of Vogan, for example, [V1, Section 5 and 6], suggests that the lack of normality of certain nilpotent varieties complicates the quantization scheme of these orbits. From another perspective, it is a standard fact in algebraic geometry that O is not normal if and only if the ring of regular functions of O is not isomorphic to that of O as G-modules, i.e. O is not normal iff R(O) R(O). It would be natural to ask which nilpotent varieties O are not normal, and to make the discrepancy between R(O) and R(O) explicit. The classification of nilpotent varieties with non-normal closures is given by Kraft- Procesi [KP]. In fact, the construction of B(O) given by R. Brylinski is based on that of Kraft and Procesi. Inthismanuscript, wemakethe(g c,k c ) structure ofb(o) explicit intheclassical cases G = Sp(n,C) and O(n,C). In particular, since the K c structure of B(O) and R(O) coincide, we get formulas for multiplicities of K c = G types in the space of regular functions on the closure of a nilpotent orbit. Date: October 6,

2 DAN BARBASCH AND KAYUE DANIEL WONG The techniques apply to all nilpotent orbits, but for clearness of exposition we focus on a special class of nilpotent orbits in Type C. This class of nilpotent orbits, given in section 1.3, exhibits all the difficulties. The main result is Theorem 6.1.1, which provides the composition series of B(O). As a corollary, one can compute the multiplicities of small K-types [B1, Definition 3.1] appearing in B(O) and also R(O). There is an older definition of small in [V]. To avoid possible confusion, we will call the K types we use diminutive. Since orbits are normal if and only if R(O) = R(O), our result, along with the results of [B5] and [Wo] on the K-spectrum of R(O), recover the normality criterion of [KP]; we do make use of some of the techniques introduced there. This also verifies a conjecture made by the second author [Wo] on the first occurrence of the discrepancy between R(O) and R(O) when O is not normal. The composition factors of B(Q) for an orthogonal nilpotent orbit Q corresponds to that of B(O) under the dual pair correspondence, where O is the symplectic nilpotent orbit with one extra column added to to Q (see Section 7 for details). It would be of interest to give a theoretical account for the observation. The results provide algebraic geometric insight into how far sections on R(O) extend to the closure O; we do not pursue this topic in this paper Langlands Parameters. We recall the Langlands parametrization of irreducible (g c,k c )-modules for a complex Lie group G viewed as a real Lie group. Fix a maximal compact subgroup K, and a pair (B,H = TA) where B is a real Borel subgroup and H is a θ stable Cartan subgroup such that T = B H, and A the complement stabilized by θ. The Langlands parameter of any irreducible module is a pair (λ L,λ R ) such that µ := λ L λ R is the parameter of a character of T in the decomposition of the θ stable Cartan subalgebra H = T A, and ν := λ L + λ R the A character. The principal series representation associated to (λ L,λ R ) is the (g c,k c )-module X(λ L,λ R ) = Ind G B (eµ e ν 1) K finite. The symbol Ind refers to Harish-Chandra induction. The infinitesimal character, when g c is identified with g g, is (λ L,λ R ). Since e (λ L,λ R ) T = e µ, X(λ L,λ R ) K = Ind K T (eµ ). Let X(λ L,λ R ) be the unique irreducible subquotient of X(λ L,λ R ) containing the K type with extremal weight µ = λ L λ R. This iscalled thelanglandssubquotient. Proposition1.1.1 (Parthasarathy-Rao-Varadarajan,Zhelobenko). Let (λ L,λ R ) and (λ L,λ R ) be parameters. The following are equivalent: (λ L,λ R ) = (wλ L,wλ R ) for some w W.

3 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS 3 X(λ L,λ R ) and X(λ L,λ R ) have the same composition factors with same multiplicities. The Langlands subquotient of X(λ L,λ R ), written as X(λ L,λ R ), is the same as that of X(λ L,λ R ). Furthermore: Every irreducible (g c,k c )-module is equivalent to some X(λ L,λ R ). When Re ν is dominant with respect to the roots in B, X(λ L,λ R ) has a unique irreducible quotient identical to X(λ L,λ R ); it is the image of the long intertwining operator given by integration see [Kn] for details. If we need to specify the group, the standard module and Langlands quotient will acquire a subscript, e.g. X G (λ L,λ R ) or X G (λ L,λ R ). If G is omitted in the notation, G is assumed Type C. ( ) We will often write (λ L,λ R ) in matrix notation (λ L,λ R ) λl =. Also, we introduce some shorthand notations for the Langlands λ R parameters: Let x y be two real numbers with y x N. We denote by (x,y) the spherical Langlands parameter ( ) x, x+1,... y 1, y (x,y) :=. x, x+1,... y 1, y Let x,y N be such that y x N, and x < y. We write ( x,y ) for the non-spherical parameter ( ) x ( x,y ) :=,... x, x +1, x +,... y x 1,... x 1, x, x +,... y. 1.. Strings and Intertwining Operators. We introduce more shorthand notation for induced modules. Definition Let Ψ k be a representation of G k with the same type as G of lower rank. The combination of strings denotes the induced module I G ( (a,a)... (b,b)ψ k ) Ind G GL GL G k (X GL ( (a,a)) X GL ( (b,b)) Ψ k ) and similarly for ( a,a ),..., ( b,b ). In particular, the Langlands quotient X GL ( (x,y)) and X GL ( ( x +1,x )) are the one-dimensional representations det y x and det respectively.

4 4 DAN BARBASCH AND KAYUE DANIEL WONG A careful study of various intertwining operators was done in Section 6 of [B4]. There are two types of intertwining operators that play a role: ι : I Sp (... (a,a) (b,b)...) I Sp (... (b,b) (a,a)...) σ : I Sp (... (b,b)t(l)) I Sp (... ( B, b)t(l)) (or without T(L)) where T(L) := X((1,...,L)) denotes the trivial representation of Sp(L). We begin the study of intertwining operators for induced modules with only two strings: Lemma 1... Assume that b a B A. (a) Consider the intertwining operator I GL ( (a,a) (b,b)) ι I GL ( (b,b) (a,a)) (i) If b a / Z, then ι is an isomorphism, in particular it is onto, and the kernel is equal to 0. (ii) Whenever a, A, b, B satisfy {a,a+1,...,a} {b,b+1,...,b} or {b,b+1,...,b} {a,a+1,...,a}, ι is an isomorphism, i.e. it is onto and the kernel is 0. (iii) If b a Z with b < a 1 B < A, then the kernel of ι is the irreducible module with parameter ( ) a 1... B a... B +1 B +... A b... a. a... B +1 a 1... B B +... A b... a (b) The image of ι is equal to I GL ( (b,a) (a,b)) Furthermore, the spherical vector in the induced module in the domain of ι is cyclic. Proof. Omitted. Definition Case (a)(ii), {a,a+1,...,a} {b,b+1,...,b} or {b,b+1,...,b} {a,a+1,...,a} is called strongly nested [B4, Section ]. Proposition Assume that b a B A with b a Z. (a) Consider the intertwining operator I Sp ( (a,a) (b,b)) ι I Sp ( (b,b) (a,a)) (i) If b = a or B = A, then kerι has no composition factors with diminutive lowest K-type.

5 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS 5 (ii) If b < a 1 B < A, the only composition factor in kerι with diminutive lowest K-type is { X( ( B,A) (a, b)) for a 0 X( ( B,A) (1, b)) for a = 1 (If b = 0, then the (1, b) term is not present). (b) The image of ι is equal to I Sp ( (b,a) (a,b)) Proof. The proposition on the image of ι follows from Lemma 1.. and induction on intertwining operators. The same Lemma also implies that kerι is equal to (1) ( (( ))) a 1... B a... B +1 B +... A b... a I Sp X GL. a... B +1 a 1... B B +... A b... a The above induced module contains the irreducible module ( ) a 1... B a... B +1 B +... A b... a () X a... B +1 a 1... B B +... A b... a as a composition factor. By Proposition 1.1.1, this is equal to ( ) B... a+1 a... B +1 B +... A a+... b X B 1... a a 1... B B +... A a+... b ( ) B... B +1 a... a+1 B +... A a+... b =X B 1... B a 1... a B +... A a+... b ( ) B... B +1 B +... A a... a+1 a+... b =X B 1... B B +... A a 1... a a+... b { X( ( B,A) (a, b)) for a 0 =. X( ( B,A) (1, b)) for a = 1 Therefore we need to show the two modules (1) and () have the same diminutive K-type multiplicities. Indeed, the diminutive K-type multiplicities of the module(1) can be computed by the difference between I Sp ( (a,a) (b,b)) and I Sp ( (b,a) (a,b)). On the other hand, the diminutive K-type multiplicities of () can be computed using bottom layer K-type arguments in Section.7 of [B1] (an example of such calculations can be found in Section 8.1). One can check that their multiplicities coincide with each other, hence the result follows. Proposition The kernel of σ does not contain any petite K types in the sense of [B].

6 6 DAN BARBASCH AND KAYUE DANIEL WONG Proof. This follows from a special case in Section 6 of [B4]. Since all diminutive K-types are petite, the same result holds for diminutive K- types. The intertwining operators of induced modules with more than two strings are induced from the operators in the above two propositions. If we only keep track on diminutive K-types, the composition factors of the kernel and image of the intertwining operators with diminutive, or more generally, petite lowest K-types can be deduced from the above propositions The Class of Nilpotent Orbits. As already mentioned in the introduction, we give details for B(O) in the case of orbits O of Type C only. Recall that a nilpotent orbit in type C can be parametrized by the columns of its Jordan form (c 0 c p+1 ) (set c p+1 = 0 if necessary), so that c i +c i+1 is even. A special nilpotent orbit in the sense of [L] satisfies the additional condition that if c i is odd, then c i = c i+1. Definition A chain C is a sequence of integers of the form [b 0 (b 1 = b ) (b 3 = b 4 ) (b k 1 = b k ) b k+1 ] b i N, or [b 0,b 1 ] b 0 = b 1 N+1. Definition 1.3. (Chains and Pairs). For each special nilpotent orbit O of Type C with Jordan form (c 0,c 1,...,c p+1 ), we pair up the columns, and form a union of chains as follows: (1) An odd sized column only occurs as a pair c j = c j+1. Pair up all odd columns (c i = c i+1 ), and set them aside. () Pair up all even columns (c i 1 = c i ). (3) Suppose the two longest unpaired columns in O are c i c j+1 respectively. We pair up (c i c j+1 ), and form a chain C = [c i c i 1 = c i c j 1 = c j c j+1 ]. If there are no paired columns between c i and c j+1, then [c i c j+1 ] form a chain of length. (4) Continue Step 3 until there are no unpaired columns left. Suppose O has l chains C 1,..., C l, where the columns of C i are strictly larger than those of C j whenever i < j, then we denote the chains of O as C(O) := C 1 C C l. Remark Let G = Sp(n,C) and C(O) = C 1 C C l be the chains of a nilpotent orbit O in g. The fundamental group of the nilpotent orbit O is isomorphic

7 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS 7 to A(O) = (Z/Z) l. Suppose l l of such chains end with a positive even integer. Then the Lusztig quotient (see [L] for details) is isomorphic to A(O) = (Z/Z) l. Example The orbit O = (10,8,8,4,4,4,3,3,,) has three chains C 1 : [10 8 = 8 4 = 4 4], C : [3 = 3], C 3 : [ ], and the column pairs are (10,4), (8,8), (4,4), (3,3), (,). Also, A(O) = (Z/Z) 3 and A(O) = (Z/Z). We recall the necessary and sufficient conditions for a special orbit O of Type C to be non-normal: Theorem (Kraft-Procesi, [KP]). A special nilpotent orbit O of Type C has non-normal closure if and only if one of the chains, [b 0 (b 1 b )...(b k 1 b k )b k+1 ], satisfies b i > (b i 1 = b i ) = = (b j 1 = b j ) > b j+1 for some 1 i j k. Example The orbit O = (4,,,0) in sp(8,c) is not normal: b 0 = 4 > b 1 = = b = > b 3 = 0. The orbits (4,4,4,) in sp(14,c) and (4,,,) in sp(10,c) are normal. We will study the Brylinski model B(O) for the orbits O satisfying the following assumptions. Assumption We assume all columns of O are even, and each chain appearing in O satisfies [b 0 (b 1 = b ) > (b 3 = b 4 ) > > (b k 3 = b k ) > (b k 1 = b k ) b k+1 ]. Remark Assumption guarantees that the infinitesimal character of B(O) is integral (see Equation (9)). Standard modifications of the results hold in the absence of it Outline of the Manuscript. For simplicity, we often express Langlands parameters by another set of notations. More precisely, let m, n N with m n be paired columns as in Definition Denote by (m,n) + the spherical parameter corresponding to ( ) ( n +1, m) = n m n (m,n) + := m if a,b N. ( ) n 1 ( n 1, m 1 ) = m 1... n 1 m 1... if a = b N+1

8 8 DAN BARBASCH AND KAYUE DANIEL WONG If m n > 0 are even, denote by (m,n) the parameter corresponding to n ) m. (m,n) := ( n +1, m ( ) = n n n n... 1 n m We outline the main results of this manuscript for orbits O satisfying Assumption with C(O) = [c 0 (c 1 c )...(c p 1 c p )c p+1 ]. In Section, we recall the construction of B(O) in [Br]. The construction involves the dual pair correspondence, so we use the results in [AB] to prove the following in Section 3: Theorem (Corollary 3.1.6). Let O be an orbit satisfying Assumption with C(O) = [c 0 (c 1 c )...(c p 1 c p )c p+1 ]. There is a non-trivial (g c,k c )-equivariant map B(O) B(O) := I G ((c 1 c ) +...(c p 1 c p ) + X((c 0 c p+1 ) + )). with the spherical vector in its image. In particular, B(O) contains all the factors of the spherical cyclic submodule of B(O). In Section 4 we compute all possible composition factors of B(O) and B(O). The precise result is Proposition A list of auxiliary orbits Norm(O) is provided such that every composition factor of B(O) and B(O) must have associated variety equal to O for some O Norm(O). In Section 5, we determine which factors stated in Proposition appear in B(O) (Theorem 5..4). The main tool in the proof of the theorem is the study the (g, K)-module maps (3) I G ((c 0 c p+1 ) + (c 1 c ) +...(c p 1 c p ) + ) ι 1 I G ((c 1 c ) + (c 0 c p+1 ) +...(c p 1 c p ) + ) ι... ι p I G ((c 1 c ) +...(c p 1 c p ) + (c 0 c p+1 ) + ) q B(O), where all ι l s are intertwining operators ι studied in Proposition 1..4, and q comes fromthesurjectivemapofaninducedmoduletothelanglandsquotienti G ((c 0 c p+1 ) + ) X((c 0 c p+1 ) + ). Since q is surjective, the second to last module in Equation (3) contains all composition factors of B(O). They all have diminutive lowest K-types by Proposition By Remark 4.3., every module in Equation (3) has the same diminutive K- type multiplicities, so all modules in Equation (3) have the same composition factors

9 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS 9 with diminutive lowest K-types. In other words, (4) I G ((c 0 c p+1 ) + (c 1 c ) +...(c p 1 c p ) + ) I G ((c 1 c ) + (c 0 c p+1 ) +...(c p 1 c p ) + ). I G ((c 1 c ) +...(c p 1 c p ) + (c 0 c p+1 ) + ) B(O), where X Y means X and Y have the same composition factors of diminutive lowest K-types with multiplicities. In Section 5.3., we study the kernel and image of the ι s in Equation (3) to determine the composition factors of B(O). Section 6 begins with the following result. Theorem 1.4. (Proposition 6..1). The first module I G ((c 0 c p+1 ) + (c 1 c ) +... (c p 1 c p ) + ) appearing in Equation (3) is cyclic, i.e. it is generated by the trivial K-type. This enables us to compute the composition series of the cyclic submodule of B(O) by determining which factors in Proposition appear in the image of ι p ι ι 1 in Equation (3). They are given in Theorem By Theorem these composition factors must appear in B(O) as well. Section 6.3 provides an upper bound for the diminutive K-type multiplicities of B(O) by comparing R(O) with R(O # ) for a bigger orbit O #. This enables us to conclude that all factors of B(O) are accounted for by the cyclic submodule of B(O). This completes the proof of Theorem 6.1.1, the main theorem of the manuscript.. The Kraft-Procesi Model The Kraft Procesi model, introduced in Definition 6.1 in [Br], is an admissible (g c,k c ) module whose K structure matches R(O). Under Assumption 1.3.7, it is well adapted to the Θ correspondence. We recall the details. Given a nilpotent orbit in type C with columns (c 0,...,c p+1 ), let G i be Sp(c i + +c p+1,c) and G i+1 = O(c i+1 + +c p+1,c). We denote G = G 0. Let g j be the corresponding Lie algebras, and K j the maximal compact subgroups. Let G j G j+1 be a reductive dual pair, and Ω j+1 be the Oscillator representation as in [AB]. Let K 1 := K 1... K p+1, and(k 1 ) 0 bethe connected component of the identity. Definition.0.1 (Kraft-Procesi Model). Let Ω(O) := Ω 1 Ω Ω p+1 /(g 1 g p+1 )(Ω 1 Ω p+1 ). This is a (g,k) module. Then (K 1 ) 0 acts trivially on Ω(O). So K 1 /(K 1 ) 0 acts on Ω(O).

10 10 DAN BARBASCH AND KAYUE DANIEL WONG Theorem.0. (Theorem 6.3 of [Br]). Let B(O) := Ω(O) K1 /(K 1 ) 0, then B(O) = R(O) as K 0 modules. We have identified the complex group G 0 with the complexification of K Dual Pairs Since the definition of B(O) involves oscillator representations, we first recall some results in [AB] on the dual pair correspondence: Theorem ([AB], Corollary 3.1). Let H 1 H be a reductive dual pair, and P = MN = P 1 P = M 1 N 1 M N H 1 H a real parabolic subgroup: (5) H 1 = O(m+τ), M 1 = GL(k) O(m+τ k); H = Sp(n), M = GL(l) Sp(n l); with τ = 0,1. Suppose there is a nontrivial M equivariant map Ω M σ 1 σ. Then there is a nontrivial map (6) Ω Ind H 1 P 1 [α 1 σ 1 ] Ind H P [α σ ], where α 1 (g 1 ) = detg 1 n m τ+k l+1, α (g ) = detg n+m+τ k+l 1. Remark The exponents in α 1, α are reversed because the parabolic subgroups in [AB] are opposite from the ones used here. The following corollary is an almost direct consequence of Theorem 3.0.1: Corollary (a) Let Ω be the oscillator representation corresponding to the dual pair O(n+M) Sp(n). Then there is a non-trivial map Ω I O(n+M) ( (a,a)... (b,b) ( M +1,L)) I Sp(n) ( ( A, a)... ( B, b)t(l)) with the spherical vector in its image. (b) Let Ω be the oscillator representation corresponding to the dual pair O(m) Sp(m+L). Then there is a non-trivial map Ω I O(m) ( ( A, a)... ( B,b)) I Sp(m+L) ( (a,a)... (b,b)t(l)) with the spherical vector in its image.

11 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS 11 Proof. We prove (a) by induction on the number of GL-factors. When there are no GL-factors, i.e. n = L, consider the dual pairs H 1 = O(L+M), H = Sp(L), and Ω M triv triv. Then M 1 = GL(L+M) O(0); M = GL(0) Sp(L); n m τ +k l+1 = L (L+M) 0+(L+M) 0+1 = L M +1 and Theorem implies there is a non-trivial map Ω I O(L+M) L+M 1 L M +1 ( ( +, = I O(L+M) ( ( M +1,L)) T(L). L+M 1 + L M +1 )) T(L) Therefore the corollary holds for k = 0. Now suppose (a) holds when there are k GL-factors, i.e. there is a non-trivial map (7) Ω I O(m ) ( (a,a )... (b,b) ( M +1,L)) I Sp(n ) ( ( A, a )... ( B, b)t(l)) with image containing the spherical vector. We denote the above correspondence by and consider the dual pairs The notation is Ω θ(π) Π, H 1 = O(m), M 1 = GL(A a+1) O(m ); H = Sp(n), M = GL(A a+1) Sp(n ). m m = n n = (A a+1) Ω M (χ θ(π)) (χ Π), χ = (a n m +1 χ = ( A+ n m +1,A n m +1 ), a+ n m +1 ). Theorem and induction in stages imply the existence of a map Ω I O(m) ( (a,a) θ(π)) I Sp(n) ( ( A, a) Π) with image containing the spherical vector.

12 1 DAN BARBASCH AND KAYUE DANIEL WONG For part (b), we give details when there is only one GL factor. Consider the dual pairs H 1 = O(m), H = Sp(m+L), M 1 = GL(m) O(0); M = GL(m) Sp(L) where m = A a+1, and Ω M χ (χ triv), with χ = detg x for some suitable x. We obtain a non-trivial map Ω I O(m) ( ( A, a)) I Sp(m+L) ( (a,a)t(l)). The rest of the proof of part (b) is omitted A non-trivial map to an induced module. We apply the results in the previous section to construct a non-trivial (g c,k c )-equivariant map from B(O) to an induced module. As before, the spherical vector is in the image. Lemma Let O be a nilpotent orbit of Type C satisfying Assumption with only one chain C(O) = [c 0 (c 1 c )...(c p 1 c p )c p+1 ]. There is a non-trivial (g c,k c )-equivariant map Ω(O) I G ( ( c 1 +1, c )... ( c p 1 with the spherical vector in its image. +1, c p ) (0, c p+1 1)T( c 0 )) Proof. We do an induction on the number of columns of O. First of all, consider the case when p = 0, i.e. C(O) = [c 0,c 1 ]. If c 1 = 0, the result is obvious. Suppose c 1 0. There are non-trivial maps Ω 1 I O(c 1) ( ( c 1 +1,0)) ISp(c 0+c 1 ) ( (0, c 1 1)T(c 0 )) X O(c1 )( ( c 1 +1,0)) ISp(c 0+c 1 ) ( (0, c 1 1)T(c 0 )), where the first map comes from Corollary 3.0.3(b) with the dual pair O(c 1 ) Sp(c 0 + c 1 ), and the second map is the quotient map to the Langlands quotient. Note that X O(c1 )( ( c 1 +1,0)) = X O(c1 )( (0, c 1 1)) is the trivial G 1 -module, so the above map factors through g 1 Ω 1, i.e. Ω 1 /g 1 Ω 1 I G ( (0, c 1 1)T(c 0 )). Hence the Proposition holds for p = 1. Suppose the Proposition holds for O = (c,c 3,...,c p+1 ), i.e. there is a non-trivial map Ω 3 Ω p+1 /(g 3 g p+1 )(Ω 3 Ω p+1 ) Π := I G ( ( c 3 +1, c 4 )... ( c p 1 +1, c p ) (0, c p+1 1)T( c )).

13 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS 13 Consider the oscillator representation Ω with dual pair G 1 G. By Corollary 3.0.3(a) with M = c 1, there is a non-trivial map with Π 1 equal to Π 1 := I G 1 ( ( c 3 +1, c 4 )... ( c p 1 Therefore, we have a non-trivial map Ω Π 1 Π +1, c p ) (0, c p+1 1) ( c 1 +1, c )) Ω (Ω 3 Ω p+1 /(g 3 g p+1 )(Ω 3 Ω p+1 )) (Π 1 Π ) Π Π 1 triv G, where the last map is given by projecting Π Π onto the trivial representation. Note that the final image does not depend on the G -module structure, so the map factors through g Ω, and we obtain a non-trivial map Ω Ω p+1 /(g g p+1 )(Ω Ω p+1 ) Π 1. Finally, Corollary 3.0.3(b) with L = c 0 implies that there is a non-trivial map where Π 0 is the induced module Ω 1 Π 0 Π 1, Π 0 := I G ( ( c 1 +1, c )... ( c p 1 +1, c p ) (0, c p+1 1)T( c 0 )) as in the proposition. Then the above contraction argument applies again to give the result. We omit the details about the spherical vector. Remark The proof of the above lemma also yields the analogous result to for the closure of the nilpotent orbit Q, corresponding to Q = (c 1,...,c p+1 ) in the orthogonal case. Before stating an analogous result of for multiple chains, we make the following observation: Corollary Let O be a nilpotent orbit of Type C satisfying Assumption with only one chain C(O) = [c 0 (c 1 c )...(c p 1 c p )c p+1 ]. There is a non-trivial (g c,k c )-equivariant map Ω(O) I G ((c 1 c ) +...(c p 1 c p ) + X((c 0 c p+1 ) + )). with the spherical vector in its image. Proof. By Proposition 3.1.1, there is a non-trivial G-equivariant map Ω(O) I G ( ( c 1 +1, c )... ( c p 1 +1, c p ) (0, c p+1 1)T( c 0 )).

14 14 DAN BARBASCH AND KAYUE DANIEL WONG with the same properties. The result follows from the fact that the induced module I Sp ( (0, c p+1 1)T( c 0 ))mapssurjectivelyontothelanglandsquotientx( ( c p+1 + 1, c 0 )) = X((c 0 c p+1 ) + ). We now state a result on a non-trivial (g c,k c )-equivariant map from B(O) to an induced module for O with multiple chains: Proposition Let O be a nilpotent orbit of Type C satisfying Assumption 1.3.7, and C(O) = C c C d, where C c = [c 0 (c 1 c )...(c p 1 c p )c p+1 ],,C d = [d 0 (d 1 d )...(d q 1 d q )d q+1 ]. There is a (g c,k c ) equivariant map Ω(O) I G ((c 1 c ) +...(c p 1 c p ) + (d 1 d ) +...(d q 1 d q ) + X((c 0 c p+1 ) + (d 0 d q+1 ) + )) with the spherical vector in its image. Proof. We give details of the proof when O has two chains, i.e. C(O) = [c 0 (c 1 c )...(c p 1 c p )c p+1 ] [d 0 (d 1 d )...(d q 1 d q )d q+1 ]. The results in Proposition can be generalized such that there exists a non-trivial map (8) Ω(O) I G ( ( c 1 +1, c )... ( c p 1 +1, c p ) ( c p+1 +1, d 0 ) ( d 1 +1, d )... ( d q 1 The intertwining operator +1, d q ) (0, d q+1 1)T( c 0 )) I G ( ( c 1 +1, c )... ( c p 1 +1, c p ) ( c p+1 +1, d 0 ) ( d 1 +1, d )... ( d q 1 +1, d q ) (0, d q+1 I G ( ( c 1 +1, c )... ( c p 1 +1, c p ) ( d 1 +1, d )... 1)T( c 0 )) ( d q 1 +1, d q ) ( c p+1 +1, d 0 ) (0, d q+1 1)T( c 0 )) is an isomorphism on the diminutive K-types since the strings are strongly nested. The quotient map I Sp ( ( c p+1 +1, d 0 ) (0, d q+1 1)T( c 0 )) q X( ( c p+1 +1, c 0 ) ( d q+1 +1, d 0 )) = X((c 0c p+1 ) + (d 0 d q+1 ) + )

15 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS 15 and all the other intertwining operators are nonzero on the trivial K-type. Hence the lastmoduleinequation(8)mapstoi G ((c 1 c ) +... (c p 1 c p ) + (d 1 d ) +...(d q 1 d q ) + X((c 0 c p+1 ) + (d 0 d q+1 ) + )) with the trivial K-type in its image, and the result follows. Remark The irreducible module X((c 0 c p+1 ) + (d 0 d q+1 ) + )) of Type C appearing in the proposition above is the spherical unipotent representation attached to the orbit (c 0,c p+1,,d 0,d q+1 ). Corollary Under thesetting of Proposition3.1.4, there is a(g c,k c ) equivariant map B(O) I G ((c 1 c ) +...(c p 1 c p ) + (d 1 d ) +...(d q 1 d q ) + X((c 0 c p+1 ) + (d 0 d q+1 ) + )) with the spherical vector in its image. Proof. The inclusion map B(O) := Ω(O) K1 /(K 1 ) 0 Ω(O) has the trivial K-type in its image. Then the result follows directly from the above inclusion and Proposition Parameters Attached to a Nilpotent Orbit In this section, we list the possible Langlands parameters that can appear in the composition series of B(O). For O = (c 0,c 1,...,c p+1 ) satisfying Assumption 1.3.7, the infinitesimal character attached to B(O) is (9) c i ( c i,...,1); c i+1 ( c i+1 1,...,1,0). This is implicit from the constructions in Proposition It also matches the Θ correspondence in, for example, [Pz]. Fix an orbit O satisfying Assumption 1.3.7, and let λ be as in Equation (9). There is a unique maximal primitive ideal I(λ) U(g) with a given infinitesimal character λ. This determines a nilpotent orbit O λ such that any admissible irreducible (g c,k c ) module will have at least O λ as its associated variety. In particular, the spherical irreducible module with infinitesimal character λ has associated variety precisely the closure of O λ (see [BV] for details). The composition factors of B(O) are irreducible (g c,k c )-modules with infinitesimal character λ and associated varieties contained in O and containing O λ.

16 16 DAN BARBASCH AND KAYUE DANIEL WONG 4.1. Definition of Norm(O). We list all the orbits between O and O λ. The collection of such orbits is denoted by Norm(O). Definition Let (c i,c i+1 = c i+,c i+3 ) be four even columns of a nilpotent orbit O. A fundamental collapse of O is (1) (c i > c i+1 = c i+ > c i+3 ) (c i,c i+1 +,c i+,c i+3 ). () (c i = c i+1 = c i+ > c i+3 ) (c i +1,c i+1 +1,c i+,c i+3 ). (3) (c i > c i+1 = c i+ = c i+3 ) (c i,c i+1 +,c i+ 1,c i+3 1). (4) (c i = c i+1 = c i+ = c i+3 ) (c i +1,c i+1 +1,c i+ 1,c i+3 1). In the first two cases, we omit the columns c i+,c i+3 if both terms are equal to zero. Note that when c i c i+1, the size of c i remains unchanged after collapse. Similarly, if c i+ c i+3, the size of c i+3 is the same after collapse. Definition Let O be a nilpotent orbit satisfying Assumption The collection of auxiliary orbits obtained as follows will be called Norm(O). (1) Select an even column pair of the form (c i 1 = c i ) appearing in O. Consider the four columns c i c i 1 = c i c i+1. The columns c i, c i+1 may or may not be paired with each other. Replace these columns with their corresponding fundamental collapse c i,c i 1,c i,c i+1 and obtain a new orbit. () Step (1) generates a set of new orbits, one for each pair c i 1 = c i. Repeat Step (1) on the new orbits until there are no more (c j 1 = c j ) s. Remark The smallest orbit in Norm(O) obtained in the above definition is precisely O λ mentioned at the beginning of this section. The orbits in Norm(O) do not necessarily satisfy Assumption Example Let O = (8,6,6,4,4,,,0). The set Norm(O) is (8,6,6,4,4,,,0) (10) (8,8,4,4,4,,,0) (8,6,6,6,,,,0) (8,6,6,4,4,4) (8,8,5,5,,,,0) (8,8,4,4,4,4) (8,6,6,6,3,3) (8,8,5,5,3,3) The orbits (8,8,5,5,,,,0), (8,6,6,6,3,3) and O λ = (8,8,5,5,3,3) in Norm(O) do not satisfy Assumption The next definition singles out the orbits O for which only (1) of Definition applies. They exhibit all the difficulties encountered for proving the main results.

17 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS 17 Definition (Generic orbit). A nilpotent orbit O of Type C satisfying Assumption is called generic, if for every chain C b = [b 0 (b 1 b )...(b k 1 b k )b k+1 ] of O, b i > b i+1 for i = 0,k and b i > b i+1 + for i = 1,...,k 1. It is clear that if O is generic, then every O Norm(O) is generic and satisfies Assumption Also, ()-(4) of Definition do not apply. 4.. Parameters attached to O Norm(O). We list the parameters of the irreducible representations with associated variety contained in O, and infinitesimal character given in the beginning of this section. Definition Let C(O ) = C c C d be the chains of O. For each chain C b = [b 0 (b 1 b )...(b k 1 b k )b k+1 ] in O, (a) If b k+1 N+, we assign two parameters to C b : (C b,+) := [b 0 (b 1 b )...(b k 1 b k ) b k+1 ]+ = (b 1,b )...(b k 1,b k ) (b 0,b k+1 )+ ; (C b, ) := [b 0 (b 1 b )...(b k 1 b k ) b k+1 ] = (b 1,b )...(b k 1,b k ) (b 0,b k+1 ). (b) If b k+1 = 0 (which can only happen in the last chain C d ), assign one parameter (C b,+) := [b 0 (b 1b )...(b k 1b k) 0] + = (b 1,b )...(b k 1,b k) (b 0,0) +. (c) If C b = [b 0 = b 1] with b 0, b 1 N+1, assign one parameter (C b,+) := [b 0 = b 1 ]+ = (b 0,b 1 )+. Let (C c,ǫ c ),..., (C d,ǫ d ) be the parameters obtained above for chains C c,..., C d respectively, then is a parameter attached to O. (C c,ǫ c ) (C d,ǫ d ) By Remark 1.3.3, the number of parameters attached to O is equal to A(O ), the cardinality of the Lusztig quotient of O. The fact that these parameters exhaust all possible factors of B(O) is detailed in Proposition As a result, the number of possible distinct irreducible modules appearing in B(O) is equal to A(O ). O Norm(O)

18 18 DAN BARBASCH AND KAYUE DANIEL WONG Example 4... Let O = (8,6,6,4,4,,,0). Then O is not generic. The parameters attached to each O Norm(O) are given by [8(66) (44) () 0] + [88] + [4(44) () 0] + [8(66) 6] + [() 0] + [8(66) (44) 4] + [88] [4(44) () 0] + [8(66) 6] [() 0] + [8(66) (44) 4] (11) [88] + [4(44) 4] + [88] + [55] + [() 0] + [88] [4(44) 4] + [8(66) 6] + [33] +. [88] [55] + [() 0] + [88] + [4(44) 4] [8(66) 6] [33] + [88] [4(44) 4] [88] + [55] + [33] + [88] [55] + [33] + Note that for each O Norm(O), the signs of ǫ c,..., ǫ d are given by the sign appearing at the end of each chain. Example Let O = (10,8,8,4,4,). Then O is generic with Norm(O) = {O,(10,8,8,6,,),(10,10,6,4,4,),(10,10,6,6,,)}. The parameters attached to each O Norm(O) are given by (1) [10(88) (44) ] + [10(88) (44) ] [10(88) 6] + [] + [10,10] + [6(44) ] + [10(88) 6] [] + [10,10] + [6(44) ] [10(88) 6] + [] [10,10] [6(44) ] + [10(88) 6] [] [10,10] [6(44) ] [10,10] + [66] + [] +,[10,10] [66] + [] + [10,10] + [66] [] +,[10,10] [66] [] + [10,10] + [66] + [],[10,10] [66] + [] [10,10] + [66] [],[10,10] [66] [] Remark When O is not generic and O Norm(O) has odd columns, the parameters attached to O in Definition 4..1 have a different infinitesimal character than B(O ) Construction of Irreducible Modules. The following proposition gives an explicit construction of the irreducible modules corresponding to each parameter

19 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS 19 attached to O Norm(O) in Definition In particular, the lists exhaust all possibilities of the composition factors of B(O). We will determine which of them appear in B(O) in Section 6. Proposition Let O be a nilpotent orbit satisfying Assumption 1.3.7, and O Norm(O) have chains C(O ) = C c C d, where C c = [c 0(c 1c )...(c p 1c p )c p +1],,C d = [d 0(d 1d )...(d q 1d q )d q +1]. For each parameter (C c,ǫ c ) (C d,ǫ d ) attached to O (Definition 4..1), the irreducible module with this parameter equals the induced module from M := GL(c ) GL(c p) GL(d ) GL(d q) Sp, (13) I G ((c 1c )...(c p 1c p ) (d 1d )...(d q 1d q ) X((c 0c p +1) ǫ c (d 0d q +1) ǫ d )). In this formula, X((c 0c p +1 )ǫ c (d 0d q +1 )ǫ d ) is the irreducible (unipotent) representation attached to the special orbit (c 0,c p +1,,d 0,d q +1 ), with the listed parameter. Moreover, the irreducible modules constructed above exhaust all irreducible modules having associated variety contained in O, and infinitesimal character given by Equation (9). Proof. The proof is in Section 8.1. Remark The module X((c 0c p+1) ǫ c (d 0d q+1) ǫ d ) is a unipotent representation attached to the orbit (c 0,c p+1,,d 0,d q+1 ). The multiplicity of a diminutive K-type equals its multiplicity in the induced module I G ((c 0c p+1) ǫ c (d 0d q+1) ǫ d ). In particular, every module in Proposition has diminutive lowest K-types. More explicitly, consider the Langlands quotient map I G ((c 0 c p+1 )ǫ c (d 0 d q+1 )ǫ d ) X((c 0 c p+1 )ǫ c (d 0 d q+1 )ǫ d ) which is isomorphic on diminutive K-types. From Equation (13), we have X((C c,ǫ c ) (C d,ǫ d )) I G ((c 1 c )...(c p 1 c p ) (d 1 d )...(d q 1 d q ) (c 0 c p +1 )ǫ c (d 0 d q +1 )ǫ d ). 5. Composition Factors of B(O) 5.1. Definition of B(O). In order to establish the composition series of B(O), we introduce the module B(O) with K spectrum isomorphic to R(O) and infinitesimal character given by Equation (9).

20 0 DAN BARBASCH AND KAYUE DANIEL WONG Definition Let O be a nilpotent orbit satisfying Assumption with chains C(O) = C c C d, where C c = [c 0 (c 1 c )...(c p 1 c p )c p+1 ],,C d = [d 0 (d 1 d )...(d q 1 d q )d q+1 ]. Associated to it, is the Levi component M = GL(c ) GL(c p ) GL(d ) GL(d q ) Sp. The module B(O) ǫc,...,ǫ d is defined as B(O) ǫc,...,ǫ d := I G ((c 1 c ) +...(c p 1 c p ) + (d 1 d ) +...(d q 1 d q ) + X((c 0 c p+1 ) ǫc (d 0 d q+1 ) ǫ d )). Recall that c 1 = c etc., so that the parameter makes sense. By [B5] and [Wo], each B(O) ǫc,,ǫ d has K-spectrum equal to R(O,ϕ) for some local system ϕ. In particular, B(O) := B(O) +,,+ = R(O). Also, Corollary implies that there exists a nontrivial (g c,k c )-module morphism B(O) B(O). B(O) ǫc,,ǫ d are generally not irreducible. Since B(O) ǫ c,,ǫ d has associated variety equal to O and infinitesimal character (9), the composition factors of B(O) ǫc,,ǫ d must come from the irreducible modules studied in Proposition The main theorem in this section is to find its composition factors. 5.. Decomposition of B(O). We first consider the case when O is generic (Definition 4.1.5) and has only one chain C(O) = [c 0 (c 1 c )...(c p 1 c p )c p+1 ]. There are two cases, c p+1 > 0 and c p+1 = 0: Case c p+1 > 0 corresponds to the seesaw sequence in the Θ correspondence starting with a symplectic group; there are two modules B(O) ±. Case c p+1 = 0 corresponds to the seesaw sequence starting with an orthogonal group; there is one module B(O). Proposition Let O be generic and has only one chain. Suppose (C c,ǫ c ) (C d,ǫ d ) are the parameters attached to O Norm(O) constructed in Proposition (i) Assume c p+1 > 0. The composition factors of B(O) + have parameters (C c,ǫ c ) (C d,ǫ d ) such that there is an even number of s in the expression of (13) with multiplicity 1. The composition factors of B(O) have parameters such that there is an odd number of s in the expression of (13) with multiplicity 1. (ii) Assume c p+1 = 0. All possible composition factors listed in occur in B(O) + with multiplicity 1.

21 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS 1 Example 5... Consider O = (10,8,8,4,4,). Then B(O) + = (14) and B(O) = (15) [10(88) (44) ] + [10(88) 6] [] + [10,10] + [6(44) ] [10(88) 6] + [] [10,10] [6(44) ] + [10,10] + [66] + [] + [10,10] [66] [] + [10,10] [66] + [] [10,10] + [66] [] [10(88) (44) ] [10(88) 6] + [] + [10,10] + [6(44) ] + [10(88) 6] [] [10,10] [6(44) ] [10,10] [66] + [] + [10,10] + [66] [] + [10,10] + [66] + [] [10,10] [66] [] Definition Let O be a generic orbit with a single chain C(O) = C. We call all parameters (C c,ǫ c ) (C d,ǫ d ) attached to O Norm(O) appearing in B(O) ǫ, C ǫ -admissible. In general, the composition factors of B(O) ǫc,...,ǫ d for all generic orbits O are given by the following: Theorem Let O be a generic orbit with chains C(O) = C c C d. The composition factors of B(O) ǫc,...,ǫ d are the irreducible modules with parameters P c P d, where each P j is a C ǫ j j -admissible parameter (Definition 5..3). Each factor occurs with multiplicity 1. Remark The statements of Proposition 5..1 and Theorem 5..4 hold for all orbits satisfying Assumption The proofs are essentially the same; there are fewer parameters to consider.

22 DAN BARBASCH AND KAYUE DANIEL WONG In particular, the details of the proof of Proposition 5..1 for all chains C of length 4 are in Section We will only give an outline on their proofs in the more general setting in Remark Example Let O = (10,8,8,6,4,,,0) with C(O) = [10(88)6] [4()0]. By Proposition 5..1, the [10(88)6] + -admissible and [4()0] + -admissible parameters are given by: (16) [10(88) 6] [4() 0] + [10,10] + [66] + [44] + [10,10] [66] [44] By Theorem 5..4, the composition series of B(O) = B(O) +,+ consists of the following parameters: (17) [10(88) 6] [4() 0] + [10(88) 6] [44] + [10,10] + [66] + [4() 0] + [10(88) 6] [44] [10,10] [66] [4() 0] + [10,10] + [66] + [44] + [10,10] [66] [44] + [10,10] + [66] + [44] [10,10] [66] [44] The proof of Theorem 5..4 is by induction on the number of chains (see Section 5.4). In the special case when there is only one chain, i.e. Proposition 5..1, we will do an induction on the length of the chain One Chain. We now prove Proposition 5..1 by induction on the length of the chain Initial Step. When O = (c 0,c 1 ) has only two columns, then Norm(O) = {O} and the result follows directly from [B5]. The next case is when there is only one bracket, i.e. orbits of the form O = (c 0,c 1,c,c 3 )givenindefinition4.1.1withc(o) = [c 0 (c 1 c )c 3 ]. RecallthatNorm(O) = {O,O }, where O := (c 0,c 1,c,c 3 ) is obtained from the fundamental collapse of O. Consider the GL GL induced module (18) I Sp ((c 0 c 3 ) + (c 1 c ) + ) I Sp ((c 1 c ) + X((c 0 c 3 ) + )) = B(O) (Recall in Equation (4) that X Y means the composition factors of X and Y with diminutive lowest K types coincide). The composition factors of (18) with diminutive lowest K-types are precisely the factors that show up in B(O).

23 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS 3 To show this, we study the intertwining operator between these induced modules: (19) I Sp ((c 0 c 3 ) + (c 1 c ) + ) ι I Sp ((c 1 c ) + (c 0 c 3 ) + ). Notethatthecodomainoftheabovemapalso have thesamediminutive K-type multiplicities as B(O). We will find the diminutive lowest K-type composition factors appearing inbothkerιandim ι, which adduptobe thecompositionfactorsofb(o). Kernel of ι: The following lemma gives ker ι explicitly. Lemma ker ι does not contain any composition factor with diminutive lowest K-types unless c 0 > (c 1 c ) > c 3. In this case, the kernel is equal to X([c 0,c 1 +] [c,c 3 ] µ ) (notation of Section 4), where µ = if c 3 0, and µ = + if c 3 = 0. If c = c 3 = 0, the term [c,c 3 ] µ is omitted. Proof. This is a direct application of Proposition Image of ι: Again, by Proposition 1..4, im ι = I Sp ( ( c 1 +1, c 0 ) ( c 3 +1, c )). To make im ι explicit, we compute the image and kernel of the composition of intertwining operators (0) im ι = I Sp ( ( c 1 +1, c 0 ) ( c 3 +1, c )) σ I Sp ( ( c 1 +1, c 0 ) ( c, c 3 1)) ι I Sp ( ( c, c 3 1) ( c 1 +1, c 0 )). They are computed by a repeated application of Propositions 1..4 and For the image, note that the first map of (0) is an isomorphism on the diminutive K types. The second map has image equal to I Sp ( ( c, c 0 ) ( c 1 +1, c 3 1)) = ISp ((c 0 c 1 )+ (c c 3 )+ ) (If c = c 3 = 0, we omit the term [c,c 3] + ). For the kernel we only need the second map in (0). By Proposition 1..4 again, it is equal to X([c 0 (c 1 c ) c 3 ] µ ).

24 4 DAN BARBASCH AND KAYUE DANIEL WONG In conclusion, the kernel and image of ι in Equation (19) with diminutive lowest K-types are given as follows: (1) C(O) ker ι im ι [c 0 > (c 1 c ) > c 3 ] [c 0 c 1 ] [c c 3 ]µ [c 0 = (c 1 c ) > c 3 ] [c 0 (c 1 c ) c 3 ] µ [c 0 > (c 1 c ) = c 3 ] 0 [c 0 = (c 1 c ) = c 3 ] [c 0 c 1 ]+ [c c 3 ]+ When c = c 3 = 0, the term [c c 3] µ or [c c 3] + is not present. Proposition Proposition 5..1 holds for all orbits O satisfying Assumption with C(O) = [c 0 (c 1 c )c 3 ]. Proof. For B(O), the parameters appearing in kerι and im ι in Table (1) are precisely the ones given by Proposition 5..1(a). Hence the proof is complete for B(O). For B(O), consider the kernel and image of the intertwining operator () I Sp ( ( c 3, c 3 1) (c 3 +1, c 0 ) ( c 1 +1, c )) I Sp ( ( c 3, c 3 1) ( c 1 +1, c ) (c 3 +1, c 0 )) The techniques used above to prove the Proposition for B(O) can be carried over to proving the Proposition for B(O) Induction step on the length of one chain. We now prove Proposition 5..1, using induction on the length of a chain and the results in Section 5.4. We only give the proof for B(O) +. Suppose the proposition holds for p k 1, consider the orbit O with (3) C(O) = [c 0 (c 1 c )...(c k 1 c k )(c k 1 c k )c k+1 ]. We study the intertwining operators ι l for l = 1,...,k: I Sp ((c 1 c ) +...(c 0 c k+1 ) + (c l 1 c l ) +...(c k 1 c k ) + ) ι l I Sp ((c 1 c ) +...(c l 1 c l ) + (c 0 c k+1 ) +...(c k 1 c k ) + ) As in the previous subsection, we compute the kernels and images appearing in the intertwining operators ι l for l = 1,...,k. The composition factors of B(O) follow from this calculation. Kernel of ι l : By applying the results in Table (1) for (c 0,c l 1,c l,c k+1 ) and the fact that the intertwining operators are induced from corresponding ones on Levi components, the composition factors with diminutive lowest K-types in kerι l are given by kerι l = I G ((c 1 c ) +...(c l 3 c l ) + (c l+1 c l+ ) +...(c k 1 c k ) + X((c 0,c l 1 +) (c l,c k+1 ) )).

25 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS 5 This is equal to B(O l ),, where C(O l ) = C 1 C with C 1 = [c 0 (c 1 c )...(c l 3 c l )c l 1 +], C = [c l (c l+1 c l+ )...(c k 1 c k )c k+1 ]. Note that the lengths of C i are smaller than that of C(O). By induction hypothesis and the result in Section 5.4, the composition factors of kerι l = B(O l ), are of the form X(P 1 P ), where P i are C i -admissible parameters. Image of ι l : The composition factors can be read off from Table (1). The factors with diminutive lowest K-types in im ι l contain the composition factors in I G ((c 1 c ) +...(c l 3 c l ) + (c l+1 c l+ ) +...(c k 1 c k ) + X((c 0,c l 1 +) + (c l,c k+1 ) + )). They equal B(O l ) +,+. So the composition factors of im ι l include the irreducible modules X(Q 1 Q ), where Q i are C i + -admissible parameters. Consequently, kerι l and im ι l contain the factors X(P 1 P ) and X(Q 1 Q ). They include all parameters (with even number of minuses if c k+1 0) attached to orbits O l Norm(O) smaller than or equal to O l = (c 0,...c l,c l 1 +,c l,c l+1,...,c k+1 ). In other words, every irreducible module given in Proposition 5..1(a), whose parameters are attached to O O Norm(O), shows up in the kernel or image of ι l for some l, and hence in B(O) as well. We are left to show that the (unique) parameter attached to O Norm(O) described in Proposition 5..1(a) constitutes a composition factor of B(O), and the multiplicities are 1. Both statements can be verified by comparing the K-spectrum of B(O) = R(O) (which is known by the work of [B5]) and the K-spectrum of the irreducible modules attached to O Norm(O) (which is known by Remark 4.3.). Example We illustrate the aboveargumentinthe case ofo = (10,8,8,4,4,), i.e. we will account for the factors of B(O) in Example 5... Consider the intertwining operators I Sp ((10,) + (88) + (44) + ) ι 1 I Sp ((88) + (10,) + (44) + ι ) I Sp ((88) + (44) + (10,) + ). The kernel of ι 1 with diminutive K-type is given by B(10,10,6,4,4,),. By Proposition 5.3. and the results in Section 5.4, its composition series consists of irreducible modules with parameters kerι 1 : [10,10] [6(44) ] +, [10,10] [66] [] +, [10,10] [66] + []. The image of ι 1 contains the induced module B(10,10,6,4,4,) +,+. Its composition series consists of irreducible modules with parameters im ι 1 : [10,10] + [6(44) ], [10,10] + [66] + [] +, [10,10] + [66] [].

26 6 DAN BARBASCH AND KAYUE DANIEL WONG The kernel of ι with diminutive K-type is given by B(10,8,8,6,,),. Its composition series consists of irreducible modules with parameters kerι : [10(88) 6] + [], [10,10] + [66] [], [10,10] [66] + []. The image of ι contains the induced module B(10,8,8,6,,) +,+. Its composition series consists of irreducible modules with parameters im ι : [10(88) 6] [] +, [10,10] + [66] + [] +, [10,10] [66] [] +. By direct comparison, the kernel and image of ι 1 and ι consists of the 8 factors of B(O) in Example 5.. attached to the orbits O < O in Norm(O). If we consider the GK-dimension of B(O), it must contain a factor attached to O Norm(O). We pick the factor X([10(88) (44) ] + ) so that, using Remark 4.3., the diminutive K-type multiplicities of the sum of the 8 factors in the previous paragraph (with multiplicity one) with the factor X([10(88) (44) ] + ) is exactly equal to that of R(O). In conclusion, the 9 factors in Example 5.. exhaust all composition factors of B(O) If Theorem 5..4 holds for l chains, it holds for l +1 chains. We show how the validity for one chain implies the validity for two chains, and the general case is analogous. Assume C(O) = C 1 C. Let C 1 = [c 0 (c 1 c )...(c p 1 c p )c p+1 ], C = [d 0 (d 1 d )...(d q 1 d q )d q+1 ] be the two chains. Then B(O) ǫ 1,ǫ = I Sp ((c 1 c ) +...(c p 1 c p ) + (d 1 d ) +...(d q 1 d q ) + X((c 0 c p+1 ) ǫ 1 (d 0 d q+1 ) ǫ )) By Remark 4.3., (4) B(O) ǫ 1,ǫ I Sp ((c 1 c ) +...(c p 1 c p ) + (d 1 d ) +...(d q 1 d q ) + (c 0 c p+1 ) ǫ 1 (d 0 d q+1 ) ǫ ) I Sp ((d 1 d ) +...(d q 1 d q ) + (d 0 d q+1 ) ǫ (c 1 c ) +...(c p 1 c p ) + (c 0 c p+1 ) ǫ 1 ) I Sp ((d 1 d ) +...(d q 1 d q ) + (d 0 d q+1 ) ǫ I Sp ((c 1 c ) +...(c p 1 c p ) + (c 0 c p+1 ) ǫ 1 )). Let A 1 be the collection of all C ǫ 1 1 -admissible parameters (Definition 5..3). The induction hypothesis of Proposition 5..1 implies that (5) I Sp ((c 1 c ) +...(c p 1 c p ) + (c 0 c p+1 ) ǫ 1 ) B(c 0,...,c p+1 ) ǫ 1 R 1 A 1 X(R 1 ). Recall from Proposition and Remark 4.3. that X(R 1 ) I Sp ((r 1 r )...(r i 1 r i ) (s 1 s )...(s j 1 s j ) (r 0 r i+1 ) ǫr (s 0 s j+1 ) ǫs )

27 ADMISSIBLE MODULES AND NORMALITY OF CLASSICAL NILPOTENT ORBITS 7 for some r 0 r i+1 > > s 0 s j+1 and ǫ r,,ǫ s {+, }. Let I GL (R 1 ) be the module I GL (R 1 ) := I GL ((r 1 r )...(r i 1 r i ) (s 1 s )...(s j 1 s j ) (r 0 r i+1 ) ǫr (s 0 s j+1 ) ǫs ) such that I Sp (I GL (R 1 )) X(R 1 ). Using Equations (4) and (5), we have B(O) ǫ 1,ǫ I Sp ((d 1 d ) +...(d q 1 d q ) + (d 0 d q+1 ) ǫ X(R 1 )) R 1 A 1 (6) I Sp ((d 1 d ) +...(d q 1 d q ) + (d 0 d q+1 ) ǫ I GL (R 1 )) R 1 A 1 I Sp (I GL (R 1 )I Sp ((d 1 d ) +...(d q 1 d q ) + (d 0 d q+1 ) ǫ )) R 1 A 1 Let A bethecollection of C ǫ -admissible parameters. Then theinduction hypothesis for Proposition 5..1 implies (7) I Sp ((d 1 d ) +...(d q 1 d q ) + (d 0 d q+1 ) ǫ ) B(d 0,...,d q+1 ) ǫ = X(R ). R A Plugging Equation (7) into (6), we obtain B(O) ǫ 1,ǫ R 1 A 1 R A I Sp (I GL (R 1 )X(R )). By Proposition (on the structure of X(R 1 R )) and Remark 4.3. (on the diminutive K-type multiplicities of I Sp (I GL (R 1 )X(R )) and X(R 1 R )), the irreducible module with parameter R 1 R satisfies I Sp (I GL (R 1 )X(R )) X(R 1 R ). Hence B(O) ǫ 1,ǫ R 1 A 1 R A X(R 1 R ), and the result follows. Remark We describe the modifications needed in order to generalize Proposition 5..1 and Theorem 5..4 to all orbits satisfying Assumption In this case, kerι 1 or kerι k may be equal to 0 (see Table (1)), and the fundamental collapse of (c 0 = c 1 = c > c k+1 ) or (c 0 > c k 1 = c k = c k+1 ) may yield odd columns (c 0 +1,c 1 +1,c,c k+1 ) or (c 0,c k 1 +,c k 1,c k+1 1) respectively. In these cases, im ι 1 or im ι k contains B(c 0 +1,c 1 +1,c,c 3,...,c k+1 ) +,+ I G ((c 0 +1,c 0 +1) + B(c,c 3,...,c k+1 ) + ) or B(c 0,c 1,...,c k 1 +,c k 1,c k+1 1) +,+ I G ((c k 1,c k+1 1) + B(c 0,c 1,...,c k 1 +) + ) respectively. Then one can proceed by induction on studying the composition factors of B(c,c 3,...,c k+1 ) + or B(c 0,c 1,...,c k 1 +) + as above.

28 8 DAN BARBASCH AND KAYUE DANIEL WONG 6. Decomposition of B(O) 6.1. The main Theorem. We are in the position to state the main theorem of the manuscript: Theorem Let O be a nilpotent orbit satisfying Assumption 1.3.7, and (C c,ǫ c ) (C b,ǫ b ) (C d,ǫ d ) be a parameter attached to O Norm(O) with (8) (C b,ǫ b ) := [b 0 (b 1 b )...(b l 1 b l ) b l+1 ]ǫ b. Then B(O) consists of irreducible modules whose parameters satisfy the following condition: Suppose b l+1 N+, then ǫ b = sgn( 1) l. In other words, when b l+1 N+, the sign of ǫ b is chosen such that the number of s in Equation (8) is even. Remark (1) Each O Norm(O) contributes exactly one parameter to the composition series of B(O). We denote Π O be the irreducible module corresponding to this parameter. () The composition factors of B(O) are also composition factors of B(O) (given in Theorem 5..4). Furthermore, B(O) = B(O) precisely when O is normal, consistent with R(O) = R(O) in this case. Also, when O is not normal, the discrepancy between R(O) and R(O) occurs at the level of diminutive K types already. As a consequence, the multiplicities of the diminutive K types in R(O) and R(O) are explicitly computable (see Corollary below). An example is computed in [Wo, Example 5.]. Example Let O = (10,8,8,4,4,). The composition factors of B(O) are listed in Example 5... Among the 9 factors of B(O), only 4 of them show up in B(O): [10(88) (44) ] + (9) [10(88) 6] [] + [10,10] + [6(44) ] [10,10] + [66] + [] +