arxiv:math/ v3 [math.rt] 26 May 2013

Transcription

1 QUANTIZATION OF SLODOWY SLICES arxiv:math/ v3 [math.rt] 26 May 2013 WEE LIANG GAN AND VICTOR GINZBURG Abstract. We give a direct proof of (a sight generaization of) the recent resut of Premet reated to generaized Gefand-Graev representations and of an equivaence due to Skryabin. 1. Introduction 1.1. Let g be a compex semisimpe Lie agebra, et G be the adjoint group of g, et O be a nonzero nipotent AdG-orbit in g, and et e O. By the Jacobson-Morozov Theorem, there is an s 2 -tripe (e,h,f) associated to e, i.e. [h,e] = 2e, [h,f] = 2f, [e,f] = h. Fix such an s 2 -tripe. The Sodowy sice to O at e is defined to be the affine space e+keradf, see e.g. [S] 7.4. The same sice has been used aready by Harish-Chandra [HC] 12-14, see aso [Ba]. Since the Kiing form on g is nondegenerate, there is an isomorphism Φ : g g such that Φ(e),f = 1. Let χ = Φ(e) and S = Φ(e+Keradf). We wi show in 3 that S has a natura Poisson structure. The aim of this paper is to construct a quantization of S Under the action of adh, we have a decomposition g = i Zg(i), where g(i) = {x g [h,x] = ix}. Note that there is a nondegenerate skew-symmetric biinear form ω on g( 1) defined by ω(x,y) = χ([x,y]) for a x,y g( 1). Fix an isotropic subspace of g( 1), and denote by ω g( 1) the annihiator of with respect to ω. Let m = ( i 2 g(i) ) and n = ω ( i 2 g(i) ). Note that m n and they are both nipotent Lie subagebras of g. Aso, χ restricts to a character on m. Let Ug and Um be the universa enveoping agebras of g and m respectivey. Denote by C χ the 1-dimensiona eft Um -modue obtained from the character χ of m, and et Q = Ug Um C χ be the induced eft Ug-modue, equivaenty, the quotient of Ug by the eft idea I generated by x χ(x), for a x m. Now consider the unique extension of the adjoint action of n on g to derivations on Ug. Note that I is stabe under this action of n because if x m and n n, then (x χ(x))n = n(x χ(x)) + [x,n], and χ([x,n]) = 0. Thus, there is an induced adn -action on Q. LetH = Q adn bethesubspaceof a x+i Q suchthat nx xn I fora n n. Take any x+i,y+i H. We define an agebra structure on H by (x+i )(y+i ) = xy+i. We caim that this mutipication is we defined. To see this, we note that for any m m and y +I H, by the definition of H we have: [m,y] [m,y] [n,y] I. Hence, we find: (m χ(m))y = ym yχ(m)+[m,y] y(m χ(m))+i I. It foows that I y I, and our caim is proved. Further, it is cear that H is cosed under the mutipication, because if n n, then nxy xyn = (nx xn)y +x(ny yn) I. 1

2 2 WEE LIANG GAN AND VICTOR GINZBURG We wi define in 4 the Kazhdan grading on C[S] and the Kazhdan fitration on H. We wi then prove in 5 that grh is canonicay isomorphic to C[S] as graded Poisson agebras, and H is independent of the choice of. Our proof is based on generaizations of some of Kostant s resuts in [Ko], in which he considered the case when e is a principa nipotent eement. Kostant s resuts were generaized by Lynch [Ly] to the setup of admissibe paraboic subagebras, which incude our resuts in the specia case of an even nipotent eement e. In particuar, our proof of Proposition 5.2 beow is very simiar to an argument in [Ly], see aso [Ko]. However, we beieve that an s 2 -tripe setting considered in the present paper is more natura than that of admissibe paraboic subagebras considered in [Ly], making a resuts much ceaner This work was inspired by Premet [Pr]. He proved the isomorphism between grh and C[S] in the case when is Lagrangian. His proof is based on resuts over agebraicay cosed fieds of positive characteristics. Simiar resuts were aso obtained in [BT] using BRST cohomoogy. Reca that in the Lagrangian case, Q is caed a generaized Gefand-Graev representation associated to e (c.f. e.g. [Ka], [Ma], [Mœ], or [Ya]), we have an agebra isomorphism End Ug (Q ) op H : h h(1 1), and H may be identified with the space of Whittaker vectors Wh(Q ) = {v Q xv = χ(x)v, x m }. 2. A decomposition emma 2.1. It wi be usefu to define a inear action of C on g which stabiizes e+keradf. First, consider the Lie agebra homomorphism s 2 (C) g defined by ( ) ( ) ( ) e, h, f This Lie agebra homomorphism exponentiates to a rationa homomorphism γ : SL 2 (C) G. We put ( ) γ : C t 0 G, γ(t) = γ 0 t 1, t C. Note that ( Adγ(t) ) (e) = t 2 e. The desired action of C on g, to be denoted by ρ, is defined by ρ(t)(x) = t 2 (Adγ(t 1 ) ) (x), for a x g. Note that ρ(t)(e + x) = e + ρ(t)(x). Thus, since ρ(t) stabiizes Keradf, it aso stabiizes e+keradf. Note that imρ(t)(x) = e, for a t 0 x e+keradf, i.e. the C -action on e+keradf is contracting Reca that the intersections of e+keradf with AdG-orbits in g are transversa. This is cear at e since g = [g,e] (Keradf). Thus, the adjoint action map G (e+keradf) g has a surjective differentia at each point in some open neighborhood of (1,e). It foows that at each point in some open neighborhood of e in e+keradf, the intersection of e+keradf with AdG-orbits is transversa. By the contracting C -action on e+keradf, it foows that the same is true at a points of e+keradf Let N be the unipotent subgroup of G with Lie agebra n, and et m g be the annihiator of m. The foowing key emma is a generaization of [Ko] Theorem 1.2. Lemma 2.1. The coadjoint action map α : N S χ+m is an isomorphism of affine varieties.

3 QUANTIZATION OF SLODOWY SLICES 3 Proof. Given a subspace V g, we wi write V g for the annihiator of V in g (as opposed to V, the annihiator in g ) with respect to the Kiing form on g. The statement of the Lemma is equivaent to saying that the adjoint action map α : N (e+keradf) e+m g is an isomorphism. First, note that s 2 representation theory impies: [n,e] Keradf = 0, and that the map n [n,e], x [x,e], is a bijection. It foows easiy that dimm g = dimn + dimg(0) + dimg( 1) = dim[n,e] + dimkeradf. Thus, there is a direct sum decomposition (2.2) m g = [n,e] Keradf Next, define a C -action on N (e+keradf) by t (g,x) = (γ(t 1 )gγ(t),ρ(t)(x)). Note that for any (g,x) N (e+keradf), we have im t 0 t (g,x) = (1,e). Aso, the action of C on e + m g satisfies im t 0 ρ(t)(x) = e, for any x e + m g. The action map α is C - equivariant. Moreover, by (2.2), α induces an isomorphism between the tangent spaces of the C -fixed points (1,e) and e. Thus, Lemma 2.1 foows from the foowing genera resut: An equivariant morphism α : X 1 X 2 of smooth affine C -varieties with contracting C -actions which induces an isomorphism between the tangent spaces of the C -fixed points must be an isomorphism. To prove this, et x i be the C -fixed point of X i, i = 1,2, et T i be the tangent space of X i at x i, and write χ X C[[t]] for the forma character of the coordinate ring of a C -variety X. Since α induces an isomorphism T 1 T2, the puback on coordinate rings α : C[X 2 ] C[X 1 ] is injective. The surjectivity of α foows from the equation: χ X1 = χ T1 = χ T2 = χ X2, see [Gi] (7.7). Remark. Evenin thecase ofebeingtheprincipanipotent, theproofabove is muchsimper than that of [Ko] Theorem 1.2. There is aso an aternative proof of Lemma 2.1 based on an inductive argument simiar to one used by Lynch [Ly]. 3. Poisson structure on S 3.1. The space g has a natura Poisson structure defined by {F 1,F 2 }(ξ) = ξ([df 1 (ξ),df 2 (ξ)]), where F 1,F 2 C[g ] and ξ g. The sympectic eaves of g are the Ad G-orbits. From 2.2, we know that S intersects the sympectic eaves transversay. Thus, to show that S inherits a Poisson structure from that of g, it suffices (by [Va] Proposition 3.10) to verify that for any Ad G-orbit O and ξ O S, the restriction of the sympectic form on T ξ O to T ξ S T ξ O = T ξ (S O) is nondegenerate. Note that T ξ S = Φ(Keradf), and the annihiator of Φ(Keradf) in g is [f,g]. Thus, the nu space of the restriction of the sympectic form to T ξ S T ξ O is Φ ([ Φ 1 (ξ), [f,g] ] Keradf ). This is 0 since Φ 1 (ξ) (e+keradf).

4 4 WEE LIANG GAN AND VICTOR GINZBURG More detais on the statements made above are provided in The Poisson structure on S can aso be described via Hamitonian reduction. For this, we wi take to be a Lagrangian subspace of g( 1) in 3.2. Then m = n, and we denote both of them by m. Let M be the unipotent subgroup of G with Lie agebra m. The moment map µ : g m for the coadjoint action of M on g is just the restriction of functions from g to m. Note that µ 1 (χ m ) = χ+m, where m g is the annihiator of m. Since χ m is a character on m, it is fixed under the coadjoint action of M. Moreover, e+m g is transversa to the AdG-orbits in g. This is ceary true at e, hence ocay around e, and hence it is true everywhere using the contracting C -action ρ (c.f. 2.2). The transversaity just proved impies in particuar that, for any ξ g, we have g = [g,ξ] +m g. It foows that χ m is a reguar vaue for the restriction of µ to each sympectic eaf of g. Thus, by Lemma 2.1 we have a Hamitonian reduction of the Poisson structure on g to a Poisson structure on S (c.f. [Va] Theorem 7.31). We remark that the sympectic form on each sympectic eaf of S is obtained by sympectic reduction of the corresponding sympectic eaf of g. From this, and by the canonica embedding of S into χ+m, it is easy to see that the Poisson structures on S defined in Sections 3.1 and 3.2 are the same. Moreover, the Poisson bracket {F 1,F 2 } for any F 1,F 2 C[S] may be described as foows. Let π : (χ +m ) (χ +m )/Ad M S be the projection map. Take an arbitrary extension F 1 of F 1 π to g, and an arbitrary extension F 2 of F 2 π to g. Then {F 1,F 2 } π = { F 1, F 2 } i, where i : (χ+m ) g. 4. Kazhdan grading and fitration 4.1. Now et us define a inear action ρ of C on g such that ρ stabiizes S. This action is defined by ρ (t)(ξ) = t 2 Ad (γ(t))(ξ) for a ξ g. If ξ g and x g, then ρ (t)ξ,x = t 4 ξ,ρ(t)x. Note that we have an induced action on C[g ] defined by (ρ (t)f)(ξ) = F(ρ (t) 1 (ξ)), where F C[g ]. The decomposition C[g ] = n Z C[g ](n), where C[g ](n) = {F C[g ] ρ (t)(f) = t n F, t C }, gives C[g ] the structure of a graded agebra. We ca this the Kazhdan grading on C[g ]. Simiary, since C acts on S via ρ, we may aso speak of the Kazhdan grading on C[S]. Note however that the weights of ρ on Φ(Keradf) are negative integers. Thus, the Kazhdan grading on C[S] has no negative graded components Let Sg be the symmetric agebra of g. Identify Sg with C[g ]. From this identification, Sg acquires a graded agebra structure from the Kazhdan grading on C[g ]. This grading on Sg may be described expicity as foows. Let Sg = n 0 Sn g be the standard grading of Sg. The action of adh on g extends uniquey to a derivation on Sg. For any i Z, et (S n g)(i) = {x S n g (adh)(x) = ix}. The Kazhdan grading Sg = n Z (Sg)[n] is defined by etting (Sg)[n] be the subspace of Sg spanned by a (S j g)(i) with i+2j = n. We wi define a fitration on Ug such that the associated graded agebra is Sg with the Kazhdan grading. Consider the standard fitration U 0 g U 1 g... U n g... of Ug. The

5 QUANTIZATION OF SLODOWY SLICES 5 action of of adh on g extends uniquey to a derivation on Ug which we wi aso denote by adh. For any i Z, et (U n g)(i) = {x U n g (adh)(x) = ix}. TheKazhdan fitration,... F n Ug F n+1 Ug..., ofugisaz-fitration definedbyetting F n Ug be the subspace of Ug spanned by a (U j g)(i) with i+2j n. The Kazhdan fitration gives Ug the structure of a fitered agebra. Observe that if x F n Ug and y F m Ug, then xy yx F n+m 2 Ug. Further,foranyx g(n), y g(m), wehavex F n+2 Ug,y F m+2 Ug and, moreover, the casses of x and y in grug commute. It foows that the natura map g grug extends uniquey to a we-defined graded agebra homomorphism: Sg grug. Moreover, the Poincaré-Birkhoff-Witt Theorem impies easiy that this homomorphism is a bijection. Note further that the canonica Poisson bracket on grug defined by {gr n x,gr m y} = gr n+m 2 (xy yx) corresponds, under the isomorphisms grug = Sg = C[g ], to the standard Poisson structure on C[g ] (it suffices to check this on inear functions) Let p : Ug Q be the quotient map. The Kazhdan fitration on Q is defined by F n Q = p(f n Ug). This gives Q the structure of a fitered modue over Ug. Note that grq has a commutative agebra structure since grq = grug/gri, where I is the eft idea generated by x χ(x), for a x m. Further, F n Q = 0 for a n < 0. The associated graded map grp : Sg grq is a surjective homomorphism of graded agebras whose kerne is the idea generated by x χ(x) for a x m. Under the identification of Sg with C[g ], we see that Kergrp is the idea of a poynomia functions on g vanishing on χ+m. Since m is stabe under the action of C via ρ, there is a Kazhdan grading on C[χ +m ], and grq may be identified with C[χ+m ] as graded agebras. Note that the weights of ρ on m are negative integers, which agrees with the fact that the Kazhdan grading on grq has no negative component The Kazhdan fitration on H is induced from the Kazhdan fitration on Q via the incusion H Q. Note that grh grq is an injective homomorphism of graded agebras. Since Φ(Keradf) m, we have a restriction homomorphism ν : C[χ + m ] C[S]. Reca that grq isidentified withc[χ+m ]. Thus, thereis acanonica homomorphism of graded agebras ν : grh C[S]. Our goa is to give a simpe direct proof of the foowing theorem. Theorem 4.1. The canonica homomorphism ν : grh C[S] is an isomorphism of graded Poisson agebras. Moreover, H is independent of the choice of an isotropic subspace g( 1). 5. n -cohomoogy of grq and Q 5.1. From now on, we wi regard Ug and Q as a n -modues via the adjoint n -action. Thus, H = H 0 (n, Q ). Note that the map p : Ug Q is n -equivariant. Next, note that n is a graded subagebra of g, and hence it is aso fitered. Ceary, Ug and Q are Kazhdan fitered n -modues. Thus, grug and grq acquire the structure of Kazhdan graded n -modues, and grp : grug grq is n -equivariant. The caim that ν : grh C[S] is an isomorphism foows immediatey from the foowing two propositions.

6 6 WEE LIANG GAN AND VICTOR GINZBURG Proposition 5.1. ν : H 0 (n, grq ) C[S] is an isomorphism, and H i (n, grq ) = 0 for a i > 0. Proposition 5.2. grh 0 (n, Q ) = H 0 (n, grq ), and H i (n, Q ) = 0 for a i > To prove the above propositions, et us describe an action of n on C[χ+m ] so that the identification of grq with C[χ+m ] becomes aso an identification of Kazhdan graded n -modues. First, note that the adjoint action of n on g extends uniquey to derivations on Sg. We have grug = Sg as Kazhdan graded adn -modues. Note aso that the Ad N -action on g induces an N -action on C[g ]. This N -action on C[g ] is ocay finite, so there is an infinitesimay induced action of n on C[g ]. We have Sg = C[g ] as Kazhdan graded adn - modues. Since χ+m is stabe under the Ad N -action, we aso have an induced N -action on C[χ + m ], and hence aso an infinitesima action of n on C[χ + m ]. Ceary, the restriction homomorphism C[g ] C[χ+m ] is n -equivariant. Hence, grq and C[χ+m ] are identified as n -modues We now prove Proposition 5.1. Note that if we et N act on N S by eft transations on N, then α is N -equivariant. We have an N -modue structure on C[N ] defined by (g F)(x) = F(g 1 x), whereg,x N and F C[N ]. Lemma 2.1 impies that C[N ] C[S] = C[χ+m ] as agebras andn -modues. SinceH 0 (n, C[χ+m ]) is precisey the N -invariants C[χ+m ]N, it foows that Aso, for i > 0, H 0 (n, grq ) = H 0 (n, C[χ+m ]) = C[χ+m ]N ν C[S]. H i (n, grq ) = H i (n, C[χ+m ]) = Hi (n, C[N ]) C[S] = 0, where the ast equaity foows from the fact that the standard cochain compex for Lie agebra cohomoogy with coefficients in C[N ] is just the agebraic de Rham compex for N, and N is isomorphic to an affine space, hence has trivia de Rham cohomoogy. This competes the proof of Proposition We now deduce Proposition 5.2 from Proposition 5.1 using spectra sequence. Note that n is a negativey graded subagebra of g, so its dua n is positivey graded; we write its decomposition as n = i 1 n (i). Consider the standard cochain compex for computing the n -cohomoogy of Q : (5.3) 0 Q n Q... n n Q... A fitration on n n Q is defined by etting F p ( n n Q ) be the subspace of n n Q spanned by (x 1... x n ) v, for a x 1 n (i 1),...,x n n (i n) and v F j Q such that i i n +j p. This defines the structure of a fitered compex on (5.3). Taking the associated graded gives the standard cochain compex for computing the n -cohomoogy of grq. Now consider the spectra sequence with E p,q 0 = F p ( p+q n Q )/F p 1 ( p+q n Q ).

7 QUANTIZATION OF SLODOWY SLICES 7 Then E p,q 1 = H p+q (n, gr p Q ). Hence, Proposition 5.2 foows from Proposition 5.1 and the fact that the spectra sequence converges to E p,q = F p H p+q (n, Q )/F p 1 H p+q (n, Q ) Note that if 1 2 are both isotropic subspaces of g( 1), then we have a natura map Q 1 Q 2 which gives a map H 1 H 2. By above, the associated graded map grh 1 grh 2 is an isomorphism of Kazhdan graded agebras, hence H 1 H 2 is an isomorphism of Kazhdan fitered agebras. Taking 1 = 0, we see that H 2 is independent of the choice of 2. To check that the Poisson structure of H 1 is that of C[S], we take 2 to be a Lagrangian subspace. It suffices to prove that grh 2 and C[S] have the same Poisson structures. This foows from the observation that the Poisson structure of the Kazhdan graded agebra gr U g is same as the usua Poisson structure of C[g ] and the discussion in 3.2. This concudes the proof of Theorem Skryabin s equivaence 6.1. We woud ike to make some remarks on resuts by Skryabin [Sk]. Throughout this section we take to be a Lagrangian subspace of g( 1), and write m = m, Q = Q, and H = H. Let C be the abeian category of finitey generated Ug-modues on which m χ(m) acts ocay nipotenty for each m m. For E C, put Wh(E) = {x E mx = χ(m)x, m m}. Observe that for E C we have: Wh(E) = 0 = E = 0. The foowing beautifu theorem of Skryabin and its proof in [Sk] are simiar in spirit to the we-known resut of Kashiwara on the equivaence of the category of D-modues on a submanifod with the category of D-modues on the ambient manifod which are supported on the submanifod. Theorem 6.1. The functor V Q H V sets up an equivaence of the category of finitey generated eft H-modues and category C. The inverse equivaence is given by the functor E Wh(E), in particuar, the atter is exact We present an aternative proof of Theorem 6.1 aong the ines of the preceeding section (cf. aso [Ko] 4, and [Ly] Theorem 4.1). Fix an H-modue V generated by a finite dimensiona subspace V 0. View H as a fitered agebra with respect to the Kazhdan fitration F H, and define an increasing fitration on V by F i V = F i H V 0, for a i. This makes V a fitered H-modue, with associated graded grh-modue grv. Lemma 2.1 and Theorem 4.1 yied grq = C[N] grh. We deduce H 0( m, grq grh grv ) = grv and H i( m, grq grh grv ) = 0, i > 0. Further, the Kazhdan fitration on Q and the fitration on V give rise to a fitration on Q H V, and since grq is free over grh, we have a canonica isomorphism gr ( Q H V ) grq grh grv. Now a spectra sequence argument very simiar to that in the proof of Proposition 5.2 yieds (6.2) H 0( m, Q H V ) = V and H i( m, Q H V ) = 0, i > 0, where the cohomoogy is taken with respect to the χ-twisted action of m. Note that the equation on the eft of (6.2) says that Wh(Q H V) = V. Thus, to compete the proof of the Theorem it suffices to show that, for any E C, the canonica map f : Q H Wh(E) E is an isomorphism. Let E be the kerne, and E the cokerne of f. We

8 8 WEE LIANG GAN AND VICTOR GINZBURG observe that Wh(E ) = E Wh ( Q H Wh(E) ), which is equa to E Wh(E), by (6.2). But Wh(E) does not intersect the kerne of f, hence Wh(E ) = E Wh(E) = 0. Since E is ceary an object of C, this yieds E = 0. Hence f is injective. To prove surjectivity we write the ong exact sequence of cohomoogy associated to the short exact sequence 0 Q H Wh(E) E E 0. We obtain: 0 H 0( m, Q H Wh(E) ) H 0 (f) H 0 (m,e) H 0 (m,e ) H 1( m, Q H Wh(E) ).... In this formua, the H 1 -term vanishes, and the map H 0 (f) is a bijection, due to (6.2). Hence, the ong exact sequence yieds Wh(E ) = H 0 (m,e ) = 0. This forces E = 0, and the Theorem is proved Let M be the unipotent agebraic subgroup of G corresponding to the Lie agebra m, and et B denote the fag manifod for G. Let V be an M-equivariant D-modue on B. Given an eement x m, we write x D for the action on V of the vector fied corresponding to x via the D-modue structure, and x M for the action on V obtained by differentiating the M-action arising from the equivariant structure. We say that V is an m-whittaker D- modue with respect to the character χ : m C if, for any x m and v V, we have (x D x M )v = χ(x) v. Note that the natura map Ug Q maps the center of Ug injectivey into H (c.f. [Pr] 6.2). Denote by Z + the augmentation idea of the center of Ug. Skryabin s resut combined with the Beiinson-Bernstein ocaization theorem impies the foowing. Proposition 6.3. The category of finitey generated H/Z + H-modues is equivaent to the category of m-whittaker coherent D B -modues (with respect to the character χ). 7. Appendix: Intersections of a Sodowy sice with coadjoint orbits In this appendix, we provide more detais on the arguments in 3.1. These detais were omitted in the origina version of the paper pubished more than ten years ago; we had thought that those were routine arguments but since then we have not aways been abe to reca those arguments ourseves. Reca the setup and notation of 3.2. Restricting the map µ to a coadjoint orbit O gives a moment map associated with the M-action on O. According to 3.2, the eement χ m m is a reguar vaue of the map µ O. Thus, by standard resuts concerning fibers of moment maps over reguar vaues, cf. eg. [GS, Theorem 2.5], we obtain the foowing Lemma 7.1. Assume that the set Σ := O (χ+m ) is non-empty. Then, Σ is a smooth coisotropic submanifod of the sympectic manifod O. Moreover, the canonica ni-foiation on the coisotropic manifod Σ is the foiation by the M-orbits in Σ. Now, fix ξ O S and et T ξ (M ξ) be the tangent space to the M-orbit of ξ. By Lemma 7.1, T ξ (M ξ) is the tangent space to the ni-eaf through ξ. Further, the isomorphism of Lemma 2.1 impies a direct sum decomposition m = T ξ (M ξ) T ξ S = adm(ξ) Φ(keradf). Now, the caim from 3.1 is an immediate consequence of the above resuts, that is, we get

9 QUANTIZATION OF SLODOWY SLICES 9 Coroary 7.2. The manifod O S is a sympectic submanifod of O, for any coadjoint orbit O; that is, the Kiriov-Kostant 2-form on O gives, by restriction, a nondegenerate 2-form on O S. Here is an aternative, more direct proof of Coroary 7.2. We use the notation of 3.1 and et x = Φ 1 (ξ). We identify [x,g] with T ξ O, write, for the Kiing form on g and ( ) g g for the annihiator with respect to the Kiing form. The Kiriov-Kostant sympectic form on [x, g] is then given by the formua [x,g] [x,g] C, [x,u] [x,v] x,[u,v]. Now et y = [x,v] T ξ O be such that x,[u,v] = 0 hods for a u g such that [x,u] Ker(ad(f)). Our formua (3.2) caims that (7.3) y [x,[f,g]]. To see this, note first that x,[u,v] = [x,u],v, so Thus, our assumption on y reads a,v = 0 for a a Im(adx) Ker(adf). v ( [x,g] Ker(adf)) g. For any a g, the inear map ada : g g is skew-adjoint reative to the Kiing form. Therefore, we obtain ( Im(adx) Ker(adf) ) g = Im(adx) g +Ker(adf) g = Ker(adx)+Im(adf). This proves (7.3) since we have y = [x,v] [x,ker(adx)]+[x,[f,g]] = [x,[f,g]]. To compete the proof we must show that, for any x e+ker(adf), one has (7.4) [x,[f,g]] Ker(adf) = 0. To this end, we use direct sum decompositions (7.5) [e,g] Ker(adf) = g = [f,g] Ker(ade). From the decomposition on the right we see that the map ade : [f,g] [e,[f,g]] is a bijection. We deduce by continuity that, for any x g sufficienty cose to e, the map adx : [f,g] [x,[f,g]] is aso a bijection. It foows, that assigning to x the vector space [x,[f,g]] gives a continuous map of a neighborhood of e in g to an appropriate Grassmannian. Next, we observethat thefirstdecomposition in (7.5) impies that [e,[f,g]] Ker(adf) = 0. Therefore, (7.4) hods for a x in a neighborhood of e, by continuity. This impies (7.4) for any x e+ker(adf), using the C -action. Thereisaso acompetey agebraic proofof (7.4) asfoows. Lety [x,[f,g]] Ker(ad(f)), where x = e+k for some k Ker(adf). Then, for some z g, y = [e+k,[f,z]] = [e,[f,z]]+[k,[f,z]].

10 10 WEE LIANG GAN AND VICTOR GINZBURG Suppose that [f,z] 0. If z g(i), then [e,[f,z]] is a nonzero vector contained in g(i), but [k,[f,z]] is contained in j<i g(j). More generay, we can write z = z i1 + +z ir, z i g(i), i 1 < < i r. Suppose i s is the biggest i such that [f,z i ] 0. Then [e,[f,z is ]] is a nonzero vector in g(i s ), but [e,[f,z ij ]] for j s and [k,[f,z]] are a contained in j<is g(j). Therefore, if we decompose y according to the direct sum g = Ker(adf) [e,g], then y wi have a nonzero component in [e,g], which is a contradiction to y Ker(adf). Hence, [f,z] = 0. References [Ba] D. Barbasch, Fourier transforms of some invariant distributions on semisimpe Lie groups and Lie agebras, in Noncommutative harmonic anaysis, 1 7, Lecture Notes in Math., 728, Springer, Berin, [BT] J. de Boer, T. Tjin, Quantization and representation theory of finite W-agebras, Comm. Math. Phys. 158 (1993), [Gi] V. Ginzburg, Principa nipotent pairs in a semisimpe Lie agebra 1, Invent. Math. 140 (2000), [GS] V. Guiemin, S. Sternberg, Geometric quantization and mutipicities of group representations. Invent. Math. 67 (1982), [HC] Harish-Chandra, Invariant distributions on Lie agebras, Amer. J. Math. 86 (1964), [Ka] N. Kawanaka, Generaized Gefand-Graev representations and Ennoa duaity, in Agebraic groups and reated topics, , Adv. Stud. Pure Math., 6, North-Hoand, [Ko] B. Kostant, On Whittaker vectors and representation theory, Invent. Math. 48 (1978), [Ly] T.E. Lynch, Generaized Whittaker vectors and representation theory, Thesis, M.I.T., [Ma] H. Matumoto, Whittaker modues associated with highest weight modues, Duke Math. J. 60 (1990), [Mœ] C. Mœgin, Modues de Whittaker et ideaux primitifs compètement premiers dans es agèbres enveoppantes, C. R. Acad. Sci. Paris 303 (1986), [Pr] A. Premet, Specia transverse sices and their enveoping agebras, preprint. [Sk] S. Skryabin, The category equivaence, preprint. [S] P. Sodowy, Simpe singuarities and simpe agebraic groups, Lecture Notes in Mathem., 815, Springer Verag, [Va] I. Vaisman, Lectures on the geometry of Poisson manifods, Progress in Mathematics, 118 Birkhäuser Verag, Base, [Ya] H. Yamashita, On Whittaker vectors for generaized Gefand-Graev representations of semisimpe Lie groups, Proc. Japan Acad. Ser. A Math. Sci. 61 (1985), Department of Mathematics, University of Chicago, Chicago, IL 60637, U.S.A. E-mai address: wgan@math.uchicago.edu Department of Mathematics, University of Chicago, Chicago, IL 60637, U.S.A. E-mai address: ginzburg@math.uchicago.edu