primitive ideals for w-algebras in type a

Download Primitive ideals for W-algebras in type A

Post on 05-Sep-2016

218 views

Category:

Documents

1 download

Embed Size (px)

TRANSCRIPT

  • Journal of Algebra 359 (2012) 8088

    Contents lists available at SciVerse ScienceDirect

    P

    Iv

    No

    a

    ArReAvCo

    M1617

    KeWPr

    1.

    beWofre

    unanan80

    PrJva

    00htJournal of Algebra

    www.elsevier.com/locate/jalgebra

    rimitive ideals for W-algebras in type A

    an Losev

    rtheastern University, Department of Mathematics, 360 Huntington Avenue, Boston, MA 02115, United States

    r t i c l e i n f o a b s t r a c t

    ticle history:ceived 10 November 2011ailable online 28 March 2012mmunicated by J.T. Stafford

    SC:S99B35

    ywords:-algebrasimitive ideals

    In this note we classify the primitive ideals in nite W-algebras oftype A.

    2012 Elsevier Inc. All rights reserved.

    Introduction

    Let g be a semisimple Lie algebra over an algebraically closed eld K of characteristic 0 and e ga nilpotent element. Then to the pair (g, e) one can assign an associative algebra W called the

    -algebra. This algebra was dened in full generality by Premet in [P1]. Two equivalent denitionsW-algebras are provided in Section 2. For other details on W-algebras the reader is referred to theview [L5].One of the reasons to be interested in W are numerous connections between this algebra and theiversal enveloping algebra U of g. For example, the sets of primitive ideals Pr(W) and Pr(U) of Wd U are closely related. Recall that an ideal in an associative algebra is called primitive if it is thenihilator of some irreducible module. The structure of Pr(U) was studied extensively in 70s ands.One of manifestations of a relationship between Pr(W) and Pr(U) is a map I I : Pr(W)

    (U) constructed in [L1]. One can describe the image of this map. Namely, to each primitive ideal Pr(U) one assigns its associated variety V(U/J ). According to a theorem of Joseph, the associatedriety is the closure of a single nilpotent orbit in g = g. Thanks to [L1, Theorem 1.2.2(vii)], an

    Supported by the NSF grant DMS-0900907.E-mail address: i.loseu@neu.edu.

    21-8693/$ see front matter 2012 Elsevier Inc. All rights reserved.

    tp://dx.doi.org/10.1016/j.jalgebra.2012.03.010

  • I. Losev / Journal of Algebra 359 (2012) 8088 81

    elfo

    Th

    J

    2.

    2.

    de[Ath

    AonLe

    Fi[isth(uin

    wthof

    1

    Ato

    eqth1h2

    1

    acaneq

    1

    tioement J Pr(U) is of the form I for some I Pr(W) if and only if O V(U/J ), where O standsr the adjoint orbit of e.In general, the map is not injective. However, the following result holds.

    eorem 1.1. The map : Pr(W) Pr(U) is an injection provided g= sln.

    This theorem provides a classication of primitive ideals in W because the set of primitive ideals U with V(U/J ) =O is known thanks to the work of Joseph, [J].

    W-algebras and the map between ideals

    1. Quantum slice

    Let Y be an ane Poisson scheme equipped with a K-action such that the Poisson bracket hasgree 2. Let Ah be an associative at graded K[h]-algebra (where h has degree 1) such thath,Ah] h2Ah and K[Y ] = Ah/(h) as a graded Poisson algebra. Pick a point Y . Let I bee maximal ideal of in K[Y ] and let I be the inverse image of I in Ah . Consider the completionh := limnAh /In . This is a complete topological Kh-algebra with A

    h /(h) =K[Y ] , where

    the right-hand side we have the usual commutative completion. Moreover, as we have seen in [L4,mma A2],1 the algebra Ah is at over Kh.The cotangent space T Y = I/I2 comes equipped with a natural skew-symmetric form, say .

    x a maximal symplectic subspace V T Y . One can choose an embedding V I such that(u), (v)] = h2(u, v) and whose composition with the projection I T Y is the identity. Thisproved similarly to Proposition 3.3 in [Ka] (or can be deduced from that proposition, compare withe argument of Subsection 7.2 in [L3]). Consider the homogenized Weyl algebra Ah(V ) = T (V )[h]/ v v u h2(u, v)) and its completion A0h (V ) at zero. Similarly to the proof of Lemma 3.2[Ka], one can show that

    Ah = A0h (V ) Kh Ah,

    here Ah is the centralizer of V in Ah . We remark that the algebra Ah is complete with respect to

    e topology induced by its maximal ideal. The symbol stands for the completed tensor producttopological vector spaces.The argument in the proof of [L6, Proposition 6.6.1, Step 2], shows that any two embeddings

    , 2 : V I satisfying the conditions in the previous paragraph differ by an automorphism ofh of the form exp(

    1h2

    ad(z)) with z (I )3. In particular, the algebra Ah is dened uniquely upa Kh-linear isomorphism.Now let us consider a compatibility of our construction with certain derivations. Suppose Ah isuipped with a derivation D such that Dh = h. The derivation extends to Ah . According to [L4],ere is a derivation D of Ah with the following properties. First, D h = h. Second, we have D D =ad(a) for some element a Ah , where D means the derivation that equals D on Ah and acts byon the symplectic space V generating A0h (V ).An easy special case of the previous construction is when the derivation D comes from a K-tion on Ah preserving . Here we can choose a K-stable V and a K-equivariant : V Id so we get a K-action on Ah . Moreover, the algebra Ah is now dened uniquely up to a K-uivariant Kh-linear isomorphism.

    In [L4] we had an assumption that Y has only nitely many leaves but this assumption is not necessary for many construc-

    ns and results.

  • 82 I. Losev / Journal of Algebra 359 (2012) 8088

    su

    ThA

    thar

    toQ

    A

    eaphS2

    So

    secoqu

    to

    Qwto

    2.

    Yorassure

    T[h

    byNow let Z(Ah) denote the center of Ah . Consider a K-equivariant Kh-linear homomorphism: Z(Ah) K[h] and the corresponding central reduction A,h :=Ah/Ah ker. Until the end of thebsection we assume that lies in the spectrum of A,h/(h).Consider the induced homomorphism Z(Ah) Ah = A0h (V ) Kh Ah . The image is central.e center of A0h (V ) coincides with Kh, so the image of Z(Ah) is contained in Ah . Set A,h =h/Ah ker.Then we have the completion A

    ,h of A,h , and A,h = A

    h /A

    h ker. Furthermore, we have

    e following commutative diagram, where the horizontal arrows are isomorphisms and the verticalrows are the natural quotients.

    Ah A0h (V ) Kh Ah

    A,h A

    0h (V ) Kh A,h

    Now suppose that we have a reductive group Q that acts on Ah rationally by K[h]-algebra au-morphisms xing . Further, suppose that there is quantum comoment map A : q Ah , i.e., a-equivariant linear map with the property that [A(),a] = h2.a, where on the right-hand sideis the derivation of Ah coming from the Q -action. Composing A with a natural homomorphismh Ah we get a quantum comoment map qA

    h again denoted by

    A .We remark that we can choose V to be Q -stable. This gives rise to a Q -action on V by lin-r symplectomorphisms and hence to an action of Q on Ah(V ) by K[h]-linear algebra automor-isms. There is a quantum comoment map A : q Ah(V ) that is the composition q sp(V ) =V Ah(V ).Further, since Q is reductive, we can assume that the embedding : V Ah is Q -equivariant.we get a Q -action on Ah . Let us produce a quantum comoment map for this action. For q

    t () = A() A(). The quantum comoment map conditions for A,A imply that ()mmutes with Ah(V )0 and hence the image of is in Ah . Now it is clear that : q Ah is aantum comoment map for the action of Q on Ah .We remark that the Q -action and the map are dened by the previous construction uniquely upan isomorphism of the form exp( 1

    h2ad(z)), where, in addition to conditions mentioned above, z is

    -invariant. Also we remark that if we have a K-action on Ah as above but additionally commutingith Q and such that A() has degree 2 for each , then the Q -action on Ah also may be assumedcommute with K and () may be assumed to have degree 2.

    2. W-algebras via quantum slices

    We are going to consider a special case of the construction explained in the previous subsection.Let G be a simply connected semisimple algebraic group and let g be the Lie algebra of G . Set

    := g . We remark that we can identify g with g by means of the Killing form. Pick a nilpotentbit O g and an element e O. We take e for . Let us equip Y with a Kazhdan K-action denedfollows. Pick an sl2-triple (e,h, f ), where h is semisimple. Let :K G be the one-parameterbgroup corresponding to h. We dene a K-action on g by t. = t2 (t), g , t K . Wemark that t. = .For Ah we take the homogenized version Uh of the universal enveloping algebra dened by Uh :=

    (g)[h]/( y y h2[, y]). We can extend the Kazhdan action to Uh . Explicitly, for g with, ] = i we have t. = ti+2 and we set t.h := th.Apply the construction of the previous subsection to Ah, . We get the Kh-algebra Ah acted on

    0

    K together with a K -equivariant isomorphism Ah = Ah (V ) Kh Ah . Here V has the same

  • I. Losev / Journal of Algebra 359 (2012) 8088 83

    mT

    oraidthtrman

    coth

    Th

    th

    ishatoofau

    wimasde

    2.

    wt.

    Sisonac

    thvi

    pe

    (1(2

    (3(4(5eaning as before but we can describe it explicitly: namely, for V we take the subspace [g, f ] g= Y .Let Ah denote the subalgebra of all K-nite vectors in Ah . It turns out that the algebra Ah/hAh ,

    , more precisely, the corresponding variety is well known in the theory of nilpotent orbits this isso-called Slodowy slice. In more detail, set S := e + zg( f ) and view S as a subvariety in g via theentication g = g . Then S is K-stable and is transverse to Ge at e: g = Te S TeGe. Moreover,e Kazhdan action contracts S to e, meaning that limt t.s = e for all s S . This implies that S isansversal to any G-orbit it intersects g = Ts S + TsGs for all s S . Also the c

Recommended

View more >