Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.mccme.ru/tg2007/talks/Kac.pdf Дата изменения: Tue Nov 27 15:59:28 2007 Дата индексирования: Tue Oct 2 04:10:38 2012 Кодировка: Поисковые слова: туманность андромеды

Victor G. Kac Department of Mathematics, M. I. T. Cambridge, United States kac@math.mit.edu

On rationality of W -algebras
A vertex algebra V , used to construct a rational conformal field theory, must satisfy at least the following three conditions: (a) V has only finitely many irreducible representations {Mj }j J , (b) the normalized characters j ( ) = tr Mj e2i (L0 -c/24) converge to holomorphic functions on the complex upper half-plane C+ , (c) the functions {j ( )}j J span an S L2 (Z)-invariant space. A vertex algebra V is called rational if it satisfies these three properties. Recall that any semisimple vertex operator algebra, i.e. a vertex operator algebra for which any representation is completely reducible, is rational, however it is unclear how to verify the semisimplicity condition for vertex algebras considered. It is well known that lattice vertex algebras, associated to even positive definite lattices, are rational (and semisimple as well). A simple Virasoro vertex algebra is rational (and -2 semisimple as well) iff its central charge is of the form c = 1 - 6(pppp ) , where p, p are relatively prime integers, greater than 1 (which are central charges of the so called minimal models). A simple affine vertex algebra Vk (g), attached to a simple Lie algebra g is rational (and semisimple as well) iff its level k is a non-negative integer. (Simplicity of a vertex operator algebra is a necessary, but by far not sufficient, condition of semisimplicity.) It follows from an old paper by Wakimoto and myself that for a rational k of the form k = -h + p , where (p, u) = 1 , u 1 , (u, ) = 1 (resp. = ) , p h (resp. h) , u (1)

where h is the Coxeter number, h is the dual Coxeter number and (= 1, 2 or 3) is the "lacety" of g, the normalized character of the vertex algebra Vk (g) is a modular function (conjecturally, these are all k with this property). We also showed in that for these k with (u, ) = 1 the affine Lie algebra g has a finite set of irreducible highest weight modules {Mj }j J (called admissible), whose regularized normalized characters j ( , z ) = tr Mj e2i (L0 -c/24)+z , C+ , z g, span an S L2 (Z)-invariant space (if (u, ) = , then one has only 0 ( )invariance). Conjecturally, these g-modules extend to Vk (g) and are all of its irreducible modules (this conjecture was proved Adamovic and Milas for g = s 2 ). Thus, Vk (g) for k of the form (1) with (u, ) = 1 satisfy the properties (a) and (c) of rationality, but property (b) fails for some j J since j ( , z ) may have a pole at z = 0, unless k is a non-negative integer. In my talk I shall discuss, following a joint work with M. Wakimoto, the problem of rationality of simple W -algebras Wk (g, f ), a family of vertex algebras, depending on k C, attached to a simple Lie algebra g and a nilpotent element f of g (rather its conjugacy class), which has been intensively studied in the mathematics and physics literature. More precisely, one needs to analyze for which triples (g, f , k ) the Wk (g, f )-modules, obtained by the quantum Hamiltonian reduction from admissible modules of level k over the affine Lie algebra g, have convergent characters, as the modular invariance property is preserved by this reduction. We call such f an exceptional nilpotent and such k an exceptional level. The most well studied case of W -algebras is that corresponding to the principal nilpotent element f (a special case of which for g = s 2 is the Virasoro vertex algebra). It follows from a paper by E. Frenkel, Wakimoto and myself that for principal f the exceptional levels k are given by p (2) k = -h + , where (p, u) = 1 , p h , u h , (u, ) = 1 . u

1


It is expected that for the principal nilpotent f , (2) are precisely the values of k , for which Wk (g, f ) is a semisimple vertex algebra. Surprisingly, beyond the principal nilpotent, there are very few exceptional nilpotents. We conjecture that there exists an order preserving map of the set of non-principal exceptional nilpotent orbits of g to the set of positive integers, relatively prime to and smaller than h, such that the corresponding integer u is the only denominator of an exceptional level k = -h + p/u, where p h and (u, p) = 1. Note that f = 0 is an exceptional nilpotent, corresponding to u = 1, since in this case Wk (g, 0) is the simple affine vertex algebra of level k Z+ . We prove the above conjecture for g s n . In this case the above map is bijective to the set {1, 2, . . . , n - 1}, and the exceptional nilpotent, corresponding to the positive integer u h = n, is given by the partition n = u + · · · + u + s, where 0 s < u. For an arbitrary simple g we give a geometric description of the exceptional pairs (k , f ) in terms of g and its adjoint group.

2