Volume 565, 2012
W-algebras at the critical level
Abstract. Let g be a complex simple Lie algebra, f a nilpotent element of
g. We show that (1) the center of the W -algebra
associated (g, f) at the
critical level coincides with the Feigin-Frenkel center of g, (2) the centerless
quotient Wχ(g, f) of
corresponding to an
χ on the disc is
simple, and (3) the simple quotient Wχ(g,f) is a quantization of the jet scheme
of the intersection of the Slodowy slice at f with the nilpotent cone of g.
Let g be a complex simple Lie algebra, f a nilpotent element of g, U(g,f) the
finite W -algebra [P1] associated with (g,f). In [P2] it was shown that the center
of U(g,f) coincides with the center Z(g) of the universal enveloping algebra U(g)
of g (Premet attributes the proof to Ginzburg).
be the (aﬃne) W -algebra [FF3, KRW, KW] associated with
(g,f) at level k ∈ C. One may [A3, DSK] regard Wk(g,f) as a one-parameter
chiralization of U(g,f). Hence it is natural to ask whether the analogous iden-
tity holds for the center Z(Wk(g,f)) of Wk(g,f), which is a commutative vertex
subalgebra of Wk(g,f).
Let V k(g) be the universal aﬃne vertex algebra associated with g at level k,
Z(V k(g)) the center of V k(g). The embedding Z(V k(g)) → V k(g) induces the
vertex algebra homomorphism
for any k ∈ C. However, both Z(V
are trivial unless k is the
is the dual Coxeter number of g. Therefore the question one should
ask is that whether the center
of the W -algebra at the critical level
coincides with the Feigin-Frenkel center [FF4, F1] z(g) := Z(V
be naturally considered as the space of functions on the space of OpLg
on the disc. Here
is the Langlands dual Lie algebra of g.
2000 Mathematics Subject Classification. Primary 14B69, 17B68, 17B67.
This work is partially supported by the JSPS Grant-in-Aid for Scientific Research (B) No.
20340007 and the JSPS Grant-in-Aid for challenging Exploratory Research No. 23654006.
c 2012 American Mathematical Society