The triplet algebras are examples of models of logarithmic rational conformal field theories. It is a current algebra given as an extension of the Virasoro algebra of central charge $c=c_{p,1}=1-6(p-1{)}^2/p$  for an integer $p\ge 2$  and generated by the stress energy tensor and $3$  primary fields of weight $2p-1$  . In the case $p=2$  , it gives a model of the central charge $-2$  , and its representation theory is studied in [Kau] and [GaKa] from the view point of a current algebra. A realization of $c=-2$  triplet algebra by means of a pair of symplectic fermions is given in [Kau] . This realization gives a hint to construct a vertex operator algebra with the central charge $-2d$  for any positive integer $d$  such that it is corresponding to the $c=-2$  triplet algebra in the case $d=1$  .

We briefly explain the construction. It is quite similar to that of the ${\mathbb{Z}}_2$  -orbifold model of the free bosonic vertex operator algebra (see [DN1] and [DN3] ). First we consider a finite dimensional vector space $\mathfrak{h}$  with a nondegenerate skew-symmetric bilinear form $\langle \cdot ,\cdot \rangle$  .

Then $d=dim\mathfrak{h}/2$  is a nonnegative integer. We consider the nontrivial central extension of supercommutative Lie superalgebra $\mathfrak{h}\otimes \mathbb{C}\left[t^{\pm 1}\right]$  with the one dimensional center $\mathbb{C}K$  and a $2$  -cocycle associated to $\langle \cdot ,\cdot \rangle$  . The Fock space $SF$  generated from the highest weight vector $1$  characterized by the properties that $\mathfrak{h}\otimes \mathbb{C}\left[t\right].1=0$  and $K.1=1$  naturally has a structure of vertex superalgebra such that the vector $1$  is the vacuum vector $1$  . In thevertex superalgebra, we consider the Virasoro vector given by ${\sum }_{i=1}^d(e^i\otimes t^{-1})(f^i\otimes t^{-1})1$  , where $\{e^i,f^i{\}}_{1\le i\le d}$  is a basis of $\mathfrak{h}$  such that $\langle e^i,e^j\rangle =\langle f^i,f^j\rangle =0$  and $\langle f^i,e^j\rangle ={\delta }_{i,j}$  for any $1\le i,j\le d$  . Then $SF$  becomes a vertex operator superalgebra of central charge $c=-2d$  . The vertex operator superalgebra has the canonical involution $\theta$  associated to the ${\mathbb{Z}}_2$  -grading. The fixed point set $S{F}^{+}$  of $SF$  by the automorphism, or the even part of $SF$  is our vertex operator algebra.

The odd part of $SF$  is an irreducible $S{F}^{+}$  -module. Other two irreducible modules appear in the $\theta$  -twisted $SF$  -module. We show that any irreducible $S{F}^{+}$  -module is isomorphic to one of irreducible modules above by investigating the structure of Zhu's algebra introduced in [Z] . By construction, the vertex operator algebra $S{F}^{+}$  with the central charge $-2d$  contains a tensor product of $d$  copies of $S{F}^{+}$  with $d=1$  as a full vertex operator subalgebra. The $C_2$  -cofiniteness of $S{F}^{+}$  with $d=1$  can be shown by using the explicit forms of the relevant null vectors described in [GaKa] . Thus we see that the vertex operator algebra $S{F}^{+}$  is $C_2$  -cofinite. In the paper, we give another proof of the $C_2$  -cofiniteness of $S{F}^{+}$  with $d=1$  .

We also construct two reducible indecomposable $S{F}^{+}$  -modules. They can be obtained as $S{F}^{+}$  -submodules of the $SF$  -module generated from a singular vector $\hat{1}$  characterized by the properties that $\mathfrak{h}\otimes t\mathbb{C}\left[t\right].\hat{1}=0$  and $K.\hat{1}=\hat{1}$  . The existence of such modules show that $S{F}^{+}$  is not rational. From the construction of irreducible modules, we can express the all irreducible characters for $S{F}^{+}$  by means of the Dedekind eta function. Hence their modular transformations for the $T$  -matrix and the $S$  -matrix can be found easily, and as is known for the case triplet algebras we find that there appear polynomials of the logarithmic terms $2\pi i\tau =logq$  with $q=e^{2\pi i\tau }$  in the coefficients of irreducible characters.

The modular invariance for such a vertex operator algebra is studied in [M] . We expect that suitable subquotients of the reducible indecomposable $S{F}^{+}$  -modules above are interlocked by some symmetric linear function of the first Zhu's algebra $A_1\left(S{F}^{+}\right)$  , and that the space of $1$  -point functions may be spanned by the pseudotrace functions associated with these modules and irreducible modules included in the $\theta$  -twisted module. We will discuss on the modular invariance in another paper. We also determine the automorphism group of $S{F}^{+}$  and show that it is isomorphic to $Sp(2d,\mathbb{C})/\langle \pm 1\rangle$  . Any elements of $Aut\left(S{F}^{+}\right)$  is given by a natural lifting of a linear isomorphism of $\mathfrak{h}$  which preserves the skew-symmetric bilinear form $\langle \cdot ,\cdot \rangle$  .

The paper is organized as follows. In Section  2 , we recall some definitions and results in representation theory of vertex operator algebras. In Section  2.1 , it is quickly reviewed a definition of vertex operator superalgebras, its modules, its automorphisms. The definition of $C_2$  -cofiniteness and Zhu's algebras stated in Section  2.2 , where we give a relation of generators of a vertex operator algebra and that of Zhu's algebra. In Section  3 , we construct the vertex operator algebra $S{F}^{+}$  and study its structure. In Section  3.1 , we give a construction of $S{F}^{+}$  , and give a suitable generators of $S{F}^{+}$  in Section  3.2 . The proof of $C_2$  -cofiniteness of $S{F}^{+}$  is given in Section  3.3 . Section  4 is devoted to the classification of irreducible $S{F}^{+}$  -modules. The way is similar to that of the vertex operator algebras $M(1{)}^{+}$  and $V_L^{+}$  for general even positive definite lattices $L$  (see [DN1] –[DN3] and [AD] ). In Section  4.1 we give a construction of an irreducible $\theta$  -twisted $SF$  -module. In Section  4.2 ,the main theorem is stated. Section  4.3 and Section  4.4 are proofs of the main theorem for $d=1$  and $d>1$  respectively. In Section  5.1 we construct indecomposable $S{F}^{+}$  -modules which proves that $S{F}^{+}$  is irrational. We calculate irreducible characters and determine the automorphism group of $S{F}^{+}$  in Section  5.2 .

The author thanks to K. Nagatomo and A. Matsuo for fruitful comments and insightful advice. He also thank to C. Dong for reading the manuscript and encouraging him.

2 Preliminaries

In this section we recall some notions and results in representation theory of vertex operator algebras. Throughout the paper we use the notations ${\mathbb{Z}}_{\ge 0}$  and ${\mathbb{Z}}_{>0}$  for the set of all nonnegative integers and positive integers respectively.

2.1 Vertex operator superalgebras, its modules and rationality

A vertex operator superalgebra is a $4$  -tuple $(V,Y(\cdot ,z),1,\omega )$  which consists of a ${\mathbb{Z}}_2$  -graded vector space $V=V^{\overline{0}}\oplus V^{\overline{1}}$  , a linear map $Y(\cdot ,z):V\to EndV\left[\right[z,z^{-1}\left]\right]$  which maps $a\in V$  to $Y(a,z)={\sum }_{n\in \mathbb{Z}}{a}_{\left(n\right)}{z}^{-n-1}$  with $a_{\left(n\right)}\in EndV$  and vectors $1,\omega \in V_{\overline{0}}$  satisfying the following axioms (1)–(6) (see [Li2] , [Xu] or [K] ):

(1) For any $a\in V^{\overline{k}},b\in V^{\overline{l}}(k,l\in \{0,1\left\}\right)$  and $n\in \mathbb{Z}$  , $a_{\left(n\right)}b\in V^{\overline{k}+\overline{l}}$  and $a_{\left(n\right)}b=0$  if $n$  is sufficiently large.

(2) For any $a\in V^{\overline{k}},b\in V^{\overline{l}}(k,l\in \{0,1\left\}\right)$  and $p,q,r\in \mathbb{Z}$  , the identity called the Borcherds identity

$$\begin{array}{cc}{\sum }_{i=0}^{\infty }\left(\genfrac{}{}{0ex}{}{q}{i}\right)(a_{(p+i)}b{)}_{(q+r-i)}={\sum }_{i=0}^{\infty }(-1{)}^i\left(\genfrac{}{}{0ex}{}{p}{i}\right)(a_{(p+q-i)}{b}_{(r+i)}-(-1{)}^{p+kl}{b}_{(p+r-i)}{a}_{(q+i)})& \end{array}$$

(2.1)

holds in $EndV$  .

(3) The vector $1$  called the vacuum vector satisfies that $1_{\left(n\right)}={\delta }_{n,-1}i{d}_V$  and that $a_{\left(n\right)}1=0$  for any $a\in V$  and $n\in {\mathbb{Z}}_{\ge 0}$  .

(4) The set of operators $\{L_n,i{d}_V{\}}_{n\in \mathbb{Z}}$  with $L_n:={\omega }_{(n+1)}$  gives a representation of the Virasoro algebra on $V$  of central charge $c_V\in \mathbb{C}$  ; that is, $$[L_m,L_n]=(m-n)L_{m+n}+\frac{m^3-m}{12}{\delta }_{m+n}{c}_{V}i{d}_V$$  for any $m,n\in \mathbb{Z}$  . The vector $\omega$  is called the Virasoro vector.

(5) For any $a\in V$  , $L_{-1}a=a_{(-2)}1$  .

(6) $V$  is decomposed into a direct sum of eigenspaces $V_n$  for $L_0$  of eigenvalue $n\in \frac{1}{2}{\mathbb{Z}}_{\ge 0}$  as $$V={\oplus }_{n\in \frac{1}{2}{\mathbb{Z}}_{\ge 0}}{V}_n.$$  The eigenvalues for $L_0$  are called weights.

We see that the axiom (5) is equivalent to the $L_{-1}$  -derivative property $Y(L_{-1}a,z)=\frac{d}{dz}Y(a,z)$  for $a\in V$  Since $L_{0}1=0$  and $L_0\omega =2\omega$  , $1\in V_0$  and $\omega \in V_2$  . We note that $V^{\overline{0}}={\oplus }_{i\in \mathbb{Z}}{V}^{\overline{0}}\cap V_i$  and $V^{\overline{1}}={\oplus }_{i\in \mathbb{Z}}{V}^{\overline{1}}\cap V_i$  . In some literature, it is assume that $V^{\overline{0}}={\oplus }_{n\in {\mathbb{Z}}_{\ge 0}}{V}_n$  and $V^{\overline{1}}={\oplus }_{n\in \frac{1}{2}+{\mathbb{Z}}_{\ge 0}}{V}_n$  . We do not assume the condition but we always assume the conditions

$$\begin{array}{cc}{V}_0=\mathbb{C}1,V={\oplus }_{n\in {\mathbb{Z}}_{\ge 0}}{V}_n& \end{array}$$

(2.2)

as we do not treat only vertex operator superalgebras satisfying the conditions. We often refer $V$  to be a vertex operator superalgebra for simplicity.

A vertex operator algebra is a vertex operator superalgebra $V$  satisfying that $V^{\overline{1}}=0$  and $V_n=0$  for $n\in \frac{1}{2}+{\mathbb{Z}}_{\ge 0}$  (see [FLM] , [FHL] , [MN] or [LL] ). By definition the following identity holds

$$\begin{array}{cc}{\sum }_{i=0}^{\infty }\left(\genfrac{}{}{0ex}{}{q}{i}\right)(a_{(p+i)}b{)}_{(q+r-i)}={\sum }_{i=0}^{\infty }(-1{)}^i\left(\genfrac{}{}{0ex}{}{p}{i}\right)(a_{(p+q-i)}{b}_{(r+i)}-(-1{)}^p{b}_{(p+r-i)}{a}_{(q+i)})& \end{array}$$

(2.3)

for any $a,b\in V$  and $p,q,r\in \mathbb{Z}$  in $EndV$  .

An automorphism of a vertex operator superalgebra $V$  is a linear isomorphism $g$  of $V$  such that $g\left(\omega \right)=\omega$  and that $g\left(Y\right(a,z\left)b\right)=Y\left(g\right(a),z)g\left(b\right)$  for any $a,b\in V$  . We denote by $AutV$  the group of all automorphisms of $V$  . The axiom (1) shows that the map $\theta :V\to V$  defined by $\theta (a+b)=a-b$  for $a\in V^{\overline{0}}$  and $b\in V^{\overline{1}}$  is an automorphism.

Let $V$  be a vertex operator superalgebra and $S$  a subset of $V$  consists of eigenvectors for $L_0$  . If $V$  is spanned by the vectors of the form $$u_{(-n_1)}^1{u}_{(-n_2)}^2\cdots u_{(-n_r)}^{r}1$$  for $u^i\in S$  and $n_i\in {\mathbb{Z}}_{>0}$  , then $V$  is called strongly generated by $S$  . We call the subset $S$  a set of field generators of $V$  . A vertex operator superalgebra $(U,Y_U(\cdot ,z),1_U,{\omega }_U)$  is called a vertex operator subsuperalgebra of $V$  if $U\subset V$  , $1_U=1$  and $Y_U(u,z)v=Y(u,z)v$  for any $u,v\in U$  . If ${\omega }_U=\omega$  then $U$  is called a full vertex operator subsuperalgera $V$  , or it is said that $U$  is conformally embedded in $V$  .

Let $V$  be a vertex operator superalgebra and $g$  an automorphism of order $T$  . Then $V$  decomposed into a direct sum of the eigenspace $V^r$  for $g$  of the eigenvalue $e^{-\frac{2\pi ir}{T}}$  with $0\le r\le T-1$  . A weak $g$  -twisted $V$  -module is a pair $(M,Y(\cdot ,z\left)\right)$  with a ${\mathbb{Z}}_2$  -graded vector space $M=M^{\overline{0}}\oplus M^{\overline{1}}$  and a linear map $Y(\cdot ,z):V\to EndM\left[\right[z^{\frac{1}{T}},z^{-\frac{1}{T}}\left]\right],a\mapsto Y(a,z)={\sum }_{n\in \mathbb{Z}}$  satisfying the following axioms (1)–(3):

(1) For any $a\in V^{\overline{k}},u\in M^{\overline{l}}(k,l\in \{0,1\left\}\right)$  and $n\in \frac{1}{T}\mathbb{Z}$  , $a_{\left(n\right)}u\in M^{\overline{k}+\overline{l}}$  and $a_{\left(n\right)}u=0$  if $n$  is sufficiently large.

(2)If $a\in V^r$  for $0\le r\le T-1$  , then $a_{\left(n\right)}=0$  on $M$  for $n/\in \frac{r}{T}+\mathbb{Z}$  .

(3) For any $a\in V^{\overline{k}},b\in V^{\overline{l}}(k,l\in \{0,1\left\}\right)$  , $p\in \mathbb{Z}$  and $q,r\in \frac{1}{T}\mathbb{Z}$  , the Borcherds identity holds in $EndM$  :

$$\begin{array}{cc}{\sum }_{i=0}^{\infty }\left(\genfrac{}{}{0ex}{}{q}{i}\right)(a_{(p+i)}b{)}_{(q+r-i)}={\sum }_{i=0}^{\infty }(-1{)}^i\left(\genfrac{}{}{0ex}{}{p}{i}\right)(a_{(p+q-i)}{b}_{(r+i)}-(-1{)}^{p+kl}{b}_{(p+r-i)}{a}_{(q+i)}).& \end{array}$$

(2.4)

(4) The vacuum vector $1$  satisfies $1_{\left(n\right)}={\delta }_{n,-1}$  for any $n\in \frac{1}{T}\mathbb{Z}$  .

If we set $L_n={\omega }_{(n+1)}$  for any $n\in \mathbb{Z}$  , then $\{L_n,i{d}_M\}$  gives a representation of the Virasoro algebra on $M$  of central charge $c_V$  . The $L_{-1}$  -derivative property $Y(L_{-1}a,z)=\frac{d}{dz}Y(a,z)$  also holds for any $a\in V$  (see [Xu] for example).

Let $V$  be a vertex operator superalgebra satisfying  2.2 . A weak $g$  -twisted $V$  -module is called $\frac{1}{T}{\mathbb{Z}}_{\ge 0}$  -gradable if $M$  has a $\frac{1}{T}{\mathbb{Z}}_{\ge 0}$  -grading as $M={\oplus }_{n\in \frac{1}{T}{\mathbb{Z}}_{\ge 0}}M\left(n\right)$  and satisfies the condition $$a_{\left(n\right)}M\left(m\right)\subset M(k+m-n-1)$$  for any $a\in V_k$  and $m,n\in \frac{1}{T}\mathbb{Z}$  , where we set $M^{(-n)}=0$  for $n<0$  . A vertex operator superalgebra is said to be $g$  -rational if any $\frac{1}{T}{\mathbb{Z}}_{\ge 0}$  -gradable $V$  -module is completely reducible.

We call a weak $g$  -twisted $V$  -module $M$  a $g$  -twisted $V$  -module if $M$  is finite generated and if for any $u\in M$  , the subspace spanned by the vectors of the form $a_{\left(n\right)}u$  for $a\in V_k(k\in \mathbb{Z})$  and $n\ge k-1$  is finite dimensional (see [NT] ). We see that any $V$  -module is a direct sum of generalized eigenspaces for $L_0$  and that each generalized eigenspace is finite dimensional.

We denote by $M_{\left(\lambda \right)}$  the generalized eigenspace for $L_0$  of eigenvalue $\lambda \in \mathbb{C}$  and say an eigenvalue for $L_0$  to be a weight. If $M={\oplus }_{n=0}^{\infty }{M}_{(\lambda +n)}$  and $M_{\left(\lambda \right)}\ne 0$  for some $\lambda \in \mathbb{C}$  then we call the weight $\lambda$  the lowest weight of $M$  . A $V$  -module whose $V$  -submodule is either $0$  or itself is called irreducible. If $V$  is irreducible as a $V$  -module, $V$  is said to be simple.

For a weak $g$  -twisted $V$  -module, we set $\Omega \left(M\right)$  be the subspace of $M$  which consists of the vectors $u$  such that $a_{\left(n\right)}u=0$  for any $a\in V_k(k\in {\mathbb{Z}}_{\ge 0})$  and $n\ge k$  . A vector in $\Omega \left(M\right)$  is called a singular vector in $M$  . If $u\in M$  satisfies the condition that $L_{1}u=0$  then $u$  is called quasi-primary and if $u$  satisfies $L_{n}u=0$  for any $n\in {\mathbb{Z}}_{>0}$  then called primary. We see that $u\in M$  is primary if and only if $L_1=L_{2}u=0$  .

Let $V$  be a vertex operator superalgebra, $g$  an automorphism of finite order, $M$  a $g$  -twisted module and $N$  a $g^{-1}$  -twisted $V$  -module. Then a bilinear map $(\cdot ,\cdot )$  from $M\times N$  to $\mathbb{C}$  is called invariant if

$$\begin{array}{cc}\left(Y\right(a,z)u,v)=(-1{)}^{kl}(u,Y\left(e^{L_1}\right(-z^{-2}{)}^{L_0}a,z^{-1}\left)v\right)& \end{array}$$

(2.5)

for any $a\in V^{\overline{k}}$  , $u\in M^{\overline{l}}$  and $v\in N$  .

Proposition 2.1. Let $M$  be a $g$  -twisted $V$  -module, $N$  a $g^{-1}$  -twisted $V$  -module and $(\cdot ,\cdot )$  is a bilinear map from $M\times N$  to $\mathbb{C}$  . Let $S$  be a set of field generators of $V$  . Suppose that $S$  consists of eigenvectors for $g$  and that for any $u\in M$  , $(u,N_{\left(\lambda \right)})=0$  for any complex number $\lambda$  whose real part is sufficiently small.

Then the bilinear map $(\cdot ,\cdot )$  from $M\times N$  to $\mathbb{C}$  is invariant if and only if  2.5 holds for any $a\in S$  , $u\in M$  and $v\in N$  .

• Proof. Set $D\left(N\right)$  to be the subspace of $N^{*}=Ho{m}_{\mathbb{C}}(N,\mathbb{C})$  consists of the vectors $f\in N^{*}$  such that for any $a\in V$  and $v\in N$  , $f\left(a_{\left(n\right)}v\right)=0$  for sufficiently small $n\in \frac{1}{T}\mathbb{Z}$  . Then $D\left(N\right)=D(N{)}^{\overline{0}}\oplus D(N{)}^{\overline{1}}$  becomes a weak $g$  -twisted $V$  -module with $$\left(Y\right(a,z\left)f\right)\left(v\right)=(-1{)}^{kl}f(Y\left(e^{L_1}\right(-z^{-2}{)}^{L_0}a,z^{-1}\left)v\right)$$  for $a\in V^{\overline{k}}$  , $f\in D(N{)}^{\overline{l}}$  and $v\in N$  (cf [Li3] ), where $D(N{)}^{\overline{0}}=D(N)\cap Ho{m}_{\mathbb{C}}(N^{\overline{0}},\mathbb{C})$  and $D(N{)}^{\overline{1}}=D(N)\cap Ho{m}_{\mathbb{C}}(N^{\overline{1}},\mathbb{C})$  .
  We then have a linear map $\eta :M\to D\left(N\right),u\mapsto (u,\cdot )$  for $u\in M$  . By the assumption, $f$  is well-defined and commutes with the action of $a_{\left(n\right)}$  for any $a\in S$  and $n\in \frac{1}{T}\mathbb{Z}$  . Therefore, $f$  commutes with the action of $a_{\left(n\right)}$  for any $a\in V$  and $n\in \frac{1}{T}\mathbb{Z}$  . Therefore, $f$  is a $V$  -module homomorphism. This implies that  2.5 holds for any $a\in V^{\overline{k}},u\in M^{\overline{l}}$  and $b\in N$  . The converse is clear.

2.2 Zhu's algebra and $C_2$  -cofiniteness condition

Let $V$  be a vertex operator algebra. In this section we recall the notion of Zhu's algebra and $C_2$  -cofiniteness.

We consider the subspace $C_2\left(V\right)$  spanned by the vectors of the form $a_{(-2)}b$  for $a,b\in V$  . Zhu found that the quotient space $V/C_2\left(V\right)$  has a commutative associative algebra structure in [Z] . We denote by $\overline{a}$  be the image of $a\in V$  in $V/C_2\left(V\right)$  . The product of $\overline{a}$  and $\overline{b}$  , we write $\overline{a}\cdot \overline{b}$  , is defined by $$\overline{a}\cdot \overline{b}=\overline{a_{(-1)}b}$$  for any $a,b\in V$  . We consider a set of field generators $S$  of $V$  . Then it is easy to see that $V/C_2\left(V\right)$  is spanned by the vectors of the form $$\overline{a^1}\cdot \overline{a^2}\cdot \cdots \cdot \overline{a^r}$$  with $a^i\in S$  . Hence we have

Proposition 2.2. Let $S$  be a set of field generators of $V$  . Then $V/C_2\left(V\right)$  is generated by $\overline{S}=\left\{\overline{a}\right|a\in S\}$  as a commutative algebra.

Next we recall the definition of Zhu's algebra. Let $O\left(V\right)$  be a subspace spanned by the vectors of the form $${\sum }_{i=0}^{\infty }\left(\genfrac{}{}{0ex}{}{k}{i}\right)a_{(i-2)}b$$  for any vector $a\in V_k(k\in {\mathbb{Z}}_{\ge 0})$  and $b\in V$  , and set $A\left(V\right):=V/O\left(V\right)$  . We write $\left[a\right]$  for the image of $a\in V$  in $A\left(V\right)$  . We then have the well-known identity $\left[L_{-1}a\right]=-\left[L_{0}a\right]$  for any $a\in V$  .

In [Z] , it is proved that $A\left(V\right)$  becomes an associative algebra with the product $\left[a\right]*\left[b\right]$  which is defined by $$\left[a\right]*\left[b\right]=[a*b]={\sum }_{i=0}^{\infty }\left(\genfrac{}{}{0ex}{}{k}{i}\right)\left[a_{(i-1)}b\right]$$  for $a\in V_k(k\in {\mathbb{Z}}_{\ge 0})$  and $b\in V$  . The linear isomorphism of $V$  which maps $a$  to $e^{L_1}(-1{)}^{L_0}a$  induces a linear isomorphism $\Phi$  of $A\left(V\right)$  . In fact the linear isomorphism $\Phi$  is an anti-involution, i.e., ${\Phi }^2=id$  and $\Phi \left(\right[a]*[b\left]\right)=\Phi \left(\right[b\left]\right)*\Phi \left(\right[a\left]\right)$  for any $a,b\in V$  . We note that if $a$  is a quasi-primary vector of weight $k$  then $\Phi \left(\right[a\left]\right)=(-1{)}^k[a]$  . This helps to reduce some calculations when we find relations in $A\left(V\right)$  . The following proposition is well known (see [Z] ).

Proposition 2.3. The image $\left[1\right]$  is the unit of $A\left(V\right)$  and $\left[\omega \right]$  is in the center of $A\left(V\right)$  .

We often write $1$  for $\left[1\right]$  in $A\left(V\right)$  , and will use the fact that $\left[1\right]$  is the unit and $\left[\omega \right]$  in the center without referring the proposition.

One of reasons to introduce the notion of Zhu's algebra is that the representation theory of Zhu's algebra is deeply related with that of the vertex operator algebra $V$  .

Theorem 2.4. ([Z] ) (1) Let $M$  be a weak $V$  -module. Then the linear map $o:V\to End\Omega \left(M\right),a\mapsto a_{(k-1)}$  for $a\in V_k$  induces a representation of $A\left(V\right)$  on $\Omega \left(M\right)$  .

(2) If $M$  is an irreducible $V$  -module, then $\Omega \left(M\right)$  is irreducible as an $A\left(V\right)$  -module. (3) For any irreducible $A\left(V\right)$  -module $W$  , there exists an irreducible $V$  -module $M$  such that $\Omega \left(M\right)\sim =W$  as $A\left(V\right)$  -modules.

(4) The map $M\mapsto \Omega \left(M\right)$  induces a bijection from the set of inequivalent irreducible $V$  -modules and that of inequivalent irreducible $A\left(V\right)$  -modules.

Let $S$  be a set of field generators of $V$  . Following [NT,Proposition3.3.2] , we show that $\left\{\right[a\left]\right|a\in S\}\subset A(V)$  is a generator of $A\left(V\right)$  as an algebra. We consider the filtration $\left\{F^{k}A\right(V){\}}_{k\in {\mathbb{Z}}_{\ge 0}}$  of $A\left(V\right)$  defined by $$F_{k}A\left(V\right)=\left({}^k{\oplus }_{i=0}{V}_i+O\left(V\right)\right)/O\left(V\right)$$  for any $k\in {\mathbb{Z}}_{\ge 0}$  . Then we see that $F_{k}A\left(V\right)*F_{l}A\left(V\right)\subset F_{k+l}A\left(V\right)$  for any $k,l\in {\mathbb{Z}}_{\ge 0}$  .

This implies that the multiplication of $A\left(V\right)$  induces an associative multiplication of the graded vector space ${gr}_{\bullet }A\left(V\right)$  , where $${gr}_{\bullet }A\left(V\right){=}^{\infty }{\oplus }_{k=0}{gr}_{k}A\left(V\right),{gr}_{k}A\left(V\right):=F_{k}A\left(V\right)/F_{k-1}A\left(V\right)$$  for any $k\in {\mathbb{Z}}_{\ge 0}$  and $F_{-1}A\left(V\right)=0$  . Since $[a*b]-[b*a]\in F_{k+l-1}A\left(V\right)$  for any $a\in V_k$  and $b\in V_l(k,l\in {\mathbb{Z}}_{\ge 0})$  , ${gr}_{\bullet }A\left(V\right)$  is commutative.

We consider a linear epimorphism $f:V\to {gr}_{\bullet }A\left(V\right):a\mapsto \left[a\right]+F_{k-1}A\left(V\right)\in {gr}_{k}A\left(V\right)$  for $a\in V_k$  . Then we have $f\left(a_{(-2)}b\right)=0$  for any $a,b\in V$  . This shows that $f$  induces a linear epimorphism $\overline{f}$  from $V/C_2\left(V\right)$  to ${gr}_{\bullet }A\left(V\right)$  . In fact, we see that the epimorphism is of algebras because $$\overline{f}(\overline{a}\cdot \overline{b})=f\left(a_{(-1)}b\right)=\left[a_{(-1)}b\right]+F^{k+l-1}A=[a*b]+F^{k+l-1}A\left(V\right)=\overline{f}\left(\overline{a}\right)\overline{f}\left(\overline{b}\right)$$  for $a\in V_k$  and $b\in V_l$  . Now we have the following proposition.

Proposition 2.5. Let $V$  be a vertex operator algebra and $S$  a set of field generators. Then $A\left(V\right)$  is generated by the vectors of the form $\left[a\right]$  with $a\in S$  as an associative algebra.

• Proof. Let $\overline{f}:V/C_2\left(V\right)\to {gr}_{\bullet }A\left(V\right)$  be the algebra epimorphism above. By Proposition  2.2 , we see that ${gr}_{\bullet }A\left(V\right)$  is generated by $\overline{f}\left(\overline{a}\right)=\left[a\right]+F^{k}A\left(V\right)$  for $k\in {\mathbb{Z}}_{\ge 0}$  and $a\in S\cap V_k$  .
  Now by using the induction on $k$  , we can show that $F^{k}A\left(V\right)$  is contained in a subalgebra of $A\left(V\right)$  generated by all $\left[a\right]$  with $a\in S$  for any $k\in {\mathbb{Z}}_{\ge 0}$  .

For a weak $V$  -module $M$  , we set $C_2\left(M\right)=span\left\{a_{(-2)}u\right|a\in V,u\in M\}$  . A weak $V$  -module $M$  is called $C_2$  -cofinite if $M/C_2\left(M\right)$  is finite dimensional. We note that if $V$  is $C_2$  -cofinite then Zhu's algebra $A\left(V\right)$  is of finite dimension. Therefore, there are only finitely many isomorphism classes of irreducible $V$  -modules by Theorem  2.4 . In particular, the set $P\left(V\right)$  of lowest weights is finite. The following theorem is also one of the most remarkable results of the $C_2$  -cofiniteness condition (see [GN] , [Bu] , [ABD] , [NT] or [M] ).

Theorem 2.6. Let $V$  be a $C_2$  -cofinite vertex operator algebra. Then any finite generated weak $V$  -module is a $V$  -module. and $C_2$  -cofinite

As a corollary, we have

Proposition 2.7. Let $V$  be a vertex operator algebra and $U$  its full vertex operator subalgebra. If $U$  is $C_2$  -cofinite then $V$  is $C_2$  -cofinite.

3 The vertex operator algebra $S{F}^{+}$ 

In this section we construct the vertex operator algebra $S{F}^{+}$  associated with a finite dimensional vector space $\mathfrak{h}$  . We also find a set of field generators of $S{F}^{+}$  and prove that $S{F}^{+}$  is $C_2$  -cofinite.

3.1 A construction of the vertex operator algebra $S{F}^{+}$ 

Let $\mathfrak{h}$  be a finite dimensional vector space with a skew-symmetric nondegenerate bilinear form $\langle \cdot ,\cdot \rangle$  . Then the dimension of $\mathfrak{h}$  is even and there is a basis $\{e^i,f^i|1\le i\le d\}$  such that $$\langle e^i,e^j\rangle =\langle f^i,f^j\rangle =0\text{and}\langle e^i,f^j\rangle =-\langle f^j,e^i\rangle =-{\delta }_{i,j}$$  for any $1\le i,j\le d$  , where we set $$d=\frac{dim\mathfrak{h}}{2}.$$  We call such a basis a canonical basis of $\mathfrak{h}$  and denote by $\left\{\right(e^i,f^i){\}}_{1\le i\le d}$  or $\left\{\right(e^i,f^i\left)\right\}$  if the dimension of $\mathfrak{h}$  is obvious.

Now we consider the Heisenberg superalgebra $\hat{L}(\mathfrak{h}):=\mathfrak{h}\otimes \mathbb{C}[t,t^{-1}]\oplus \mathbb{C}K$  such that $\mathbb{C}K$  is the even part, $\mathfrak{h}\otimes \mathbb{C}[t,t^{-1}]$  is the odd part and that the commutation relation is given by $$[\psi \otimes t^m,{\psi }^{\prime }\otimes t^n{]}_{+}=m\langle \psi ,{\psi }^{\prime }\rangle {\delta }_{m+n,0}K$$  for $\psi ,{\psi }^{\prime }\in \mathfrak{h},m,n\in \mathbb{Z}$  and $[K,\hat{L}(\mathfrak{h}\left)\right]=0$  . We form an associative algebra $\mathcal{A}$  as the quotient algebra of the universal enveloping algebra $U\left(\hat{L}\right(\mathfrak{h}\left)\right)$  by the two sided ideal generated by $K-1$  . The ${\mathbb{Z}}_2$  -grading of $\tilde{L}(\mathfrak{h})$  induces a ${\mathbb{Z}}_2$  -grading on $\mathcal{A}$  as an algebra.

We denote its even part and odd part by ${\mathcal{A}}^{\overline{0}}$  and ${\mathcal{A}}^{\overline{1}}$  respectively.

We denote the left action of $\psi \otimes t^m\in \hat{L}(\mathfrak{h})$  by $\psi \left(m\right)$  for $\psi \in \mathfrak{h}$  and $m\in \mathbb{Z}$  . We set ${\mathcal{A}}_{\ge 0}$  the left ideal generated by $\psi \left(m\right)1$  with $\psi \in \mathfrak{h},m\in {\mathbb{Z}}_{\ge 0}$  and consider the left $\mathcal{A}$  -module $SF=:\mathcal{A}/{\mathcal{A}}_{\ge 0}$  . We note that $SF\sim =\Lambda (\mathfrak{h}\otimes t^{-1}\mathbb{C}[t^{-1}\left]\right)$  as vector spaces. Since ${\mathcal{A}}_{\ge 0}={\mathcal{A}}_{\ge 0}\cap {\mathcal{A}}^{\overline{0}}\oplus {\mathcal{A}}_{\ge 0}\cap {\mathcal{A}}^{\overline{1}}$  , we have $SF=S{F}^{\overline{0}}\oplus S{F}^{\overline{1}}$  , where $S{F}^{\overline{i}}={\mathcal{A}}^{\overline{i}}/({\mathcal{A}}_{\ge 0}\cap {\mathcal{A}}^{\overline{i}})$  for $\overline{i}\in {\mathbb{Z}}_2$  .

For any $n\in \mathbb{Z}$  , we have a linear map $$SF\to End\left(SF\right),a\mapsto a_{\left(n\right)}$$  defined by

$$\begin{array}{cc}{a}_{\left(n\right)}={\sum }_{i_j\in \mathbb{Z}{\sum }_{j=1}^r{i}_j=-{\sum }_{j=1}^r{n}_j+n+1}\left(\genfrac{}{}{0ex}{}{-i_1-1}{n_1-1}\right)\cdots \left(\genfrac{}{}{0ex}{}{-i_r-1}{n_r-1}{)}_{{}^{\circ }}^{{}_{\circ }}{\psi }^1\right(i_1)\cdots {\psi }^r(i_r{)}_{{}^{\circ }}^{{}_{\circ }}& \end{array}$$

(3.1)

for $a={\psi }^1(-n_1)\cdots {\psi }^r(-n_r)1$  with ${\psi }^i\in \mathfrak{h}$  and $n_i\in {\mathbb{Z}}_{>0}$  , where $\left(\genfrac{}{}{0ex}{}{m}{n}\right)=\frac{m(m-1)(m-2)\cdots (m-n+1)}{n!}$  is the binomial coefficient for $m\in \mathbb{Z}$  and $n\in {\mathbb{Z}}_{\ge 0}$  . The notation ${}_{{}^{\circ }}^{{}_{\circ }}{\cdot }_{{}^{\circ }}^{{}_{\circ }}$  represents the normal ordering product which is the operation on $\mathcal{A}$  defined by ${}_{{}^{\circ }}^{{}_{\circ }}\psi (n{)}_{{}^{\circ }}^{{}_{\circ }}=\psi (n)$  and

$$\begin{array}{cc}{}_{{}^{\circ }}^{{}_{\circ }}{\psi }^1\left(n_1\right)\cdots {\psi }^r\left(n_r\right)1_{{}^{\circ }}^{{}_{\circ }}=\{\begin{array}{cc}{\psi }^1\left(n_1{)}_{{}^{\circ }}^{{}_{\circ }}{\psi }^2\right(n_2)\cdots {\psi }^r(n_r)1_{{}^{\circ }}^{{}_{\circ }}& \text{if}{n}_1<0,\\ (-1{{)}^{r-1}}_{{}^{\circ }}^{{}_{\circ }}{\psi }^2(n_2)\cdots {\psi }^r(n_r\left)1_{{}^{\circ }}^{{}_{\circ }}\phi \right(n_1)& \text{if}{n}_1\ge 0,\end{array}& \end{array}$$

inductively for $r\in {\mathbb{Z}}_{>0}$  , $n,n_i\in \mathbb{Z}$  and $\psi ,{\psi }_i\in \mathfrak{h}$  . Thus we have a linear map $Y(\cdot ,z):SF\to Hom(SF,SF(\left(z\right)\left)\right)$  such that $Y(a,z)={\sum }_{n\in \mathbb{Z}}{a}_{\left(n\right)}{z}^{-n-1}$  . In particular, we have

$$\begin{array}{cc}Y(\psi ,z)& ={\sum }_{n\in \mathbb{Z}}\psi \left(n\right)z^{-n-1},\end{array}$$

$$\begin{array}{cc}Y(a,z)& {=}_{{}^{\circ }}^{{}_{\circ }}{\partial }^{(n_1-1)}Y({\psi }^1,z)\cdots {\partial }^{(n_r-1)}Y({\psi }^r,z{)}_{{}^{\circ }}^{{}_{\circ }}\end{array}$$

for $a={\psi }^1(-n_1)\cdots {\psi }^r(-n_r)1$  , $\psi ,{\psi }^i\in \mathfrak{h}$  and $n_i\in {\mathbb{Z}}_{>0}$  , where ${\partial }^{\left(n\right)}=\frac{1}{n!}\frac{d^n}{d{z}^n}$  for $n\in {\mathbb{Z}}_{\ge 0}$  .

By definition we find that $\left(\psi \right(-1)1{)}_{\left(n\right)}=\psi (n)$  for any $\psi \in \mathfrak{h}$  and $n\in \mathbb{Z}$  . We may identify $\mathfrak{h}$  as a subspace of $SF$  by the injective map $\psi \mapsto \psi (-1)1+{\mathcal{A}}_{\ge 0}$  and write ${\psi }_{\left(m\right)}$  for $\left(\psi \right(-1)1{)}_{\left(m\right)}$  for $\psi \in \mathfrak{h}$  and $m\in \mathbb{Z}$  .

Now we set $1=1+{\mathcal{A}}_{\ge 0}$  . Let $\left\{\right(e^i,f^i){\}}_{1\le i\le d}$  be a canonical basis of $\mathfrak{h}$  and consider the vector $\omega ={\sum }_{j=1}^d{e}_{(-1)}^j{f}^i$  . We can show that $\omega$  does not depend on a choice of a canonical basis. It is easy to check that $${\omega }_{\left(0\right)}1=0,{\omega }_{\left(1\right)}\psi =\psi \text{and}{\omega }_{\left(i\right)}\psi =0\text{for}i\ge 2$$  for $\psi \in \mathfrak{h}$  . Hence $\psi \in \mathfrak{h}$  is primary of weight $1$  and $[{\omega }_{(n+1)},{\psi }_{\left(m\right)}]=-m{\psi }_{(m+n)}$  for any $m,n\in \mathbb{Z}$  . One can also see that $${\omega }_{\left(0\right)}\omega ={\omega }_{(-2)}1,{\omega }_{\left(2\right)}\omega =0,{\omega }_{\left(1\right)}\omega =2\omega \text{and}{\omega }_{\left(3\right)}\omega =-d1.$$  These facts imply that $L_n:={\omega }_{(n+1)}$  with $n\in \mathbb{Z}$  gives a representation of the Virasoro algebra of central charge $-2d$  . Following [FLM] , we can show the following theorem.

Theorem 3.1. The $\mathcal{A}$  -module $SF$  becomes a simple vertex operator superalgebra with the vacuum vector $1$  and the Virasoro vector $\omega$  . The central charge is $-2d$  . Furthermore $S{F}_0=\mathbb{C}1$  and $SF={\oplus }_{n=0}^{\infty }S{F}_n$  .

Recall that associated to the ${\mathbb{Z}}_2$  -grading of $SF$  , we have an automorphism $\theta$  of the vertex operator superalgebra $SF$  of order $2$  . We denote by $S{F}^{+}$  (resp. $S{F}^{-}$  ) the subspace $S{F}_{\overline{0}}$  (resp. $S{F}_{\overline{1}}$  ) so that $S{F}^{\pm }$  are the $\pm 1$  -eigenspaces for $\theta$  respectively. Then we see that $S{F}^{+}$  for $\theta$  of $SF$  is a vertex operator algebra of central charge $-2d$  and $S{F}^{-}$  is an $S{F}^{+}$  -module. In fact by applying the same arguments in [DM] to a vertex operator superalgebra, we can show the following proposition.

Proposition 3.2. The vertex operator algebra $S{F}^{+}$  is simple, and the $S{F}^{+}$  -module $S{F}^{-}$  is irreducible.

We note that $S{F}_{-n}^{+}=0$  for $n\in {\mathbb{Z}}_{>0}$  , $S{F}_0^{+}=\mathbb{C}1$  and $S{F}_1^{+}=0$  by Theorem  3.1 .

From the result in [Li1] and [Xu] there exists a unique nondegenerate invariant bilinear form on $SF$  up to a scalar multiple. It is given as follows. We consider a bilinear form $(\cdot ,\cdot )$  defined by $$(1,1)=1,$$  and

$$\begin{array}{cc}({\psi }_{(-n_1)}^1\cdots {\psi }_{(-n_r)}^{r}1,{\xi }_{(-m_1)}^1\cdots {\xi }_{(-m_s)}^{s}1)={\delta }_{r,s}(-1{)}^{\frac{r(r+1)}{2}}det{\left(n_i{\delta }_{n_i,m_j}\langle {\psi }^i,{\xi }^j\rangle \right)}_{1\le i,j\le r}& \end{array}$$

for positive integers $n_i$  , $m_j$  and ${\psi }^i,{\xi }^i\in \mathfrak{h}$  . We note that $S{F}^{+}$  and $S{F}^{-}$  are mutually orthogonal. We see that the bilinear form is supersymmetric and hence that the restriction of the bilinear form to $S{F}^{+}$  and $S{F}^{-}$  are symmetric and skew-symmetric respectively.

We also find that

$$\begin{array}{cc}& ({\psi }_{(-n_1)}^1\cdots {\psi }_{(-n_r)}^{r}1,{\xi }_{(-m_1)}^1\cdots {\xi }_{(-m_s)}^{s}1)\end{array}$$

$$\begin{array}{cc}& ={\delta }_{r,s}(-1{)}^{\frac{r(r+1)}{2}}det{\left(n_i{\delta }_{n_i,m_j}\langle {\psi }^i,{\xi }^j\rangle \right)}_{1\le i,j\le r}\end{array}$$

$$\begin{array}{cc}& ={\delta }_{r,s}(-1{)}^{\frac{r(r+1)}{2}}{\sum }_{\sigma \in {\mathfrak{S}}_r}sgn(\sigma {)}^r{\prod }_{i=1}{n}_i{\delta }_{n_i,m_{\sigma \left(i\right)}}\langle {\psi }^i,{\xi }^{\sigma \left(i\right)}\rangle \end{array}$$

$$\begin{array}{cc}& ={\sum }_{i=1}^s(-1{)}^{r+i-1}{n}_1{\delta }_{n_1,m_i}\langle {\psi }^1,{\xi }^i\rangle ({\psi }_{(-n_2)}^2\cdots {\psi }_{(-n_r)}^{r}1,{\xi }_{(-m_1)}^1\cdots {\xi }_{(-m_{i-1})}^{i-1}{\xi }_{(-m_{i+1})}^{i+1}\cdots {\xi }_{(-m_s)}^{s}1)\end{array}$$

$$\begin{array}{cc}& =(-1{)}^r({\psi }_{(-n_2)}^2\cdots {\psi }_{(-n_r)}^{r}1,{\psi }_{\left(n_1\right)}^1{\xi }_{(-m_1)}^1\cdots {\xi }_{(-m_s)}^{s}1).\end{array}$$

This proves that $({\psi }_{\left(n\right)}u,v)=(-1{)}^{i+1}(u,{\psi }_{(-n)}v)$  , that is

$$\begin{array}{cc}\left(Y\right(\psi ,z)u,v)=(-1{)}^i(u,Y\left(e^{L_1}\right(-z^{-2}{)}^{L_0}\psi ,z^{-1}\left)v\right)& \end{array}$$

(3.2)

for any $\psi \in \mathfrak{h}$  , $\overline{i}\in {\mathbb{Z}}_2$  , $u\in S{F}_{\overline{i}},v\in SF$  and $n\in \mathbb{Z}$  . Now we have the following proposition.

Proposition 3.3. The bilinear form $(\cdot ,\cdot )$  on $SF$  is nondegenerate and invariant.

• Proof. First we show that the bilinear form $(\cdot ,\cdot )$  is nondegenerate. Let $\{g^1,\dots ,g^{2d}\}$  and $\{h^1,\dots ,h^{2d}\}$  are basis of $\mathfrak{h}$  such that $\langle g^i,h^j\rangle ={\delta }_{i,j}$  for $1\le i,j\le 2d$  . Let $u$  (resp. $v$  ) be a monomial of the form $g_{(-k_1)}^{i_1}\cdots g_{(-k_t)}^{i_t}1$  (resp. $h_{(-k_t)}^{i_1}\cdots h_{(-k_t)}^{i_r}1$  ) with $2\le i_j\le 2d$  and $k_j\in {\mathbb{Z}}_{>0}$  . Then noting that $g_{\left(n\right)}^{1}v=0$  and $h_{\left(n\right)}^{1}u=0$  for any $n\in {\mathbb{Z}}_{\ge 0}$  , we have $$(g_{(-n_1)}^1\cdots g_{(-n_r)}^{1}u,h_{(-m_1)}^1\cdots h_{(-m_s)}^{1}v)=\alpha {{\delta }_{r,s}}^r{\prod }_{i=1}{\delta }_{m_i,n_i}(u,v)$$  for any $n_i,m_i\in {\mathbb{Z}}_{>0}$  with $n_1>n_2>\dots >n_r$  , $m_1>m_2>\dots >m_s$  and some $\alpha \in \{\pm 1\}$  .
  This implies that for any vector $w$  , the coefficients of the monomial $g_{(-k_1)}^{i_1}\cdots g_{(-k_t)}^{i_t}1$  in $w$  with $1\le i_j\le 2d$  and $k_j\in {\mathbb{Z}}_{>0}$  is a nonzero multiple of the pairing $(w,h_{(-k_1)}^{i_1}\cdots h_{(-k_t)}^{i_t}1)$  .

  Hence if $w$  is in the radical of $(\cdot ,\cdot )$  then every coefficient in $w$  of all monomials are zero.

  Thus $w=0$  , and this shows that $(\cdot ,\cdot )$  is nondegenerate.

  Since $SF$  is strongly generated by $\mathfrak{h}$  ,  3.2 and Proposition  2.1 show that the bilinear form $(\cdot ,\cdot )$  is invariant.

3.2 A set of generators of the vertex operator algebra $S{F}^{+}$ 

In this section we show that $S{F}^{+}$  is strongly generated by $S{F}_2^{+}\oplus S{F}_3^{+}$  .

We prepare a notation $$B_{m,n}(\psi ,\phi )=\frac{(m-1)!(n-1)!}{(m+n-1)!}{\psi }_{(-m)}{\phi }_{(-n)}1$$  for $\psi ,\phi \in \mathfrak{h}$  and $m,n\in {\mathbb{Z}}_{>0}$  . It is clear that $B_{m,n}(\psi ,\phi )=-B_{n,m}(\phi ,\psi )$  . Then we have the following lemma which will be used frequently.

Lemma 3.4. For any $\psi ,\phi \in \mathfrak{h}$  and $m,n\in {\mathbb{Z}}_{>0}$  , $B_{m,n}(\psi ,\phi )\equiv (-1{)}^{n-1}{B}_{m+n-1,1}(\psi ,\phi )$  modulo the subspace $span\left\{L_{-1}{B}_{m+n-1-i,i}\right(\psi ,\phi \left)\right|1\le i\le m+n-1\}$  .

• Proof. If $n=1$  then there is nothing to prove. Suppose that $n\ge 1$  . Then we see that

  $$\begin{array}{cc}{L}_{-1}{B}_{m,n}(\psi ,\phi )& =\frac{(m-1)!(n-1)!}{(m+n-1)!}{L}_{-1}{\psi }_{(-m)}{\phi }_{(-n)}1\end{array}$$

  $$\begin{array}{cc}& =\frac{m!(n-1)!}{(m+n-1)!}{L}_{-1}{\psi }_{(-m-1)}{\phi }_{(-n)}1+\frac{(m-1)!n!}{(m+n-1)!}{L}_{-1}{\psi }_{(-m)}{\phi }_{(-n-1)}1\end{array}$$

  $$\begin{array}{cc}& =(m+n)\left(B_{m+1,n}\right(\psi ,\phi )+B_{m,n+1}(\psi ,\phi \left)\right).\end{array}$$

  Thus induction on $n$  proves the lemma.

We see that $S{F}_2^{+}\oplus S{F}_3^{+}$  is spanned by $B_{m,n}(\psi ,\phi )$  for $m,n\in {\mathbb{Z}}_{\ge 0}$  with $m+n=2,3$  and $\psi ,\phi \in \mathfrak{h}$  . Set $$U:=span\{a_{(-n_1)}^1\cdots a_{(-n_s)}^{s}1|a^i\in S{F}_2^{+}\oplus S{F}_3^{+},n_i\in {\mathbb{Z}}_{>0}\}.$$  The aim of this section is to prove that $S{F}^{+}=U$  . To show this we first prove the following lemma.

Lemma 3.5. For any $m,n\in {\mathbb{Z}}_{>0}$  and $\psi ,\phi \in \mathfrak{h}$  , $B_{m,n}(\psi ,\phi )\in U$  .

• Proof. Let $\left\{\right(e^i,f^i){\}}_{1\le i\le d}$  be a canonical basis of $\mathfrak{h}$  . It suffices to show Lemma  3.5 for the pairs $(\psi ,\phi )=(e^i,f^j)$  , $(e^i,e^j)$  and $(f^i,f^j)$  with $1\le i,j\le d$  . We first prove that the vectors $B_{m,n}(e^i,f^j)$  and $B_{m,n}(e^i,e^j)$  lie in $U$  for any $m,n\in {\mathbb{Z}}_{>0}$  and $1\le i,j\le d$  . To show this we use induction on $m+n$  . It is clear that the lemma holds if $m+n\le 3$  . Let $m,n\in {\mathbb{Z}}_{>0}$  with $m+n\ge 4$  and assume that $B_{p,q}(e^i,f^j),B_{p,q}(e^i,e^j)\in U$  for any $p,q\in {\mathbb{Z}}_{>0}$  with $p+q<m+n$  and $1\le i,j\le d$  .
  For simplicity, we set ${\psi }^j=e^j$  or $f^j$  . Then by using  3.1 , we have

  $$\begin{array}{cc}{B}_{1,1}(e^i,f^i{)}_{(-1)}{B}_{1,q}(e^i,{\psi }^j)& =(q+2){\delta }_{i,j}{B}_{1,q+2}(e^i,{\psi }^j)+\left(\genfrac{}{}{0ex}{}{q+2}{2}\right)B_{3,q}(e^i,{\psi }^j)\end{array}$$

  (3.3)

  for any $q\in {\mathbb{Z}}_{>0}$  . Thus if $i\ne j$  , then induction hypothesis shows that $$\left(\genfrac{}{}{0ex}{}{m+n-1}{2}\right)B_{3,m+n-3}(e^i,{\psi }^j)=B_{1,1}(e^i,f^i{)}_{(-1)}{B}_{1,m+n-3}(e^i,{\psi }^j)\in U.$$  Hence Lemma  3.4 implies that $B_{m,n}(e^i,{\psi }^j)\in U$  .

  If $i=j$  , by Lemma  3.4 and induction hypothesis, we see that $B_{3,m+n-3}(e^i,{\psi }^j)\equiv B_{1,m+n-1}(e^i,{\psi }^j)$  modulo $U$  . Thus it follows from induction hypothesis and  3.3 that $$\left(\genfrac{}{}{0ex}{}{m+n}{2}\right)B_{1,m+n-1}(e^i,{\psi }^i)\equiv B_{1,1}(e^i,f^i{)}_{(-1)}{B}_{1,m+n-3}(e^i,{\psi }^i)\equiv 0modU.$$  Consequently, Lemma  3.4 proves that $B_{m,n}(e^i,{\psi }^i)\in U$  .

  By exchanging the canonical basis $\left\{\right(e^i,f^i){\}}_{1\le i\le d}$  to $\left\{\right(f^i,-e^i){\}}_{1\le i\le d}$  , we find that $B_{m,n}(f^i,f^j)\in U$  for any $1\le i,j\le d$  .

Now we consider the subspace defined by $${\mathcal{ℒ}}^{r}SF=span\{{\psi }_{(-n_1)}^1\cdots {\psi }_{(-n_s)}^{s}1|{\psi }^i\in \mathfrak{h},n_i\in {\mathbb{Z}}_{>0}\text{and}s\le r\}.$$  for $r\in {\mathbb{Z}}_{>0}$  . Then we have a filtration $\{{\mathcal{ℒ}}^{r}SF{\}}_{r\in {\mathbb{Z}}_{\ge 0}}$  on $SF$  . We set $${\mathcal{ℒ}}^{r}S{F}^{+}={\mathcal{ℒ}}^{r}SF\cap S{F}^{+}$$  for $r\in {\mathbb{Z}}_{\ge 0}$  . It is easy to see that

$$\begin{array}{cc}{\mathcal{ℒ}}^{2r+1}S{F}^{+}=& {\mathcal{ℒ}}^{2r}S{F}^{+},\end{array}$$

$$\begin{array}{cc}{\mathcal{ℒ}}^{r}S{F}^{+}=& {}^{\infty }{\oplus }_{k=0}{\mathcal{ℒ}}^{r}S{F}_k^{+}\text{with}{\mathcal{ℒ}}^{r}S{F}_k^{+}:={\mathcal{ℒ}}^{r}S{F}^{+}\cap S{F}_k^{+}\end{array}$$

for $r\in {\mathbb{Z}}_{\ge 0}$  .

We note that for any $j,r\in {\mathbb{Z}}_{\ge 0}$  and $\psi \in \mathfrak{h}$  ,

$$\begin{array}{cc}{\psi }_{\left(j\right)}{\mathcal{ℒ}}^{r}SF\subset {\mathcal{ℒ}}^{r-1}SF.& \end{array}$$

(3.4)

This implies that

$$\begin{array}{cc}{a}_{\left(j\right)}{\mathcal{ℒ}}^{r}SF\subset {\mathcal{ℒ}}^{r}SF\text{for any}j,r\in {\mathbb{Z}}_{\ge 0}\text{and}a\in {\mathcal{ℒ}}^{2}S{F}^{+}.& \end{array}$$

(3.5)

By using  3.5 , we can show the following lemma.

Lemma 3.6. Let $r\in {\mathbb{Z}}_{\ge 0}$  and suppose that ${\mathcal{ℒ}}^{r}S{F}^{+}\subset U$  . Then for any $m\in {\mathbb{Z}}_{>0}$  , $r\in {\mathbb{Z}}_{\ge 0}$  and $a\in {\mathcal{ℒ}}^{2}S{F}^{+}$  , $a_{(-m)}{\mathcal{ℒ}}^{r}S{F}^{+}\subset U$  .

• Proof. We set $$W_k=span\left\{a_{(-m)}u\right|a\in {\mathcal{ℒ}}^{2}S{F}_s^{+}\text{with}s\le k,u\in {\mathcal{ℒ}}^{r}S{F}^{+},m\in {\mathbb{Z}}_{>0}\}$$  for $k\ge 2$  . We shall show that $W_k\subset U$  for any $k\ge 2$  by using induction on $k$  . Since ${\mathcal{ℒ}}^{r}S{F}^{+}\subset U$  by the assumption, we see that $W_3\subset U$  . Let $k>3$  and assume that $W_s\subset U$  for any $s<k$  . We notice from the proof of Lemma  3.5 that for any $a\in {\mathcal{ℒ}}^{2}S{F}_k^{+}$  with $k\ge 4$  there exist $u^i\in S{F}_2^{+}$  , $v^i\in {\mathcal{ℒ}}^{2}S{F}_{k-2}^{+}$  and $w\in {\mathcal{ℒ}}^{2}S{F}_{k-1}^{+}$  such that

  $$\begin{array}{cc}a={\sum }_i{u}_{(-1)}^i{v}^i+L_{-1}w.& \end{array}$$

  The associativity formula (see [MN] ) leads that for any $m\in {\mathbb{Z}}_{>0}$  and $u\in {\mathcal{ℒ}}^{r}S{F}^{+}$  ,

  $$\begin{array}{cc}{a}_{(-m)}u=m{w}_{(-m-1)}u+{\sum }_i{\sum }_{j=0}^{\infty }(u_{(-1-j)}^i{v}_{(-m+j)}^{i}u+v_{(-m-1-j)}^i{u}_{\left(j\right)}^{i}u).& \end{array}$$

  Thus by  3.5 and induction hypothesis, one sees that the vectors of the form $w_{(-m-1)}u$  , $v_{(-m+j)}^{i}u$  and $v_{(-m-1-j)}^i{u}_{\left(j\right)}^{i}u$  are in $U$  for any $i$  and $j\in {\mathbb{Z}}_{\ge 0}$  . Since $u^i\in S{F}_2^{+}$  we get $a_{(-m)}u\in U$  . This shows $W_k\subset U$  .

Now we can show the following proposition.

Proposition 3.7. The vertex operator algebra $S{F}^{+}$  is strongly generated by $S{F}_2^{+}\oplus S{F}_3^{+}$  .

• Proof. It is enough to show that for any $r\in {\mathbb{Z}}_{\ge 0}$  , ${\mathcal{ℒ}}^{r}S{F}^{+}\subset U$  . We use induction on $r$  .
  We see that ${\mathcal{ℒ}}^{0}S{F}^{+}=\mathbb{C}1\subset U$  and ${\mathcal{ℒ}}^{2}S{F}^{+}\subset U$  by Lemmas  3.5 . Let $r\ge 2$  and assume that ${\mathcal{ℒ}}^{2r-2}S{F}^{+}\subset U$  . By  3.1 and  3.4 , we see that

  $$\begin{array}{cc}{\psi }_{(-n_1)}^1\cdots {\psi }_{(-n_{2r})}^{2r}1\equiv ({\psi }_{(-n_1)}^1{\psi }_{(-n_2)}^{2}1{)}_{(-1)}{\psi }_{(-n_3)}^3\cdots {\psi }_{(-n_{2r})}^{2r}1& \end{array}$$

  (3.6)

  modulo ${\mathcal{ℒ}}^{2r-2}S{F}^{+}$  for any $r\in {\mathbb{Z}}_{\ge 0}$  , ${\psi }^i\in \mathfrak{h}$  and $n_i\in {\mathbb{Z}}_{>0}$  . By the induction hypothesis, we see that ${\psi }_{(-n_3)}^3\cdots {\psi }_{(-n_{2r})}^{2r}1\in {\mathcal{ℒ}}^{2r-2}S{F}^{+}\subset U$  . Hence by Lemma  3.6 and induction hypothesis, we see that the right hand side in  3.6 is in $U$  . Thus so is the left hand side in  3.6 . This implies that ${\mathcal{ℒ}}^{2r}S{F}^{+}\subset U$  .

We set

$$\begin{array}{cc}{e}^{i,j}& :=B_{1,1}(e^i,e^j)=e_{(-1)}^i{e}^j,\end{array}$$

$$\begin{array}{cc}{h}^{i,j}& :=B_{1,1}(e^i,f^j)=e_{(-1)}^i{f}^j,\end{array}$$

$$\begin{array}{cc}{f}^{i,j}& :=B_{1,1}(f^i,f^j)=f_{(-1)}^i{f}^j,\end{array}$$

$$\begin{array}{cc}{E}^{i,j}& :=B_{2,1}(e^i,e^j)+B_{2,1}(e^j,e^i)=e_{(-2)}^i{e}^j,\end{array}$$

$$\begin{array}{cc}{H}^{i,j}& :=B_{2,1}(e^i,f^j)+B_{2,1}(f^j,e^i)=\frac{1}{2}(e_{(-2)}^i{f}^j+f_{(-2)}^j{e}^i),\end{array}$$

$$\begin{array}{cc}{F}^{i,j}& :=B_{2,1}(f^i,f^j)+B_{2,1}(f^j,f^i)=f_{(-2)}^i{f}^j\end{array}$$

for any $1\le i,j\le d$  . We note that $e^{i,j},h^{i,j},f^{i,j}$  are quasi-primary and $E^{i,j},H^{i,j},F^{i,j}$  are primary. Since $L_{-1}{\psi }_{(-1)}\phi ={\psi }_{(-2)}\phi -{\phi }_{(-2)}\psi$  for $\psi ,\phi \in \mathfrak{h}$  , we see that

$$\begin{array}{cc}S{F}_2^{+}& {=}^d{\oplus }_{i,j=1}\mathbb{C}{h}^{i,j}\oplus {\oplus }_{1\le i<j\le d}(\mathbb{C}{e}^{i,j}\oplus \mathbb{C}{f}^{i,j}),\end{array}$$

$$\begin{array}{cc}S{F}_3^{+}& {=}^d{\oplus }_{i,j=1}\mathbb{C}{H}^{i,j}\oplus {\oplus }_{1\le i\le j\le d}(\mathbb{C}{E}^{i,j}\oplus \mathbb{C}{F}^{i,j})\oplus L_{-1}S{F}_2^{+}.\end{array}$$

Thus we have the following corollary.

Corollary 3.8. Let $\left\{\right(e^i,f^i){\}}_{1\le i\le d}$  be a canonical basis. Then $S{F}^{+}$  is strongly generated by the vectors $e^{i,j}$  , $h^{i,j}$  , $f^{i,j}$  , $E^{i,j}$  , $H^{i,j}$  and $F^{i,j}$  with $1\le i,j\le d$  .

In the case $d=1$  , we see that $S{F}^{+}$  is strongly generated by $h^{1,1}=\omega$  , $E:=E^{1,1}$  , $H:=H^{1,1}$  and $F:=F^{1,1}$  . It is proved in [Kau] that the OPEs among $\omega ,E,H,F$  are coincides with that of the triplet algebra with $c=-2$  . Hence the current algebra of $S{F}^{+}$  coincides with the $c=-2$  -triplet algebra.

3.3 $C_2$  -cofiniteness of the vertex operator algebra $S{F}^{+}$ 

In this section we shall show that the vertex operator algebra $S{F}^{+}$  is $C_2$  -cofinite.

We first consider the case $d=1$  . We denote by $\mathcal{T}$  the vertex operator superalgebra $SF$  with $d=1$  , and set ${\mathcal{T}}^{\pm }=S{F}^{\pm }$  respectively. We give a proof of the following theorem.

Theorem 3.9. The vertex operator algebra ${\mathcal{T}}^{+}$  is $C_2$  -cofinite.

The theorem follows from Proposition  3.11 below.

Remark 3.10. However it is not stated in [GaKa] that the vacuum representation of $c=-2$  triplet algebra is $C_2$  -cofinite, we can show the fact by means of the explicit forms of the null vectors. We here give a direct proof of $C_2$  -cofiniteness of ${\mathcal{T}}^{+}$  .

We now start proving the following proposition.

Proposition 3.11. The dimension of ${\mathcal{T}}^{+}/C_2\left({\mathcal{T}}^{+}\right)$  is less than or equal to $11$  .

Let $\left\{\right(e,f\left)\right\}$  be a canonical basis of $\mathfrak{h}$  . By Corollary  3.8 , ${\mathcal{T}}^{+}$  is strongly generated by $$\omega =e_{(-1)}f,E:=e_{(-2)}e,H:=\frac{1}{2}(e_{(-2)}f+f_{(-2)}e)\text{and}F:=f_{(-2)}f.$$  Thus ${\mathcal{T}}^{+}/C_2\left({\mathcal{T}}^{+}\right)$  is generated by $\overline{w},\overline{E},\overline{H}$  and $\overline{F}$  by Proposition  2.2 .

For simplicity, we reset $$A_{m,n}(\psi ,\phi )=(m+n-1)!B_{m,n}(\psi ,\phi )=(m-1)!(n-1)!{\psi }_{(-m)}{\phi }_{(-n)}1$$  for $\psi ,\phi \in \mathfrak{h}$  and $m,n\in {\mathbb{Z}}_{>0}$  . Then by the proof of Lemma  3.4 , we have

$$\begin{array}{cc}{A}_{m,n}(\psi ,\phi )\equiv (-1{)}^{n-1}{A}_{m+n-1,1}(\psi ,\phi )mod{L}_{-1}{\mathcal{T}}^{+}.& \end{array}$$

Since $L_{-1}S{F}^{+}\subset C_2\left(S{F}^{+}\right)$  , we see that

$$\begin{array}{cc}\overline{A_{m,n}(\psi ,\phi )}=(-1{)}^{n-1}\overline{A_{m+n-1,1}(\psi ,\phi )}& \end{array}$$

(3.7)

for any $\psi ,\phi \in \mathfrak{h}$  and $m,n\in {\mathbb{Z}}_{>0}$  . We set $${\Gamma }_m(\psi ,\phi )=\overline{A_{m-1,1}(\psi ,\phi )}\in {\mathcal{T}}^{+}/C_2\left({\mathcal{T}}^{+}\right)$$  for any $\psi ,\phi \in \mathfrak{h}$  and $m\ge 2$  . We note that $${\Gamma }_m(\psi ,\phi )=\overline{A_{m-1,1}(\psi ,\phi )}=-\overline{A_{1,m-1}(\phi ,\psi )}=(-1{)}^{m-1}{\Gamma }_m(\phi ,\psi )$$  for any $\psi ,\phi \in \mathfrak{h}$  and $m\ge 2$  . In particular, ${\Gamma }_{2m}(\psi ,\psi )=0$  for any positive integer $m\in {\mathbb{Z}}_{>0}$  .

To find relations in ${\mathcal{T}}^{+}/C_2\left({\mathcal{T}}^{+}\right)$  , we use the identity

$$\begin{array}{cc}{\Gamma }_m(\psi ,\phi )\cdot {\Gamma }_k(\xi ,\eta )& =(m-2)!(k-2)!\overline{{\psi }_{(-m+1)}{\phi }_{(-1)}{\xi }_{(-k+1)}\eta }\end{array}$$

(3.8)

$$\begin{array}{cc}& +\frac{\langle \phi ,\xi \rangle }{k}{\Gamma }_{m+k}(\psi ,\eta )-(-1{)}^k\frac{\langle \phi ,\eta \rangle }{2}{\Gamma }_{m+k}(\psi ,\xi )\end{array}$$

(3.9)

$$\begin{array}{cc}& +(-1{)}^{m+k}\frac{\langle \psi ,\eta \rangle }{m}{\Gamma }_{m+k}(\phi ,\xi )-(-1{)}^m\frac{\langle \psi ,\xi \rangle }{m+k-2}{\Gamma }_{m+k}(\phi ,\eta )\end{array}$$

(3.10)

for $\psi ,\phi ,\xi ,\eta \in \mathfrak{h}$  and $m,k\ge 2$  , which can be proved by a direct calculation and using  3.7 .

First we have

$$\begin{array}{cc}{\Gamma }_3(e,e)\cdot {\Gamma }_3(e,e)={\Gamma }_3(f,f)\cdot {\Gamma }_3(f,f)=0.& \end{array}$$

(3.11)

Next  3.8 gives the relation

$$\begin{array}{cc}{\Gamma }_3(f,e)\cdot {\Gamma }_4(e,e)=-\frac{2}{15}{\Gamma }_7(e,e).& \end{array}$$

Since ${\Gamma }_4(e,e)=0$  , we see that ${\Gamma }_7(e,e)=0$  . Therefore,

$$\begin{array}{cc}{\Gamma }_2(f,e{)}^2\cdot {\Gamma }_3(e,e)=\frac{7}{12}{\Gamma }_7(e,e)=0.& \end{array}$$

(3.12)

As well, we get

$$\begin{array}{cc}{\Gamma }_2(e,f{)}^2\cdot {\Gamma }_3(f,f)=\frac{7}{12}{\Gamma }_7(f,f)=0.& \end{array}$$

(3.13)

If we take a canonical basis $\left\{\right(\frac{1}{\sqrt{2}}(e+f),\frac{1}{\sqrt{2}}(e-f)\left)\right\}$  , then we have $${\Gamma }_2(e,f{)}^2\cdot {\Gamma }_3\left(\frac{1}{\sqrt{2}}(e+f),\frac{1}{\sqrt{2}}(e+f)\right)=0$$  because ${\Gamma }_2(e,f)=-{\Gamma }_2\left(\frac{1}{\sqrt{2}}(e+f),\frac{1}{\sqrt{2}}(e-f)\right)$  . Since $${\Gamma }_3\left(\frac{1}{\sqrt{2}}(e+f),\frac{1}{\sqrt{2}}(e+f)\right)=\frac{1}{2}\left({\Gamma }_3(e,e)+2{\Gamma }_3(e,f)+{\Gamma }_3(f,f)\right),$$  one has

$$\begin{array}{cc}{\Gamma }_2(e,f{)}^2\cdot {\Gamma }_3(e,f)=0.& \end{array}$$

(3.14)

Next we use the identities

$$\begin{array}{cc}{\Gamma }_m(e,e)\cdot {\Gamma }_k(f,f)& =(m-2)!(k-2)!\overline{e_{(-m+1)}{e}_{(-1)}{f}_{(-k+1)}f}\end{array}$$

$$\begin{array}{cc}& +\left(-\frac{1}{k}+\frac{(-1{)}^k}{2}+\frac{(-1{)}^m}{m+k-2}-\frac{(-1{)}^{m+k}}{m}\right){\Gamma }_{m+k}(e,f)\end{array}$$

and

$$\begin{array}{cc}& {\Gamma }_m(e,f)\cdot {\Gamma }_k(f,e)\end{array}$$

$$\begin{array}{cc}& =(m-2)!(k-2)!\overline{e_{(-m+1)}{f}_{(-1)}{f}_{(-k+1)}e}-\frac{(-1{)}^k}{2}{\Gamma }_{m+k}(e,f)+\frac{(-1{)}^m}{m+k-2}{\Gamma }_{m+k}(f,e)\end{array}$$

$$\begin{array}{cc}& =-(m-2)!(k-2)!\overline{e_{(-m+1)}{e}_{(-1)}{f}_{(-k+1)}f}-\left(\frac{(-1{)}^k}{2}+\frac{(-1{)}^k}{m+k-2}\right){\Gamma }_{m+k}(e,f)\end{array}$$

for $m,k\ge 2$  , where we note ${\Gamma }_{m+k}(f,e)=(-1{)}^{m+k-1}{\Gamma }_{m+k}(e,f)$  .

Since $(-1{)}^{k-1}{\Gamma }_k(f,f)={\Gamma }_k(f,f)$  for $k\ge 2$  , we get the following relation:

$$\begin{array}{c}\begin{array}{cccc}& {\Gamma }_m(e,f)\cdot {\Gamma }_k(e,f)& & =-{\Gamma }_m(e,e)\cdot {\Gamma }_k(f,f)+\left(\frac{(-1{)}^m}{m}+\frac{(-1{)}^k}{k}+\frac{1-(-1{)}^{m+k}}{m+k-2}\right){\Gamma }_{m+k}(e,f).\end{array}\end{array}$$

(3.15)

On the other hand  3.8 shows that

$$\begin{array}{cc}{\Gamma }_m(e,f)\cdot {\Gamma }_k(e,f)=\left(\frac{1}{m}+\frac{1}{k}\right){\Gamma }_{m+k}(e,f)& \end{array}$$

(3.16)

for $k,m\ge 2$  . One now has

$$\begin{array}{cc}& {\Gamma }_3(e,f{)}^2=-{\Gamma }_3(e,e)\cdot {\Gamma }_3(f,f)-\frac{2}{3}{\Gamma }_6(e,f),{\Gamma }_2(e,f{)}^3=\frac{3}{4}{\Gamma }_6(e,f)\end{array}$$

by  3.15 . It also follows from  3.16 that

$$\begin{array}{cc}{\Gamma }_3(e,f{)}^2=\frac{2}{3}{\Gamma }_6(e,f)=\frac{8}{9}{\Gamma }_2(e,f{)}^3.& \end{array}$$

(3.17)

Therefore, we have

$$\begin{array}{cc}{\Gamma }_3(e,e)\cdot {\Gamma }_3(f,f)=-\frac{16}{9}{\Gamma }_2(e,f{)}^3.& \end{array}$$

(3.18)

We here recall that

$$\begin{array}{cc}\overline{\omega }& =\overline{B_{1,1}(e,f)}=\Gamma (e,f{)}_2,\end{array}$$

$$\begin{array}{cc}\overline{E}& =(\overline{B_{2,1}(e,e)}+\overline{B_{2,1}(e,e)})={\Gamma }_3(e,e),\end{array}$$

$$\begin{array}{cc}\overline{H}& =(\overline{B_{2,1}(e,f)}+\overline{B_{2,1}(f,e)})={\Gamma }_3(e,f),\end{array}$$

$$\begin{array}{cc}\overline{F}& =(\overline{B_{2,1}(e,f)}+\overline{B_{2,1}(f,e)})={\Gamma }_3(f,f).\end{array}$$

Then  3.11 – 3.14 ,  3.17 and  3.18 , we have the following relations:

$$\begin{array}{cc}& \overline{E}\cdot \overline{E}=\overline{F}\cdot \overline{F}=\overline{H}\cdot \overline{E}=\overline{H}\cdot \overline{F}=0,\end{array}$$

(3.19)

$$\begin{array}{cc}& 2{\overline{H}}^2=-\overline{E}\cdot \overline{F}=\frac{16}{9}{\overline{\omega }}^3,\end{array}$$

(3.20)

$$\begin{array}{cc}& {\overline{w}}^2\cdot \overline{E}={\overline{w}}^2\cdot \overline{H}={\overline{w}}^2\cdot \overline{F}=0.\end{array}$$

(3.21)

Now we can show the Proposition  3.11 .

Proof of Proposition  3.11 . We recall that ${\mathcal{T}}^{+}/C_2\left({\mathcal{T}}^{+}\right)$  is generated by $\overline{\omega },\overline{E},\overline{H}$  and $\overline{F}$  as a commutative algebra. Note that  3.20 and  3.21 give ${\overline{w}}^5=0$  . Hence by  3.19 – 3.21 , we see that ${\mathcal{T}}^{+}/C_2\left({\mathcal{T}}^{+}\right)$  is spanned by $11$  vectors $${\overline{\omega }}^i\text{for}i=0,1,2,3,4,\overline{E},\overline{\omega }\cdot \overline{E},\overline{H},\overline{\omega }\cdot \overline{H},\overline{F},\overline{\omega }\cdot \overline{F}.$$  Hence $dim{\mathcal{T}}^{+}/C_2\left({\mathcal{T}}^{+}\right)\le 11$  . $\square$  By using Theorem  3.9 with Proposition  2.7 we have

Theorem 3.12. The vertex operator algebra $S{F}^{+}$  is $C_2$  -cofinite.

• Proof. We note that $\mathfrak{h}$  is decomposed into a direct sum $\mathfrak{h}={\oplus }_{i=1}^d(\mathbb{C}{e}^i\oplus \mathbb{C}{f}^i)$  of mutually orthogonal subspaces for a canonical basis $\left\{\right(e^i,f^i){\}}_{1\le i\le d}$  of $\mathfrak{h}$  . This decomposition induces an embedding of a vertex operator algebra ${\otimes }_{i=1}^d{\mathcal{T}}^{+}$  in $S{F}^{+}$  by identifying the vertex operator algebra $S{F}_{\mathbb{C}{e}^i\oplus \mathbb{C}{f}^i}^{+}$  with ${\mathcal{T}}^{+}$  . Since then the Virasoro vector of ${\otimes }_{i=1}^d{\mathcal{T}}^{+}$  is the same of $S{F}^{+}$  , we find that $S{F}^{+}$  contains a full vertex operator subalgebra isomorphic to ${\otimes }_{i=1}^d{\mathcal{T}}^{+}$  . On the other hand, it is known that a tensor product of $C_2$  -cofinite vertex operator algebras is also $C_2$  -cofinite. Therefore, ${\otimes }_{i=1}^d{\mathcal{T}}^{+}$  is $C_2$  -cofinite. Then Proposition  2.7 shows that $S{F}^{+}$  is $C_2$  -cofinite.

4 Classification of irreducible $S{F}^{+}$  -modules

In this section we classify irreducible $S{F}^{+}$  -modules. Firstly we construct an irreducible $\theta$  -twisted $SF$  -module. Secondly we show that any irreducible $S{F}^{+}$  -modules appear in the irreducible $SF$  -module $SF$  or in the irreducible $\theta$  -twisted $SF$  -module by using Zhu's algebra.

4.1 Irreducible $S{F}^{+}$  -modules

We have shown that $S{F}^{\pm }$  are irreducible $S{F}^{+}$  -modules. To find the other irreducible $S{F}^{+}$  -modules we construct a $\theta$  -twisted $SF$  -module. The construction can be done as in the case of the free bosonic vertex operator algebra. Set $${\hat{L}}^{\theta }(\mathfrak{h}):=\mathfrak{h}\otimes t^{\frac{1}{2}}\mathbb{C}\left[t^{\pm 1}\right]\oplus \mathbb{C}K$$  and make it a superspace such that the even part is $\mathbb{C}K$  and the odd part is $\mathfrak{h}\otimes t^{\frac{1}{2}}\mathbb{C}\left[t^{\pm 1}\right]$  .

Then ${\hat{L}}^{\theta }(\mathfrak{h})$  has a Lie superalgebra structure by $$\{\psi \otimes t^m,\phi \otimes t^n\}=m{\delta }_{m+n,0}\langle \psi ,\phi \rangle K,[K,{\hat{L}}^{\theta }(\mathfrak{h}\left)\right]=0$$  for $\psi ,\phi \in \mathfrak{h}$  and $m,n\in \frac{1}{2}+\mathbb{Z}$  . Now we consider the associative algebra $A^{\theta }$  which is the quotient algebra of the universal enveloping superalgebra $\mathcal{U}\left({\hat{L}}^{\theta }\right(\mathfrak{h}\left)\right)$  by the ideal generated by $K-1$  . Canonically, the algebra $A^{\theta }$  has a ${\mathbb{Z}}_2$  -grading $A^{\theta }=A_{\overline{0}}^{\theta }\oplus A_{\overline{1}}^{\theta }$  of algebra. Thus $A^{\theta }$  has naturally an involution which is denoted by $\theta$  .

Let ${\mathcal{A}}_{+}^{\theta }$  be the left ideal of $A^{\theta }$  generated by the vectors $\psi \otimes t^m$  for $\psi \in \mathfrak{h}$  and $m\in \frac{1}{2}+{\mathbb{Z}}_{\ge 0}$  , and set $SF\left(\theta \right)={\mathcal{A}}^{\theta }/{\mathcal{A}}_{+}^{\theta }$  . We set $1_{\theta }=1+{\mathcal{A}}_{+}^{\theta }\in SF\left(\theta \right)$  and denote by $\psi \left(m\right)$  the action of $\psi \otimes t^m$  on $SF\left(\theta \right)$  for $\psi \in \mathfrak{h}$  and $m\in \mathbb{Z}$  . Since the involution $\theta$  preserves ${\mathcal{A}}_{+}^{\theta }$  , the ${\mathbb{Z}}_2$  -grading of ${\mathcal{A}}^{\theta }$  induces a decomposition $SF\left(\theta \right)=SF(\theta {)}^{+}\oplus SF(\theta {)}^{-}$  , where $SF(\theta {)}^{\pm }$  are $\pm 1$  -eigenspaces for $\theta$  of $SF\left(\theta \right)$  . We note that $SF\left(\theta \right)\sim =\Lambda (\mathfrak{h}\otimes t^{-\frac{1}{2}}\mathbb{C}[t^{-1}\left]\right)$  as vector spaces.

Under the identification we see that $SF(\theta {)}^{+}$  and $SF(\theta {)}^{-}$  are isomorphic to the subspaces of $\Lambda (\mathfrak{h}\otimes t^{-\frac{1}{2}}\mathbb{C}[t^{-1}\left]\right)$  spanned by monomials of even and odd length respectively.

We can endowed $SF\left(\theta \right)$  with a $\theta$  -twisted $SF$  -module structure following [FLM] . First we set $$W(\psi ,z)={\sum }_{i\in \frac{1}{2}+\mathbb{Z}}\psi \left(i\right)z^{-i-1}$$  for any $\psi \in \mathfrak{h}$  and define $$W(v,z){=}_{{}^{\circ }}^{{}_{\circ }}{\partial }^{(n_1-1)}W({\psi }^1,z)\cdots {\partial }^{(n_r-1)}W({\psi }^r,z{)}_{{}^{\circ }}^{{}_{\circ }}$$  for $v={\psi }_{(-n_1)}^1\cdots {\psi }_{(-n_r)}^{r}1$  for ${\psi }^i\in \mathfrak{h}$  and $n_i\in {\mathbb{Z}}_{>0}$  . This defines a well defined linear map $W(\cdot ,z)$  form $SF$  to $Hom\left(SF\right(\theta ),SF(\theta \left)\right(\left(z^{\frac{1}{2}}\right)\left)\right)$  . We then take the coefficients $c_{m,n}\in \mathbb{C}(m,n\in {\mathbb{Z}}_{\ge 0})$  subject to the formal expansion $${\sum }_{m,n\ge 0}{c}_{mn}{x}^m{y}^n=-log\left(\frac{(1+x{)}^{\frac{1}{2}}+(1+y{)}^{\frac{1}{2}}}{2}\right),$$  and consider the operator

$$\begin{array}{cc}\Delta \left(z\right)& ={\sum }_{m,n\ge 0}{\sum }_{i=1}^d{c}_{mn}{e}_{\left(m\right)}^i{f}_{\left(n\right)}^i{z}^{-m-n}-{\sum }_{m,n\ge 0}{\sum }_{i=1}^d{c}_{mn}{f}_{\left(m\right)}^i{e}_{\left(n\right)}^i{z}^{-m-n}\end{array}$$

$$\begin{array}{cc}& =2{\sum }_{m,n\ge 0}{\sum }_{i=1}^d{c}_{mn}{e}_{\left(n\right)}^i{f}_{\left(m\right)}^i{z}^{-m-n}\end{array}$$

on $SF$  , where $\left\{\right(e^i,f^i){\}}_{1\le i\le d}$  is a canonical basis of $\mathfrak{h}$  . The last equality holds because $c_{m,n}=c_{n,m}$  for any $m,n\in {\mathbb{Z}}_{\ge 0}$  . By using the operator the vertex operator associated to $v={\psi }_{(-n_1)}^1\cdots {\psi }_{(-n_r)}^{r}1$  is given by $$Y(v,z)=W(e^{\Delta \left(z\right)}v,z).$$  Then the pair $\left(SF\right(\theta ),Y(\cdot ,z\left)\right)$  becomes a $\theta$  -twisted $SF$  -module. Since $\Omega \left(SF\right(\theta \left)\right)=\mathbb{C}{1}_{\theta }$  , $SF\left(\theta \right)$  is an irreducible $SF$  -module. We see that $S{F}^{\pm }$  become $S{F}^{+}$  -modules. By applying [DLi,Theorem5.5] to a vertex operator superalgebra, we have

Proposition 4.1. The $S{F}^{+}$  -modules $SF(\theta {)}^{\pm }$  are irreducible as $S{F}^{+}$  -modules.

We write ${\psi }_{\left(m\right)}$  for $({\psi }_{(-1)}1{)}_{\left(m\right)}$  for any $\psi \in \mathfrak{h}$  and $m\in \frac{1}{2}+\mathbb{Z}$  . Direct calculations show that

$$\begin{array}{cc}Y(\psi ,z)& =W(\psi ,z),\end{array}$$

$$\begin{array}{cc}Y({\psi }_{(-1)}\phi ,z)& =W({\psi }_{(-1)}\phi ,z)+\frac{\langle \psi ,\phi \rangle }{8}id\end{array}$$

for $\psi ,\phi \in \mathfrak{h}$  . Since $[L_m,{\psi }_{\left(n\right)}]=-m{\psi }_{(m+n)}$  for $m\in \mathbb{Z}$  and $n\in \frac{1}{2}+\mathbb{Z}$  , we see that

$$\begin{array}{cc}{L}_0{1}_{\theta }& =-\frac{d}{8}{1}_{\theta },\end{array}$$

$$\begin{array}{cc}{L}_0{\psi }_{(-n_1)}^1\cdots {\psi }_{(-n_r)}^r{1}_{\theta }& =\left(-\frac{d}{8}+\sum n_i\right){\psi }_{(-n_1)}^1\cdots {\psi }_{(-n_r)}^r{1}_{\theta }\end{array}$$

for any ${\psi }^i\in \mathfrak{h}$  and $n_i\in \frac{1}{2}+{\mathbb{Z}}_{\ge 0}$  . Therefore we find that $$SF\left(\theta \right){=}^{\infty }{\oplus }_{i=0}SF(\theta {)}_{-\frac{d}{8}+\frac{i}{2}}.$$  In fact we have $$SF\left(\theta {)}^{+}{=}^{\infty }{\oplus }_{i=0}SF\right(\theta {)}_{-\frac{d}{8}+i},SF\left(\theta {)}^{-}{=}^{\infty }{\oplus }_{i=0}SF\right(\theta {)}_{\frac{-d+4}{8}+i}.$$  We here state how does $o\left(a\right)=a_{\left(1\right)}$  act on $\Omega \left(M\right)$  for $a\in S{F}_2^{+}$  and the known irreducible $S{F}^{+}$  -modules $M$  . We fix a canonical basis $\left\{\right(e^i,f^i){\}}_{1\le i\le d}$  . Then $S{F}_2^{+}$  is spanned by the vectors $h^{i,j}$  , $e^{i,j}$  and $f^{i,j}$  for $1\le i,j\le d$  . It is easy to see that $o\left(h^{i,j}\right)=o\left(e^{i,j}\right)=o\left(f^{i,j}\right)=0$  on $\Omega \left(S{F}^{+}\right)=\mathbb{C}1$  and that $o\left(h^{i,j}\right)=-\frac{1}{8}{\delta }_{i,j}id$  and $o\left(e^{i,j}\right)=o\left(f^{i,j}\right)=0$  on $\Omega \left(SF\right(\theta {)}^{+})=\mathbb{C}{1}_{\theta }$  . The spaces $\Omega \left(S{F}^{-}\right)$  and $\Omega \left(SF\right(\theta {)}^{-})$  have basis $\{e^i,f^i\}$  and $\{e_{(-\frac{1}{2})}^i{1}_{\theta },f_{(-\frac{1}{2})}^i{1}_{\theta }\}$  respectively. We set $x_1^i=e^i$  and $y_1^i=f^i$  and $x_{\frac{3}{8}}^i=e_{(-\frac{1}{2})}^i{1}_{\theta }$  and $y_{\frac{3}{8}}^i=f_{(-\frac{1}{2})}^i{1}_{\theta }$  for $1\le i\le d$  . Then we can calculate that

$$\begin{array}{c}\begin{array}{cccccccc}o\left(h^{i,i}\right)x_h^k& =h{\delta }_{i,k}{x}_h^i,o\left(h^{i,i}\right)y_h^k=h{\delta }_{i,k}{y}_h^i,& o\left(h^{i,j}\right)x_h^k& ={\alpha }_h{\delta }_{j,k}{x}_h^i,o\left(h^{i,j}\right)y_h^k=-{\alpha }_h{\delta }_{i,k}{y}_h^j,& o\left(e^{i,j}\right)x_h^k& =0,o\left(e^{i,j}\right)y_h^k=-{\alpha }_h({\delta }_{j,k}{x}_h^i+{\delta }_{i,k}{x}_h^j),& o\left(f^{i,j}\right)x_h^k& ={\alpha }_h({\delta }_{j,k}{y}_h^i+{\delta }_{i,k}{x}_h^j),o\left(h^{i,j}\right)y_h^k=0\end{array}\end{array}$$

(4.1)

for $h=1,\frac{3}{8}$  and $1\le i\ne j\le d$  , where we set ${\alpha }_h=1$  if $h=1$  and $\frac{1}{2}$  if $h=\frac{3}{8}$  . As we will show later, Zhu's algebra $A\left(S{F}^{+}\right)$  is generated by the images of vectors of weight $2$  when $d\ge 2$  (see Proposition  4.9 ). Thus these actions in  4.1 characterize the known irreducible $A\left(S{F}^{+}\right)$  -modules in the case $d\ge 2$  .

4.2 Main Theorem

In this section we state the main theorem, and describe some products of vectors in Zhu's algebra $A\left(S{F}^{+}\right)$  .

The main theorem in the paper is

Theorem 4.2. Any irreducible $S{F}^{+}$  -module is isomorphic to one of $S{F}^{\pm }$  and $SF(\theta {)}^{\pm }$  .

By Theorem  2.4 , we only have to classify the irreducible $A\left(S{F}^{+}\right)$  -modules.

The classification of Zhu's algebra $A\left(S{F}^{+}\right)$  will be given in Section  4.3 and Section  4.4 , where we treat the cases $d=1$  and $d\ge 2$  respectively.

Before considering the structure of $A\left(S{F}^{+}\right)$  in the two cases, we shall prepare notations and give some identities in $A\left(S{F}^{+}\right)$  . As in the proof of Lemma  3.4 , for $\psi ,\phi \in \mathfrak{h}$  and $m,n\in {\mathbb{Z}}_{>0}$  ,

$$\begin{array}{cc}(m+n)\left(B_{m+1,n}(\psi ,\phi )+B_{m,n+1}(\psi ,\phi )\right)=L_{-1}{B}_{m,n}(\psi ,\phi ).& \end{array}$$

Since $\left[L_{-1}a\right]=-\left[L_{0}a\right]$  in $A\left(S{F}^{+}\right)$  for any $a\in S{F}^{+}$  , we see that

$$\begin{array}{cc}\left[B_{m+1,n}\right(\psi ,\phi \left)\right]+\left[B_{m,n+1}\right(\psi ,\phi \left)\right]=-\left[B_{m,n}\right(\psi ,\phi \left)\right].& \end{array}$$

(4.2)

We set $${\Theta }_m(\psi ,\phi ):=\left[B_{m-1,1}\right(\psi ,\phi \left)\right]=\frac{1}{m-1}\left[{\psi }_{(-m+1)}\phi \right]\in A\left(S{F}^{+}\right)$$  for $\psi ,\phi \in \mathfrak{h}$  and $m\ge 2$  . Then we have the following lemma.

Lemma 4.3. For any $\psi ,\phi \in \mathfrak{h}$  and $m,n\in {\mathbb{Z}}_{>0}$  , $$\left[B_{m,n}\right(\psi ,\phi \left)\right]=(-1{)}^{n-1}{\sum }_{j=0}^{n-1}(\genfrac{}{}{0ex}{}{n-1}{j}\left){\Theta }_{m+n-j}\right(\psi ,\phi ).$$  In particular, $${\Theta }_m(\phi ,\psi )=(-1{)}^{m-1}{\sum }_{i=0}^{m-2}(\genfrac{}{}{0ex}{}{m-2}{i}\left){\Theta }_{m-i}\right(\psi ,\phi )$$  for any $\psi ,\phi \in \mathfrak{h}$  and integer $m\ge 2$ 

• Proof. We use induction on $p=m+n$  and  4.2 . The case $p=2$  is clear. Let $p\ge 3$  and suppose that the lemma is valid when $m+n<p$  . We prove that the lemma holds for $m=p-i$  and $n=i$  for $1\le i\le p-1$  by using induction on $i$  . By definition, $\left[B_{p-1,1}\right(\psi ,\phi \left)\right]=\Theta (\psi ,\phi {)}_p$  . This shows the lemma for $m=p-1,n=1$  . Let $i\ge 1$  . By  4.2 , $\left[B_{p-i-1,i+1}\right(\psi ,\phi \left)\right]=-\left[B_{p-i,i}\right(\psi ,\phi \left)\right]-\left[B_{p-i-1,i}\right(\psi ,\phi \left)\right]$  . Thus we have

  $$\begin{array}{cc}\left[B_{p-i-1,i+1}\right(\psi ,\phi \left)\right]=& (-1{)}^i{\sum }_{j=0}^{i-1}(\genfrac{}{}{0ex}{}{i-1}{j}\left){\Theta }_{p-j}\right(\psi ,\phi )+(-1{)}^i{\sum }_{j=0}^{i-1}\left(\genfrac{}{}{0ex}{}{i-1}{j}\right){\Theta }_{p-1-j}(\psi ,\phi )\end{array}$$

  $$\begin{array}{cc}=& (-1{)}^i{\sum }_{j=0}^i(\genfrac{}{}{0ex}{}{i}{j}\left){\Theta }_{p-j}\right(\psi ,\phi ).\end{array}$$

  This proves the first identity in the lemma for $m=p-i-1$  and $n=i+1$  . The second identity follows from the first identity because ${\Theta }_m(\phi ,\psi )=-\left[B\right(\psi ,\phi {)}_{1,m-1}]$  .

We can show the following identities by direct calculations and by using Lemma  4.3 .

For $\psi ,\phi ,\xi ,\eta \in \mathfrak{h}$  and $m\ge 2$  ,

$$\begin{array}{c}\begin{array}{cccccccccccc}& {\Theta }_2(\psi ,\phi )*{\Theta }_m(\xi ,\eta )& & =\frac{1}{m-1}\left[{\psi }_{(-1)}{\phi }_{(-1)}{\xi }_{(-m+1)}\eta \right]& & +\langle \phi ,\xi \rangle \left(\right(m+1\left){\Theta }_{m+2}\right(\psi ,\eta )+2m{\Theta }_{m+1}(\psi ,\eta )+(m-1\left){\Theta }_m\right(\psi ,\eta \left)\right)& & -\langle \psi ,\xi \rangle \left(\right(m+1\left){\Theta }_{m+2}\right(\phi ,\eta )+2m{\Theta }_{m+1}(\phi ,\eta )+(m-1\left){\Theta }_m\right(\phi ,\eta \left)\right)& & +\langle \phi ,\eta \rangle \left(\left(\genfrac{}{}{0ex}{}{m+1}{2}\right){\Theta }_{m+2}(\xi ,\psi )+2\left(\genfrac{}{}{0ex}{}{m}{2}\right){\Theta }_{m+1}(\xi ,\psi )+\left(\genfrac{}{}{0ex}{}{m-1}{2}\right){\Theta }_m(\xi ,\psi )\right)& & -\langle \psi ,\eta \rangle \left(\left(\genfrac{}{}{0ex}{}{m+1}{2}\right){\Theta }_{m+2}(\xi ,\phi )+2\left(\genfrac{}{}{0ex}{}{m}{2}\right){\Theta }_{m+1}(\xi ,\phi )+\left(\genfrac{}{}{0ex}{}{m-1}{2}\right){\Theta }_m(\xi ,\phi )\right),\end{array}\end{array}$$

(4.3)

and

$$\begin{array}{c}\begin{array}{cccccccccccccccccccc}& {\Theta }_3(\psi ,\phi )*{\Theta }_m(\xi ,\eta )& & =\frac{1}{2(m-1)}\left[{\psi }_{(-2)}{\phi }_{(-1)}{\xi }_{(-m+1)}\eta \right]& & +\langle \phi ,\xi \rangle (\left(\genfrac{}{}{0ex}{}{m+2}{2}\right){\Theta }_{m+3}(\psi ,\eta )+3\left(\genfrac{}{}{0ex}{}{m+1}{2}\right){\Theta }_{m+2}(\psi ,\eta )& & +3\left(\genfrac{}{}{0ex}{}{m}{2}\right){\Theta }_{m+1}(\psi ,\eta )+\left(\genfrac{}{}{0ex}{}{m-1}{2}\right){\Theta }_m(\psi ,\eta ))& & +\frac{m\langle \psi ,\xi \rangle }{2}\left(\right(m+2\left){\Theta }_{m+3}\right(\phi ,\eta )+3(m+1\left){\Theta }_{m+2}\right(\phi ,\eta )+3m{\Theta }_{m+1}(\phi ,\eta )& & +(m-1){\Theta }_m(\phi ,\eta ))& & -\langle \phi ,\eta \rangle (\left(\genfrac{}{}{0ex}{}{m+2}{3}\right){\Theta }_{m+3}(\xi ,\psi )+m\left(\genfrac{}{}{0ex}{}{m+1}{2}\right){\Theta }_{m+2}(\xi ,\psi )& & +m\left(\genfrac{}{}{0ex}{}{m}{2}\right){\Theta }_{m+1}(\xi ,\psi )+\left(\genfrac{}{}{0ex}{}{m}{3}\right){\Theta }_m(\xi ,\psi ))& & -\langle \psi ,\eta \rangle (\left(\genfrac{}{}{0ex}{}{m+2}{3}\right){\Theta }_{m+3}(\xi ,\phi )+3\left(\genfrac{}{}{0ex}{}{m+1}{3}\right){\Theta }_{m+2}(\xi ,\phi )& & +3\left(\genfrac{}{}{0ex}{}{m}{3}\right){\Theta }_{m+1}(\xi ,\phi )+\left(\genfrac{}{}{0ex}{}{m-1}{3}\right){\Theta }_m(\xi ,\phi )).\end{array}\end{array}$$

(4.4)

4.3 Classification of irreducible $A\left(S{F}^{+}\right)$  -modules for $d=1$ 

We keep using the notation ${\mathcal{T}}^{+}$  for the vertex operator algebra $S{F}^{+}$  with $d=1$  . In this section we classify irreducible $A\left({\mathcal{T}}^{+}\right)$  -modules as in Theorem  4.8 . To do this we will find enough relations in Zhu's algebra of ${\mathcal{T}}^{+}$  (see [GaKa] ).

We take a canonical basis $\left\{\right(e,f\left)\right\}$  of $e,f\in \mathfrak{h}$  . We first remark that ${\Theta }_2(e,f)=\left[\omega \right]$  is in the center of $A\left({\mathcal{T}}^{+}\right)$  . It is also clear that

$$\begin{array}{cc}{\Theta }_3(e,e)*{\Theta }_m(e,e)& =0,{\Theta }_3(f,f)*{\Theta }_m(f,f)=0\end{array}$$

(4.5)

for any $m\ge 2$  .

Lemma  4.3 imply that

$$\begin{array}{cc}{\Theta }_2(e,e)& =0,\end{array}$$

(4.6)

$$\begin{array}{cc}{\Theta }_4(e,e)& =-{\Theta }_3(e,e),\end{array}$$

(4.7)

$$\begin{array}{c}\begin{array}{cc}{\Theta }_6(e,e)& =-2{\Theta }_5(e,e)-3{\Theta }_4(e,e)-2{\Theta }_3(e,e)=-2{\Theta }_5(e,e)+{\Theta }_3(e,e).\end{array}\end{array}$$

(4.8)

We apply  4.4 for $m=3$  and $4$  and use  4.6 – 4.8 to get

$$\begin{array}{cc}{\Theta }_3(f,e)*{\Theta }_3(e,e)& =11{\Theta }_5(e,e)-10{\Theta }_3(e,e),\end{array}$$

(4.9)

$$\begin{array}{cc}{\Theta }_3(f,e)*{\Theta }_4(e,e)& =-8{\Theta }_7(e,e)+12{\Theta }_5(e,e)-5{\Theta }_3(e,e).\end{array}$$

(4.10)

Since ${\Theta }_3(f,e)*\left({\Theta }_3\right(e,e)+{\Theta }_4(e,e\left)\right)=0$  by  4.7 , one has

$$\begin{array}{cc}{\Theta }_7(e,e)=\frac{23}{8}{\Theta }_5(e,e)-\frac{15}{8}{\Theta }_3(e,e).& \end{array}$$

(4.11)

Moreover,  4.3 ,  4.6 – 4.11 give

$$\begin{array}{cc}\Theta (e,f{)}_2*\Theta (e,e{)}_3& =10{\Theta }_5(e,e)-9{\Theta }_3(e,e),\end{array}$$

(4.12)

$$\begin{array}{cc}\Theta (e,f{)}_2*\Theta (e,e{)}_5& =\frac{83}{8}{\Theta }_5(e,e)-\frac{75}{8}{\Theta }_3(e,e).\end{array}$$

(4.13)

Hence we find that

$$\begin{array}{c}\begin{array}{cccc}{\Theta }_2(e,f{)}^2*{\Theta }_3(e,e)& =10{\Theta }_2(e,f)*\Theta (e,e{)}_5-9{\Theta }_2(e,f)*\Theta (e,e{)}_3& & =\frac{55}{4}{\Theta }_5(e,e)-\frac{51}{4}{\Theta }_3(e,e).\end{array}\end{array}$$

Since

$$\begin{array}{cc}{\Theta }_5(e,e)=\frac{1}{10}{\Theta }_2(e,f)*{\Theta }_3(e,e)+\frac{9}{10}{\Theta }_3(e,e)& \end{array}$$

(4.14)

by  4.12 we have the identity

$$\begin{array}{cc}\left({\Theta }_2\right(e,f)-1)*\left(8{\Theta }_2\right(e,f)-3)*{\Theta }_3(e,e)=0.& \end{array}$$

(4.15)

Moreover  4.9 shows that $${\Theta }_3(f,e)*{\Theta }_3(e,e)=\frac{11}{10}{\Theta }_2(e,f)*{\Theta }_3(e,e)-\frac{1}{10}{\Theta }_3(e,e).$$  Therefore noting

$$\begin{array}{cc}{\Theta }_3(e,f)+{\Theta }_3(f,e)=2{\Theta }_3(e,f)+{\Theta }_2(e,f)=2{\Theta }_3(f,e)-{\Theta }_2(e,f)& \end{array}$$

(4.16)

which follows from Lemma  4.3 , we have

$$\begin{array}{cc}\left({\Theta }_3\right(e,f)+{\Theta }_3(f,e\left)\right)*{\Theta }_3(e,e)=\frac{1}{5}\left(6{\Theta }_2\right(e,f)-1)*{\Theta }_3(e,e).& \end{array}$$

(4.17)

By exchanging the choice of the canonical basis $\left\{\right(e,f\left)\right\}$  to $\left\{\right(f,-e\left)\right\}$  , we get the relations

$$\begin{array}{cc}& \left({\Theta }_2\right(e,f)-1)*\left({\Theta }_2(e,f)-\frac{3}{8}\right)*{\Theta }_3(f,f)=0,\end{array}$$

(4.18)

$$\begin{array}{cc}& \left({\Theta }_3\right(e,f)+{\Theta }_3(f,e\left)\right)*{\Theta }_3(f,f)=-\frac{1}{5}\left(6{\Theta }_2\right(e,f)-1)*{\Theta }_3(f,f).\end{array}$$

(4.19)

If we exchange the canonical basis $\left\{\right(e,f\left)\right\}$  to $\left\{\right(\frac{1}{\sqrt{2}}(e+f),\frac{1}{\sqrt{2}}(e-f)\left)\right\}$  and use the relations  4.15 – 4.19 with respect to the latter basis, then we get

$$\begin{array}{cc}& \left({\Theta }_2\right(e,f)-1)*\left({\Theta }_2(e,f)-\frac{3}{8}\right)*\left({\Theta }_3\right(e,f)+{\Theta }_3(f,e\left)\right)=0.\end{array}$$

(4.20)

Next we calculate

$$\begin{array}{cc}{\Theta }_2(e,f{)}^2& =6{\Theta }_4(e,f)+6{\Theta }_3(e,f)+{\Theta }_2(e,f),\end{array}$$

(4.21)

$$\begin{array}{cc}{\Theta }_2(e,f)*{\Theta }_3(e,f)& =10{\Theta }_5(e,f)+12{\Theta }_4(e,f)+3{\Theta }_3(e,f),\end{array}$$

(4.22)

$$\begin{array}{cc}{\Theta }_2(e,f)*{\Theta }_4(e,f)& =15{\Theta }_6(e,f)+20{\Theta }_5(e,f)+6{\Theta }_4(e,f).\end{array}$$

(4.23)

by using  4.3 . Hence ${\Theta }_4(e,f)$  and ${\Theta }_5(e,f)$  are expressed by using ${\Theta }_2(e,f)$  and ${\Theta }_3(e,f)$  as

$$\begin{array}{cc}{\Theta }_4(e,f)& =-{\Theta }_3(e,f)+\frac{1}{6}{\Theta }_2(e,f{)}^2-\frac{1}{6}{\Theta }_2(e,f),\end{array}$$

(4.24)

$$\begin{array}{cc}{\Theta }_5(e,f)& =\frac{1}{10}{\Theta }_2(e,f)*{\Theta }_3(e,f)+\frac{9}{10}{\Theta }_3(e,f)-\frac{1}{5}{\Theta }_2(e,f{)}^2+\frac{1}{5}{\Theta }_2(e,f).\end{array}$$

(4.25)

Substituting  4.24 ,  4.25 into the both hand sides in  4.23 also show

$$\begin{array}{c}\begin{array}{cccc}{\Theta }_6(e,f)=& -\frac{1}{5}{\Theta }_2(e,f)*{\Theta }_3(e,f)-\frac{4}{5}{\Theta }_3(e,f)& & +\frac{1}{90}{\Theta }_2(e,f{)}^3+\frac{17}{90}{\Theta }_2(e,f{)}^2-\frac{1}{5}{\Theta }_2(e,f).\end{array}\end{array}$$

(4.26)

Now we calculate that

$$\begin{array}{c}\begin{array}{cccc}{\Theta }_3(f,f)*{\Theta }_3(e,e)=& -\frac{1}{4}\left[f_{(-2)}{e}_{(-1)}{e}_{(-2)}f\right]& & -\frac{75}{2}{\Theta }_6(e,f)-64{\Theta }_5(e,f)-\frac{63}{2}{\Theta }_4(e,f)-4{\Theta }_3(e,f),\end{array}\end{array}$$

(4.27)

$$\begin{array}{c}\begin{array}{cccc}{\Theta }_3(f,e)*{\Theta }_3(e,f)=& \frac{1}{4}\left[f_{(-2)}{e}_{(-1)}{e}_{(-2)}f\right]& & +\frac{35}{2}{\Theta }_6(e,f)+36{\Theta }_5(e,f)+\frac{45}{2}{\Theta }_4(e,f)+4{\Theta }_3(e,f),\end{array}\end{array}$$

(4.28)

$$\begin{array}{c}\begin{array}{cc}{\Theta }_3(e,f{)}^2=& 20{\Theta }_6(e,f)+30{\Theta }_5(e,f)+12{\Theta }_4(e,f)+{\Theta }_3(e,f).\end{array}\end{array}$$

(4.29)

by using  4.4 for $m=3$  and Lemma  4.3 . By  4.16 we have

$$\begin{array}{cc}\left({\Theta }_3\right(e,f)+{\Theta }_3(f,e){)}^2& =\left(2{\Theta }_3\right(e,f)+{\Theta }_2(e,f){)}^2\end{array}$$

$$\begin{array}{cc}& =4{\Theta }_3(e,f{)}^2+{\Theta }_2(e,f)*(4{\Theta }_3(e,f)+{\Theta }_2(e,f)).\end{array}$$

Hence by  4.29 and  4.24 – 4.26 we can show the relation

$$\begin{array}{cc}\left({\Theta }_3\right(e,f)+{\Theta }_3(f,e){)}^2=\frac{1}{9}{\Theta }_2(e,f{)}^2*\left(8{\Theta }_2\right(e,f)+1).& \end{array}$$

(4.30)

We also find that

$$\begin{array}{c}\begin{array}{cccc}\left({\Theta }_3\right(e,f)+{\Theta }_3(f,e){)}^2& =\left(2{\Theta }_3\right(f,e)-{\Theta }_2(e,f\left)\right)*\left(2{\Theta }_3\right(e,f)+{\Theta }_2(e,f\left)\right)& & =4{\Theta }_3(f,e)*{\Theta }_3(e,f)+{\Theta }_2(e,f{)}^2.\end{array}\end{array}$$

(4.31)

On the other hand, by  4.24 – 4.28 , we see that

$$\begin{array}{cc}& 4{\Theta }_3(f,f)*{\Theta }_3(e,e)+4{\Theta }_3(f,e)*{\Theta }_3(e,f)+{\Theta }_2(e,f{)}^2\end{array}$$

$$\begin{array}{cc}& =-80{\Theta }_6(e,f)-112{\Theta }_5(e,f)-36{\Theta }_4(e,f)-12{\Theta }_3(e,f)+{\Theta }_2(e,f{)}^2\end{array}$$

$$\begin{array}{cc}& =\frac{2}{5}{\Theta }_2(e,f)*\left(2{\Theta }_3\right(e,f)+{\Theta }_2(e,f\left)\right)-\frac{1}{9}{\Theta }_2(e,f{)}^2*(8{\Theta }_2(e,f)+1).\end{array}$$

Therefore, by  4.30 and  4.31 , we have

$$\begin{array}{c}\begin{array}{cccc}& 4{\Theta }_3(f,f)*{\Theta }_3(e,e)& & =\frac{2}{5}{\Theta }_2(e,f)*\left({\Theta }_3\right(e,f)+{\Theta }_3(f,e\left)\right)-\frac{2}{9}{\Theta }_2(e,f{)}^2*(8{\Theta }_2(e,f)+1).\end{array}\end{array}$$

(4.32)

Finally  4.20 and  4.30 imply the identity

$$\begin{array}{cc}{\Theta }_2(e,f{)}^2*(8{\Theta }_2(e,f)+1)*({\Theta }_2(e,f)-1)*(8{\Theta }_2(e,f)-3)=0.& \end{array}$$

(4.33)

By definition we see that $$\left[\omega \right]={\Theta }_2(e,f),\left[E\right]=2{\Theta }_3(e,e),\left[H\right]={\Theta }_3(e,f)+{\Theta }_3(f,e)\text{and}\left[F\right]=2{\Theta }_3(f,f).$$  Since $\omega$  , $E$  , $H$  and $F$  are quasi-primary, we have $\Phi \left(\right[\omega \left]\right)=\left[\omega \right]$  and $\Phi \left(\right[x\left]\right)=-\left[x\right]$  for $x=E,H,F$  . Thus by the identities  4.5 ,  4.15 ,  4.17 – 4.20 ,  4.30 – 4.33 and by applying the anti-involution $\Phi$  to these identities, we have the following proposition:

Proposition 4.4. The vector $\left[\omega \right]$  is a central element and satisfies the relations

$$\begin{array}{cc}[\omega {]}^2*(8\left[\omega \right]+1)*(\left[\omega \right]-1)*(8\left[\omega \right]-3)& =0,\end{array}$$

$$\begin{array}{cc}\left(\right[\omega ]-1)*\left(8\right[\omega ]-3)*\left[x\right]& =0\end{array}$$

for $x=E,H$  and $F$  . The relations

$$\begin{array}{cc}[E{]}^2& =\left[F^2\right]=0,[H{]}^2=\frac{1}{9}[\omega {]}^2*\left(8\right[\omega ]+1),\end{array}$$

$$\begin{array}{cc}\left[H\right]*\left[E\right]& =-\left[E\right]*\left[H\right]=\frac{1}{5}\left(6\right[\omega ]-1)*\left[E\right],\end{array}$$

$$\begin{array}{cc}\left[H\right]*\left[F\right]& =-\left[F\right]*\left[H\right]=-\frac{1}{5}\left(6\right[\omega ]-1)*\left[F\right],\end{array}$$

$$\begin{array}{cc}\left[E\right]*\left[F\right]& =-\frac{2}{5}\left(6\right[\omega ]-1)*\left[H\right]-\frac{2}{9}[\omega {]}^2*(8\left[\omega \right]+1),\end{array}$$

$$\begin{array}{cc}\left[F\right]*\left[E\right]& =\frac{2}{5}\left(6\right[\omega ]-1)*\left[H\right]-\frac{2}{9}[\omega {]}^2*(8\left[\omega \right]+1)\end{array}$$

also hold in $A\left({\mathcal{T}}^{+}\right)$  .

Remark 4.5. We can show that $\mathfrak{g}=\mathbb{C}E\oplus \mathbb{C}H\oplus \mathbb{C}F=\{x\in {\mathcal{T}}_3^{+}|L_{1}x=0\}$  becomes a Lie algebra with commutation relation $[x,y]=\frac{1}{5}p\left(x_{\left(2\right)}y\right)$  for $x,y\in \mathfrak{g}$  , where $p$  denotes the projection from ${\mathcal{T}}^{+}$  to the subspace of all quasi-primary vectors. In fact, $\mathfrak{g}$  is isomorphic to $\mathfrak{s}{\mathfrak{l}}_2(\mathbb{C})$  such that $[E,F]=-2H,[H,E]=E$  and $[H,F]=-F$  ( $\{iE,2H,iF\}$  forms a standard basis). It is easy to see that the bilinear form $(\cdot ,\cdot )$  gives a nondegenerate invariant symmetric bilinear form of $\mathfrak{g}$  . We note that $(H,H)=1$  , $(E,F)=-2$  . Therefore the bilinear form coincides with the twice of the normalized Killing form. We can then unify the relations in Proposition  4.4 with respect to $E,H,F$  to the relations

$$\begin{array}{cc}& \left(\right[\omega ]-1)*\left(8\right[\omega ]+3)*\left[x\right]=0,\end{array}$$

$$\begin{array}{cc}& \left[x\right]*\left[y\right]=\frac{1}{5}\left(6\right[\omega ]-1)*\left[\right[x,y\left]\right]+\frac{(x,y)}{9}[\omega {]}^2*(8\left[\omega \right]+1)\end{array}$$

for $x,y\in \mathfrak{g}$  . These imply that any $A\left({\mathcal{T}}^{+}\right)$  -module is a module for $\mathfrak{s}{\mathfrak{l}}_2(\mathbb{C})$  (see [GaKa] ).

It follows from Proposition  2.5 and Corollary  3.8 that Zhu's algebra $A\left({\mathcal{T}}^{+}\right)$  is generated by $\left[\omega \right]$  , $\left[E\right]$  , $\left[H\right]$  and $\left[F\right]$  . By Proposition  4.4 , we find some idempotents and nilpotents in $A\left({\mathcal{T}}^{+}\right)$  . We now set

$$\begin{array}{cc}{v}_0:& =-\frac{1}{9}\left(13\left[\omega \right]-3\right)*\left(\left[\omega \right]-1\right)*\left(8\left[\omega \right]+1\right)*\left(8\left[\omega \right]-3\right),\end{array}$$

(4.34)

$$\begin{array}{cc}{w}_0:& =\left[\omega \right]*\left(\left[\omega \right]-1\right)*\left(8\left[\omega \right]+1\right)*\left(8\left[\omega \right]-3\right),\end{array}$$

(4.35)

$$\begin{array}{cc}{v}_{-\frac{1}{8}}:& =\frac{128}{9}[\omega {]}^2*\left(\left[\omega \right]-1\right)*\left(8\left[\omega \right]-3\right).\end{array}$$

(4.36)

Then we have

$$\begin{array}{cc}{v}_k*v_l& ={\delta }_{k,l}{v}_k\text{for}k,l=0,-1/8,\end{array}$$

(4.37)

$$\begin{array}{cc}{v}_0*w_0& =w_0*v_0=w_0,w_0^2=0,\end{array}$$

(4.38)

$$\begin{array}{cc}{v}_{-\frac{1}{8}}*w_0& =w_0*v_{-\frac{1}{8}}=0.\end{array}$$

(4.39)

We note that $[\omega {]}^2*v_1=[\omega ]*w_0=0$  and $\left[\omega \right]*v_{-\frac{1}{8}}=-\frac{1}{8}{v}_{-\frac{1}{8}}$  . It is also valid that $v_k*\left[x\right]=w_0*\left[x\right]=0$  for $x=E,H,F$  . Therefore $A_0=\mathbb{C}{v}_0+\mathbb{C}{w}_0$  and $A_{-\frac{1}{8}}=\mathbb{C}{v}_{-\frac{1}{8}}$  are ideals of $A\left({\mathcal{T}}^{+}\right)$  . We now consider the subspace $A_1$  spanned by the vectors $[\omega {]}^2*\left(8\left[\omega \right]+1\right)*\left(8\left[\omega \right]-3\right)$  , $\left(8\left[\omega \right]-3\right)*\left[x\right]$  with $x=E,H$  and $F$  . We also denote the subspace by $A_{\frac{3}{8}}$  spanned by the vectors $[\omega {]}^2*\left(8\left[\omega \right]+1\right)*\left(\left[\omega \right]-1\right)$  , $\left(\left[\omega \right]-1\right)*\left[x\right]$  with $x=E,H$  and $F$  . It is clear from Proposition  4.4 that $\left[w\right]$  acts on $A_{\lambda }$  by the scalar $\lambda$  for $\lambda =1,\frac{3}{8}$  . Proposition  4.4 also implies that

$$\begin{array}{cc}A\left({\mathcal{T}}^{+}\right)=A_0\oplus A_1\oplus A_{-\frac{1}{8}}\oplus A_{\frac{3}{8}}.& \end{array}$$

(4.40)

and that $A_{\lambda }*A_{\mu }=0$  if $\lambda \ne \mu$  for $\lambda ,\mu =0,1,-\frac{1}{8},\frac{3}{8}$  . Therefore, the decomposition  4.40 is a direct sum of ideals.

Proposition 4.6. The ideals $A_{\lambda }$  for $\lambda =1,\frac{3}{8}$  are homomorphic images of the $2\times 2$  matrix algebra $M_2(\mathbb{C})$  .

• Proof. We set

  $$\begin{array}{cc}A=& \frac{1}{90}[\omega {]}^2*\left(8\left[\omega \right]+1\right)*\left(8\left[\omega \right]-3\right),B=\frac{1}{10}(8\left[\omega \right]-3)*[H],\end{array}$$

  $$\begin{array}{cc}C=& \frac{1}{10}\left(8\right[\omega ]-3)*\left[E\right],D=\frac{1}{10}\left(8\right[\omega ]-3)*\left[F\right]\end{array}$$

  when $\lambda =1$  and set

  $$\begin{array}{cc}A=& -\frac{64}{45}[\omega {]}^2*\left(8\left[\omega \right]+1\right)*\left(\left[\omega \right]-1\right),B=-\frac{16}{5}(\left[\omega \right]-1)*[H],\end{array}$$

  $$\begin{array}{cc}C=& -\frac{16}{5}\left(\right[\omega ]-1)*\left[E\right],D=-\frac{16}{5}\left(\right[\omega ]-1)*\left[F\right].\end{array}$$

  when $\lambda =\frac{3}{8}$  . Then by Proposition  4.4 , we have Table  1 , which is the multiplication tables among $A,B,C$  and $D$  .
  Table 1 : The table of $x*y$  for $x,y=A,B,C,D$ 

  $x\backslash y$	$A$	$B$	$C$	$D$
  $A$	$\frac{1}{2}A$	$\frac{1}{2}B$	$\frac{1}{2}C$	$\frac{1}{2}D$
  $B$	$\frac{1}{2}B$	$\frac{1}{2}A$	$\frac{1}{2}C$	$-\frac{1}{2}D$
  $C$	$\frac{1}{2}C$	$-\frac{1}{2}C$	$0$	$-A-B$
  $D$	$\frac{1}{2}D$	$\frac{1}{2}D$	$-A+B$	$0$

  Hence for $\lambda =1,\frac{3}{8}$  , if we set

  $$\begin{array}{cc}{v}_{\lambda }^{1,1}& =-A-B,v_{\lambda }^{1,2}=C,v_{\lambda }^{2,1}=D,v_{\lambda }^{2,2}=-A+B,\end{array}$$

  then we get the identifies $v_{\lambda }^{i,j}*v_{\lambda }^{k,l}={\delta }_{j,k}{v}_{\lambda }^{i,l}$  for any $i,j,k,l=1,2$  .
  This implies that $A_{\lambda }$  is a homomorphic image of $M_2(\mathbb{C})$  for $\lambda =1,\frac{3}{8}$  .

Remark 4.7. Let $W$  be an $A\left({\mathcal{T}}^{+}\right)$  -module and $\lambda =1$  or $\frac{3}{8}$  . We set ${\alpha }_{\lambda }=1$  for $\lambda =1$  and ${\alpha }_{\lambda }=\frac{1}{2}(=\frac{3}{8}-(-\frac{1}{8}\left)\right)$  for $\lambda =\frac{3}{8}$  . Then for any $w\in W$  such that $\left[\omega \right].w=hw$  , we have

$$\begin{array}{cc}{v}_{\lambda }^{1,1}.w& =-\frac{1}{2}\left(w+\frac{1}{{\alpha }_{\lambda }^2}\left[H\right].w\right),v_{\lambda }^{1,2}.w=\frac{1}{2{\alpha }_{\lambda }^2}\left[E\right].w,\end{array}$$

$$\begin{array}{cc}{v}_{\lambda }^{2,1}.w& =\frac{1}{2{\alpha }_{\lambda }^2}\left[F\right].w,v_{\lambda }^{2,2}.w=-\frac{1}{2}\left(w-\frac{1}{{\alpha }_{\lambda }^2}\left[H\right].w\right).\end{array}$$

Therefore, the nonzero vectors $x_1:=v_{\lambda }^{1,1}.w$  and $x_2:=v_{\lambda }^{2,1}.w$  satisfy $v_{\lambda }^{i,j}.x_k={\delta }_{j,k}{x}_i$  if there exists $0\ne w\in W$  with $\left[\omega \right].w=hw$  for $\lambda =1,\frac{3}{8}$  .

As a corollary we can show the following theorem.

Theorem 4.8. Zhu's algebra $A\left({\mathcal{T}}^{+}\right)$  has only four inequivalent irreducible modules $\Omega \left({\mathcal{T}}^{\pm }\right)$  and $\Omega (\mathcal{T}(\theta {)}^{\pm })$  .

• Proof. Let $W$  be an irreducible $A\left({\mathcal{T}}^{+}\right)$  -module. Then $W=A_{\lambda }.w$  for some $\lambda =0,1,-\frac{1}{8},\frac{3}{8}$  and any nonzero vector $w\in W$  . We note that $A_0$  is commutative and the other ideals are homomorphic image of simple algebras. Thus there exist at most four irreducible $A\left({\mathcal{T}}^{+}\right)$  module. On the other hand, there exist four inequivalent irreducible modules $\Omega \left({\mathcal{T}}^{\pm }\right)$  and $\Omega (\mathcal{T}(\theta {)}^{\pm })$  . Therefore we have the theorem.

It is still possible that the ideal $A_0$  degenerate to one dimensional. The fact that $A_0$  is just two dimensional can be proved by showing the existence of a reducible indecomposable $A\left({\mathcal{T}}^{+}\right)$  -module on which $\left[\omega \right]$  does not act diagonally but nilpotent. We will show that such $A\left({\mathcal{T}}^{+}\right)$  -modules indeed exist (see Remark  5.4 below). Then we see that $dimA\left({\mathcal{T}}^{+}\right)\ge 11$  .

Since $dimA\left({\mathcal{T}}^{+}\right)\le dim{\mathcal{T}}^{+}/C_2\left({\mathcal{T}}^{+}\right)$  as in Section  2.2 , by Propitiation  3.11 , we have $$dimA\left({\mathcal{T}}^{+}\right)=dim{\mathcal{T}}^{+}/C_2\left({\mathcal{T}}^{+}\right)=11.$$ 

4.4 Classification of irreducible $A\left(S{F}^{+}\right)$  -modules for $d\ge 2$ 

In this section we classify irreducible $A\left(S{F}^{+}\right)$  -module in the case $d>1$  (see Theorem  4.15 below). First we note that

$$\begin{array}{cc}\left[e^{i,j}\right]& ={\Theta }_2(e^i,e^j),\left[h^{i,j}\right]={\Theta }_2(e^i,f^j),\left[f^{i,j}\right]={\Theta }_2(f^i,f^j),\end{array}$$

$$\begin{array}{cc}\left[E^{i,j}\right]& ={\Theta }_3(e^i,e^j)+{\Theta }_3(e^j,e^i)=2{\Theta }_3(e^i,e^j)+{\Theta }_2(e^i,e^j),\end{array}$$

$$\begin{array}{cc}\left[H^{i,j}\right]& ={\Theta }_3(e^i,f^j)+{\Theta }_3(f^j,e^i)=2{\Theta }_3(e^i,f^j)+{\Theta }_2(e^i,f^j),\end{array}$$

$$\begin{array}{cc}\left[F^{i,j}\right]& ={\Theta }_3(f^i,f^j)+{\Theta }_3(f^j,f^i)=2{\Theta }_3(f^i,f^j)+{\Theta }_2(f^i,f^j)\end{array}$$

for $1\le i,j\le d$  . By Corollary  3.8 and Proposition  2.5 , we see that Zhu's algebra $A\left(S{F}^{+}\right)$  is generated by the vectors above. More strongly, we can show the following proposition.

Proposition 4.9. If $d>1$  , then Zhu's algebra $A\left(S{F}^{+}\right)$  is generated by $\left[e^{i,j}\right]$  , $\left[h^{i,j}\right]$  and $\left[f^{i,j}\right]$  for $1\le i,j\le d$  .

• Proof. Let $1\le i,j\le d$  . It suffices to express $\left[E^{i,j}\right]$  , $\left[H^{i,j}\right]$  and $\left[F^{i,j}\right]$  by means of $\left[e^{k,l}\right]$  , $\left[h^{k,l}\right]$  and $\left[f^{k,l}\right]$  with $1\le k,l\le d$  . First assume that $i\ne j$  . By using  4.3 and Lemma  4.3 , we can calculate that

  $$\begin{array}{cc}\left[h^{i,i}\right]*\left[e^{i,j}\right]& =3{\Theta }_4(e^i,e^j)+4{\Theta }_3(e^i,e^j)+{\Theta }_2(e^i,e^j),\end{array}$$

  (4.41)

  $$\begin{array}{cc}\left[h^{j,j}\right]*\left[e^{i,j}\right]& =3{\Theta }_4(e^i,e^j)+2{\Theta }_3(e^i,e^j),\end{array}$$

  (4.42)

  $$\begin{array}{cc}\left[h^{i,i}\right]*\left[h^{i,j}\right]& =3{\Theta }_4(e^i,f^j)+4{\Theta }_3(e^i,f^j)+{\Theta }_2(e^i,f^j),\end{array}$$

  (4.43)

  $$\begin{array}{cc}\left[h^{j,j}\right]*\left[h^{i,j}\right]& =3{\Theta }_4(e^i,f^j)+2{\Theta }_3(e^i,f^j),\end{array}$$

  (4.44)

  $$\begin{array}{cc}\left[h^{i,i}\right]*\left[f^{i,j}\right]& =3{\Theta }_4(f^i,f^j)+4{\Theta }_3(f^i,f^j)+{\Theta }_2(f^i,f^j),\end{array}$$

  (4.45)

  $$\begin{array}{cc}\left[h^{j,j}\right]*\left[f^{i,j}\right]& =3{\Theta }_4(f^i,f^j)+2{\Theta }_3(f^i,f^j).\end{array}$$

  (4.46)

  Hence we see that

  $$\begin{array}{cc}\left[E^{i,j}\right]& =2{\Theta }_3(e^i,e^j)+{\Theta }_2(e^i,e^j)=\left(\right[h^{i,i}]-[h^{j,j}\left]\right)*\left[e^{i,j}\right],\end{array}$$

  (4.47)

  $$\begin{array}{cc}\left[H^{i,j}\right]& =2{\Theta }_3(e^i,f^j)+{\Theta }_2(e^i,f^j)=\left(\right[h^{i,i}]-[h^{j,j}\left]\right)*\left[h^{i,j}\right],\end{array}$$

  (4.48)

  $$\begin{array}{cc}\left[F^{i,j}\right]& =2{\Theta }_3(f^i,f^j)+{\Theta }_2(f^i,f^j)=\left(\right[h^{i,i}]-[h^{j,j}\left]\right)*\left[f^{i,j}\right].\end{array}$$

  (4.49)

  If $i\ne j$  , then  4.3 gives

  $$\begin{array}{cc}\left[h^{i,j}\right]*\left[e^{i,j}\right]=3{\Theta }_4(e^i,e^i)+4{\Theta }_3(e^i,e^i),\left[h^{j,i}\right]*\left[f^{i,j}\right]=3{\Theta }_4(f^i,f^i)+2{\Theta }_3(f^i,f^i).& \end{array}$$

  Therefore, by  4.7 , we have

  $$\begin{array}{cc}\left[E^{i,i}\right]=2\left[{\Theta }_3\right(e^i,e^i\left)\right]=2\left[h^{i,j}\right]*\left[e^{i,j}\right],\left[F^{i,i}\right]& =2\left[{\Theta }_3\right(f^i,f^i\left)\right]=-2\left[h^{j,i}\right]*\left[f^{i,j}\right].\end{array}$$

  (4.50)

  Finally we calculate that $\left[e^{i,j}\right]*\left[f^{i,j}\right]$  and $\left[h^{i,j}\right]*\left[h^{j,i}\right]$  for $1\le i\ne j\le d$  . By  4.3 and Lemma  4.3 , we find

  $$\begin{array}{cc}\left[e^{i,j}\right]*\left[f^{i,j}\right]& =\left[e_{(-1)}^i{e}_{(-1)}^j{f}_{(-1)}^i{f}^j\right]+3{\Theta }_4(e^i,f^i)+4{\Theta }_3(e^i,f^i)+{\Theta }_2(e^i,f^i)\end{array}$$

  $$\begin{array}{cc}& +3{\Theta }_4(e^j,f^j)+4{\Theta }_3(e^j,f^j)+{\Theta }_2(e^j,f^j),\end{array}$$

  $$\begin{array}{cc}\left[h^{i,j}\right]*\left[h^{j,i}\right]& =\left[e_{(-1)}^i{f}_{(-1)}^j{e}_{(-1)}^j{f}^i\right]+3{\Theta }_4(e^i,f^i)+4{\Theta }_3(e^i,f^i)+{\Theta }_2(e^i,f^i)\end{array}$$

  $$\begin{array}{cc}& +3{\Theta }_4(e^j,f^j)+2{\Theta }_3(e^j,f^j).\end{array}$$

  Then  4.24 and the fact that ${\Theta }_3(e^k,f^k)=\frac{1}{2}\left(\right[H^{k,k}]-[h^{k,k}\left]\right)$  for $1\le k\le d$  show that

  $$\begin{array}{cc}\left[e^{i,j}\right]*\left[f^{i,j}\right]& =\frac{1}{2}\left(\right[H^{i,i}]+[H^{j,j}\left]\right)+\frac{1}{2}\left(\right[h^{i,i}]-[h^{j,j}]{)}^2,\end{array}$$

  (4.51)

  $$\begin{array}{cc}\left[h^{i,j}\right]*\left[h^{j,i}\right]& =\frac{1}{2}\left(\right[H^{i,i}]-[H^{j,j}\left]\right)+\frac{1}{2}\left(\right[h^{i,i}]-[h^{j,j}]{)}^2.\end{array}$$

  (4.52)

  These imply that

  $$\begin{array}{cc}\left[H^{j,j}\right]& =\left[e^{i,j}\right]*\left[f^{i,j}\right]-\left[h^{i,j}\right]*\left[h^{j,i}\right],\end{array}$$

  (4.53)

  $$\begin{array}{cc}\left[H^{i,i}\right]& =\left[e^{i,j}\right]*\left[f^{i,j}\right]+\left[h^{i,j}\right]*\left[h^{j,i}\right]-\left(\right[h^{i,i}]-[h^{j,j}]{)}^2.\end{array}$$

  (4.54)

  This completes the proof.

Apply the anti-automorphism $\Phi$  to the both hand sides in  4.47 – 4.51 . We note that the anti-involution $\Phi$  acts trivially on $\left[e^{i,j}\right]$  , $\left[h^{i,j}\right]$  and $\left[f^{i,j}\right]$  and by the scalar $-1$  on $\left[E^{i,j}\right]$  , $\left[H^{i,j}\right]$  and $\left[F^{i,j}\right]$  for $1\le i,j\le d$  . Thus we have

$$\begin{array}{cc}\left[h^{i,i}\right]*\left[x^{i,j}\right]& =\left[x^{i,j}\right]*\left[h^{j,j}\right]\text{for}{x}^{i,j}=e^{i,j},h^{i,j},h^{j,i},f^{i,j},\end{array}$$

(4.55)

$$\begin{array}{cc}\left[h^{i,j}\right]*\left[y^{i,j}\right]& =-\left[y^{i,j}\right]*\left[h^{i,j}\right]\text{for}{y}^{i,j}=e^{i,j},f^{i,j},\end{array}$$

(4.56)

$$\begin{array}{cc}\left[e^{i,j}\right]*\left[f^{i,j}\right]& =-\left[f^{i,j}\right]*\left[e^{i,j}\right]+\left(\right[h^{i,i}]-[h^{j,j}]{)}^2\end{array}$$

(4.57)

for any $1\le i\ne j\le d$  . We also see that  4.53 and  4.54 prove the relation

$$\begin{array}{cc}\left[h^{i,j}\right]*\left[h^{j,i}\right]+\left[h^{j,i}\right]*\left[h^{i,j}\right]=\left(\right[h^{i,i}]-[h^{j,j}]{)}^2& \end{array}$$

(4.58)

for $1\le i\ne j\le d$  .

It is clear that $\left[h^{i,i}\right]$  and $\left[h^{j,j}\right]$  for $1\le i,j\le d$  commute with each other in $A\left(S{F}^{+}\right)$  .

Since $A\left(S{F}^{+}\right)$  is finite dimensional, irreducible $A\left(S{F}^{+}\right)$  -modules are of finite dimension.

Thus any irreducible $S{F}^{+}$  -module is a sum of simultaneous generalized eigenspaces for the actions of all $\left[h^{i,i}\right]$  with $1\le i\le d$  . We show that the actions of $\left[h^{i,i}\right]$  with $1\le i\le d$  are diagonal on any irreducible $A\left(S{F}^{+}\right)$  -module.

Proposition 4.10. Let $W$  be an irreducible $A\left(S{F}^{+}\right)$  -module. Then $W$  is a direct sum of simultaneous eigenspaces for the actions of $\left[h^{i,i}\right]$  with all $1\le i\le d$  .

• Proof. Since $W$  is finite dimensional, $W$  contains a nonzero simultaneous eigenvector $w$  for the actions of $\left[h^{i,i}\right](1\le i\le d)$  .
  Consider the vector of the form $\left[e^{k,l}\right].w$  for $1\le k\ne l\le d$  . By  4.41 and  4.42 and a trivial calculation, one has

  $$\begin{array}{cc}\left[h^{k,k}\right].\left[e^{k,l}\right].w& =\left[e^{k,l}\right].\left[h^{l,l}\right].w={\lambda }_l\left[e^{k,l}\right].w,\end{array}$$

  $$\begin{array}{cc}\left[h^{l,l}\right].\left[e^{k,l}\right].w& =\left[e^{k,l}\right].\left[h^{k,k}\right].w={\lambda }_k\left[e^{k,l}\right].w,\end{array}$$

  $$\begin{array}{cc}\left[h^{i,i}\right].\left[e^{k,l}\right].w& =\left[e^{k,l}\right].\left[h^{i,i}\right].w={\lambda }_i\left[e^{k,l}\right].w\text{for}i\ne k,l,\end{array}$$

  where ${\lambda }_i$  is the eigenvalue of $w$  for the action of $\left[h^{i,i}\right]$  . Hence, we see that $\left[e^{k,l}\right].w$  is also simultaneous eigenvector for the actions of $\left[h^{i,i}\right]$  with $1\le i\le d$  . As well,  4.43 – 4.46 prove that $\left[h^{k,l}\right].w$  and $\left[f^{k,l}\right].w$  are also simultaneous eigenvectors for the actions of $\left[h^{i,i}\right](1\le i\le d)$  . Finally Proposition  4.10 implies that $A\left(S{F}^{+}\right).w$  is a direct sum of simultaneous eigenspaces for the actions of $\left[h^{i,i}\right](1\le i\le d)$  . Since $W$  is irreducible, we have $W=A\left(S{F}^{+}\right).w$  . Hence the proposition holds.

We now find more relations in $A\left(S{F}^{+}\right)$  . We recall the relation $$\left[H^{i,i}\right]*\left[E^{i,i}\right]=\frac{1}{5}\left(6\right[h^{i,i}]-1)*\left[E^{i,i}\right]$$  for $1\le i\le d$  in Proposition  4.4 . On the other hand, for $1\le j\le d$  with $j\ne i$  , by  4.50 ,  4.53 and  4.55 – 4.57 ,

$$\begin{array}{cc}\left[H^{i,i}\right]*\left[E^{i,i}\right]& =\left(\right[e^{i,j}]*[f^{i,j}]-[h^{j,i}]*[h^{i,j}\left]\right)*(-2[h^{i,j}]*[e^{i,j}\left]\right)\end{array}$$

$$\begin{array}{cc}& =-2\left[e^{i,j}\right]*\left[f^{i,j}\right]*\left[h^{i,j}\right]*\left[e^{i,j}\right]\end{array}$$

$$\begin{array}{cc}& =-2\left[h^{i,j}\right]*\left[e^{i,j}\right]*\left[f^{i,j}\right]*\left[e^{i,j}\right]\end{array}$$

$$\begin{array}{cc}& =-2\left(\right[h^{i,i}]-[h^{j,j}]{)}^2*[h^{i,j}]*[e^{i,j}]\end{array}$$

$$\begin{array}{cc}& =\left(\right[h^{i,i}]-[h^{j,j}]{)}^2*[E^{i,i}]\end{array}$$

because $[e^{i,j}{]}^2=[h^{i,j}{]}^2=0$  . Hence we have

$$\begin{array}{cc}\left(\left(\right[h^{i,i}]-[h^{j,j}]{)}^2-\frac{1}{5}(6\left[h^{i,i}\right]-1)\right)*\left[E^{i,i}\right]=0& \end{array}$$

(4.59)

for any $1\le i\le d$  .

Let $W$  be an irreducible $A\left(S{F}^{+}\right)$  -module and $W_{{\lambda }_1,\dots ,{\lambda }_d}$  the simultaneously eigenspace for $\left[h^{i,i}\right]$  of eigenvalues ${\lambda }_i$  with all $1\le i\le d$  . The identity  4.33 gives

$$\begin{array}{cc}[h^{i,i}{]}^2*(\left[h^{i,i}\right]-1)*(8\left[h^{i,i}\right]+1)*(8\left[h^{i,i}\right]-3)=0.& \end{array}$$

(4.60)

Hence there exist ${\lambda }_1,\dots ,{\lambda }_d\in \{0,-\frac{1}{8},1,\frac{3}{8}\}$  such that $W_{{\lambda }_1,\dots ,{\lambda }_d}\ne 0$  .

First we consider the case ${\lambda }_i=1$  or $\frac{3}{8}$  for some $i$  . We then may assume that ${\lambda }_1=1$  or $\frac{3}{8}$  if necessary by permutating the pairs $(e^i,f^i)$  in the canonical basis $\left\{\right(e^i,f^i\left)\right\}$  . By the classification of irreducible $A\left({\mathcal{T}}^{+}\right)$  -modules, there exists $0\ne w\in W_{{\lambda }_1,\dots ,{\lambda }_d}$  such that $\left[E^{1,1}\right].w\ne 0$  . For any $j\ge 2$  , it follows from  4.59 that the eigenvalue ${\lambda }_j$  must satisfy the equation $$({\lambda }_1-{\lambda }_j{)}^2=\frac{1}{5}(6{\lambda }_1-1).$$  The equation shows that ${\lambda }_j=0,-\frac{1}{8}$  if ${\lambda }_1=1,\frac{3}{8}$  respectively. Therefore, we may assume that $W_{\lambda ,\mu ,\dots ,\mu }\ne 0$  for $\lambda \in 1$  (resp. $\frac{3}{8}$  ) and $\mu =0$  (resp. $-\frac{1}{8}$  ).

We now recall Remark  4.7 . By the remark, we see that there exist nonzero vectors $x^1,y^1\in W_{\lambda ,\mu ,\dots ,\mu }$  such that $$v_{\lambda }^{1,1}(e^1,f^1).x^1=x^1,v_{\lambda }^{2,1}(e^1,f^1).x^1=y^1,$$  where $v_{\lambda }^{k,l}(e^1,f^1)=v_{\lambda }^{k,l}$  defined in the proof of Proposition  4.6 with respect to $e=e^1,f=f^1$  for $k,l=1,2$  . Set $$x^j:=\frac{1}{\lambda -\mu }\left[h^{j,1}\right].x^1,y^j:=\frac{1}{\lambda -\mu }\left[h^{1,j}\right].y^1$$  for $j\ge 2$  .

Lemma 4.11. For $1\le i,j,k\le d$  with $i\ne j$  ,

$$\begin{array}{cc}\left[f^{i,j}\right].x^k& =(\lambda -\mu )({\delta }_{j,k}{y}^i-{\delta }_{i,k}{y}^j),\left[f^{i,j}\right].y^k=0,\end{array}$$

$$\begin{array}{cc}\left[e^{i,j}\right].x^k& =0,\left[e^{i,j}\right].y^k=-(\lambda -\mu )({\delta }_{j,k}{x}^i-{\delta }_{i,k}{x}^j),\end{array}$$

$$\begin{array}{cc}\left[h^{i,j}\right].x^k& ={\delta }_{j,k}(\lambda -\mu )x^i,\left[h^{i,j}\right].y^k=-{\delta }_{i,k}(\lambda -\mu )y^j.\end{array}$$

• Proof. We fix $i>1$  . Since $y^1=v_h^{2,2}(e^1,f^1).y^1$  , Remark  4.7 shows that $\left[F^{1,1}\right].y^1=0$  .
  Moreover, $\left[h^{i,i}\right].y^1=\mu y^1$  shows that $\left[F^{i,i}\right].y^1=0$  . On the other hand,  4.58 proves that

  $$\begin{array}{cc}(\lambda -\mu {)}^2[f^{i,1}].y^1=(\left[h^{1,1}\right]-\left[h^{i,i}\right]{)}^2.\left[f^{i,1}\right].y^1=\left[h^{1,i}\right].\left[h^{i,1}\right].\left[f^{i,1}\right].y^1+\left[h^{i,1}\right].\left[h^{1,i}\right].\left[f^{i,1}\right].y^1.& \end{array}$$

  Since $\left[h^{i,1}\right].\left[f^{i,1}\right].y^1=\frac{1}{2}\left[F^{1,1}\right].y^1=0$  and $\left[h^{1,i}\right].\left[f^{i,1}\right].y^1=-\frac{1}{2}\left[F^{i,i}\right].y^1=0$  by  4.50 , we have

  $$\begin{array}{cc}\left[f^{i,1}\right].y^1=0.& \end{array}$$

  (4.61)

  If we exchange $y^1$  to $x^1$  in the argument above, then one has $\left[h^{i,1}\right].\left[f^{i,1}\right].x^1=\frac{1}{2}\left[F^{1,1}\right].x^1$  and $\left[h^{1,i}\right].\left[f^{i,1}\right].x^1=\left[F^{i,i}\right].x^1=0$  . Thus by using  4.58 again, we get

  $$\begin{array}{cc}(\lambda -\mu {)}^2[f^{i,1}].x^1=[h^{1,i}].[h^{i,1}].[f^{i,1}].x^1+[h^{i,1}].[h^{1,i}].[f^{i,1}].x^1=\frac{1}{2}[h^{1,i}].[F^{1,1}].x^1.& \end{array}$$

  Since $y^1=v_{\lambda }^{2,1}.x^1=\frac{1}{2(\lambda -\mu {)}^2}\left[F^{1,1}\right].x^1$  by Remark  4.7 , we find that

  $$\begin{array}{cc}\left[f^{i,1}\right].x^1=\left[h^{1,i}\right].y^1=(\lambda -\mu )y^i.& \end{array}$$

  (4.62)

  We can also prove that

  $$\begin{array}{cc}\left[e^{i,1}\right].x^1& =0,\left[e^{1,i}\right].y^1=(\lambda -\mu )x^i.\end{array}$$

  (4.63)

  by the same method. By using  4.57 and the fact that $[f^{i,1}{]}^2=0$  , we get

  $$\begin{array}{cc}\left[f^{1,i}\right].x^i& =\frac{1}{\lambda -\mu }\left[f^{1,i}\right].\left[e^{1,i}\right].y^1=(\lambda -\mu )\left[y^1\right],\end{array}$$

  (4.64)

  $$\begin{array}{cc}\left[f^{1,i}\right].y^i& =\frac{1}{\lambda -\mu }\left[f^{1,i}\right].\left[f^{i,1}\right].x^i=0.\end{array}$$

  (4.65)

  As well we have

  $$\begin{array}{cc}\left[e^{i,1}\right].x^i& =0,\left[e^{i,1}\right].y^i=(\lambda -\mu )x^1.\end{array}$$

  (4.66)

  Since $\left[h^{1,i}\right]*\left[e^{1,i}\right]=\frac{1}{2}\left[E^{1,1}\right]$  by  4.50 , we have $$\left[h^{1,i}\right].x^i=\frac{1}{(\lambda -\mu )}\left[h^{1,i}\right].\left[e^{1,i}\right].y^1=\frac{1}{2(\lambda -\mu )}\left[E^{1,1}\right].y^1.$$  Remak  4.7 then proves that

  $$\begin{array}{cc}\left[h^{1,i}\right].x^i=(\lambda -\mu )v_h^{1,2}(e^1,f^1).y^1=(\lambda -\mu )x^1.& \end{array}$$

  (4.67)

  As well, we have

  $$\begin{array}{cc}\left[h^{i,1}\right].y^i=(\lambda -\mu )y^1.& \end{array}$$

  (4.68)

  These show that

  $$\begin{array}{cc}\left[h^{1,1}\right].x^1=\frac{1}{\lambda -\mu }[h^{1,i}{]}^2.x^i=0,& \end{array}$$

  (4.69)

  $$\begin{array}{cc}\left[h^{i,1}\right].y^1=\frac{1}{\lambda -\mu }[h^{i,1}{]}^2.y^i=0.& \end{array}$$

  (4.70)

  We calculate the identities

  $$\begin{array}{cc}\left[h^{i,j}\right]*\left[h^{j,k}\right]& =\left[h^{i,k}\right]*\left(\right[h^{k,k}]-[h^{j,j}\left]\right),\end{array}$$

  (4.71)

  $$\begin{array}{cc}\left[e^{i,j}\right]*\left[f^{j,k}\right]& =\left[h^{i,k}\right]*\left(\right[h^{j,j}]-[h^{k,k}\left]\right)\end{array}$$

  (4.72)

  which follow from  4.3 ,  4.41 – 4.46 for distinct integers $1\le i,j,k\le d$  . Then we have $$\left[f^{i,j}\right].x^j=\frac{1}{\lambda -\mu }\left[f^{i,j}\right].\left[e^{j,1}\right]y^1=\left[h^{1,i}\right].y^1=(\lambda -\mu )y^i$$  for $i,j>1$  with $i\ne j$  . As for $e^{i,j}$  and $h^{i,j}$  , we get the desired identities in Lemma  4.11 by using the identities  4.71 and  4.72 and  4.61 – 4.70 . Therefore, we see that Lemma  4.11 holds if $i=k$  or $j=k$  .

  Finally let $1\le i,j,k\le d$  be mutually distinct. Then we see that

  $$\begin{array}{cc}(\lambda -\mu )\left[e^{i,j}\right].x^k=\left[e^{i,j}\right].\left[e^{j,k}\right].y^j=0,(\lambda -\mu )\left[e^{i,j}\right].y^k=\left[e^{i,j}\right].\left[h^{j,k}\right].y^j=0,& \end{array}$$

  where we use that $\left[e^{i,j}\right].\left[e^{j,k}\right]=\left[e^{i,j}\right].\left[h^{j,k}\right]=0$  . As well we have

  $$\begin{array}{cc}(\lambda -\mu )\left[f^{i,j}\right].x^k=\left[f^{i,k}\right].\left[h^{j,k}\right].x^k=0,(\lambda -\mu )\left[f^{i,j}\right].y^k=\left[f^{i,j}\right].\left[f^{k,j}\right].x^k=0.& \end{array}$$

  By  4.72 , we see that

  $$\begin{array}{cc}(\lambda -\mu )\left[h^{i,j}\right].x^k& =\left[e^{i,k}\right].\left[f^{k,j}\right].x^k=-(\lambda -\mu )\left[e^{i,k}\right].y^j=0,\end{array}$$

  $$\begin{array}{cc}(\lambda -\mu )\left[h^{i,j}\right].y^k& =\left[e^{i,k}\right].\left[f^{k,j}\right].y^k=0.\end{array}$$

  The proof is completed.

Compare Lemma  4.11 with  4.1 . For the case $\lambda =1$  , we see that the linear map form $\Omega \left(S{F}^{-}\right)$  to ${\sum }_{i=1}^d(\mathbb{C}{x}^i+\mathbb{C}{y}^i)$  defined by $e^i\mapsto x^i$  and $f^i\mapsto y^i$  is an $A\left(S{F}^{+}\right)$  -module homomorphism.

Since the map is nonzero, it is an isomorphism. In particular $W\sim =\Omega \left(S{F}^{-}\right)$  . In the case $\lambda =\frac{3}{8}$  , we see that $W\sim =\Omega \left(SF\right(\theta {)}^{-})$  . Therefore, we have

Proposition 4.12. Let $W$  be an irreducible $A\left(S{F}^{+}\right)$  -module. If there exists a nonzero simultaneous eigenspace $W_{{\lambda }_1,\dots ,{\lambda }_d}$  for all $\left[h^{i,i}\right]$  such that ${\lambda }_i=1$  (resp.

$\frac{3}{8}$  ) for some $i$  , then $W$  is isomorphic to $\Omega \left(S{F}^{-}\right)$  (resp. $\Omega \left(SF\right(\theta {)}^{-})$  ).

We next consider the case that an irreducible $A\left(S{F}^{+}\right)$  -module $W$  includes a nonzero simultaneous eigenspace $W_{{\lambda }_1,\dots ,{\lambda }_d}$  such that each ${\lambda }_i$  is $0$  or $-\frac{1}{8}$  for $1\le i\le d$  . Then we have

Lemma 4.13. For any $1\le i,j\le d$  , ${\lambda }_i={\lambda }_j$  . Furthermore, $W=W_{\lambda ,\dots ,\lambda }$  with $\lambda ={\lambda }_1$  .

• Proof. Let $w\in W_{{\lambda }_1,\dots ,{\lambda }_d}$  be a nonzero vector. From the classification of irreducible $A\left({\mathcal{T}}^{+}\right)$  -modules, we see that $$\left[E^{k,k}\right].w=\left[H^{k,k}\right].w=\left[F^{k,k}\right].w=0$$  for any $1\le k\le d$  . Let $1\le i\ne j\le d$  . Then  4.50 proves

  $$\begin{array}{cc}\left[h^{i,j}\right].\left[f^{i,j}\right].w=\left[h^{j,i}\right].\left[f^{i,j}\right].w=0.& \end{array}$$

  (4.73)

  Hence by  4.58 ,

  $$\begin{array}{cc}0=\left[h^{i,j}\right].\left[h^{j,i}\right].\left[f^{i,j}\right].w+\left[h^{j,i}\right].\left[h^{i,j}\right].\left[f^{i,j}\right].w=({\lambda }_i-{\lambda }_j{)}^2[f^{i,j}].w.& \end{array}$$

  (4.74)

  On the other hand  4.51 shows that

  $$\begin{array}{cc}2\left[e^{i,j}\right].\left[f^{i,j}\right].w=({\lambda }_i-{\lambda }_j{)}^{2}w.& \end{array}$$

  (4.75)

  Therefore applying $\left[e^{i,j}\right]$  to the both hand sides in  4.74 proves ${\lambda }_i={\lambda }_j$  .
  Set $\lambda ={\lambda }_1$  . By  4.55 – 4.56 , we see that $W_{\lambda ,\dots ,\lambda }$  is closed under the actions of $\left[e^{i,j}\right]$  , $\left[h^{i,j}\right]$  and $\left[f^{i,j}\right]$  for $1\le i,j\le d$  . Thus by Proposition  4.9 , $W_{\lambda ,\dots ,\lambda }$  is an $A\left({\mathcal{T}}^{+}\right)$  -submodule of $W$  , and $W=W_{\lambda ,\dots ,\lambda }$  .

Now we consider the subspace $U:=\left[f^{i,j}\right].W$  for any $1\le i\ne j<d$  . Then it is clear that $\left[h^{k,k}\right]U\subset U$  . By  4.73 ,  4.75 and the fact that $[f^{i,ju}{]}^2=0$  , we see that $\left[x^{i,j}\right].U=0$  for any $x^{i,j}=e^{i,j},h^{i,j},f^{i,j}$  . It is also clear that if $k,l\ne i,j$  then $\left[x^{k,l}\right].U\subset U$  for any $x^{k,l}=e^{k,l},h^{k,l},f^{k,l}$  . Finally we note that  4.72 and that $\left[f^{k,l}\right]*\left[f^{i,j}\right]=0$  if either $k$  or $l$  is in $\{i,j\}$  . This shows that $\left[e^{k,l}\right].U=\left[f^{k,l}\right].U=0$  for $k,l$  such that $k$  or $l$  is in $\{i,j\}$  . Since $$\left[h^{k,i}\right].\left[f^{i,j}\right]=0,\left[h^{i,k}\right].\left[f^{i,j}\right]=\left[f^{i,k}\right]*\left(\right[h^{i,i}]-[h^{j,j}\left]\right)$$  if $i,j,k$  are distinct, we also have $\left[h^{k,l}\right].U\subset U$  when $k$  or $l$  are either $i$  or $j$  . Thus we find that $\left[f^{i,j}\right].W$  is closed under the actions of $e^{k,l},h^{k,l},f^{k,l}$  for $1\le k,l\le d$  , and it is an $A\left(S{F}^{+}\right)$  -submodule of $W$  . Since $\left[f^{i,j}\right].W\ne W$  (otherwise $W=[f^{i,j}{]}^{2}W=0$  ), $\left[f^{i,j}\right].W$  is zero. Consequently we have $\left[f^{i,j}\right]=0$  on $W$  . One can also prove that $\left[e^{i,j}\right]=\left[h^{i,j}\right]=0$  on $W$  for $1\le i\ne j\le d$  . In particular, this and Proposition  4.9 show the following lemma.

Lemma 4.14. The action of $A\left(S{F}^{+}\right)$  on $W$  is commutative. Hence $W$  is one dimensional.

Therefore, by taking a nonzero vector $w_{\lambda }\in W=W_{\lambda ,\dots ,\lambda }$  , we have an $A\left(S{F}^{+}\right)$  -module homomorphism from $\Omega \left(S{F}^{+}\right)$  (resp. $\Omega \left(SF\right(\theta \left)\right)$  ) to $W$  defined by $1\mathbf{\mapsto }{w}_1$  (resp. $1_{\theta }\mapsto w_{-\frac{1}{8}}$  . Consequently, we see that $W$  is isomorphic to either $\Omega \left(S{F}^{+}\right)$  or $\Omega \left(SF\right(\theta {)}^{+})$  .

Theorem 4.15. For the vertex operator algebra $S{F}^{+}$  with $d\ge 2$  , any irreducible $A\left(S{F}^{+}\right)$  -module is isomorphic to one of $\Omega \left(S{F}^{\pm }\right)$  and $\Omega \left(SF\right(\theta {)}^{\pm })$  .

5 Further structures of the vertex operator algebra $S{F}^{+}$ 

In this section we prove the irrationality of $S{F}^{+}$  by constructing reducible indecomposable $S{F}^{+}$  -modules, and determine the automorphism group of $S{F}^{+}$  . We also calculate the irreducible characters and their modular transformations.

5.1 Indecomposable $S{F}^{+}$  -modules

In this section we construct some reducible indecomposable $S{F}^{+}$  -modules. The existence of indecomposable module is predicted by the relation  4.33 in Zhu's algebra in the case $d=1$  . The existence clearly proves that the vertex operator algebra $S{F}^{+}$  is irrational.

We recall the algebra $\mathcal{A}$  in Section  3.1 . The vertex operator superalgebra $SF$  is realized as the quotient $\mathcal{A}$  -module $\mathcal{A}/{\mathcal{A}}_{\ge 0}$  . We see that any $SF$  -module is an $\mathcal{A}$  -module.

Conversely, we can show that any $\mathcal{A}$  -module $M$  is naturally an $SF$  -module if for any $u\in M$  and $\psi \in \mathfrak{h}$  , there is an integer $n_0$  such that ${\psi }_{\left(n\right)}u=0$  for $n\ge n_0$  . In fact, for an $\mathcal{A}$  -module $M$  satisfying the condition, the definition of vertex operator  3.1 on $M$  is well defined. We can then check that it gives a module structure of $SF$  on $M$  . By using the fact we construct $S{F}^{+}$  -modules as quotient spaces of $A$  by a certain left ideal.

We consider the left ideal of $\mathcal{A}$  generated by $\psi \left(n\right)1$  for any vectors $\psi \in \mathfrak{h}$  and $n\in {\mathbb{Z}}_{>0}$  , and denote it by ${\mathcal{A}}_{+}$  . Then $$\widehat{SF}:=\mathcal{A}/{\mathcal{A}}_{+}$$  is an $SF$  -module, and hence an $S{F}^{+}$  -module. The $S{F}^{+}$  -module $\widehat{SF}$  is decomposable.

In fact, we see that the automorphism $\theta$  of $A$  preserves the ideal ${\mathcal{A}}_{+}$  . Hence $\theta$  acts on $\widehat{SF}$  . If we denote by ${\widehat{SF}}^{\pm }$  the $\pm 1$  -eigenspace of $\widehat{SF}$  for $\theta$  respectively , then ${\widehat{SF}}^{\pm }$  are $S{F}^{+}$  -modules and $\widehat{SF}={\widehat{SF}}^{+}\oplus {\widehat{SF}}^{-}$  as $S{F}^{+}$  -modules.

Set $\hat{1}=1+{\mathcal{A}}_{+}$  and take a canonical basis $\left\{\right(e^i,f^i){\}}_{1\le i\le d}$  of $\mathfrak{h}$  . We can easily see that

$$\begin{array}{cc}{L}_0\hat{1}& ={\sum }_{i=1}^d{e}_{\left(0\right)}^i{f}_{\left(0\right)}^i\hat{1}\ne 0,\end{array}$$

$$\begin{array}{cc}(L_0-1){\hat{\psi }}_{(-1)}\hat{1}& ={\psi }_{(-1)}{L}_0\hat{1}\ne 0\end{array}$$

for $0\ne \psi \in \mathfrak{h}$  . These imply that ${\widehat{SF}}^{\pm }$  are not given by direct sums of irreducible $S{F}^{+}$  -modules.

Now we note that the generalized eigenspace ${\widehat{SF}}_{\left(0\right)}$  for $L_0$  of eigenvalue $0$  is spanned by ${\psi }_{\left(0\right)}^1\cdots {\psi }_{\left(0\right)}^r\hat{1}$  for ${\psi }^i\in \mathfrak{h}$  and $r\in {\mathbb{Z}}_{\ge 0}$  . Hence we may identify ${\widehat{SF}}_{\left(0\right)}$  with the algebra $\Lambda (\mathfrak{h})$  . We denote by ${}^r\Lambda (\mathfrak{h})$  the subspace spanned by the vectors of the form ${\psi }_{\left(0\right)}^1\cdots {\psi }_{\left(0\right)}^s\hat{1}$  for ${\psi }^i\in \mathfrak{h}$  and $s\ge r$  . Consider the $SF$  -submodule $\widehat{SF}\left[r\right]$  generated from the subspace ${}^r\Lambda (\mathfrak{h})$  for any $r\in {\mathbb{Z}}_{\ge 0}$  . It is clear that $\widehat{SF}\left[r\right]\sim =SF{\otimes }^r\Lambda (\mathfrak{h})$  as vector spaces. Since $dim\mathfrak{h}=2d$  , $\widehat{SF}[2d+1]=0$  . Thus we have a sequence of $S{F}^{+}$  -submodules $$0=\widehat{SF}[2d+1]\subset \widehat{SF}\left[2d\right]\subset \widehat{SF}[2d-1]\subset \cdots \subset \widehat{SF}\left[0\right]=\widehat{SF}.$$  By definition, for any $\psi \in \mathfrak{h}$  , ${\psi }_{\left(0\right)}\widehat{SF}\left[r\right]\subset \widehat{SF}[r+1]$  . Thus ${\psi }_{\left(0\right)}$  acts trivially on the quotient $\widehat{SF}\left[r\right]/\widehat{SF}[r+1]$  . Therefore, $$\widehat{SF}\left[r\right]/\widehat{SF}[r+1]\sim =SF\otimes {(}^r\Lambda (\mathfrak{h}){/}^{r+1}\Lambda (\mathfrak{h}))$$  as left $SF$  -modules. Since $dim{(}^r\Lambda (\mathfrak{h}){/}^{r+1}\Lambda (\mathfrak{h}))=(\genfrac{}{}{0ex}{}{2d}{r})$  , $\widehat{SF}\left[r\right]/\widehat{SF}[r+1]$  is a direct sum of $\left(\genfrac{}{}{0ex}{}{2d}{r}\right)$  copies of $SF$  as an $SF$  -module. We consider the space $\Omega \left(\widehat{SF}\right)$  of singular vectors $\widehat{SF}$  as an $S{F}^{+}$  -module. If $u\in \Omega \left(\widehat{SF}\right)$  and $u/\in \widehat{SF}[r+1]$  for some $r$  , then $u$  induces a singular vector of $\widehat{SF}\left[r\right]/\widehat{SF}[r+1]$  . Since the quotient is a direct sum of copies of $S{F}^{+}$  and $S{F}^{-}$  , we see that $u\in {\widehat{SF}}_{\left(0\right)}\oplus {\widehat{SF}}_{\left(1\right)}$  .

Hence $\Omega \left(\widehat{SF}\right)\subset {\widehat{SF}}_{\left(0\right)}\oplus {\widehat{SF}}_{\left(1\right)}$  .

It is clear that ${\widehat{SF}}_{\left(0\right)}\subset \Omega \left(\widehat{SF}\right)$  . We claim that

$$\begin{array}{cc}\Omega \left(\widehat{SF}\right)\cap {\widehat{SF}}_{\left(1\right)}=\widehat{SF}[2d{]}_{\left(1\right)}.& \end{array}$$

(5.1)

Let $v\in {\widehat{SF}}_{\left(1\right)}$  . For a canonical basis $\left\{\right(e^i,f^i\left)\right\}$  of $\mathfrak{h}$  , we can find vectors $v_j\in {\widehat{SF}}_{\left(0\right)}(1\le j\le 2d)$  such that $v={\sum }_{i=1}^d{e}_{(-1)}^i{v}_i+{\sum }_{j=1}^d{f}_{(-1)}^j{v}_{d+j}$  . Then for any $\psi \in \mathfrak{h}$  and $1\le i\le d$  , $$\left(\right(e_{(-1)}^i\psi {)}_{\left(2\right)}+\left(e_{(-2)}^i\psi {)}_{\left(3\right)}\right)v=-{\psi }_{\left(0\right)}{v}^{d+i},\left(\right(f_{(-1)}^i\psi {)}_{\left(2\right)}+f_{(-2)}^i\psi {)}_{\left(3\right)}v={\psi }_{\left(0\right)}{v}^i.$$  Therefore, if $v\in \Omega \left(\widehat{SF}\right)$  , then for each $i$  , $v_i$  is annihilated by the action of ${\psi }_{\left(0\right)}$  for any $\psi \in \mathfrak{h}$  . Thus $v_i{\in }^{2d}\Lambda (\mathfrak{h})\subset \widehat{SF}\left[2d\right]$  , and $\Omega \left(\widehat{SF}\right)\cap {\widehat{SF}}_{\left(1\right)}\subset \widehat{SF}\left[2d\right]$  . Since $\widehat{SF}[2d{]}_{\left(1\right)}\subset \Omega (\widehat{SF})$  , we get  5.1 .

Proposition 5.1. There are only two irreducible $S{F}^{+}$  -submodules in $\widehat{SF}$  .

They are given as irreducible components of $\widehat{SF}\left[2d\right](\sim =S{F}^{+}\oplus S{F}^{-})$  . Namely the socle $soc\left(\widehat{SF}\right)$  of $\widehat{SF}$  is $\widehat{SF}\left[2d\right]$  .

• Proof. Let $M$  be an irreducible $S{F}^{+}$  -submodule of $\widehat{SF}$  . Then $\Omega \left(M\right)\subset \Omega \left(\widehat{SF}\right)$  . Therefore, $M$  is generated from a vector in ${\widehat{SF}}_{\left(0\right)}$  or $\widehat{SF}[2d{]}_{\left(1\right)}$  by  5.1 . If $M$  is generated from a vector in $\widehat{SF}[2d{]}_{\left(1\right)}$  then it is an irreducible submodule of $\widehat{SF}\left[2d\right]$  isomorphic to $S{F}^{-}$  .
  Suppose that $M$  is generated from a vector $u$  in ${\widehat{SF}}_{\left(0\right)}$  . Since $L_{0}u=0$  , $M$  is isomorphic to $S{F}^{+}$  . In particular, $M_1=0$  . This implies that $({\psi }_{(-2)}\phi {)}_{\left(1\right)}u={\phi }_{(-1)}{\psi }_{\left(0\right)}u=0$  for any $\psi ,\phi \in \mathfrak{h}$  . Therefore, we see that $u\in \widehat{SF}[2d{]}_{\left(0\right)}$  . Hence $M\subset \widehat{SF}\left[2d\right]$  .

As a corollary, we have

Corollary 5.2. The $S{F}^{+}$  -modules ${\widehat{SF}}^{\pm }$  are reducible and indecomposable.

• Proof. We note that by Proposition  5.1 , $soc\left({\widehat{SF}}^{\pm }\right)=\widehat{SF}\left[2d\right]\cap {\widehat{SF}}^{\pm }\sim =S{F}^{\pm }$  respectively.
  On the other hand, if ${\widehat{SF}}^{+}$  or ${\widehat{SF}}^{-}$  are decomposable then they must include at least two irreducible $S{F}^{+}$  -modules. This is a contradiction.

Therefore, the following is clear.

Proposition 5.3. The vertex operator algebra $S{F}^{+}$  is irrational.

Remark 5.4. In the case $d=1$  , $\Omega \left({\widehat{SF}}^{+}\right)$  gives an example of an $A\left({\mathcal{T}}^{+}\right)$  -module on which $\left[\omega \right]$  does not act diagonally. Therefore, the ideal $A_0$  can not be degenerate to one dimensional.

We notice that ${\widehat{SF}}^{-}$  is not generated by $\Omega \left({\widehat{SF}}^{-}\right)$  because $\Omega \left({\widehat{SF}}^{-}\right)$  generates the $S{F}^{+}$  -submodule $\widehat{SF}[1{]}^{-}$  . This fact implies that the investigation of the representation theory for $A\left(S{F}^{+}\right)$  is not enough to study the reoresentation theory for $S{F}^{+}$  . It isexpected that for irreducible $S{F}^{+}$  -modules $M$  and $N$  , the extension of $M$  by $N$  is nontrivial if and only if $(M,N)=(S{F}^{\pm },S{F}^{\mp })$  respectively. Therefore, we hope that the structure of the first Zhu's algebra $A_1\left(V\right)$  (see [DLM2] for the definition of $n$  -th Zhu's algebra) give enough information to study the category of $S{F}^{+}$  -modules.

5.2 Irreducible characters of $S{F}^{+}$ 

In this section we calculate characters of irreducible $S{F}^{+}$  -modules. We also give their modular transformation.

The character of irreducible module $M$  is defined by $$S_M\left(\tau \right)={tr}_M{q}^{L_0-\frac{c}{24}}={\sum }_{n=0}^{\infty }dim{M}_{h+n}{q}^{h-\frac{c}{24}+n}$$  for the lowest weight $h$  of $M$  , where $q=e^{2\pi i\tau }$  . It is known that if the vertex operator algebra is $C_2$  -cofinite then the character absolutely converges to a holomorphic function of $\tau$  on the upper half plane. We denote the holomorphic function by $S_M\left(\tau \right)$  (see [Z] ). Let consider the characters of irreducible $S{F}^{+}$  -modules $S{F}^{\pm }$  and $SF(\theta {)}^{\pm }$  . It is easy to see that

$$\begin{array}{cc}{S}_{SF}\left(\tau \right)& ={\left({q^{\frac{1}{24}}}^{\infty }{\prod }_{n=1}(1+q^n)\right)}^{2d}={\left(\frac{\eta \left(2\tau \right)}{\eta \left(\tau \right)}\right)}^{2d},\end{array}$$

(5.2)

$$\begin{array}{cc}{S}_{SF\left(\theta \right)}\left(\tau \right)& ={\left({q^{-\frac{1}{48}}}^{\infty }{\prod }_{n=1}(1+q^{n-\frac{1}{2}})\right)}^{2d}={\left(\frac{\eta (\tau {)}^2}{\eta \left(2\tau \right)\eta \left(\frac{\tau }{2}\right)}\right)}^{2d}\end{array}$$

(5.3)

with $q=e^{2\pi i\tau }$  , where $\eta \left(\tau \right)=q^{\frac{1}{24}}{\prod }_{n=1}^{\infty }(1-q^n)$  is the Dedekind eta function. On the other hand, we have

$$\begin{array}{cc}{tr}_{SF}\theta q^{L_0+\frac{d}{12}}& ={\left({q^{\frac{1}{24}}}^{\infty }{\prod }_{n=1}(1-q^n)\right)}^{2d}=\eta (\tau {)}^{2d},\end{array}$$

(5.4)

$$\begin{array}{cc}{tr}_{SF\left(\theta \right)}\theta q^{L_0+\frac{d}{12}}& ={\left({q^{-\frac{1}{48}}}^{\infty }{\prod }_{n=1}(1-q^{n-\frac{1}{2}})\right)}^{2d}={\left(\frac{\eta \left(\frac{\tau }{2}\right)}{\eta \left(\tau \right)}\right)}^{2d}.\end{array}$$

(5.5)

We now set

$$\begin{array}{cc}{\phi }_1\left(\tau \right):=\frac{\eta (\tau {)}^2}{\eta \left(2\tau \right)\eta \left(\frac{\tau }{2}\right)},{\phi }_2\left(\tau \right):=\frac{\eta \left(\frac{\tau }{2}\right)}{\eta \left(\tau \right)},{\phi }_3\left(\tau \right)=\sqrt{2}\frac{\eta \left(2\tau \right)}{\eta \left(\tau \right)}& \end{array}$$

(5.6)

(see [Waki,Chapter4] ). Then we have

$$\begin{array}{cc}{S}_{S{F}^{\pm }}\left(\tau \right)& =\frac{1}{2}\left(\frac{{\phi }_3(\tau {)}^{2d}}{2^d}\pm \eta (\tau {)}^{2d}\right),\end{array}$$

(5.7)

$$\begin{array}{cc}{S}_{SF(\theta {)}^{\pm }}\left(\tau \right)& =\frac{1}{2}\left({\phi }_1(\tau {)}^{2d}\pm {\phi }_2(\tau {)}^{2d}\right).\end{array}$$

(5.8)

The modular transformations of the functions in  5.6 are given by

$$\begin{array}{c}\begin{array}{cccc}{\phi }_1(\tau +1)& =e^{-\frac{\pi i}{24}}{\phi }_2\left(\tau \right),{\phi }_2(\tau +1)=e^{-\frac{\pi i}{24}}{\phi }_1\left(\tau \right),{\phi }_3(\tau +1)=e^{\frac{\pi i}{12}}{\phi }_3\left(\tau \right),& {\phi }_1\left(-\frac{1}{\tau }\right)& ={\phi }_1\left(\tau \right),{\phi }_2\left(-\frac{1}{\tau }\right)={\phi }_3\left(\tau \right),{\phi }_3\left(-\frac{1}{\tau }\right)={\phi }_2\left(\tau \right).\end{array}\end{array}$$

(5.9)

which follow from the well known modular transformation lows

$$\begin{array}{cc}\eta (\tau +1)=e^{\frac{\pi i}{12}}\eta \left(\tau \right),\eta \left(-\frac{1}{\tau }\right)=(-i\tau {)}^{\frac{1}{2}}\eta (\tau ).& \end{array}$$

(5.10)

By using the formula we have the following proposition.

Proposition 5.5. The modular transformations of $S_{S{F}^{\pm }}\left(\tau \right)$  and $S_{SF(\theta {)}^{\pm }}\left(\tau \right)$  with respect to the transformations $\tau \mapsto \tau +1$  and $\tau \mapsto -\frac{1}{\tau }$  are given by

$$\begin{array}{cc}{S}_{S{F}^{\pm }}(\tau +1)& =e^{\frac{d\pi i}{6}}{S}_{S{F}^{\pm }}\left(\tau \right),\end{array}$$

(5.11)

$$\begin{array}{cc}{S}_{S{F}^{\pm }}\left(-\frac{1}{\tau }\right)& =\frac{1}{2^{d+1}}\left(S_{SF(\theta {)}^{+}}\left(\tau \right)-S_{SF(\theta {)}^{-}}\left(\tau \right)\right)\pm \frac{(-i\tau {)}^d}{2}\left(S_{S{F}^{+}}\right(\tau )-S_{S{F}^{-}}(\tau \left)\right),\end{array}$$

(5.12)

$$\begin{array}{cc}{S}_{SF(\theta {)}^{\pm }}(\tau +1)& =\pm e^{-\frac{d\pi i}{12}}{S}_{SF(\theta {)}^{\pm }}\left(\tau \right),\end{array}$$

(5.13)

$$\begin{array}{cc}{S}_{SF(\theta {)}^{\pm }}\left(-\frac{1}{\tau }\right)& =\frac{1}{2}\left(S_{SF(\theta {)}^{+}}\left(\tau \right)+S_{SF(\theta {)}^{-}}\left(\tau \right)\right)\pm 2^{d-1}\left(S_{S{F}^{+}}\left(\tau \right)+S_{S{F}^{-}}\left(\tau \right)\right).\end{array}$$

(5.14)

• Proof. We see that $${\phi }_1(\tau {)}^d=S_{SF(\theta {)}^{+}}(\tau )+S_{SF(\theta {)}^{+}}(\tau ),{\phi }_2(\tau {)}^d=S_{SF(\theta {)}^{+}}\left(\tau \right)-S_{SF(\theta {)}^{-}}\left(\tau \right)$$  and $${\phi }_3(\tau {)}^d=2^d\left(S_{S{F}^{+}}\left(\tau \right)+S_{S{F}^{-}}\left(\tau \right)\right),\eta (\tau {)}^d=S_{S{F}^{+}}\left(\tau \right)-S_{S{F}^{-}}\left(\tau \right).$$  Hence  5.7 – 5.10 prove the proposition.

5.3 The automorphism group of $S{F}^{+}$ 

We determine the automorphism group of $S{F}^{+}$  in this section.

We first recall that the group of all linear isomorphisms of $\mathfrak{h}$  which preserve the skew-symmetric bilinear form $\langle \cdot ,\cdot \rangle$  is the symmplectic group $Sp(2d,\mathbb{C})$  . We extend the action of $Sp(2d,\mathbb{C})$  on $\mathfrak{h}$  to $SF$  by the properties

$$\begin{array}{cc}g\left(1\right)& =1,\end{array}$$

$$\begin{array}{cc}g({\psi }_{(-n_1)}^1\cdots {\psi }_{(-n_r)}^{r}1)& =\left(g\right({\psi }^1){)}_{(-n_1)}\cdots (g\left({\psi }^r\right){)}_{(-n_r)}1\end{array}$$

for any $g\in Sp(2d,\mathbb{C})$  , ${\psi }^i\in \mathbb{Z}$  and $n_i\in {\mathbb{Z}}_{>0}$  . Then we have $gY(a,z)g^{-1}=Y\left(g\right(a),z)$  for any $g\in Sp(2d,\mathbb{C})$  and $a\in SF$  . Since the definition of $\omega$  does not depend on a choice of a canonical basis, we have $g\left(\omega \right)=\omega$  for any $g\in Sp(2d,\mathbb{C})$  . Therefore, any element of $Sp(2d,\mathbb{C})$  induce an automorphism of $SF$  . In fact, the action is faithful, hence the automorphism group $Aut\left(SF\right)$  contains a subgroup isomorphic to $Sp(2d,\mathbb{C})$  .

Conversely, we have $$\langle g\left(\psi \right),g\left(\phi \right)\rangle 1=g\left(\psi {)}_{\left(1\right)}g\right(\phi )=g({\psi }_{\left(1\right)}\phi )=\langle \psi ,\phi \rangle 1$$  for any $g\in Aut\left(SF\right)$  and $\psi ,\phi \in \mathfrak{h}$  . Hence any elements in $Aut\left(SF\right)$  give elements of $Sp(2d,\mathbb{C})$  . This shows that $$Aut\left(SF\right)\sim =Sp(2d,\mathbb{C}).$$  We note that the automorphism $\theta$  is in the center of $Sp(2d,\mathbb{C})$  and $\langle \theta \rangle$  is the center of $Sp(2d,\mathbb{C})$  . Therefore, $Sp(2d,\mathbb{C})/\langle \theta \rangle$  faithfully acts on $S{F}^{+}$  . We shall prove that $Aut\left(S{F}^{+}\right)\sim =Sp(2d,\mathbb{C})/\langle \theta \rangle$  .

We see that the characters $S_M\left(\tau \right)$  for $M=S{F}^{\pm },SF(\theta {)}^{\pm }$  are mutually distinct. This implies that for any $g\in Aut\left(S{F}^{+}\right)$  and irreducible $S{F}^{+}$  -module $M$  , the $S{F}^{+}$  -module $(M^g,Y^g(\cdot ,z\left)\right)$  with $M^g=M$  and $Y^g(\cdot ,z)=Y\left(g\right(\cdot ),z)$  is isomorphic to itself because $S_{M^g}\left(\tau \right)=S_M\left(\tau \right)$  . In particular, for any $g\in Aut\left(S{F}^{+}\right)$  , there exists a unique $S{F}^{+}$  -module isomorphism $f_g:S{F}^{-}\to (S{F}^{-}{)}^g$  up to nonzero scalar multiple. Actually, if $f_g^{\prime }$  is another $S{F}^{+}$  -module isomorphism from $S{F}^{-}$  to $(S{F}^{-}{)}^g$  then $f_g^{-1}\circ f_g^{\prime }$  is in $Ho{m}_{S{F}^{+}}(S{F}^{-},S{F}^{-})\sim =\mathbb{C}$  .

We now consider the bilinear form $(\cdot ,\cdot {)}_g$  on $S{F}^{-}$  defined by $(u,v{)}_g=(f_g\left(u\right),f_g\left(v\right))$  .

Then we see that it is a nondegenerate skew-symmetric, invariant bilinear form. Since $S{F}^{-}$  is irreducible we have the following proposition (cf. [Xu] ).

Proposition 5.6. There exists a nonzero constant ${\alpha }_g\in \mathbb{C}$  such that $(\cdot ,\cdot {)}_g={\alpha }_g(\cdot ,\cdot )$  .

• Proof. The bilinear forms $(\cdot ,\cdot )$  and $(\cdot ,\cdot {)}_g$  satisfy that $(S{F}_m^{-},S{F}_n^{-})=(S{F}_m^{-},S{F}_n^{-}{)}_g=0$  if $m\ne n$  . This implies that the linear maps $\gamma$  and ${\gamma }_g$  from $S{F}^{-}$  to the contragredient $S{F}^{+}$  -module $(S{F}^{-}{)}^{\prime }={\oplus }_{n=1}^{\infty }(S{F}_n^{-}{)}^{*}\subset D\left(S{F}^{-}\right)$  defined by $\gamma \left(u\right)=(u,\cdot )$  and ${\gamma }_g\left(u\right)=(u,\cdot {)}_g$  respectively are $S{F}^{+}$  -module isomorphisms. Hence ${\gamma }^{-1}\circ {\gamma }_g={\alpha }_{g}i{d}_{S{F}^{-}}$  for some ${\alpha }_g\in \mathbb{C}-\left\{0\right\}$  . This proves the proposition.

By Proposition  5.6 , we can assume that $(\cdot ,\cdot {)}_g=(\cdot ,\cdot )$  if necessary by adjusting a scalar multiple of $f_g$  . Hence we have $\langle f_g\left(\psi \right),f_g\left(\phi \right)\rangle =\langle \psi ,\phi \rangle$  for any $\psi ,\phi \in \mathfrak{h}(=S{F}_1^{-})$  .

Therefore, the restriction of $f_g$  to $S{F}_1^{-}$  gives an element of $Sp(2d,\mathbb{C})$  . We need to show the following lemma.

Lemma 5.7. Let $\psi ,\phi \in \mathfrak{h}$  and $m,n\in {\mathbb{Z}}_{>0}$  . Then $g\left({\psi }_{(-m)}{\phi }_{(-n)}1\right)=f_g\left(\psi {)}_{(-m)}{f}_g\right(\phi {)}_{(-n)}1$  .

• Proof. First we assume that $n=1$  . For any $u\in S{F}^{+}$  , we see that $$\left(g\right(u),f_g(\psi {)}_{(-m)}{f}_g\left(\phi \right))=-(f_g\left(\psi {)}_{\left(m\right)}g\right(u),f_g(\phi \left)\right)=(-1{)}^m(g\left(u{)}_{\left(m\right)}{f}_g\right(\psi ),f_g(\phi \left)\right),$$  where the last identity follows from the skew symmetry formula $$a_{\left(n\right)}b=(-1{)}^{kl}{\sum }_{i=0}^{\infty }\frac{(-1{)}^{n+1+i}}{i!}{L}_{-1}^i{b}_{(n+i)}a$$  for $a\in S{F}^{\overline{k}},b\in S{F}^{\overline{l}}(k,l=0,1)$  , $n\in \mathbb{Z}$  and the fact that $L_1{f}_g\left(\phi \right)=f_g\left(L_1\phi \right)=0$  . Since $g\left(u{)}_{\left(m\right)}{f}_g\right(\psi )=f_g(u_{\left(m\right)}\psi )$  and the actions of $f_g$  and $g$  preserve the bilinear form $(\cdot ,\cdot )$  , we have $$\left(g\right(u),f_g(\psi {)}_{(-m)}{f}_g\left(\phi \right))=(-1{)}^m(u_{\left(m\right)}\psi ,\phi )=(u,{\psi }_{(-m)}\phi )=\left(g\right(u),g({\psi }_{(-m)}\phi \left)\right).$$  Hence we have the lemma for $m\in {\mathbb{Z}}_{>0}$  and $n=1$  . As for arbitrary $n\in {\mathbb{Z}}_{>0}$  , by using Lemma  3.4 we can reduce to the case $n=1$  . For example,

  $$\begin{array}{cc}g\left({\psi }_{(-2)}{\phi }_{(-2)}1\right)& =L_{-1}g\left({\psi }_{(-2)}\phi \right)-g\left({\psi }_{(-1)}{\phi }_{(-3)}1\right)\end{array}$$

  $$\begin{array}{cc}& =L_{-1}{f}_g\left(\psi {)}_{(-2)}{f}_g\right(\phi )-f_g(\psi {)}_{(-1)}{f}_g(\phi {)}_{(-3)}1=f_g(\psi {)}_{(-2)}{f}_g(\phi {)}_{(-2)}1.\end{array}$$

  The proof is completed.

This lemma states that if we extend $f_g$  to an automorphism ${\tilde{f}}_g$  of $SF$  in the canonical way, then ${\tilde{f}}_g\left(a\right)=g\left(a\right)$  for any $a{\in }^{2}S{F}^{+}$  . In particular $g={\tilde{f}}_g$  on $S{F}_2^{+}\oplus S{F}_3^{+}$  .

Hence Proposition  3.7 proves that $g={\tilde{f}}_g$  on $S{F}^{+}$  . In other words, the natural group homomorphism $Sp(2d,\mathbb{C})\to Aut\left(S{F}^{+}\right)$  is surjective. Therefore, we have the following theorem.

Theorem 5.8. The automorphism group of $S{F}^{+}$  is isomorphic to $Sp(2d,\mathbb{C})/\langle \theta \rangle$  .

References

1. T. Abe, Rationality of the vertex operator algebra $V_L^{+}$  for a positive definite even lattice $L$  , Math. Z. 249 (2005), no. 2, 455–484.
2. T. Abe, G. Buhl and C. Dong, Rationality, Regularity, and $C_2$  -cofiniteness, Trans. Amer. Math. Soc. 356 (2004), no. 8, 3391–3402.
3. T. Abe and C. Dong, Classification of irreducible modules for the vertex operator algebra $V_L^{+}$  ; general case, J. Algebra 273 (2004), no. 2, 657-685
4. R. Borcherds, Vertex algebras, Kac-Moody algebras, and the Monster, Proc. Natl. Acad. Sci. USA 83 (1986), 3068–3071.
5. G. Buhl, A spanning set for VOA modules, J. Algebra 254 (2002), 125–151.
6. C. Dong and R. L. Griess, Rank one lattice type vertex operator algebras and their automorphism groups, J. Algebra 208 (1998), 262–275.
7. C. Dong and K. Nagatomo, Classification of irreducible modules for the vertex operator algebra $M(1{)}^{+}$  , J. Algebra 216 (1999), 384–404.
8. C. Dong and K. Nagatomo, Representations of Vertex operator algebra $V_L^{+}$  for rank one lattice $L$  , Commun. Math. Phys. 202 (1999), 169–195.
9. C. Dong and K. Nagatomo, Classification of irreducible modules for the vertex operator algebra $M(1{)}^{+}$  II. Higher Rank, J. Algebra 240 (2001), 389–325.
10. C. Dong and Z. Lin, Induced modules for vertex operator algebras, Comm. Math. Phys. 179 (1996), no. 1, 157–183.
11. C. Dong, H.-S. Li and G. Mason, Twisted representations of vertex operator algebras, Math. Ann. 310 (1998), 571–600.
12. C. Dong, H.-S. Li and G. Mason, Vertex operator algebras and associative algebras. J. Algebra 206 (1998), no. 1, 67–96.
13. C. Dong and G. Mason, On quantum Galois theory, Duke Math. J. 86 (1997), no. 2, 305–321.
14. I. Frenkel, Y.-Z. Huang and J. Lepowsky, On axiomatic approaches to vertex operator algebras and modules, Mem. Amer. Math. Soc. 104 (1993).
15. I. Frenkel, J. Lepowsky and A. Meurman, Vertex Operator Algebras and the Monster, Pure and Appl. Math., Vol.134, Academic Press, Boston, 1988.
16. M. Gaberdiel and H. Kausch, A rational logarithmic conformal field theory, Phys. Lett. B 386, (1996), no. 1-4, 131–137.
17. M. Gaberdiel and A. Neitzke, Rationality, quasirationality and finite $W$  -algebras. Commun. Math. Phys. 238, (2003), no. 1-2, 305–331.
18. Y.-Z. Huang, Vertex operator algebras and the Verlinde conjecture, math.QA/0406291v1.
19. V. Kac, Vertex algebras for beginners, Second edition, University Lecture Series 10, American Mathematical Society, Providence, RI, 1998.
20. H. Kausch, Curiosities at $c=-2$  , hep-th/9510149.
21. H.-S. Li, Symmetric invariant bilinear forms on vertex operator algebras, J. Pure. and Appl. Algebra 96, Issue 3 (1994), 279–297.
22. H.-S. Li, Local systems of vertex operators, vertex superalgebras and modules, J. Pure. and Appl. Algebra 109 (1996), 143–195.
23. H.-S. Li, Some finiteness properties of regular vertex operator algebras, J. Algebra 212, (1999), 495–514.
24. H.-S. Li and J. Lepowsky, Introduction to vertex operator algebras and their representations, Prog. Math., Birkhäuser, 2004.
25. A. Matsuo and K. Nagatomo, Axioms for a Vertex Algebra and the Locality of Quantum Fields, MSJ Memoirs 4, Mathematical Society of Japan, (1999).
26. M. Miyamoto, Modular invariance of vertex operator algebras satisfying $C_2$  -cofiniteness. Duke Math. J. 122, (2004), no. 1, 51–91.
27. K. Nagatomo and A. Tsuchiya, Conformal field theories associated to regular chiral vertex operator algebras I: theories over the projective line, math.QA/0206223, to appear Duke Math. J.
28. M. Wakimoto, Infinite-dimensional Lie algebras, Translated from the 1999 Japanese original by Kenji Iohara. Translations of Mathematical Monographs, 195. Iwanami Series in Modern Mathematics. American Mathematical Society, Providence, RI, 2001,
29. X. Xu, Introduction to vertex operator superalgebras and their modules, Mathematics and its applications, Kluwer Academic Publishers, 1998.
30. Y.-C. Zhu, Modular invariance of characters of vertex operator algebras, J. Amer. Math. Soc. 9 (1996), 237–302.