arxiv:q-alg/ v2 21 Sep 1998

Transcription

1 SOME RATIONAL VERTEX ALGEBRAS Dražen Adamović arxiv:q-alg/950205v2 2 Sep 998 Department of Mathematics, University of Zagreb, Zagreb, Croatia Abstract. Let L((n 3 2 Λ 0, n N, be a vertex operator algebra associated to the irreducible highest weight module L((n 3 2 Λ 0 for a symplectic affine Lie algebra. We find a complete set of irreducible modules for L((n 3 2 Λ 0 and show that every module for L((n 3 2 Λ 0 from the category O is completely reducible. 0. Introduction Let g be a type one affine Lie algebra. Then the irreducible highest weight g module L(Λ 0 has a natural vertex operator algebra structure for every C, g. When is a positive integer, then the vertex operator algebra L(Λ 0 is rational and its irreducible modules are integrable highest weight modules of level (cf. [DL], [MP], [FZ]. In this paper we will consider the case of a symplectic affine Lie algebra of the type C ( l and the corresponding vertex operator algebra L((n 3 2 Λ 0, n N. We give the description of two sets of admissible weights S n and S2 n and prove that L(λ, λ S n Sn 2, are irreducible L((n 3 2 Λ 0 modules (cf. Section 2 and 3. Next, we prove that irreducible L((n 3 2 Λ 0 modules are in one-to-one correspondence with zeros of the set of polynomials P 0,l (Section 4. By using this correspondence we show that the set {L(λ λ S n S2} n gives a complete list of irreducible L((n 3 2 Λ 0 modules. The classification of irreducible L((n 3 2 Λ 0 modules implies that every L((n 3 2 Λ 0 module from the category O is completely reducible (cf. Section 6. It turns out that representations of the vertex operator algebra L((n 3 2 Λ 0 are in some respects quite similar to the integrable highest weight representations. The author expresses the thans to M.Primc for suggesting to him the study of this problem and for helpful discussions and valuble comments.. Symplectic affine algebra The symplectic affine (Kac-Moody Lie algebra C ( l g = sp 2l (C C[t,t ]+Cc+Cd can be written as 99 Mathematics Subject Classification. 7B67. Key words and phrases. Symplectic affine Lie algebra, Vertex operator algebra, Admissible weights, Modules for vertex operator algebra, Rational vertex operator algebra.

2 2 DRAŽEN ADAMOVIĆ with the usual commutation relations (cf. [K]. For X sp 2l (C and n Z we write X(n = X t n. Consider two l-dimensional vector spaces A = l i= Ca i, A 2 = l i= Ca i. Let A = A + A 2. The Weyl algebra W(A is the associative algebra over C generated by A and relations [a i,a j ] = [a i,a j] = 0, [a i,a i] = δ i,j, i,j {,2,...,l}. Define the normal ordering on A by :xy: = 2 (xy +yx x,y A. Then (cf. [B] and [FF] all such elements : xy : span a Lie algebra isomorphic to g = sp 2l (C with a Cartan subalgebra h spanned by h i = : a i a i : i =,2,...,l. Let {ǫ i i l} h be the dual basis such that ǫ i (h j = δ i,j. The root system of g is given by = {±(ǫ i ±ǫ j,±2ǫ i i,j l,i < j} with α = ǫ ǫ 2,...,α l = ǫ l ǫ l, α l = 2ǫ l being a set of simple roots. The highest root is θ = 2ǫ. Let g = n + h + n + be the corresponding triangular decomposition. We fix the root vectors : X ǫi ǫ j = :a i a j :, X ǫ i +ǫ j = :a i a j :, X (ǫi +ǫ j = :a i a j :. 2. Some admissible weights Let R (resp R + h be the set of real (resp positive real coroots of g. Fix λ h. Let R λ = {α R λ,α Z}, R λ + = Rλ R +, Π the set of simple coroots in R and Π λ = {α R λ + α not equal to a sum of several roots from R λ +}. Define ρ in the usual way. Recall that a weight λ h is called admissible (cf. [KW 2] if the following properties are satisfied : ( λ+ρ,α / Z + for all α R +, (2 QR λ = QΠ. Let M(λ denote the Verma module with the highest weight λ, M (λ its maximal submodule and L(λ its irreducible quotient. First let us recall some results of V.Kac and M.Waimoto that we shall use: Theorem. (Kac Waimoto, Cor. 2.. in [KW ] Let λ be an admissible weight. Then M(λ L(λ = α Π U(gv α, λ where v α M(λ is a singular vector of weight r α.λ, the highest weight vector of M(r α.λ = U(gv α M(λ.

3 SOME RATIONAL VERTEX ALGEBRAS 3 Theorem 2. (Kac Waimoto, Theorem 4. in [KW 2] Let V be a g modul from the category O such that for any irreducible subquotient L(µ the weight µ is admissible. Then g modul V is completely reducible. Denote by P + the set of all dominant integral weights. Theorem 3. (Kac Waimoto, Cor.4. in [KW 2] Let Λ P + and λ be an admissible weight. Then the g modul L(Λ L(λ decomposes into a dirtect sum of irreducible g modules L(µ with µ admissible highest weight and R µ = R λ. Let Π = {α 0,...,α l }, c = α 0 + +α l and set Π = {2c (h +h 2,h h 2,...,h l h l,h l } = {2α 0 +α,α,...,α l }, Π 2 = {c h,h h 2,...,h l h l,h l +h l } = {α 0,...,α l,α l +2α l }. Let S i denote the set of all admissible λ with Π λ = Π i, i =,2. Lemma 4. Let λ S i, i =,2. Then Proof. For λ S we have λ,c = n 3 2 for some n N. λ+ρ,2α 0 +α = λ,2α 0 +α +3 = λ,2α 0 +2α + 2α l λ,α 0 +2α + 2α l +3 > 0. This implies λ,c > 3 2 and we see that λ,c 3 +N. Similary we prove the 2 case i=2. Let S n i = {λ S i λ,c = n 3 2 } i =,2, P + = {λ P + λ,c = } = {Λ 0,...,Λ l }. Then S i = n N S n i. We give a description of S n and Sn 2 for n N : Proposition 5. ( (2 S = { 2 Λ 0, 3 2 Λ 0 +Λ }, S n+ = {S n +P +} { (n+ 3 2 Λ 0 +(2n+Λ }, n N; S 2 = { 2 Λ l, 3 2 Λ l +Λ l }, S n+ 2 = {S n 2 +P + } { (n+ 3 2 Λ l +(2n+Λ l }, n N. Proof. We can directly obtain the description of the set S. By the definition of sets S n i we have {S n +P+} S n+ and (n+ 3 2 Λ 0 +(2n+Λ S n+. Let λ S n+, λ (n+ 3 2 Λ 0 +(2n+Λ. Then λ,α 0 = (n m+ 2, for m Z +. Since λ+ρ,2α 0 +α > 0 we have λ,α (2(n m, and this implies λ = (n m+ 2 Λ 0 +(2(n m Λ +Λ ( + +Λ (m+ where Λ (i P+, i =,...,m+. We have obtained and ( holds. λ S (n m +P + + +P + S n +P +

4 4 DRAŽEN ADAMOVIĆ 3. Modules for Vertex operator algebra L((n 3 2 Λ 0 We now that the generalized Verma module N(Λ 0 with the highest weight Λ 0, C, is a vertex operator algebra if g (here g denotes the dual Coxeter number. The irreducible quotient L(Λ 0 of N(Λ 0 is also a vertex operator algebra (see [FLM], [FgF],[DL], [FZ] and [MP]. As usual we shall denote by Y(w,z = m Z w mz m the vertex operator (or the field of the vector w. Let V be a g module of level, g from the category O (or a highest weight module and let X(z = Y(X(,z = m ZX(mz m, X g, be the family of fields acting on V defined by the action of X(m g. By Theorem 4.3 in [MP] or Theorem 2.4. in [FZ] there is a unique extension of these fields that mae V into a module over the vertex operator algebra N(Λ 0. Hence we may identify g modules of level in the category O with the N(Λ 0 modules in the category O. Moreover, ifi isanideal ofthevertexoperatoralgebra N(Λ 0, then ag module from the category O is a module of the vertex operator algebra N(Λ 0 /I if and only if Y(w,zV = 0 for all w I (or equivalently, for all generators w of the ideal I (cf. Corrollary 3.2 and Proposition 4.2 below. We will find all irreducible representations of the vertex operator algebras L((n 3 2 Λ 0, n N, associated to the symplectic algebra C ( l. Put λ n = (n 3 2 Λ 0. Then λ n is an admissible weight with Π λ n = Π. Put γ 0 = δ (ǫ +ǫ 2. It is easy to show that γ0 = 2α 0 +α. Then we have: r γ0.λ n = λ n 2nγ 0, r αi.λ n = λ n α i, i =,2,...,l. By we denote a highest weight vector in N(λ n. Theorem. The maximal submodule of N(λ n is N (λ n = U(gv n, where v n = (X ǫ +ǫ 2 ( 2 X 2ǫ ( X 2ǫ2 ( n, n N. Proof. It can be checed by a direct calculation that v n is a singular vector of weight λ n 2nγ 0. Since v α i = X αi (0 = 0 for i =,2,...,l, we conclude from Theorem 2. that v n generates the maximal submodule N (λ n. Clearly we have Y(v n,z = (X ǫ +ǫ 2 (z 2 X 2ǫ (zx 2ǫ2 (z n.

5 SOME RATIONAL VERTEX ALGEBRAS 5 Corollary 2. Let V be g module from the category O of level n 3 2. Then if and only if V is L(λ n module. (X ǫ +ǫ 2 (z 2 X 2ǫ (zx 2ǫ2 (z n = 0 on V A.Feingold and I.Frenel gave the bosonic construction (see [FF] of four irreducible g modules of level 2 : L(µ,L(µ 2,L(µ 3,L(µ 4 where µ = 2 Λ 0, µ 2 = 3 2 Λ 0 +Λ, µ 3 = 2 Λ l, µ 4 = 3 2 Λ l +Λ l. By using Lemma 7 in [FF] and the explicit construction (Theorem A in [FF] we obtain: Proposition 3. On L(µ i, i =,2,3,4, we have X ǫ +ǫ 2 (z 2 X 2ǫ (zx 2ǫ2 (z = 0. Theorem 4. Let V(n 3 2 be an irreducible L(λ n module and V( an irreducible L(Λ 0 module. Then V(n 3 2 V( is a L(λ n+ module. Proof. By Theorem 2.2 vector L(λ n L(Λ 0 generates the submodule isomorphic to L(λ n+. It is easy to show that L(λ n+ is a subalgebra of the vertex operator algebra L(λ n L(Λ 0 in the sense of [FZ]. Since V(n 3 2 V( is a module for L(λ n L(Λ 0 (cf. Proposition 0. in [DL] it is also a module for L(λ n+. Remar. The Theorem 4 can also be proved by using Corrolary 2 and the vertex operator formula for integrable highest weight representations (cf. [LP], Proposition 5.5. Lemma 5. Let λ S n Sn 2. Then L(λ is a L(λ n modul. Proof. Induction on n N. For n = we have S S 2 = {µ,µ 2,µ 3,µ 4 }. Then L(µ i, i =,2,3,4 are L( 2 Λ 0 modules by Proposition 3. First notice that L(Λ for Λ P+ is a L(Λ 0 module (cf. [FZ], [DL], [MP]. Assume that L(λ is a L(λ n modul for all λ S n Sn 2 If λ = λ 0 +Λ, λ 0 S n Sn 2, Λ P +, then L(λ 0 L(Λ is a L(λ n+ module by Theorem 4. Since v λ0 v Λ is a singular vector of weight λ 0 +Λ, by Theorem 2.2 it generates the submodule isomorphic to L(λ and L(λ is a L(λ n+ module. Let λ = (n Λ 0 + (2n + Λ. Put µ = (n + 2 Λ 0 + (2n Λ. Then L(µ L(Λ 0 is a L(λ n+ module. Since v = 2X 2ǫ ( v µ v Λ0 +(2n+v µ X 2ǫ ( v Λ0. Let λ Sn+ S n+ 2. is a singular vector in L(µ L(Λ 0 of weight λ δ, it generates the submodule isomorphic to L(λ. Let λ = (n+ 3 2 Λ l+(2n+λ l. Put ν = (n+ 2 Λ l+(2n Λ l. Then L(ν L(Λ l is a L(λ n+ modul. Since v = 2X 2ǫl (0v ν v Λl +(2n+v ν X 2ǫl (0v Λl is a singular vector in L(ν L(Λ l, it generates the submodule isomorphic to L(λ. Remar. It follows from Lemma 5 that L(λ, λ S n Sn 2, is an irreducible L(λ n module. In what follows we prove that these are all irreducible L(λ n modules (cf.

6 6 DRAŽEN ADAMOVIĆ 4. Classification of irreducible representations Fix n N. For w U( gv n and j Z put w(j = w j+2n. Then w(j has operator degree j (i.e. [d, w(j] = jw(j. Set W = j ZW(j, W(j = C span {w(j w U( gv n }. By using the commutator formula for vertex operators we get (cf. [MP] the following: Proposition. W is a loop module under the adjoint action of g. In particular, [X(i,w(j]= (X.w(i+j for X g, w U( gv n, i,j Z. ThenW(0isafinitedimensional g modulewiththehighestweight 2n(ǫ +ǫ 2 = 2n ω 2. By W(0 0 denote the zero-weight subspace of W(0. Proposition 2. Let V be an irreducible highest weight module of level n 3 2 with the highest weight vector v λ. The following statements are equivalent : ( V is a L(λ n module; (2 WV = 0 ; (3 W(0 0 v λ = 0. Proof. The equivalence of ( and (2 was already discussed in the introduction of Section 3. Clearly (2 implies (3. For the converse first notice that by assumption V = M(λ/M (λ. Hence to see (2 it is enough to see WM(λ M (λ, i.e. WM(λ M(λ (since WM(λ is a submodule, and M (λ is the maximal submodule. Since WM(λ = WU(n v λ = U(n Wv λ, we have WM(λ M(λ iff v λ WM(λ iff W(0 0 v λ = 0. Let u W(0 0. Clearly there exists the uniqe polynomial p u S( h such that uv λ = p u (λv λ. Set P 0,l = { p u u W(0 0 }. We have Corollary 3. There is one-to-one correspondence between : ( irreducible L(λ n modules from the category O; (2 λ h such that p(λ = 0 for all p P 0,l.

7 SOME RATIONAL VERTEX ALGEBRAS 7 5.Zeros of some polynomials Denote by L the adjoint action of g on U( g : X L f = [X,f] for X g and f U( g. The following lemma is obtained by direct calculations: Lemma. ( (X 2ǫ L (X n 2ǫ X n 2ǫ ( 4 n (n + (h n+ (h n+ +U( g n +, (2 (X n 2ǫ L (X n 2ǫ ( n 4 n n! h (h n++u( g n + (3 (X n 2ǫ 2 L (X n 2ǫ 2 ( n 4 n n! h 2 (h 2 n++u( g n +, (4 (X m ǫ +ǫ 2 L (X m ǫ ǫ 2 ( m m! (h +h 2 (h +h 2 m++u( g n +, (5 (Xǫ m +ǫ 2 L (X ǫ m ǫ 2 U( gx ǫ +ǫ 2 for m > m, (6 (Xǫ r +ǫ 2 L (X 2ǫ 2 U( g n + for r > 0, (7 (Xǫ 2 +ǫ 2 L (X 2ǫ = (2!X2ǫ 2, (8 (Xǫ 2+i +ǫ 2 L (X 2ǫ = 0 for i > 0, (9 p(hxα = X αp(h+α(h for any polynomial p. Lemma 2. Let Then f = X β X β, X βi n +, [X βi,x βj ] = 0, for all i,j; g = X γ X γm, X γi n, [X γi,x γj ] = 0, for all i,j; m β i + γ i = 0. i= i= ( f L g X β X β X γ X γm +U( g n +, (2 g L f ( m X β X β X γ X γm +U( g n +. We shall also use the following consequence of the binomial formula : Lemma 3. For a polynomial q of degree deg(q < n we have ( n ( q( = 0. In this Section we consider the case C 2 and calculate some polynomials from P 0,2. Lemma 4. Let: ( p (h = (h h 2 (h h 2...(h h 2 2n+; (2 p 2 (h = (h n+ 3 2 (h n (h + 2 h 2(h 2...(h 2 n+; (3 p 3 (h = n n!4n (h!4 +h 2 2n+...(h +h 2 2n+2h 2 (h 2...(h 2 n+ +. Then p,p 2,p 3 P 0,2.

8 8 DRAŽEN ADAMOVIĆ We identify g t 0 with g and write X instead of X(0. Clearly for a,a 2...,a r g we have Hence where [Coeff z 2n (a a 2 a r L (X ǫ +ǫ 2 (z 2 X 2ǫ (zx 2ǫ2 (z n ]v λ = [(a a 2 a r L (X ǫ +ǫ 2 (0 2 X 2ǫ (0X 2ǫ2 (0 n ]v λ. W(0v λ = Wv λ, W(0 0 v λ = W 0 v λ, W = U( g L (X 2 ǫ +ǫ 2 X 2ǫ X 2ǫ2 n U( g and where W 0 denotes the zero weight subspace of W. ( First notice that (X 2n ǫ ǫ 2 X 2n 2ǫ L (X 2 ǫ +ǫ 2 X 2ǫ X 2ǫ2 n = 8 n (X 2n ǫ ǫ 2 L (X 2 ǫ +ǫ 2 X 2ǫ X 2ǫ2 n W 0 We have = (X 2n ǫ ǫ 2 L X 2n ǫ +ǫ 2 + for some constant C 0. (2 First notice that (X 2n ǫ ǫ 2 L (X 2 ǫ +ǫ 2 X 2ǫ X 2ǫ2 n n ( n ( (X 2n ǫ ǫ 2 L X 2 ǫ +ǫ 2 X n 2ǫ X n 2ǫ 2 Cp (h+u( g n + (X n 2ǫ X n 2ǫ 2 L (X 2 ǫ +ǫ 2 X 2ǫ X 2ǫ2 n W 0. By Lemma 2 we may calculate the corresponding polynomial from = (Xǫ 2 +ǫ 2 X 2ǫ X 2ǫ2 n L (Xn 2ǫ X 2ǫ n 2 ( n ( (X2ǫ 2 Xǫ 2n 2 +ǫ 2 X2ǫ L (X 2ǫ n X 2ǫ n 2. By using Lemma we have: (X 2ǫ L X n 2ǫ X n 2ǫ 2 X n 2ǫ X n 2ǫ 2 ( 4 n(n (n +(h n+ (h n++u( g n + and (Xǫ 2n 2 +ǫ 2 L (X 2ǫ n X 2ǫ n 2 = [(Xǫ 2n 2 +ǫ 2 L (X 2ǫ n ]X 2ǫ n 2 + ( 2n 2 2n 2 i= i [(Xǫ 2n 2 i +ǫ 2 L (X 2ǫ n ][(Xǫ i +ǫ 2 L X 2ǫ n 2 ] [(X 2n 2 ǫ +ǫ 2 L X n 2ǫ ]X n 2ǫ 2 +U( g n + ( by Lemma.6 n n

9 SOME RATIONAL VERTEX ALGEBRAS 9 We have obtained (X 2ǫ 2 X 2n 2 ǫ +ǫ 2 X 2ǫ L X n 2ǫ X n 2ǫ 2 X n 2ǫ 2 X n 2ǫ 2 ( 4 n(n (n + (2n 2!(h n+ (h n++u( g n + = ( n n!4 n h 2 (h 2 n+ ( n (2n 2!4 n (n +(h n+ (h n++u( g n +. For h = 2 +j, j = 0,,...,n we can show ( n (2n 2!4 n (n +(h n+ (h n+ ( n = (2n!! (2n 2!!( 2n+2+2j ( 2n+2 +2j ( n = (2n!!(2n 2j!! ( (2n 2 (2n+ 2j 2 = 0 (by using Lemma 3. This implies and we have for some constant C 0. (3 First notice that ( n (2n 2!4 n (n +(h n+ (h n+ = 4 n n!(h n+ 3 2 (h n (h + 2 (X n 2ǫ X n 2ǫ 2 L (X 2 ǫ +ǫ 2 X 2ǫ X 2ǫ2 n Cp 2 (h+u( g n + By using Lemma we can show (X 2n ǫ +ǫ 2 L (X 2 ǫ ǫ 2 X 2ǫ X 2ǫ2 n W 0. (X 2n ǫ +ǫ 2 L (X 2ǫ X 2n 2 ǫ ǫ 2 X 2ǫ 2 (2n!4!( h 2 (h 2 +(h +h 2 2n+ (h +h 2 2+U( g n +. By using this and Lemma we see that (X 2n ǫ +ǫ 2 L (X 2 ǫ ǫ 2 X 2ǫ X 2ǫ2 n (2n!p 3 (h+u( g n +. The following lemma describes the set T n = {h C 2 p (h = p 2 (h = p 3 (h = 0}.

10 0 DRAŽEN ADAMOVIĆ Lemma 5. T n = T n Tn 2, where T n = {(s+2r,,s s = 0,,...,n r, r = 0,,...,n } {(s+2r +,s s = 0,,...,n r, r = 0,,...,n }, T n 2 = {(s+2r,s s = r 2,...,n 2r 3 2, r = 0,,...,n } {(s+2r +,s s = r 3 2,...,n 2r 5 2, r = 0,,...,n }. Proof. Fix n N and let T,2 = {h C 2 p (h = p 2 (h = 0}. Then T,2 = T,2 T2,2 where T,2 = {(, Z 2 = 0,...,n, =,..., +2n }, T 2,2 = {(, (Z+ 2 2 = 2 +i, i = 0,...,n ; = j, j = 0,...,2n }. Clearly h T n if and only if p 3 (h = 0. Let (h,h 2 T,2 and h h 2 = 2r, r = 0,...,n. Put h 2 = s. Then for p 3 (s = p 3 (s+2r,s we have p 3 (s = n!4 n!4(2s 2n+2r + (2s 2n+2r+2 (s n+ + ( s ( s n+r + = 4 n (n r!r! n r r ( s n+r+ 2 Let (2r+s,s T,2. Clearly (2r+s,s T n if and only if p 3 (s = 0. It is easy to see that p 3 (s = 0 for s = 0,...,n r and p 3 (s 0 for s = n r,...,n. Let s = r 2 +i, i = 0,...,n r. Then we have ( s 4 n (n r!r! p n ( n 3(s = 2 +i+ ( n +i+ n r r ( s n ( ( n i n = ( 2 +i+ = 0 n r r by using Lemma 3. Let s = r 2 i, i =,...,r. Then we have (by using Lemma 3 ( s n r 4n (n r!r! p 3(s = ( ( n+i n ( n+i ( ( n+i n = ( 2 i+ r = n+i =n+ ( ( n+i n ( 2 i+ r n+i =n+ i ( = ( n+i+r+ ( ( n+i +r 2. 2 i+ r. ( ( n+i n ( 2 i+ r

11 Since SOME RATIONAL VERTEX ALGEBRAS ( n+i ( +r+ 2 + r ( n+i ( +r 2 r we can easily show that p 3 (s 0. Similarly we treat the case and obtain the result. = (n+i ( +r+ 2 ( +( + 2 > (h,h 2 T,2, h h 2 = 2r+, r = 0,...,n It follows from Lemma 5 : Lemma 6. ( T n+ = T n {Tn +(,0} {Tn +(,} {(2n+,0}; (2 T2 n+ = T2 n {Tn 2 +(,0} {Tn 2 +(,} {(n 2, n 3 2 }. 6.The main result Lemma. Let L(λ be a L(λ n module. Then λ S n Sn 2. Proof. Let L(λ be a L(λ n module. Since (X ǫj +ǫ j+ (0 2 X 2ǫj (0X 2ǫj+ (0 n W, j =,...,l we can use results for the case C 2 and obtain that (λ(h j,λ(h j+ T n, j l. Let S i n = {λ h λ,c = n 3 2, (λ(h j,λ(h j+ Ti n, j l}, i=,2. We will prove by induction that S i n = Si n for all n N, i =,2. For n = we have T = {(0,0,(,0} and T 2 = {( 2, 2,( 2, 3 }. Then 2 for λ S S 2 we get (λ(h,...,λ(h l {(0,...,0,(,0,...,0,( 2,..., 2,( 2,..., 2, 3 2 } which implies S = { 2 Λ 0, 3 2 Λ 0 +Λ } = S, S 2 = { 2 Λ l, 3 2 Λ l +Λ l } = S 2. Assume that S i n = Si n n+. Let λ S. If (λ(h,λ(h 2 = (2n+,0 then λ = (n+ 3 2 Λ 0 +(2n+Λ. If (λ(h,λ(h 2 (2n+,0 then (λ(h j,λ(h j+ T n {T n +(,0} {T n + (,} j =,...,l. We define Λ h by { 0 if (λ(hj,λ(h j+ T n Λ,h j = otherwise for j =,...,l, { 0 if (λ(hl,λ(h l {T n Λ,h l = +(,0} Tn otherwise,

12 2 DRAŽEN ADAMOVIĆ Letλ = λ Λ. ItiseasytoshowthatΛ P+ andλ S n. Since{ S n+p n+ + } S we have obtained (by using Proposition 2.5. Similary we prove S n+ = { S n +P + } { (n+ 3 2 Λ 0 +(2n+Λ } = {S n +P +} { (n+ 3 2 Λ 0 +(2n+Λ } = S n+ S 2 n+ = { S 2 n +P+} { (n+ 3 2 Λ l +(2n+Λ l } = S2 n+ and we conclude by induction that S n i = S n i, i =,2. Theorem 2. ( The set {L(λ λ S n S n 2} provides a complete list of irreducible L(λ n modules. (2 Let V be a L(λ n module from the category O. Then V decomposes into a direct sum of irreducible L(λ n modules. Proof. ( By using Lemma 3.5 and Lemma we have that L(λ n modules are exactly L(λ for λ S n Sn 2. (2 Let L(µ be an irreducible subquotient of V. Then L(µ is a L(λ n module and by Lemma we have that µ S n Sn 2. By using Theorem 2.2 we obtain that V is completely reducible. Remar. In [Z] and [FZ] are defined representations of vertex operator algebras which need not be in category O. Vertex operator algebra is by definition rational if it has only finitely many irreducible modules and if every finitely generated module is a direct sum of irreducible ones. By the abuse of language (or by changing the definition one could say that Theorem 2 states that the vertex operator algebra L((n 3 2 Λ 0, n N, is rational. By using Theorem 2 we obtain: Corollary 3. Let V be a highest weight g module of level n 3 2. The following statements are equivalent : ( V is an irreducible L(λ n module; (2 WV = 0. Corollary 4. Let n N and λ,c = n 3 2. We have { M (λ for all λ S n S2, n WM(λ = M(λ otherwise. References [B] Bourbai, Groupes et algèbras de Lie, Hermann, Paris, 975. [DL] C.Y.Dong and J.Lepowsy, Generalized vertex algebras and relative vertex operators, Birhäuser, Baston, 993. [FgF] B.Feigin and E.Frenel, Affine Kac-Moody algebras at the critical level and Gelfand- Diii algebras, Proceedings of the RIMS Research Project 99, Infinite Analysis A 7

13 SOME RATIONAL VERTEX ALGEBRAS 3 [FF] A.J.Feingold and I.B.Frenel, Classical affine algebras, Adv. in Math. 56 (985, [FLM] I.B. Frenel, J. Lepowsy and A.Meurman, Vertex Operator Algebras and the Monster, Pure and Applied Math., Academic Press, San Diego, 988. [FZ] I.B.Frenel and Y.Zhu, Vertex operator algebras associated to representations of affine and Virasoro algebras, Due Math. Journal 66 (992, [K] V.G.Kac, Infinite dimensional Lie algebras, Birhäuser, Basel, 983. [KW ] V.G.Kac and M.Waimoto, Modular invariant representations of infinite dimensional Lie algebras and superalgebras, Proc. Natl. Acad. Sci. USA 85 (988, [KW 2] V.Kac and M.Waimoto, Classification of modular invariant representations of affine algebras, in Infinite Dimensional Lie algebras and groups, Advanced Series in Math. Phys. 7 (989, World Scientific. [LP] J.Lepowsy and M.Primc, Structure of the standard modules for affine Lie algebra [MP], Contemporary Math., AMS, Providence 46 (985. A.Meurman and M.Primc, Annihilating fields for sl 2 (C and combinatorial identities (manuscript. A ( [Z] Y.Zhu, Vertex operator algebras, eliptic function and modular forms (990, Ph. D. dissertation, Yale Univ. Department of Mathematics, University of Zagreb, Bijeniča 30, 4000 Zagreb, Croatia address: adamovic@cromath.math.hr