--- abstract: 'The $W_3$ algebra of central charge $6/5$ is realized as a subalgebra of the vertex operator algebra $V_{\sqrt{2}A_2}$ associated with a lattice of type $\sqrt{2}A_2$ by using both coset construction and orbifold theory. It is proved that $W_3$ is rational. Its irreducible modules are classified and constructed explicitly. The characters of those irreducible modules are also computed.' --- Chongying Dong[^1]\ Department of Mathematics, University of California\ Santa Cruz, CA 95064\ Ching Hung Lam[^2]\ Department of Mathematics, National Cheng Kung University\ Tainan, Taiwan 701\ Kenichiro Tanabe[^3]\ Institute of Mathematics, University of Tsukuba\ Tsukuba 305-8571, Japan\ Hiromichi Yamada[^4]\ Department of Mathematics, Hitotsubashi University\ Kunitachi, Tokyo 186-8601, Japan\ Kazuhiro Yokoyama\ Graduate School of Mathematics, Kyushu University\ Fukuoka 812-8581, Japan Introduction ============ The vertex operator algebras associated with positive definite even lattices affords a large family of known examples of vertex operator algebras. An isometry of the lattice induces an automorphism of the lattice vertex operator algebra. The subalgebra of fixed points is the so called orbifold vertex operator algebra. In this paper we deal with the case where the lattice $L=\sqrt{2}A_2$ is $\sqrt{2}$ times an ordinary root lattice of type $A_2$ and the isometry $\tau$ is an element of the Weyl group of order $3$. We use this algebra to study the $W_3$ algebra of central charge $6/5.$ In fact, by using both coset construction and orbifold theory we construct the $W_3$ algebra of central charge $6/5$ inside $V_L$ and classify its irreducible modules. We also prove that the $W_3$ algebra is rational and compute the characters of the irreducibles. The vertex operator algebra $V_L$ associated with $L=\sqrt{2}A_2$ contains three mutually orthogonal conformal vectors ${\omega}^1$, ${\omega}^2$, ${\omega}^3$ with central charge $c=1/2$, $7/10$, or $4/5$ respectively @DLMN. The subalgebra $\operatorname{Vir}({\omega}^i)$ generated by ${\omega}^i$ is the Virasoro vertex operator algebra $L(c,0)$, which is the irreducible unitary highest weight module for the Virasoro algebra with central charge $c$ and highest weight $0$. The structure of $V_L$ as a module for $\operatorname{Vir}({\omega}^1) \otimes \operatorname{Vir}({\omega}^2) \otimes \operatorname{Vir}({\omega}^3)$ was discussed in @KMY. Among other things it was shown that $V_L$ contains a subalgebra of the form $L(4/5,0)\otimes L(4/5,3)$. Such a vertex operator algebra is called a $3$-state Potts model. This subalgebra is contained in the subalgebra $(V_L)^\tau$ of fixed points of $\tau$. There is another subalgebra $M$ in $V_L$, which is of the form $$L(\frac{1}{2},0) \otimes L(\frac{7}{10},0) \oplus L(\frac{1}{2},\frac{1}{2}) \otimes L(\frac{7}{10},\frac{3}{2})$$ and is invariant under $\tau$. The representation theory of $M$ was studied in @KLY1 [@LY]. We are interested in the subalgebra $M^\tau$ of fixed points of $\tau$ in $M$. Its Virasoro element is ${\omega}={\omega}^1+{\omega}^2$. The central charge of $\omega$ is $1/2 + 7/10 = 6/5$. We find an element $J$ of weight $3$ in $M^\tau$ such that the component operators $L(n)={\omega}_{n+1}$ and $J(n)=J_{n+2}$ satisfy the same commutation relations as in @BMP [(2.1), (2.2)] for $W_3.$ Thus the vertex operator subalgebra ${{\mathcal W}}$ generated by ${\omega}$ and $J$ is a $W_3$ algebra with central charge $6/5$. We construct $20$ irreducible $M^\tau$-modules. $8$ of them are inside irreducible untwisted $M$-modules, while $6$ of them are inside irreducible $\tau$-twisted $M$-modules and the remaining $6$ are inside irreducible $\tau^2$-twisted $M$-modules. There are exactly two inequivalent irreducible $\tau^i$-twisted $M$-modules $M_T(\tau^i)$ and $W_T(\tau^i)$, $i=1,2$. We investigate the irreducible $\tau^i$-twisted $V_L$-modules constructed in @DL and obtain $M_T(\tau^i)$ and $W_T(\tau^i)$ inside them. We classify the irreducible modules for ${{\mathcal W}}$ by determining the Zhu algebra $A({{\mathcal W}})$ (cf. @Z). The method used here is similar to that in @Wa2, where the Zhu algebra of a $W_3$ algebra with central charge $-2$ is studied. We can define a map of the polynomial algebra ${{\mathbb C}}[x,y]$ with two variables $x, y$ to $A({{\mathcal W}})$ by $x \mapsto [\omega]$ and $y \mapsto [J]$, which is a surjective algebra homomorphism. Thus it is sufficient to determine its kernel ${{\mathcal I}}$. The key point is the existence of a singular vector ${\mathbf{v}}$ for the $W_3$ algebra ${{\mathcal W}}$ of weight $12$. An invariant positive definite hermitian form on $V_L$ implies that ${\mathbf{v}}$ is in fact $0$. Thus $[{\mathbf{v}}] = 0$. Moreover, $[J(-1){\mathbf{v}}]=[J(-2){\mathbf{v}}]=[J(-1)^2{\mathbf{v}}]=0$. Hence the corresponding polynomials in ${{\mathbb C}}[x,y]$ must be contained in the ideal ${{\mathcal I}}$. It turns out that ${{\mathcal I}}$ is generated by those four polynomials and the classification of irreducible ${{\mathcal W}}$-modules is established by Zhu's theory (@Z). That is, there are exactly $20$ inequivalent irreducible ${{\mathcal W}}$-modules. The calculation of explicit form of the singular vector ${\mathbf{v}}$ and the calculation of the ideal ${{\mathcal I}}$ were done by a computer algebra system Risa/Asir. By the classification of irreducible ${{\mathcal W}}$-modules and an invariant positive definite hermitian form, we can show that $M^{\tau} = {{\mathcal W}}$. The eigenvalues of the action of weight preserving operators $L(0)={\omega}_1$ and $J(0)=J_2$ on the top levels of those $20$ irreducible $M^\tau$-modules coincide with the values $\Delta \begin{pmatrix} n & m\\ n'& m'\end{pmatrix}$ and $w \begin{pmatrix} n & m\\ n'& m'\end{pmatrix}$ of @FZ [(1.2), (5.6)] with $p=5$. Hence our $M^{\tau}$ is an algebra denoted by $[Z_3^{(5)}]$ in @FZ. We prove that ${{\mathcal W}}$ is $C_2$-cofinite and rational by using the singular vector ${\mathbf{v}}$ of weight $12$ and the irreducible modules for ${{\mathcal W}}.$ In the course of proof we obtain a result about a general vertex operator algebra $V.$ It says that if $V$ is $C_2$-cofinite, then $V$ is rational if and only if $A(V)$ is semisimple and any simple $A(V)$-module generates an irreducible $V$-module. This result itself is not very hard to prove. But it will certainly be useful in the future study of relationship between rationality and $C_2$-cofiniteness. We also study the characters of those irreducible $M^{\tau}$-modules. Using the modular invariance of trace functions in orbifold theory (cf. @DLM), we describe the characters of the $20$ irreducible $M^{\tau}$-modules in terms of the characters of irreducible unitary highest weight modules for the Virasoro algebras. The results in this paper have applications to the Monster simple group. Recently, it was shown in @KLY2 that the ${{\mathbb Z}}_3$ symmetry of a $3$-state Potts model in $(V_L)^\tau$ affords $3A$ elements of the Monster simple group. Such a result has been suggested by @M2. It is expected that the ${{\mathbb Z}}_3$ symmetry of $M^{\tau}$ affords $3B$ elements. The organization of the paper is as follows. In Section 2 we review some properties of $M$ for later use. In Section 3 we define the vector $J$ and compute the commutation relations among the component operators $L(n)={\omega}_{n+1}$ and $J(n)=J_{n+2}$. In Section 4 we construct $20$ irreducible $M^\tau$-modules and discuss their properties. In Section 5 we determine the Zhu algebra of the vertex operator subalgebra ${{\mathcal W}}$ generated by $\omega$ and $J$ and show that $M^{\tau} = {{\mathcal W}}$. Thus we conclude that $M^{\tau}$ has exactly $20$ inequivalent irreducible modules. Finally, in Section 6 we study the characters of those irreducible $M^{\tau}$-modules. The authors would like to thank Toshiyuki Abe and Kiyokazu Nagatomo for helpful advice concerning $W$ algebras and Hiroshi Yamauchi for comment on an invariant positive definite hermitian form on $V_L$. They also would like to thank Masahiko Miyamoto for valuable discussions. Subalgebra $M$ of $V_{\sqrt{2}A_2}$ =================================== In this section we fix notation. For basic definitions concerning lattice vertex operator algebras we refer to @DL [@FLM]. We also recall certain properties of the vertex operator algebra $V_{\sqrt{2}A_2}$ (cf. @KMY). Let ${\alpha}_1, {\alpha}_2$ be the simple roots of type $A_2$ and set ${\alpha}_0=-({\alpha}_1+{\alpha}_2)$. Then ${\langle}{\alpha}_i, {\alpha}_i{\rangle}= 2$ and ${\langle}{\alpha}_i, {\alpha}_j{\rangle}=-1$ if $i \ne j$. Set ${\beta}_i=\sqrt{2}{\alpha}_i$ and let $L={{\mathbb Z}}{\beta}_1+{{\mathbb Z}}{\beta}_2$ be the lattice spanned by ${\beta}_1$ and ${\beta}_2$. We usually denote $L$ by $\sqrt{2}A_2$. We follow Sections 2 and 3 of @DL with $L=\sqrt{2}A_2$, $p=3$, and $q=6$. In our case ${\langle}{\alpha},{\beta}{\rangle}\in 2{{\mathbb Z}}$ for all ${\alpha}, {\beta}\in L$, so that the alternating ${{\mathbb Z}}$-bilinear map $c_0 : L \times L \to {{\mathbb Z}}/6{{\mathbb Z}}$ defined by @DL [(2.9)] is trivial. Thus the central extension $$\label{ext1} 1 \longrightarrow {\langle}\kappa_6{\rangle}\longrightarrow \widehat{L} \overset{-}{\longrightarrow} L \longrightarrow 1$$ determined by the commutator condition $aba^{-1}b^{-1}=\kappa_6^{c_0(\bar{a},\bar{b})}$ splits. Then for each ${\alpha}\in L$, we can choose an element $e^{\alpha}$ of $\hat{L}$ so that $e^{\alpha}e^\beta=e^{{\alpha}+\beta}$. The twisted group algebra ${{\mathbb C}}\{L\}$ is isomorphic to the ordinary group algebra ${{\mathbb C}}[L]$. We adopt the same notation as in @KLY1 to denote cosets of $L$ in the dual lattice $L^\perp = \{ {\alpha}\in {{\mathbb Q}}{\otimes}_{{{\mathbb Z}}} L\,|\,{\langle}{\alpha}, L{\rangle}\subset {{\mathbb Z}}\}$, namely, $$L^0=L,\quad L^1=\frac{-{\beta}_1+{\beta}_2}{3}+L ,\quad L^2=\frac{{\beta}_1-{\beta}_2}{3}+L,$$ $$L_0=L,\quad L_a=\frac{{\beta}_2}{2}+L,\quad L_b=\frac{{\beta}_0}{2}+L,\quad L_c=\frac{{\beta}_1 }{2}+L,$$ and $$L^{(i,j)} = L_i + L^j$$ for $i=0,a,b,c$ and $j=0,1,2$, where $\{0,a,b,c\} \cong {{\mathbb Z}}_2 \times {{\mathbb Z}}_2$. Then, $L^{(i,j)},i \in \{0,a,b,c\},j\in \{0,1,2\}$ are all the cosets of $L$ in $ L^{\perp }$ and $L^\perp/L \cong {{\mathbb Z}}_2 \times {{\mathbb Z}}_2 \times {{\mathbb Z}}_3$. Our notation for the vertex operator algebra $(V_L, Y(\,\cdot\,,z))$ associated with $L$ is standard @FLM. In particular, ${\mathfrak h}={{\mathbb C}}\otimes_{{{\mathbb Z}}} L$ is an abelian Lie algebra, $\hat {\mathfrak h}={\mathfrak h}\otimes {{\mathbb C}}[t,t^{-1}]\oplus {{\mathbb C}}c$ is the corresponding affine Lie algebra, $M(1)={{\mathbb C}}[{\alpha}(n)\,;\,{\alpha}\in {\mathfrak h}, n<0],$ where ${\alpha}(n)={\alpha}\otimes t^n,$ is the unique irreducible $\hat{\mathfrak h}$-module such that $\alpha(n)1=0$ for all $\alpha\in {\mathfrak h}$ and $n>0$, and $c=1$. As a vector space $V_L = M(1) {\otimes}{{\mathbb C}}[L]$ and for each $v \in V_L$, a vertex operator $Y(v, z) = \sum_{n \in {{\mathbb Z}}} v_n z^{-n-1} \in \operatorname{End}(V_L)[[z,z^{-1}]]$ is defined. The coefficient $v_n$ of $z^{-n-1}$ is called a component operator. The vector ${\mathbf {1}}= 1 \otimes 1$ is called the vacuum vector. By Dong @D1, there are exactly $12$ isomorphism classes of irreducible $V_L$-modules, which are represented by $V_{L^{(i,j)}}$, $i=0,a,b,c$ and $j=0,1,2$. We use the symbol $e^{\alpha}, \alpha \in L^\perp$ to denote a basis of ${{\mathbb C}}\{ L^\perp\}$. To describe certain weight $2$ elements in $V_L$, we introduce the following notation. $$x({\alpha})=e^{\sqrt{2}{\alpha}} + e^{-\sqrt{2}{\alpha}},\qquad y({\alpha})=e^{\sqrt{2}{\alpha}} - e^{-\sqrt{2}{\alpha}},\qquad w({\alpha})=\frac{1}{2}{\alpha}(-1)^2 - x({\alpha})$$ for ${\alpha}\in\{\pm{\alpha}_0, \pm{\alpha}_1, \pm{\alpha}_2\}$. We have $$\label{w1w} w({\alpha}_i)_1 w({\alpha}_j) = \begin{cases} 8w({\alpha}_i) & \text{if } i=j\\ w({\alpha}_i) + w({\alpha}_j) - w({\alpha}_k) & \text{if } i\ne j, \end{cases}$$ where $k$ is such that $\{i,j,k\}=\{0,1,2\}$. Moreover, $w({\alpha}_i)_2 w({\alpha}_j) =0$ and $$\label{w3w} w({\alpha}_i)_3 w({\alpha}_j) = \begin{cases} 4{\mathbf {1}}& \text{if } i=j\\ \frac{1}{2}{\mathbf {1}}& \text{if } i\ne j. \end{cases}$$ Let $$\begin{gathered} {\omega}= \frac{1}{5}\big( w({\alpha}_1) + w({\alpha}_2) + w({\alpha}_0)\big),\\ {\widetilde}{{\omega}} = \frac{1}{6}\big( {\alpha}_1(-1)^2 + {\alpha}_2(-1)^2 + {\alpha}_0(-1)^2\big),\\ {\omega}^1 = \frac{1}{4}w({\alpha}_1),\qquad {\omega}^2 = {\omega}- {\omega}^1,\qquad {\omega}^3 = {\widetilde}{{\omega}} - {\omega}.\end{gathered}$$ Then ${\widetilde}{{\omega}}$ is the Virasoro element of $V_L$ and ${\omega}^1, {\omega}^2,{\omega}^3$ are mutually orthogonal conformal vectors of central charge $1/2, 7/10, 4/5$ respectively (cf. @DLMN). The subalgebra $\operatorname{Vir}({\omega}^i)$ generated by ${\omega}^i$ is isomorphic to the Virasoro vertex operator algebra of given central charge, and ${\omega}^1$, ${\omega}^2$, and ${\omega}^3$ generate $$\operatorname{Vir}({\omega}^1) \otimes \operatorname{Vir}({\omega}^2) \otimes \operatorname{Vir}({\omega}^3) \cong L(\frac{1}{2},0) \otimes L(\frac{7}{10},0) \otimes L(\frac{4}{5},0).$$ We study certain subalgebras, and also submodules for them in $V_{L_i}, i=0,a,b,c$ and $V_{L^j}, j=0,1,2$. Set $$\begin{aligned} M_{k}^{i}&=\{ v\in V_{L_i}\,|\,(\omega^3)_1 v=0\},\\ W_{k}^{i}&=\{ v\in V_{L_i}\,|\,(\omega^3)_1 v= \frac{2}{5}v\} ,\qquad \text{ for } i=0,a,b,c,\end{aligned}$$ and $$\begin{aligned} M_{t}^{j}&=\{ v\in V_{L^j}\,|\,(\omega^1)_1 v= (\omega^2)_1 v=0\},\\ W_{t}^{j}&=\{ v\in V_{L^j}\,|\,(\omega^1)_1 v=0,\quad (\omega^2)_1 v=\frac{3}{5}v\} ,\qquad \text{ for } j=0,1,2.\end{aligned}$$ Then $M_k^0$ and $M_t^0$ are simple vertex operator algebras. Furthermore, $\{M_k^i,\,W_k^i,\, i=0,a,b,c\}$ and $\{M_t^j,\, W_t^j,\, j=0,1,2\}$ are the sets of all inequivalent irreducible modules for $M_k^0$ and $M_t^0$, respectively @KLY1 [@KMY; @LY]. We also have $$\begin{aligned} & M_{k}^{0}\cong L( \frac{1}{2},0) \otimes L( \frac{7}{10} ,0) \oplus L( \frac{1}{2},\frac{1}{2}) \otimes L \frac{7}{10},\frac{3}{2}),\\ & W_{k}^{0}\cong L( \frac{1}{2},0) \otimes L( \frac{7}{10},\frac{3}{5}) \oplus L( \frac{1}{2}, \frac{1}{2}) \otimes L(\frac{7}{10},\frac{1}{10}),\\ & M_{k}^{a}\cong M_{k}^{b}\cong L( \frac{1}{2},\frac{1}{16}) \otimes L(\frac{7}{10},\frac{7}{16}),\\ & W_{k}^{a}\cong W_{k}^{b}\cong L( \frac{1}{2},\frac{1}{16}) \otimes L( \frac{7}{10},\frac{3}{80}),\\ & M_{k}^{c}\cong L( \frac{1}{2},\frac{1}{2}) \otimes L(\frac{7}{10},0) \oplus L( \frac{1}{2},0) \otimes L(\frac{7}{10},\frac{3}{2}),\\ & W_{k}^{c}\cong L( \frac{1}{2},\frac{1}{2}) \otimes L( \frac{7}{10},\frac{3}{5}) \oplus L( \frac{1}{2},0) \otimes L(\frac{7}{10},\frac{1}{10})\end{aligned}$$ as $L(1/2,0)\otimes L(7/10,0)$-modules and $$\begin{aligned} M_{t}^{0} & \cong L( \frac{4}{5},0) \oplus L( \frac{4}{5},3), & W_{t}^{0} & \cong L( \frac{4}{5},\frac{2}{5}) \oplus L( \frac{4}{5},\frac{7}{5}),\\ M_{t}^{1} & \cong M_{t}^{2}\cong L( \frac{4}{5},\frac{2}{3}), & W_{t}^{1} & \cong W_{t}^{2}\cong L( \frac{4}{5},\frac{1}{15})\end{aligned}$$ as $L(4/5,0)$-modules. Note also that $$V_{L^{(i,j)}}\cong \left(M_k^i\otimes M_t^j\right) \oplus \left(W_k^i\otimes W_t^j\right)$$ as an $M_k^0\otimes M_t^0$-module. We consider the following three isometries of $(L,{\langle}\cdot,\cdot{\rangle})$: $$\begin{aligned} \tau &: {\beta}_1 \to {\beta}_2 \to {\beta}_0 \to {\beta}_1,\\ {\sigma}&: {\beta}_1 \to {\beta}_2, \qquad {\beta}_2 \to {\beta}_1,\\ \theta &: {\beta}_i \to -{\beta}_i, \quad i=1,2.\end{aligned}$$ Note that $\tau$ is fixed-point-free and of order $3$. Note also that ${\sigma}\tau {\sigma}= \tau^{-1}$. The isometries $\tau, {\sigma}$, and $\theta$ of $L$ can be extended to isometries of $L^\perp$. Then they induce permutations on $L^\perp/L$. Since $\hat{L}$ is a split extension, the isometry $\tau$ of $L$ lifts naturally to an automorphism of $\hat{L}$. Then it induces an automorphism of $V_L$: $${\alpha}^1(-n_1)\cdots{\alpha}^k(-n_k)e^{{\beta}} \longmapsto (\tau{\alpha}^1)(-n_1)\cdots(\tau{\alpha}^k)(-n_k)e^{\tau{\beta}}.$$ By abuse of notation, we denote it by $\tau$ also. Moreover, we can consider the action of $\tau$ on $V_{L^{(i,j)}}$ in a similar way. We apply the same argument to $\sigma$ and $\theta$. Set $M=M_k^0$. The vertex operator algebra $M$ plays an important role in this paper. Recall that $$M \cong L(\frac{1}{2},0) {\otimes}L(\frac{7}{10},0) \oplus L(\frac{1}{2},\frac{1}{2}) {\otimes}L(\frac{7}{10},\frac{3}{2})$$ as $\operatorname{Vir}({\omega}^1)\otimes \operatorname{Vir}({\omega}^2)$-modules. Note that ${\omega}$ is the Virasoro element of $M$ whose central charge is $6/5$. For $u \in M$, we have ${\omega}_1 u = hu$ for some $h \in {{\mathbb Z}}$ if and only if $\widetilde{{\omega}}_1 u=hu$. In such a case $h$ is called the weight of $u$. Note also that $M$ is generated by $w({\alpha}_1)$, $w({\alpha}_2)$, and $w({\alpha}_0)$. In particular, $M$ is invariant under $\tau$, $\sigma$, and $\theta$. In fact, $\theta$ acts on $M$ as the identity. We next show that the automorphism group $\operatorname{Aut}(M)$ of $M$ is generated by $\sigma$ and $\tau$. $(1)$ There are exactly three conformal vectors of central charge $1/2$ in $M$, which are $\frac{1}{4}w({\alpha}_i)$, $i=0,1,2$. $(2)$ $\operatorname{Aut}(M)={\langle}{\sigma},\tau{\rangle}$ is isomorphic to a symmetric group of degree $3$. <span><span>**Proof**</span> </span>We first consider conformal vectors in $M$. By @M1 [Lemma 5.1], a weight $2$ vector $v$ is a conformal vector of central charge $1/2$ if and only if $v_1 v=2v$ and $v_3 v=\frac{1}{4}{\mathbf {1}}$. Since $\{w({\alpha}_0), w({\alpha}_1), w({\alpha}_2)\}$ is a basis of the weight $2$ subspace of $M$, we may write $v = \sum_{i=0}^2 a_i w({\alpha}_i)$ for some $a_i \in {{\mathbb C}}$. From (\[w1w\]) and (\[w3w\]) we see that $v_1 v=2v$ and $v_3 v=\frac{1}{4}{\mathbf {1}}$ hold only if $(a_0,a_1,a_2)=(1/4,0,0)$, $(0,1/4,0)$, or $(0,0,1/4)$. This proves (1). Then any automorphism of $M$ induces a permutation on $\{w({\alpha}_0), w({\alpha}_1), w({\alpha}_2)\}$. If an automorphism induces the identity permutation on the set, it must be the identity since $M$ is generated by $w({\alpha}_1)$, $w({\alpha}_2)$, and $w({\alpha}_0)$. Now $$\tau : w({\alpha}_1) \to w({\alpha}_2) \to w({\alpha}_0) \to w({\alpha}_1),$$ and $$\sigma : w({\alpha}_1) \to w({\alpha}_2),\quad w({\alpha}_2) \to w({\alpha}_1),\quad w({\alpha}_0) \to w({\alpha}_0).$$ Hence (2) holds. Let $v_h = w({\alpha}_2) - w({\alpha}_0)$. This vector is a highest weight vector of highest weight $(1/2, 3/2)$ for $\operatorname{Vir}({\omega}^1) \otimes \operatorname{Vir}({\omega}^2)$, that is, $({\omega}^1)_1 v_h = (1/2)v_h$, $({\omega}^2)_1 v_h = (3/2)v_h$, and $({\omega}^1)_n v_h = ({\omega}^2)_n v_h = 0$ for $n \ge 2$. Thus the $\operatorname{Vir}({\omega}^1) \otimes \operatorname{Vir}({\omega}^2)$-submodule in $M$ generated by $v_h$ is isomorphic to $L(1/2, 1/2)\otimes L(7/10,3/2)$. In particular, $M$ is generated by ${\omega}^1$, ${\omega}^2$, and $v_h$. We can choose another generator of $M$. Let $$\label{u1u2} u^1 = w({\alpha}_1)+\xi^2 w({\alpha}_2)+\xi w({\alpha}_0), \qquad u^2=w({\alpha}_1)+\xi w({\alpha}_2)+\xi^2 w({\alpha}_0),$$ where $\xi = \exp(2\pi\sqrt{-1}/3)$ is a primitive cubic root of unity. Then $\tau u^1=\xi u^1$, $\tau u^2=\xi^2 u^2$, and $\sigma u^1=\xi^2 u^2$. We also have $(u^1)_1 u^1 = 4u^2$ and $((u^1)_1 u^1)_1 u^1=140{\omega}$. Thus $u^1$, $(u^1)_1 u^1$, and $((u^1)_1 u^1)_1 u^1$ span the weight $2$ subspace of $M$. This implies that $M$ is generated by a single vector $u^1$. A similar assertion holds for $u^2$. The subalgebra $M_t^0\cong L(4/5,0) \oplus L(4/5,3)$ is called a $3$-state Potts model. It plays an important role in Subsection 4.2. The irreducible $M_t^0$-modules and their fusion rules are determined in @KMY [@M2]. The Virasoro element of $M_t^0$ is ${\omega}^3$. Let $$\label{hwvt} \begin{split} v_t=&\frac{1}{9} ({\alpha}_1-{\alpha}_2)(-1)({\alpha}_2-{\alpha}_0)(-1)({\alpha}_0-{\alpha}_1)(-1)\\ &-\frac{1}{2} ({\alpha}_1-{\alpha}_2)(-1)x({\alpha}_0) -\frac{1}{2} ({\alpha}_2-{\alpha}_0)(-1)x({\alpha}_1) -\frac{1}{2} ({\alpha}_0-{\alpha}_1)(-1)x({\alpha}_2), \end{split}$$ which is denoted by $q$ in @KMY. The vector $v_t$ is a highest weight vector in $M_t^0$ of highest weight $3$ for $\operatorname{Vir}({\omega}^3)$. Clearly, $\tau v_t = v_t$ and thus $\tau$ fixes every element in $M_t^0$. Moreover, $\sigma v_t = -v_t$ and $\theta v_t=-v_t$. Hence $\sigma$ and $\theta$ induce the same automorphism of $M_t^0$, namely, $1$ on $\operatorname{Vir}({\omega}^3) \cong L(4/5,0)$ and $-1$ on the $\operatorname{Vir}({\omega}^3)$-submodule generated by $v_t$, which is isomorphic to $L(4/5,3)$. The automorphism group $\operatorname{Aut}(M_t^0)$ is of order $2$ generated by $\theta$. Subalgebra ${{\mathcal W}}$ generated by ${\omega}$ and $J$ in $M^\tau$ ======================================================================= For any $\tau$-invariant space $U$, set $U(\epsilon)=\{u \in U\,|\, \tau u=\xi^\epsilon u\}$, $\epsilon=0,1,2$, where $\xi=\exp(2\pi\sqrt{-1}/3)$. We usually denote the subspace $U(0)$ of fixed points by $U^\tau$ also. We are interested in the subalgebra $M^\tau$. The weight $2$ subspace of $M^\tau$ is spanned by ${\omega}$. In fact, ${\omega}$ is the Virasoro element of $M$ with central charge $6/5$. This means that the subalgebra $\operatorname{Vir}({\omega})$ generated by ${\omega}$ is isomorphic to $L(6/5,0)$. Note that $M$ and $M^\tau$ are completely reducible as modules for $\operatorname{Vir}({\omega})$, since $V_L$ possesses an invariant positive definite hermitian form (see Subsection 5.3). Every irreducible direct summand in $M$ or $M^\tau$ is isomorphic to $L(6/5,h)$ for some nonnegative integer $h$. Note also that $\sigma$ leaves $M^\tau=M(0)$ invariant and interchanges $M(1)$ and $M(2)$. Since $\sigma$ fixes ${\omega}$, $\sigma$ acts on $\operatorname{Vir}({\omega})$ as the identity. Thus $M(1)$ and $M(2)$ are equivalent $\operatorname{Vir}({\omega})$-modules. We now count dimension of homogeneous subspaces of $M$ of small weights. The characters of $L(1/2,h)$, $L(7/10,h)$, and $L(6/5,h)$ are well known (cf. @KR [@R]). Using them, we have the first several terms of the character of $M$: $$\begin{aligned} \operatorname{ch}M &= \operatorname{ch}L(\frac{1}{2},0) \operatorname{ch}L(\frac{7}{10},0) + \operatorname{ch}L(\frac{1}{2},\frac{1}{2}) \operatorname{ch}L(\frac{7}{10},\frac{3}{2})\\ &= 1+3q^2+4q^3+9q^4+12q^5+22q^6+\cdots.\end{aligned}$$ Comparing $\operatorname{ch}M$ with the character of $L(6/5,h)$, we see that $$M\cong L(\frac{6}{5},0)+2L(\frac{6}{5},2)+L(\frac{6}{5},3)+ 2L(\frac{6}{5},4)+L(\frac{6}{5},6)+\cdots$$ as $\operatorname{Vir}({\omega})$-modules. The vectors $u^1$ and $u^2$ of (\[u1u2\]) are highest weight vectors for $\operatorname{Vir}({\omega})$ of weight $2$. Hence the $\operatorname{Vir}({\omega})$-submodule generated by $u^\epsilon$ in $M(\epsilon)$ is isomorphic to $L(6/5,2)$, $\epsilon=1,2$. Next, we study the weight $3$ subspace. The weight $3$ subspace of $M$ is of dimension $4$ and so there are nontrivial relations among $w({\alpha}_i)_0w({\alpha}_j)$, $i,j \in \{0,1,2\}$. For example, $$\begin{aligned} & w({\alpha}_1)_0w({\alpha}_2) - w({\alpha}_2)_0w({\alpha}_1)\\ &\qquad=w({\alpha}_2)_0w({\alpha}_0) - w({\alpha}_0)_0w({\alpha}_2)\\ &\qquad=w({\alpha}_0)_0w({\alpha}_1) - w({\alpha}_1)_0w({\alpha}_0).\end{aligned}$$ Set $J=w({\alpha}_1)_0w({\alpha}_2) - w({\alpha}_2)_0w({\alpha}_1)$. In terms of the lattice vertex operator algebra $V_L$, $J$ can be written as $$\begin{split} J &= \frac{1}{3}\Big({\alpha}_1(-2)\big({\alpha}_0(-1) - {\alpha}_2(-1)\big)\\ &\qquad\qquad + {\alpha}_2(-2)\big({\alpha}_1(-1) - {\alpha}_0(-1)\big) + {\alpha}_0(-2)\big({\alpha}_2(-1) - {\alpha}_1(-1)\big)\Big)\\ & \quad + \sqrt{2}\Big(\big({\alpha}_0(-1) - {\alpha}_2(-1)\big)y({\alpha}_1)\\ &\qquad\qquad +\big({\alpha}_1(-1) - {\alpha}_0(-1)\big)y({\alpha}_2) + \big({\alpha}_2(-1) - {\alpha}_1(-1)\big)y({\alpha}_0)\Big). \end{split}$$ Note that $(u^1)_1u^2-(u^2)_1u^1=3\sqrt{-3}J$. Note also that $\tau J=J$, $\sigma J=-J$ and $\theta J=J$. The weight $3$ subspace of $M^\tau$ is of dimension $2$ and it is spanned by ${\omega}_0{\omega}$ and $J$. Furthermore, we have ${\omega}_1J=3J$ and ${\omega}_nJ=0$ for $n \ge 2$. Hence $J$ is a highest weight vector for $\operatorname{Vir}({\omega})$ of highest weight $3$ in $M^\tau$. The weight $4$ subspace of $M$ is of dimension $9$. By a direct calculation, we can verify that $w({\alpha}_i)_{-1}w({\alpha}_j)$, $0 \le i,j \le 2$ are linearly independent. Hence $w({\alpha}_i)_{-1}w({\alpha}_j)$'s form a basis of the weight $4$ subspace of $M$. From this it follows that the weight $4$ subspace of $M^\tau$ is of dimension $3$. Since the weight $4$ subspace of $\operatorname{Vir}({\omega})\cong L(6/5,0)$ is of dimension $2$ and since the weight $4$ subspace of the $\operatorname{Vir}({\omega})$-submodule generated by $J$, which is isomorphic to $L(6/5,3)$, is of dimension $1$, we conclude that there is no highest weight vector for $\operatorname{Vir}({\omega})$ in the weight $4$ subspace of $M^\tau$. We have shown that $(1)$ $\{ w({\alpha}_i)_{-1}w({\alpha}_j)\,|\,0 \le i,j \le 2\}$ is a basis of the weight $4$ subspace of $M$. $(2)$ There is no highest weight vector for $\operatorname{Vir}({\omega})$ of weight $4$ in $M^\tau$. By the above argument, we know all the irreducible direct summands $L(6/5,h)$ with $h \le 6$ in the decomposition of $M(\epsilon)$ into a direct sum of irreducible $\operatorname{Vir}({\omega})$-modules. Namely, $$\begin{aligned} M^\tau &=M(0) \cong L(\frac{6}{5},0)+L(\frac{6}{5},3)+L(\frac{6}{5},6)+\cdots,\\ M(1)&\cong M(2)\cong L(\frac{6}{5},2)+L(\frac{6}{5},4)+\cdots.\end{aligned}$$ We now consider the vertex operator algebra ${{\mathcal W}}$ generated by ${\omega}$ and $J$ in $M^\tau.$ Of course ${{\mathcal W}}$ is a subalgebra of $M^{\tau}.$ We will show that ${{\mathcal W}}$ is, in fact, equal to $M^\tau.$ The basic data are the commutation relations of the component operators ${\omega}_m$ and $J_n$. For the determination of the commutation relation $[J_m,J_n]$, it is sufficient to express $J_n J$, $0 \le n \le 5$, by using ${\omega}$. First of all we note that the weight $\operatorname{wt}J_n J = 5-n$ is at most $5$ for $0 \le n \le 5$. Thus $J_n J$ is contained in $L(6/5, 0) + L(6/5, 3)$, where $L(6/5, 0)$ and $L(6/5,3)$ stand for $\operatorname{Vir}({\omega})$ and the $\operatorname{Vir}({\omega})$-submodule generated by $J$ respectively. Since $\sigma$ fixes every element in $\operatorname{Vir}({\omega})$ and $\sigma J = -J$, $\sigma$ acts as $-1$ on the $\operatorname{Vir}({\omega})$-submodule generated by $J$. Hence $J_n J$ is in fact contained in $\operatorname{Vir}({\omega})$. By a direct calculation, we have $$\label{JnJ} \begin{split} J_5 J &= -84{\mathbf {1}},\\ J_4 J &= 0,\\ J_3 J &= -420\omega,\\ J_2 J &= -210\omega_0\omega,\\ J_1 J &= 9\omega_0\omega_0\omega - 240\omega_{-1}\omega,\\ J_0 J &= 22\omega_0\omega_0\omega_0\omega - 120\omega_0\omega_{-1}\omega. \end{split}$$ Note that $\{{\omega}_0{\omega},\,J\}$, $\{{\omega}_0{\omega}_0{\omega},\, {\omega}_{-1}{\omega},\,{\omega}_0 J\}$, and $\{{\omega}_0{\omega}_0{\omega}_0{\omega},\, {\omega}_0{\omega}_{-1}{\omega},\, {\omega}_0{\omega}_0 J,\, {\omega}_{-1}J\}$ are bases of weight $3,\,4$, and $5$ subspaces of $M^{\tau}$ respectively. In terms of the lattice vertex operator algebra $V_L$, the vectors $J_2 J, J_1J$, and $J_0 J$ can be written as follows. $$J_2 J = -42\sum_{i=0}^2 {\alpha}_i(-2){\alpha}_i(-1) + 42\sqrt{2} \sum_{i=0}^2 {\alpha}_i(-1)y({\alpha}_i),$$ $$\begin{split} J_1 J &= -38 \sum_{i=0}^2 {\alpha}_i(-3){\alpha}_i(-1) -3 \sum_{i=0}^2 {\alpha}_i(-2)^2 -8 \sum_{i=0}^2 {\alpha}_i(-1)^4\\ & \quad +6 \sum_{i=0}^2 {\alpha}_i(-1)^2 x({\alpha}_i) + 51\sqrt{2} \sum_{i=0}^2 {\alpha}_i(-2) y({\alpha}_i), \end{split}$$ $$\begin{split} J_0 J &= -36 \sum_{i=0}^2 {\alpha}_i(-4){\alpha}_i(-1) - 4 \sum_{i=0}^2 {\alpha}_i(-3){\alpha}_i(-2) - 16 \sum_{i=0}^2 {\alpha}_i(-2){\alpha}_i(-1)^3\\ & \quad + 36 \sum_{i=0}^2 {\alpha}_i(-2){\alpha}_i(-1)x({\alpha}_i) + \sum_{i=0}^2 \big(44\sqrt{2}{\alpha}_i(-3) - 4\sqrt{2}{\alpha}_i(-1)^3\big)y({\alpha}_i). \end{split}$$ We need some formulas for vertex operator algebras (cf. @FLM), namely, $$\begin{aligned} [u_m,v_n] &= \sum_{k=0}^{\infty} \binom{m}{k}(u_k v)_{m+n-k},\label{commu}\\ (u_m v)_n &= \sum_{k=0}^{\infty} (-1)^k \binom{m}{k} \big(u_{m-k}v_{n+k} - (-1)^m v_{m+n-k}u_k\big),\label{assoc}\\ ({\omega}_0 v)_n &= -nv_{n-1}.\label{diff}\end{aligned}$$ Using them we can obtain the commutation relations of the component operators ${\omega}_m$ and $J_n$. Let $L(n)={\omega}_{n+1}$ and $J(n)=J_{n+2}$ for $n \in {{\mathbb Z}}$, so that the weights of these operators are $\operatorname{wt}L(n)= \operatorname{wt}J(n)=-n$. The $$[L(m),\,L(n)]=(m-n)L(m+n)+\frac{m^3-m}{12}\cdot\frac{6}{5} \cdot\delta_{m+n,0},\label{LL}$$ $$[L(m),\,J(n)]=(2m-n)J(m+n),\label{LJ}$$ $$\begin{split} [J(m),\,J(n)] &=(m-n)\Big(22(m+n+2)(m+n+3) + 35(m+2)(n+2)\Big)L(m+n)\\ &\qquad -120(m-n)\Big( \sum_{k \le -2} L(k)L(m+n-k) + \sum_{k \ge -1}L(m+n-k)L(k) \Big)\\ &\qquad -\frac{7}{10}m(m^2-1)(m^2-4)\delta_{m+n,0}. \end{split} \label{JJ}$$ <span><span>**Proof**</span> </span>The first equation holds since ${\omega}$ is the Virasoro element of central charge $6/5$. We know that ${\omega}_1 J=3J$ and ${\omega}_n J=0$ for $n \ge 2$. Hence the second equation holds. Now $$\begin{aligned} ({\omega}_{-1}{\omega})_{n+3} &= \sum_{k=0}^{\infty} (-1)^k\binom{-1}{k}\Big( {\omega}_{-1-k}{\omega}_{n+3+k} - (-1)^{-1}{\omega}_{n+2-k}{\omega}_k\Big)\\ &=\sum_{k=0}^{\infty} \Big( L(-k-2)L(n+k+2) + L(n+1-k)L(k-1)\Big)\\ &=\sum_{k \le -2} L(k)L(n-k) + \sum_{k \ge -1}L(n-k)L(k) \Big).\end{aligned}$$ Thus the last equation follows from (\[JnJ\]). Let $L_n=L(n)$ and $W_n=\sqrt{-1/210}J(n)$. Then the commutation relations in the above theorem coincide with the commutation relations (2.1) and (2.2) of @BMP. Thus ${{\mathcal W}}$ is a $W_3$ algebra of central charge $6/5$. Let $\lambda(m)=i(i+1)$ if $m=2i+1$ is odd and $\lambda(m)=i^2$ if $m=2i$ is even. Let $:L(n_1)L(n_2):$ be the normal ordered product, so that it is equal to $L(n_1)L(n_2)$ if $n_1 \le n_2$ and $L(n_2)L(n_1)$ if $n_1 \ge n_2$. Then we have another expression of $({\omega}_{-1}{\omega})_{n+3}$. That is (cf. @FZ), $$({\omega}_{-1}{\omega})_{n+3}=\lambda(n+3)L(n) + \sum_{k \in {{\mathbb Z}}} :L(k)L(n-k):.$$ $20$ irreducible modules for $M^\tau$ ===================================== In this section we construct $20$ irreducible modules for $M^\tau$. Furthermore, we calculate the action of the weight preserving component operators $L(0)={\omega}_1$ and $J(0)=J_2$ on the top levels of those irreducible modules for $M^\tau$. Recall that $M$ has exactly $8$ inequivalent irreducible modules $M_k^i$, $W_k^i$, $i=0,a,b,c$. Let $(U, Y_U)$ be one of those irreducible $M$-modules. Following @DLM, we consider a new $M$-module $(U\circ\tau, Y_{U\circ\tau})$ such that $U\circ\tau = U$ as vector spaces and $$Y_{U\circ\tau}(v,z)=Y_U(\tau v,z) \quad \mbox{for } v \in M.$$ Then $U \mapsto U\circ\tau$ induces a permutation on the set of irreducible $M$-modules. If $U$ and $U\circ\tau$ are equivalent $M$-modules, $U$ is said to be $\tau$-stable. By the definition, we have $U\circ\tau^2=(U\circ\tau)\circ\tau$. The following lemma is a straightforward consequence of the definition of $M_k^i$ and $W_k^i$. $(1)$ $M_k^0\circ\tau=M_k^0$ and $W_k^0\circ\tau=W_k^0$. $(2)$ $M_k^a\circ\tau=M_k^c$, $M_k^c\circ\tau=M_k^b$, and $M_k^b\circ\tau=M_k^a$. $(3)$ $W_k^a\circ\tau=W_k^c$, $W_k^c\circ\tau=W_k^b$, and $W_k^b\circ\tau=W_k^a$. Here $W_k^0\circ\tau=W_k^0$ means that there exists a linear isomorphism $\phi(\tau) : W_k^0 \longrightarrow W_k^0$ such that $\phi(\tau) Y_{W_k^0}(v,z)\phi(\tau)^{-1} = Y_{W_k^0}(\tau v,z)$ for all $v \in M$. The automorphism $\tau$ of $V_L$ fixes $\omega^3$ and so $W_k^0$ is invariant under $\tau$. Hence we can take $\tau$ as $\phi(\tau)$. Note also that $\tau Y(v,z)\tau^{-1}=Y(\tau v,z)$ for all $v \in M=M_k^0$ since $\tau \in \operatorname{Aut}(M)$. Irreducible $M^\tau$-modules in untwisted $M$-modules ----------------------------------------------------- We first find $8$ irreducible $M^\tau$-modules inside the $8$ irreducible modules for $M$. Recall that $M(\epsilon)=\{ v \in M_k^0\,|\, \tau v= \xi^\epsilon v\}$. Likewise, set $W(\epsilon)=\{ v \in W_k^0\,|\, \tau v= \xi^\epsilon v\}$. From Lemma 4.1, @DM [Theorem 4.4], and @DY [Theorem 6.14], we see that $M(\epsilon)$ and $W(\epsilon)$ are inequivalent irreducible $M^\tau$-modules for $\epsilon=0,1,2$. Note that $M_k^i$, $i=a,b,c$ are equivalent irreducible $M^\tau$-modules and that $W_k^i$, $i=a,b,c$ are also equivalent irreducible $M^\tau$-modules by @DY [Theorem 6.14]. Hence we obtain 8 inequivalent irreducible $M^\tau$-modules. The top levels, that is, the weight subspaces of the smallest weights of $M(0)$, $M(1)$, and $M(2)$ are ${{\mathbb C}}{\mathbf {1}}$, ${{\mathbb C}}u^1$, and ${{\mathbb C}}u^2$ respectively. The top levels of $W(0)$, $W(1)$, and $W(2)$ are $${{\mathbb C}}(y({\alpha}_1)+y({\alpha}_2)+y({\alpha}_0)), \quad {{\mathbb C}}({\alpha}_1(-1)-\xi{\alpha}_2(-1)), \quad and \quad {{\mathbb C}}({\alpha}_1(-1)-\xi^2{\alpha}_2(-1))$$ respectively. Moreover, the top levels of $M_k^c$ and $W_k^c$ are $${{\mathbb C}}(e^{\beta_1/2} - e^{-\beta_1/2}) \quad \mbox{and} \quad {{\mathbb C}}(e^{\beta_1/2} + e^{-\beta_1/2})$$ respectively. All of those top levels are of dimension one. Next, we deal with the action of $L(0)$ and $J(0)$ on those top levels. The operator $L(0)$ acts as multiplication by the weight of each top level. For the calculation of the action of $J(0)$, we first notice that $$[w({\alpha}_i)_1, w({\alpha}_j)_1] = (w({\alpha}_i)_0 w({\alpha}_j))_2 + (w({\alpha}_i)_1 w({\alpha}_j))_1$$ by (\[commu\]). Since $w({\alpha}_i)_1 w({\alpha}_j) = w({\alpha}_j)_1 w({\alpha}_i)$, it follows that $$\begin{aligned} J(0) &=(w({\alpha}_1)_0 w({\alpha}_2))_2 - (w({\alpha}_2)_0 w({\alpha}_1))_2\\ &=[w({\alpha}_1)_1, w({\alpha}_2)_1] - [w({\alpha}_2)_1, w({\alpha}_1)_1].\end{aligned}$$ Using this formula it is relatively easy to calculate the eigenvalue for the action of $J(0)$ on each of the $8$ top levels. The results are collected in Table \[top1\]. irred. module top level $L(0)$ $J(0)$ --------------- ------------------------------------------------------------ ---------------- ---------------- $M(0)$ ${{\mathbb C}}{\mathbf {1}}$ $0$ $0$ $M(1)$ ${{\mathbb C}}u^1$ $2$ $-12\sqrt{-3}$ $M(2)$ ${{\mathbb C}}u^2$ $2$ $12\sqrt{-3}$ $W(0)$ ${{\mathbb C}}(y({\alpha}_1)+y({\alpha}_2)+y({\alpha}_0))$ $\frac{8}{5}$ $0$ $W(1)$ ${{\mathbb C}}({\alpha}_1(-1) - \xi{\alpha}_2(-1))$ $\frac{3}{5}$ $2\sqrt{-3}$ $W(2)$ ${{\mathbb C}}({\alpha}_1(-1) - \xi^2{\alpha}_2(-1))$ $\frac{3}{5}$ $-2\sqrt{-3}$ $M_k^c$ ${{\mathbb C}}(e^{{\beta}_1/2}-e^{-{\beta}_1/2})$ $\frac{1}{2}$ $0$ $W_k^c$ ${{\mathbb C}}(e^{{\beta}_1/2}+e^{-{\beta}_1/2})$ $\frac{1}{10}$ $0$ : irreducible $M^\tau$-modules in $M_k^i$ and $W_k^i$<span data-label="top1"></span> Irreducible $M^\tau$-modules in $\tau$-twisted $M$-modules ---------------------------------------------------------- Using @DLM, we show that there are exactly two inequivalent irreducible $\tau$-twisted (resp. $\tau^2$-twisted) $M$-modules. Moreover, we find $3$ inequivalent irreducible $M^\tau$-modules in each of the irreducible $\tau$-twisted (resp. $\tau^2$-twisted) $M$-modules. Those irreducible $\tau$-twisted (resp. $\tau^2$-twisted) $M$-modules will in turn be constructed inside irreducible $\tau$-twisted (resp. $\tau^2$-twisted) $V_L$-modules. Basic references to twisted modules for lattice vertex operator algebras are @D2 [@DL; @L]. The argument here is similar to that in @KLY2 [Section 6]. We follow @DL with $L=\sqrt{2}A_2$, $p=3$, $q=6$, and $\nu=\tau$. Let ${{\mathfrak h}}= {{\mathbb C}}\otimes_{{{\mathbb Z}}}L$ and extend the ${{\mathbb Z}}$-bilinear form ${\langle}\cdot,\cdot{\rangle}$ on $L$ to ${{\mathfrak h}}$ linearly. Set $$h_1 = \frac{1}{3}({\beta}_1 + \xi^2 {\beta}_2 + \xi {\beta}_0), \qquad h_2= \frac{1}{3}({\beta}_1 + \xi {\beta}_2 + \xi^2 {\beta}_0).$$ Then $\tau h_j = \xi^j h_j$, ${\langle}h_1, h_1 {\rangle}= {\langle}h_2, h_2 {\rangle}= 0$, and ${\langle}h_1, h_2 {\rangle}=2$. Moreover, ${\beta}_i=\xi^{i-1}h_1+\xi^{2(i-1)}h_2$, $i=0,1,2$. For $n \in {{\mathbb Z}}$, set $${{\mathfrak h}}_{(n)} = \{{\alpha}\in {{\mathfrak h}}\, |\,\tau{\alpha}=\xi^n{\alpha}\}.$$ Since $\tau$ is fixed-point-free on $L$, it follows that ${{\mathfrak h}}_{(0)}=0$. Furthermore, ${{\mathfrak h}}_{(1)}={{\mathbb C}}h_1$ and ${{\mathfrak h}}_{(2)}={{\mathbb C}}h_2$. For ${\alpha}\in {{\mathfrak h}}$, we denote by ${\alpha}_{(n)}$ the component of ${\alpha}$ in ${{\mathfrak h}}_{(n)}$. Thus $({\beta}_i)_{(1)}=\xi^{i-1}h_1$ and $({\beta}_i)_{(2)}=\xi^{2(i-1)}h_2$ for $i=0,1,2$. Define the $\tau$-twisted affine Lie algebra to be $$\hat{{{\mathfrak h}}}[\tau]=\Big(\bigoplus_{n\in {{\mathbb Z}}}{{\mathfrak h}}_{(n)}\otimes t^{n/3}\Big) \oplus {{\mathbb C}}c$$ with the bracket $$[x\otimes t^m, y\otimes t^n]= m {\langle}x,y{\rangle}\delta_{m+n,0}c$$ for $x\in {{\mathfrak h}}_{(3m)}$, $y\in {{\mathfrak h}}_{(3n)}$, $m,n\in (1/3){{\mathbb Z}}$, and $[c,\hat{{{\mathfrak h}}}[g]]=0$. The isometry $\tau$ acts on $\hat{{{\mathfrak h}}}[\tau]$ by $\tau (x \otimes t^m)=\xi^m x\otimes t^m$ and $\tau(c)=c$. Set $$\hat{{{\mathfrak h}}}[\tau]^+=\bigoplus_{n>0}{{\mathfrak h}}_{(n)}\otimes t^{n/3},\quad \hat{{{\mathfrak h}}}[\tau]^-=\bigoplus_{n<0}{{\mathfrak h}}_{(n)}\otimes t^{n/3},\quad \text{and} \quad \hat{{{\mathfrak h}}}[\tau]^0 ={{\mathbb C}}c$$ and consider the $\hat{{{\mathfrak h}}}[\tau]$-module $$S[\tau]=U(\hat{{{\mathfrak h}}}[\tau])\otimes_{U(\hat{{{\mathfrak h}}}[\tau]^+\oplus \hat{{{\mathfrak h}}}[\tau]^0)}{{\mathbb C}}$$ induced from the $\hat{{{\mathfrak h}}}[\tau]^+\oplus \hat{{{\mathfrak h}}}[\tau]^0$-module ${{\mathbb C}}$, where $\hat{{{\mathfrak h}}}[\tau]^+$ acts trivially on ${{\mathbb C}}$ and $c$ acts as $1$ on ${{\mathbb C}}$. We define the weight in $S[\tau]$ by $$\operatorname{wt}(x\otimes t^n)=-n \quad \text{and}\quad \operatorname{wt}1 =\frac{1}{9},$$ where $n \in (1/3){{\mathbb Z}}$ and $x \in {{\mathfrak h}}_{(3n)}$ (cf. @DL [(4.6), (4.10)]). By the weight gradation $S[\tau]$ becomes a $(1/3){{\mathbb Z}}$-graded space. Its character is $$\label{chs} \operatorname{ch}S[\tau] = q^{1/9}\prod_{n=1}^{\infty} (1-q^n)/ \prod_{n=1}^{\infty} (1-q^{n/3}).$$ For ${\alpha}\in {{\mathfrak h}}$ and $n \in (1/3){{\mathbb Z}}$, denote by ${\alpha}(n)$ the operator on $S[\tau]$ induced by ${\alpha}_{(3n)}\otimes t^n$. Then, as a vector space $S[\tau]$ can be identified with a polynomial algebra with variables $h_1(1/3+n)$ and $h_2(2/3+n)$, $n \in {{\mathbb Z}}$. The weight of the operator $h_j(j/3+n)$ is $-j/3-n$. The alternating ${{\mathbb Z}}$-bilinear map $c_0^\tau : L \times L \to {{\mathbb Z}}/6{{\mathbb Z}}$ defined by @DL [(2.10)] is such that $$c_0^\tau({\alpha},\beta) = \sum_{r=0}^2 (3+2r){\langle}\tau^r{\alpha}, \beta{\rangle}+ 6{{\mathbb Z}}.$$ In our case $\sum_{r=0}^2 \tau^r{\alpha}= 0$, since $\tau$ is fixed-point-free on $L$. Moreover, we can verify that $$\sum_{r=0}^2 r{\langle}\tau^r \beta_i, \beta_j{\rangle}= \begin{cases} \pm 6 & \text{if\ } \tau\beta_i \ne \beta_j\\ 0 & \text{if\ } \tau\beta_i = \beta_j. \end{cases}$$ Hence $c_0^\tau({\alpha},\beta) = 0$ for all ${\alpha}, \beta \in L$. This means that the central extension $$\label{ext2} 1 \longrightarrow {\langle}\kappa_6{\rangle}\longrightarrow \hat{L}_\tau \overset{-}{\longrightarrow} L \longrightarrow 1$$ determined by the commutator condition $aba^{-1}b^{-1}=\kappa_6^{c_0^\tau(\bar{a},\bar{b})}$ splits. We consider the relation between two central extensions $\hat{L}$ of (\[ext1\]) and $\hat{L}_\tau$ of (\[ext2\]). Since both of $\hat{L}$ and $\hat{L}_\tau$ are split extensions, we use the same symbol $e^{\alpha}$ to denote both of an element in $\hat{L}$ and an element in $\hat{L}_\tau$ which correspond naturally to ${\alpha}\in L$. Actually, in Section 2 we choose $e^{\alpha}\in \hat{L}$ so that the multiplication in $\hat{L}$ is $e^{\alpha}\times e^{\beta}= e^{{\alpha}+{\beta}}$. Also we can choose $e^{\alpha}\in \hat{L}_\tau$ such that the multiplication $e^{\alpha}\times_\tau e^{\beta}$ in $\hat{L}_\tau$ is related to the multiplication in $\hat{L}$ by (cf. @DL [(2.4)]) $$\label{mult} e^{\alpha}\times e^{\beta}= \kappa_6^{{\varepsilon}_0({\alpha},{\beta})} e^{\alpha}\times_\tau e^{\beta},$$ where the ${{\mathbb Z}}$-linear map $\varepsilon_0 : L \times L \to {{\mathbb Z}}/6{{\mathbb Z}}$ is defined by @DL [(2.13)]. In our case $$\label{ve0} {\varepsilon}_0({\alpha},{\beta})=-{\langle}\tau^{-1}{\alpha},{\beta}{\rangle}+ 6{{\mathbb Z}}.$$ As in Section 2, we usually write $e^{\alpha}e^{\beta}=e^{{\alpha}+{\beta}}$ to denote the product of $e^{\alpha}$ and $e^{\beta}$ in $\hat{L}$. Note, for example, that the inverse of $e^{{\beta}_1}$ in $\hat{L}$ is $e^{-{\beta}_1}$, while the inverse of $e^{{\beta}_1}$ in $\hat{L}_\tau$ is $\kappa_3^2 e^{-{\beta}_1}$. The automorphism $\tau$ of $L$ lifts to an automorphism $\hat{\tau}$ of $\hat{L}$ such that $\hat{\tau}(e^{\alpha}) = e^{\tau{\alpha}}$ and $\hat{\tau}(\kappa_6)=\kappa_6$. Since ${\varepsilon}_0$ is $\tau$-invariant, we can also think $\hat{\tau}$ to be an automorphism of $\hat{L}_\tau$ in a similar way. By abuse of notation we shall denote $\hat{\tau}$ by simply $\tau$ also. We have $(1-\tau)L=\operatorname{span}_{{{\mathbb Z}}}\{ {\beta}_1-{\beta}_2, {\beta}_1+2{\beta}_2\}$. The quotient group $L/(1-\tau)L$ is of order $3$ and generated by ${\beta}_1+(1-\tau)L$. Now $K=\{ a^{-1}\tau(a)\,|\,a\in\hat{L}_\tau\}$ is a central subgroup of $\hat{L}_\tau$ with $\overline{K}= (1-\tau)L$ and $K \cap {\langle}\kappa_6{\rangle}=1$. Here note that $a^{-1}$ is the inverse of $a$ in $\hat{L}_\tau$ and $a^{-1}\tau(a)$ is the product $a^{-1} \times_\tau \tau(a)$ in $\hat{L}_\tau$. In $\hat{L}_\tau$ we can verify that $$e^{3{\beta}_1}=(e^{{\beta}_0-{\beta}_1})^{-1} \times_\tau \tau(e^{{\beta}_0-{\beta}_1}) \in K.$$ Since $$\kappa_3 e^{{\beta}_1} \times_\tau \kappa_3 e^{{\beta}_1} \times_\tau \kappa_3 e^{{\beta}_1} = e^{3{\beta}_1} \qquad \text{and}\qquad \kappa_3 e^{{\beta}_1} \times_\tau \kappa_3 e^{-{\beta}_1}=1,$$ it follows that $$\hat{L}_\tau/K=\{ K, \kappa_3 e^{{\beta}_1}K, \kappa_3 e^{-{\beta}_1}K\} \times {\langle}\kappa_6{\rangle}K/K \cong {{\mathbb Z}}_3 \times {{\mathbb Z}}_6.$$ For $j=0,1,2$, define a linear character $\chi_j : \hat{L}_\tau/K \to {{\mathbb C}}^{\times}$ by $$\chi_j(\kappa_6)=\xi_6, \quad \chi_j(\kappa_3 e^{{\beta}_1}K)=\xi^j, \quad \text{and} \quad \chi_j(\kappa_3 e^{-{\beta}_1}K)=\xi^{-j},$$ where $\xi_6=\exp(2\pi\sqrt{-1}/6)$. Let $T_{\chi_j}$ be the one dimensional $\hat{L}_\tau/K$-module affording the character $\chi_j$. As an $\hat{L}_\tau$-module, $K$ acts trivially on $T_{\chi_j}$. Since $\sum_{r=0}^2 \tau^r {\alpha}=0$ for ${\alpha}\in L$, those $T_{\chi_j}$, $j=0,1,2$, are the irreducible $\hat{L}_\tau$-modules constructed in @L [Section 6]. Let $$V_L^{T_{\chi_j}}=V_L^{T_{\chi_j}}(\tau)=S[\tau]\otimes T_{\chi_j}$$ and define the $\tau$-twisted vertex operator $Y^\tau(\cdot, z): V_L \to \operatorname{End}(V_L^{T_{\chi_j}})\{z\}$ as in @DL. For $a\in\hat{L}$, define $$Y^\tau(a,z)=3^{-{\langle}\bar{a},\bar{a}{\rangle}/2} \phi(\bar{a}) E^-(-\bar{a},z)E^{+}(-\bar{a},z) a z^{-{\langle}\bar{a},\bar{a}{\rangle}/2},$$ where $$E^{\pm}({\alpha},z)=\exp\left(\sum_{n\in (1/3)\mathbb{Z}_{\pm}} \frac{{\alpha}(n)}{n}z^{-n}\right),$$ $$\phi(\alpha)= (1-\xi^2)^{\langle \tau\alpha,\alpha\rangle},$$ and $a\in \hat{L}$ acts on $T_{\chi_j}$ through the set theoretic identification between $\hat{L}$ and $\hat{L}_\tau$. Here we denote $\sigma({\alpha})$ of @DL [(4.35)] by $\phi({\alpha})$. For $v=\alpha^1(-n_1)\cdots\alpha^k(-n_k)\cdot\iota(a)\in V_L$ with $\alpha^1,\ldots,\alpha^k \in\mathfrak{h}$ and $n_1,\ldots,n_k \in {{\mathbb Z}}_{> 0}$, set $$W(v,z)={\mbox{$\circ\atop\circ$}}\left(\frac{1}{(n_1-1)!}\left(\frac{d}{dz}\right)^{n_1-1} \alpha^1(z)\right)\cdot\cdot\cdot\left(\frac{1}{(n_k-1)!} \left(\frac{d}{dz}\right)^{n_k-1} \alpha^k(z)\right)Y^{\tau}(a,z) {\mbox{$\circ\atop\circ$}},$$ where ${\alpha}(z)=\sum_{n\in (1/3){{\mathbb Z}}} {\alpha}(n)z^{-n-1}$. Define constants $c_{mn}^i\in{{\mathbb C}}$ for $m, n\ge 0$ and $i=0,1,2$ by $$\begin{gathered} \sum_{m,n\ge 0}c_{mn}^0x^my^n=-\frac{1}{2}\sum_{r=1}^{2}{\rm log}\left(\frac {(1+x)^{1/3}-\xi^{-r}(1+y)^{1/3}}{1-\xi^{-r}}\right),\\ \sum_{m,n\ge 0}c_{mn}^ix^my^n=\frac{1}{2}{\rm log}\left( \frac {(1+x)^{1/3}-\xi^{-i}(1+y)^{1/3}}{1-\xi^{-i}}\right)\ \text{ for}\ \ i\ne0.\end{gathered}$$ Let $\{{\gamma}_1,{\gamma}_2\}$ be an orthonormal basis of $\mathfrak{h}$ and set $$\Delta_z=\sum_{m,n\ge 0}\displaystyle{\sum^{2}_{i=0}}\ \displaystyle{ \sum^2_{j=1}} c_{mn}^i(\tau^{-i}{\gamma}_j)(m){\gamma}_j(n)z^{-m-n}.$$ Then for $v\in V_L,$ $Y^{\tau}(v,z)$ is defined by $$Y^{\tau}(v,z)=W(e^{\Delta_z}v,z).$$ We extend the action of $\tau$ to $V_L^{T_{\chi_j}}$ so that $\tau$ is the identity on $T_{\chi_j}$. The weight of every element in $T_{\chi_j}$ is defined to be $0$. Then the character of $V_L^{T_{\chi_j}}$ is identical with that of $S[\tau]$. By @DL [Theorem 7.1], $(V_L^{T_{\chi_j}}(\tau), Y^\tau(\cdot,z))$, $j=0,1,2$ are inequivalent irreducible $\tau$-twisted $V_L$-modules. Now among the $12$ irreducible $V_L$-modules $V_{L^{(i,j)}}$, $i\in \{0,a,b,c\}$ and $j \in \{0,1,2\}$, the $\tau$-stable irreducible modules are $V_{L^{(0,j)}}$, $j \in \{0,1,2\}$. Hence by @DLM [Theorem 10.2], we conclude that $(V_L^{T_{\chi_j}}(\tau), Y^\tau(\cdot,z))$, $j=0,1,2$, are all the inequivalent irreducible $\tau$-twisted $V_L$-modules. The isometry $\theta$ of $(L, {\langle}\cdot,\cdot{\rangle})$ induces a permutation on $V_L^{T_{\chi_j}}(\tau)$, $j=0,1,2$. In fact, the permutation leaves $V_L^{T_{\chi_0}}(\tau)$ invariant and interchanges $V_L^{T_{\chi_1}}(\tau)$ and $V_L^{T_{\chi_2}}(\tau)$. Since $M^\tau \otimes M_t^0$ is contained in the subalgebra $(V_L)^\tau$ of fixed points of $\tau$ in $V_L$, we can deal with $(V_L^{T_{\chi_j}}(\tau),Y^\tau(\cdot,z))$ as an $M^\tau \otimes M_t^0$-module. We will find $6$ irreducible $M^\tau$-modules inside $V_L^{T_{\chi_j}}(\tau)$. Recall that ${\omega}$, ${\omega}^3$, and $\widetilde{{\omega}}={\omega}+{\omega}^3$ are the Virasoro element of $M^\tau$, $M_t^0$, and $V_L$ respectively. Our main tool is a careful study of the action of ${\omega}_1$ on homogeneous subspaces of $V_L^{T_{\chi_j}}(\tau)$ of small weights. Here we denote by $u_n$ the coefficient of $z^{-n-1}$ in the twisted vertex operator $Y^\tau(u,z)=\sum u_n z^{-n-1}$ associated with a vector $u$ in $V_L$. The weight in $V_L^{T_{\chi_j}}(\tau)$ defined above is exactly the eigenvalue for $\widetilde{{\omega}}_1$ (cf. @DL [(6.10), (6.28)]). The character of $V_L^{T_{\chi_j}}(\tau)$ is equal to the character of $S[\tau]$ (cf. (\[chs\])). Its first several terms are $$\operatorname{ch}V_L^{T_{\chi_j}}(\tau) = \operatorname{ch}S[\tau] = q^{1/9} + q^{1/9+1/3} + 2q^{1/9+2/3} + 2q^{1/9+1} + 4q^{1/9+4/3} + \cdots.$$ Fix a nonzero vector $v \in T_{\chi_j}$. We can choose a basis of each homogeneous subspace of $V_L^{T_{\chi_j}}(\tau)$ of weight at most $1/9+4/3$ as in Table \[basis\]. <span>l|l</span> weight & basis\ $\frac{1}{9}$ & $1 \otimes v$\ $\frac{1}{9}+\frac{1}{3}$ & $h_2(-\frac{1}{3}) {\otimes}v$\ $\frac{1}{9}+\frac{2}{3}$ & $h_1(-\frac{2}{3}) {\otimes}v$, $h_2(-\frac{1}{3})^2 {\otimes}v$\ $\frac{1}{9}+1$ & $h_1(-\frac{2}{3})h_2(-\frac{1}{3}) {\otimes}v$, $h_2(-\frac{1}{3})^3 {\otimes}v$\ $\frac{1}{9}+\frac{4}{3}$ & $h_2(-\frac{4}{3}) {\otimes}v$, $h_1(-\frac{2}{3})^2 {\otimes}v$, $h_1(-\frac{2}{3})h_2(-\frac{1}{3})^2 {\otimes}v$, $h_2(-\frac{1}{3})^4 {\otimes}v$ We need to know the action of ${\omega}_1$ on those bases. For this purpose, notice that $$Y^\tau(e^{\pm\beta_i}, z)=-\frac{1}{27}E^-(\mp\beta_i, z) E^+(\mp\beta_i, z)\xi^{\pm j}z^{-2}, \qquad i=0,1,2,$$ since $\phi(\pm\beta_i)=-\xi/3$ and since $e^{\pm\beta_i}$ acts on $T_{\chi_j}$ as a multiplication by $\chi_j(e^{\pm\beta_i}) =\xi^{\pm j - 1}$ for $i,j=0,1,2$. The image of the vectors in Table \[basis\] under the operator ${\omega}_1$ are calculated as follows. $${\omega}_1 (1\otimes v) =\big( \frac{1}{15}+\frac{1}{45}(\xi^j+\xi^{-j})\big) 1\otimes v,$$ $${\omega}_1 (h_2(-\frac{1}{3})\otimes v) = \big( \frac{4}{15}-\frac{1}{9}(\xi^j+\xi^{-j})\big) h_2(-\frac{1}{3}) \otimes v,$$ $${\omega}_1 (h_1(-\frac{2}{3})\otimes v) =\big( \frac{7}{15}-\frac{2}{45}(\xi^j+\xi^{-j})\big) h_1(-\frac{2}{3})\otimes v - \frac{1}{5}(\xi^j-\xi^{-j}) h_2(-\frac{1}{3})^2\otimes v,$$ $${\omega}_1 (h_2(-\frac{1}{3})^2 \otimes v) =\big( \frac{7}{15}+\frac{7}{45}(\xi^j+\xi^{-j})\big) h_2(-\frac{1}{3})^2\otimes v + \frac{2}{15}(\xi^j-\xi^{-j}) h_1(-\frac{2}{3})^2\otimes v,$$ $${\omega}_1 (h_1(-\frac{2}{3})h_2(-\frac{1}{3})\otimes v) =\big( \frac{2}{3}+\frac{2}{9}(\xi^j+\xi^{-j})\big) h_1(-\frac{2}{3})h_2(-\frac{1}{3})\otimes v + \frac{1}{5}(\xi^j-\xi^{-j}) h_2(-\frac{1}{3})^3\otimes v,$$ $${\omega}_1 (h_2(-\frac{1}{3})^3 \otimes v) =\big( \frac{2}{3}+\frac{1}{45}(\xi^j+\xi^{-j})\big) h_2(-\frac{1}{3})^3\otimes v - \frac{2}{5}(\xi^j-\xi^{-j}) h_1(-\frac{2}{3})h_2(-\frac{1}{3})\otimes v,$$ $$\begin{aligned} {\omega}_1 (h_2(-\frac{4}{3}) \otimes v) &=\frac{13}{15}h_2(-\frac{4}{3})\otimes v\\ &\qquad+(\xi^j+\xi^{-j})\big( -\frac{1}{90}h_2(-\frac{4}{3}) - \frac{3}{10}h_1(-\frac{2}{3})h_2(-\frac{1}{3})^2\big)\otimes v\\ &\qquad+(\xi^j-\xi^{-j})\big( -\frac{1}{20}h_1(-\frac{2}{3})^2 - \frac{3}{20}h_2(-\frac{1}{3})^4\big)\otimes v,\end{aligned}$$ $$\begin{aligned} {\omega}_1 (h_1(-\frac{2}{3})^2 \otimes v) &=\frac{13}{15}h_1(-\frac{2}{3})^2\otimes v\\ &\qquad+(\xi^j+\xi^{-j})\big( -\frac{1}{90}h_1(-\frac{2}{3})^2 + \frac{3}{10}h_2(-\frac{1}{3})^4)\big)\otimes v\\ &\qquad+(\xi^j-\xi^{-j})\big(\frac{1}{15}h_2(-\frac{4}{3}) + \frac{1}{5}h_1(-\frac{2}{3})h_2(-\frac{1}{3})^2\big)\otimes v,\end{aligned}$$ $$\begin{aligned} {\omega}_1 (h_1(-\frac{2}{3})h_2(-\frac{1}{3})^2 \otimes v) &=\frac{13}{15}h_1(-\frac{2}{3})h_2(-\frac{1}{3})^2\otimes v\\ &\qquad+(\xi^j+\xi^{-j})\big( -\frac{2}{15}h_2(-\frac{4}{3}) - \frac{14}{45}h_1(-\frac{2}{3})h_2(-\frac{1}{3})^2\big)\otimes v\\ &\qquad-\frac{1}{15}(\xi^j-\xi^{-j})h_1(-\frac{2}{3})^2\otimes v,\end{aligned}$$ $$\begin{aligned} {\omega}_1 (h_2(-\frac{1}{3})^4 \otimes v) &=\frac{13}{15}h_2(-\frac{1}{3})^4\otimes v\\ &\qquad+(\xi^j+\xi^{-j})\big(\frac{2}{5}h_1(-\frac{2}{3})^2 - \frac{1}{9}h_2(-\frac{1}{3})^4\big)\otimes v\\ &\qquad+\frac{4}{15}(\xi^j-\xi^{-j})h_2(-\frac{4}{3})\otimes v,\\\end{aligned}$$ The decomposition of $V_L^{T_{\chi_j}}(\tau)$ as a $\tau$-twisted $M\otimes M_t^0$-module was studied in @KLY2. The outline of the argument is as follows. For $j=0,1,2$, the vectors $$1 \otimes v, \quad h_1(-\frac{2}{3})\otimes v + (\xi^j-\xi^{-j})h_2(-\frac{1}{3})^2\otimes v, \quad h_2(-\frac{1}{3})^2 \otimes v + \frac{2}{3}(\xi^j-\xi^{-j})h_1(-\frac{2}{3})\otimes v$$ are simultaneous eigenvectors for ${\omega}_1$ and $({\omega}^3)_1$. Denote by $k_1$ and $k_2$ the eigenvalues for ${\omega}_1$ and $({\omega}^3)_1$ respectively. Then the pairs $(k_1,k_2)$ are ---------------------------------------------------------------------------------------------------------------------------------------------------------- j 0 1 2 -------------------------------------------------------- ------------------------------- -------------------------------- -------------------------------- $1\otimes v$ $(\frac{1}{9},0)$ $(\frac{2}{45}, \frac{1}{15})$ $(\frac{2}{45}, \frac{1}{15})$ $h_1(-\frac{2}{3})\otimes v + $(\frac{17}{45},\frac{2}{5})$ $(\frac{1}{9},\frac{2}{3})$ $(\frac{1}{9},\frac{2}{3})$ (\xi^j-\xi^{-j})h_2(-\frac{1}{3})^2\otimes v$ $h_2(-\frac{1}{3})^2 \otimes v + $(\frac{7}{9},0)$ $(\frac{32}{45},\frac{1}{15})$ $(\frac{32}{45},\frac{1}{15})$ \frac{2}{3}(\xi^j-\xi^{-j})h_1(-\frac{2}{3})\otimes v$ ---------------------------------------------------------------------------------------------------------------------------------------------------------- We first discuss the decomposition of $V_L^{T_{\chi_j}}(\tau)$ into a direct sum of irreducible $M_t^0$-modules. We use the classification of irreducible $M_t^0$-modules @KMY and their fusion rules @M2. Note also that the vector $y({\alpha}_1) + y({\alpha}_2)+y({\alpha}_0)$ in $(V_L)^\tau$ is an eigenvector for ${\omega}_1$ of eigenvalue $8/5$. Hence $(V_L)^\tau$ contains the $\operatorname{Vir}({\omega})\otimes M_t^0$-submodule generated by the vector, which is isomorphic to $$L(\frac{6}{5},\frac{8}{5})\otimes\Big(L(\frac{4}{5},\frac{2}{5}) + L(\frac{4}{5},\frac{7}{5})\Big).$$ Set $$\begin{aligned} M^0_T(\tau)&=\{ u\in V_L^{T_{\chi_0}}(\tau)\,|\,({\omega}^3)_1 u=0 \},\\ W^0_T(\tau)&=\{ u\in V_L^{T_{\chi_0}}(\tau)\,|\,({\omega}^3)_1 u=\frac{2}5 u \}.\end{aligned}$$ Moreover, for $j=1,2$ set $$\begin{aligned} M^j_T(\tau)&=\{ u\in V_L^{T_{\chi_j}}(\tau)\,|\,({\omega}^3)_1 u=\frac{2}3 u\},\\ W^j_T(\tau)&=\{ u\in V_L^{T_{\chi_j}}(\tau)\,|\,({\omega}^3)_1 u=\frac{1}{15} u \}.\end{aligned}$$ Then, by @KLY2 [Proposition 6.8], $M_T^j(\tau)$ and $W_T^j(\tau)$, $j=0,1,2$, are irreducible $\tau$-twisted $M$-modules. Furthermore, for $j=0,1,2$, $$V_L^{T_{\chi_j}}(\tau) \cong M_T^j(\tau)\otimes M_t^j \oplus W_T^j(\tau)\otimes W_t^j$$ as $\tau$-twisted $M \otimes M_t^0$-modules. There are at most two inequivalent irreducible $\tau$-twisted $M$-modules by Lemma 4.1 and @DLM [Theorem 10.2]. Then, looking at the smallest weight of $M_T^j(\tau)$ and $W_T^j(\tau)$, we have that $M_T^0(\tau) \cong M_T^1(\tau) \cong M_T^2(\tau)$ and $W_T^0(\tau) \cong W_T^1(\tau) \cong W_T^2(\tau)$ and that $M_T^0(\tau)\not\cong W_T^0(\tau)$ as $\tau$-twisted $M$-modules. We denote $M_T^0(\tau)$ by $M_T(\tau)$ and $W_T^0(\tau)$ by $W_T(\tau)$. We conclude that there are exactly two inequivalent irreducible $\tau$-twisted $M$-modules, which are represented by $M_T(\tau)$ and $W_T(\tau)$. As $\tau$-twisted $M\otimes \operatorname{Vir}({\omega}^3)$-modules, we have $$\begin{aligned} V_L^{T_{\chi_0}}(\tau) & \cong M_T(\tau)\otimes \left(L(\frac{4}5,0)+L(\frac{4}5,3)\right) \oplus W_T(\tau)\otimes \left(L(\frac{4}5,\frac{2}{5})+L(\frac{4}5,\frac{7}{5})\right), \label{decomp1}\\ V_L^{T_{\chi_1}}(\tau) & \cong V_L^{T_{\chi_2}}(\tau) \cong M_T(\tau)\otimes L(\frac{4}{5},\frac{2}{3}) \oplus W_T(\tau)\otimes L(\frac{4}{5},\frac{1}{15}). \label{decomp2}\end{aligned}$$ The first several terms of the characters of $M_T(\tau)$ and $W_T(\tau)$ are $$\begin{aligned} \operatorname{ch}M_T(\tau) &=q^{\frac{1}{9}}+q^{\frac{1}{9}+\frac{2}{3}}+ q^{\frac{1}{9}+1}+q^{\frac{1}{9}+\frac{4}{3}}+\cdots,\\ \operatorname{ch}W_T(\tau) &=q^{\frac{2}{45}}+ q^{\frac{2}{45}+\frac{1}{3}}+q^{\frac{2}{45}+\frac{2}{3}}+ q^{\frac{2}{45}+1}+2q^{\frac{2}{45}+\frac{4}{3}}+\cdots .\end{aligned}$$ For $\epsilon=0,1,2$, let $$\begin{aligned} M_T(\tau)(\epsilon) &=\{ u \in M_T(\tau)\,|\,\tau u=\xi^\epsilon u\},\\ W_T(\tau)(\epsilon) &=\{ u \in W_T(\tau)\,|\,\tau u=\xi^\epsilon u\}.\end{aligned}$$ Those $6$ modules for $M^\tau$ are inequivalent irreducible modules by @MT [Theorem 2]. Their top levels are of dimension one. Those top levels and the eigenvalues for the action of $L^\tau(0)={\omega}_1$ and $J^\tau(0)=J_2$ are collected in Table \[toptau\]. ------------------------------------------------------------------------------------------------------------------------------------- irred. module top level $L^\tau(0)$ $J^\tau(0)$ ---------------- ---------------------------------------------------------- ---------------------------- ---------------------------- $M_T(\tau)(0)$ ${{\mathbb C}}1\otimes v$ $\frac{1}{9}$ $\frac{14}{81}\sqrt{-3}$ $M_T(\tau)(1)$ ${{\mathbb C}}h_2(-\frac{1}{3})^2\otimes v$ $\frac{1}{9}+\frac{2}{3}$ $-\frac{238}{81}\sqrt{-3}$ $M_T(\tau)(2)$ ${{\mathbb C}}(\frac{4}{3}h_1(-\frac{2}{3})^2\otimes v + $\frac{1}{9}+\frac{4}{3}$ $\frac{374}{81}\sqrt{-3}$ h_2(-\frac{1}{3})^4\otimes v)$ $W_T(\tau)(0)$ ${{\mathbb C}}h_2(-\frac{1}{3})\otimes v$ $\frac{2}{45}$ $-\frac{4}{81}\sqrt{-3}$ $W_T(\tau)(1)$ ${{\mathbb C}}h_1(-\frac{2}{3})\otimes v$ $\frac{2}{45}+\frac{1}{3}$ $-\frac{22}{81}\sqrt{-3}$ $W_T(\tau)(2)$ ${{\mathbb C}}h_2(-\frac{1}{3})^3\otimes v$ $\frac{2}{45}+\frac{2}{3}$ $\frac{176}{81}\sqrt{-3}$ ------------------------------------------------------------------------------------------------------------------------------------- : irreducible $M^\tau$-modules in $M_T(\tau)$ and $W_T(\tau)$<span data-label="toptau"></span> Irreducible $M^\tau$-modules in $\tau^2$-twisted $M$-modules ------------------------------------------------------------ Finally, we find $6$ irreducible $M^\tau$-modules in $\tau^2$-twisted $M$-modules. The argument is parallel to that in Subsection 4.2. Instead of $\tau$, we take $\tau^2$. Thus we follow @DL with $\nu=\tau^2$. Set $h_1'=h_2$, $h_2' =h_1$, and $${{\mathfrak h}}_{(n)}' = \{{\alpha}\in {{\mathfrak h}}\, |\,\tau^2{\alpha}=\xi^n{\alpha}\}.$$ Then ${{\mathfrak h}}_{(0)}' =0$, ${{\mathfrak h}}_{(1)}' ={{\mathbb C}}h_1'$, and ${{\mathfrak h}}_{(2)}' ={{\mathbb C}}h_2'$. Consider a split central extension $$1 \longrightarrow {\langle}\kappa_6{\rangle}\longrightarrow \hat{L}_{\tau^2} \overset{-}{\longrightarrow} L \longrightarrow 1$$ and choose linear characters $\chi'_j : \hat{L}_{\tau^2}/K \to {{\mathbb C}}^\times$, $j=0,1,2$, such that $$\chi'_j(\kappa_6) =\xi_6, \quad \chi'_j(\kappa_3 e^{\beta_1}K)=\xi^j, \quad \text{and}\quad \chi'_j(\kappa_3 e^{-\beta_1}K)=\xi^{-j},$$ where $K=\{ a^{-1} \tau^2(a)\,|\,a\in \hat{L}_{\tau^2}\}$. Let $T_{\chi_j'}$ be the one dimensional $\hat{L}_{\tau^2}/K$-module affording the character $\chi_j'$. Then the irreducible $\tau^2$-twisted $V_L$-module associated with $T_{\chi_j'}$ is $$V_L^{T_{\chi_j'}}(\tau^2)=S[\tau^2]\otimes T_{\chi_j'}.$$ As a vector space $S[\tau^2]$ is isomorphic to a polynomial algebra with variables $h_1'(1/3+n)$ and $h_2'(2/3+n)$, $n \in {{\mathbb Z}}$. The weight on $S[\tau^2]$ is given by $\operatorname{wt}1 = 1/9$ and $\operatorname{wt}h_j'(j/3+n)=-j/3-n$. Moreover, $\operatorname{wt}v=0$ for $v \in T_{\chi_j'}$. Set $$\begin{aligned} M_T(\tau^2)&=\{ u\in V_L^{T_{\chi_0'}}(\tau^2)\,|\,({\omega}^3)_1 u=0 \},\\ W_T(\tau^2)&=\{ u\in V_L^{T_{\chi_0'}}(\tau^2)\,|\,({\omega}^3)_1 u=\frac{2}5 u \}.\end{aligned}$$ Then $M_T(\tau^2)$ and $W_T(\tau^2)$ are the inequivalent irreducible $\tau^2$-twisted $M$-modules. Furthermore, we have $$\begin{aligned} V_L^{T_{\chi_0'}}(\tau^2) & \cong M_T(\tau^2)\otimes \left(L(\frac{4}{5},0)+L(\frac{4}{5},3)\right) \oplus W_T(\tau^2)\otimes \left(L(\frac{4}{5},\frac{2}{5})+L(\frac{4}{5},\frac{7}{5})\right),\\ V_L^{T_{\chi_1'}}(\tau^2) & \cong V_L^{T_{\chi_2'}}(\tau^2) \cong M_T(\tau^2)\otimes L(\frac{4}{5},\frac{2}{3}) \oplus W_T(\tau^2)\otimes L(\frac{4}{5},\frac{1}{15})\end{aligned}$$ as $\tau^2$-twisted $M\otimes \operatorname{Vir}({\omega}^3)$-modules. The character of $M_T(\tau^2)$ or $W_T(\tau^2)$ is equal to that of $M_T(\tau)$ or $W_T(\tau)$ respectively. For $\epsilon=0,1,2$, let $$\begin{aligned} M_T(\tau^2)(\epsilon) &=\{ u \in M_T(\tau^2)\,|\,\tau^2 u =\xi^\epsilon u\},\\ W_T(\tau^2)(\epsilon) &=\{ u \in W_T(\tau^2)\,|\,\tau^2 u=\xi^\epsilon u\}.\end{aligned}$$ Those $6$ modules for $M^\tau$ are inequivalent irreducible modules by @MT [Theorem 2]. Their top levels and the eigenvalues for the action of $L^{\tau^2}(0)={\omega}_1$ and $J^{\tau^2}(0)=J_2$ are collected in Table \[toptau2\]. ---------------------------------------------------------------------------------------------------------------------------------------- irred. module top level $L^{\tau^2}(0)$ $J^{\tau^2}(0)$ ------------------ ----------------------------------------------------------- ---------------------------- ---------------------------- $M_T(\tau^2)(0)$ ${{\mathbb C}}1\otimes v$ $\frac{1}{9}$ $-\frac{14}{81}\sqrt{-3}$ $M_T(\tau^2)(1)$ ${{\mathbb C}}h_2'(-\frac{1}{3})^2\otimes v$ $\frac{1}{9}+\frac{2}{3}$ $\frac{238}{81}\sqrt{-3}$ $M_T(\tau^2)(2)$ ${{\mathbb C}}(\frac{4}{3}h_1'(-\frac{2}{3})^2\otimes v + $\frac{1}{9}+\frac{4}{3}$ $-\frac{374}{81}\sqrt{-3}$ h_2'(-\frac{1}{3})^4\otimes v)$ $W_T(\tau^2)(0)$ ${{\mathbb C}}h_2'(-\frac{1}{3})\otimes v$ $\frac{2}{45}$ $\frac{4}{81}\sqrt{-3}$ $W_T(\tau^2)(1)$ ${{\mathbb C}}h_1'(-\frac{2}{3})\otimes v$ $\frac{2}{45}+\frac{1}{3}$ $\frac{22}{81}\sqrt{-3}$ $W_T(\tau^2)(2)$ ${{\mathbb C}}h_2'(-\frac{1}{3})^3\otimes v$ $\frac{2}{45}+\frac{2}{3}$ $-\frac{176}{81}\sqrt{-3}$ ---------------------------------------------------------------------------------------------------------------------------------------- : irreducible $M^\tau$-modules in $M_T(\tau^2)$ and $W_T(\tau^2)$<span data-label="toptau2"></span> Remarks on $20$ irreducible $M^\tau$-modules -------------------------------------------- We have obtained $20$ irreducible $M^\tau$-modules in Subsections 4.1, 4.2, and 4.3. Note that the top levels of them are of dimension one and they can be distinguished by the eigenvalues for ${\omega}_1$ and $J_2$. The isometry $\sigma$ of the lattice $(L, {\langle}\cdot,\cdot{\rangle})$ induces a permutation of order $2$ on those $20$ irreducible $M^\tau$-modules. Clearly, $\sigma$ leaves $M(0)$ and $W(0)$ invariant and transforms $M_k^c$ (resp. $W_k^c$) into an irreducible $M^\tau$-module equivalent to $M_k^c$ (resp. $W_k^c$). Moreover, $\sigma$ interchanges irreducible $M^\tau$-modules as follows: $$\label{sym2} \begin{array}{cc} M(1) \longleftrightarrow M(2), & W(1) \longleftrightarrow W(2),\\ M_T(\tau)(\epsilon) \longleftrightarrow M_T(\tau^2)(\epsilon), \quad & \quad W_T(\tau)(\epsilon) \longleftrightarrow W_T(\tau^2)(\epsilon) \end{array}$$ for $\epsilon=0,1,2$. The top level of $M_T(\tau^2)(\epsilon)$ can be obtained by replacing $h_j(j/3+n)$ with $h_j'(j/3+n)$ for $j=1, 2$ in the top level of $M_T(\tau)(\epsilon)$. Similar symmetry holds for $W_T(\tau^2)(\epsilon)$ and $W_T(\tau)(\epsilon)$. The action of $J(0)$ on the top level of $M_T(\tau^2)(\epsilon)$ (resp. $W_T(\tau^2)(\epsilon)$) is negative of the action on the top level of $M_T(\tau)(\epsilon)$ (resp. $W_T(\tau)(\epsilon)$). These symmetries are consequences of the fact that $\sigma\tau\sigma=\tau^2$ and $\sigma J=-J$. In @FZ an infinite series of $2D$ conformal field theory models with ${{\mathbb Z}}_3$ symmetry was studied. In the case $p=5$ of @FZ, $20$ irreducible representations are discussed @FZ [(5.5)]. If we multiply the values $w \begin{pmatrix}n & m\\ n' & m'\end{pmatrix}$ of @FZ [(5.6)] by $\sqrt{-105/2}$, then the pairs $$\Big( \Delta \begin{pmatrix}n & m\\ n' & m'\end{pmatrix}, \sqrt{-105/2}\, w \begin{pmatrix}n & m\\ n' & m'\end{pmatrix} \Big)$$ coincide with the pairs of the eigenvalues for ${\omega}_1$ and $J_2$ of the top levels of the $20$ irreducible $M^\tau$-modules listed in Tables \[top1\], \[toptau\], and \[toptau2\]. Here $\Delta \begin{pmatrix}n & m\\ n' & m'\end{pmatrix}$ is given by @FZ [(1.3)]. Classification of irreducible modules for $M^\tau$ ================================================== We show in this section that the $20$ irreducible modules discussed in Section 4 are all the inequivalent irreducible modules for $M^\tau$. This is achieved by determining the Zhu algebra $A({{\mathcal W}})$ of the vertex operator subalgebra ${{\mathcal W}}$ in $M^\tau$ generated by ${\omega}$ and $J$. It turns out that $A({{\mathcal W}})$ is isomorphic to a quotient algebra of the polynomial algebra ${{\mathbb C}}[x, y]$ with two variables $x$ and $y$ by a certain ideal ${{\mathcal I}}$ and that $A({{\mathcal W}})$ is of dimension $20$. We will also prove that $M^\tau = {{\mathcal W}}$ and ${{\mathcal W}}$ is rational. As in Theorem 3.3, let $L(n)={\omega}_{n+1}$ and $J(n)=J_{n+2}$ for $n \in {{\mathbb Z}}$. The action of those operators on the vacuum vector ${\mathbf {1}}$ is such that $$\begin{aligned} L(n){\mathbf {1}}&=0 \quad \mbox{for} \quad n \ge -1,& L(-2){\mathbf {1}}&= {\omega}, \label{Lv}\\ J(n){\mathbf {1}}&=0 \quad \mbox{for} \quad n \ge -2,& \qquad J(-3){\mathbf {1}}&= J, \label{Jv}\end{aligned}$$ A spanning set for ${{\mathcal W}}$ ----------------------------------- For a vector expressed in the form $u^1_{n_1}\cdots u^k_{n_k}{\mathbf {1}}$ with $u^i \in \{ {\omega}, J\}$ and $n_i \in {{\mathbb Z}}$, we denote by $l_{\omega}(u^1_{n_1}\cdots u^k_{n_k}{\mathbf {1}})$ or $l_J (u^1_{n_1}\cdots u^k_{n_k}{\mathbf {1}})$ the number of $i$, $1 \le i \le k$ such that $u^i = {\omega}$ or $u^i=J$ respectively. We shall call these numbers the ${\omega}$-length or the $J$-length of the expression $u^1_{n_1}\cdots u^k_{n_k}{\mathbf {1}}$. Since each vector in ${{\mathcal W}}$ is not necessarily expressed uniquely in such a form, the ${\omega}$-length and the $J$-length are not defined for a vector. They depend on a specific expression in the form $u^1_{n_1}\cdots u^k_{n_k}{\mathbf {1}}$. \[l5.1\] Let the ${\omega}$-length and the $J$-length of $u^1_{n_1}\cdots u^k_{n_k}{\mathbf {1}}$ be $s$ and $t$ respectively. Then $u^1_{n_1}\cdots u^k_{n_k}{\mathbf {1}}$ can be written as a linear combination of vectors of the form $$L(-m_1)\cdots L(-m_p)J(-n_1)\cdots J(-n_q){\mathbf {1}}$$ such that $(1)$ $m_1 \ge \cdots \ge m_p \ge 2, \quad n_1 \ge \cdots \ge n_q \ge 3$, $(2)$ $q \le t$, $(3)$ $p+q \le s+t$, $(4)$ $m_1 + \cdots + m_p + n_1 + \cdots + n_q = \operatorname{wt}(u^1_{n_1}\cdots u^k_{n_k}{\mathbf {1}})$. <span><span>**Proof**</span> </span>We proceed by induction on $t$. If $t=0$, the assertion follows from the commutation relation and the action of $L(n)$ on the vacuum vector . Suppose the assertion holds for the case where the $J$-length of $u^1_{n_1}\cdots u^k_{n_k}{\mathbf {1}}$ is at most $t-1$ and consider the case where the $J$-length is $t$. By , we can replace $J(-n)L(-m)$ with $L(-m)J(-n)$ or $J(-m-n)$. Hence we may assume that $u^1_{n_1}\cdots u^k_{n_k}{\mathbf {1}}$ is of the form $$\label{LJtemp} L(-m_1)\cdots L(-m_s)J(-n_1)\cdots J(-n_t){\mathbf {1}}$$ for some $m_i, n_j \in {{\mathbb Z}}$. By , we may assume that $n_t \ge 3$. Suppose $n_i < n_{i+1}$ for some $i$. Then by the commutation relation , the vector can be written as a linear combination of the vectors which are obtained by replacing $J(-n_i)J(-n_{i+1})$ with (i) $J(-n_{i+1})J(-n_i)$, (ii) $L(-n_i-n_{i+1})$, (iii) $L(k)L(-n_i-n_{i+1}-k)$ or $L(-n_i-n_{i+1}-k)L(k)$ for some $k \in {{\mathbb Z}}$, or (iv) a constant. In Cases (ii), (iii), or (iv), we get an expression whose $J$-length is at most $t-2$, and so we can apply the induction hypothesis. Therefore, in we may assume that $n_1 \ge \cdots \ge n_t \ge 3$. Now we argue by induction on the ${\omega}$-length $s$ of the expression . If $s=0$, the assertion holds. Suppose the assertion holds for the case where the ${\omega}$-length is at most $s-1$. By , we can replace $L(-m_s)J(-n_1)$ with (i) $J(-n_1)L(-m_s)$ or (ii) $J(-m_s - n_1)$. In Csae (ii), we get an expression of ${\omega}$-length at most $s-1$, so that we can apply the induction hypothesis. Arguing similarly, we can reach $$L(-m_1)\cdots L(-m_{s-1})J(-n_1)\cdots J(-n_t)L(-m_s){\mathbf {1}}.$$ Hence we may assume that $m_s \ge 2$ by . Suppose $m_i < m_{i+1}$ for some $i$. Then by , the vector can be written as a linear combination of the vectors which are obtained by replacing $L(-m_i)L(-m_{i+1})$ with (i) $L(-m_{i+1})L(-m_i)$, (ii) $L(-m_i - m_{i+1})$, or (iii) a constant. Since Cases (ii) or (iii) yields an expression whose ${\omega}$-length is at most $s-1$, we can apply the induction hypothesis. This completes the proof. A vector of the form $$\label{nf} L(-m_1)\cdots L(-m_p)J(-n_1)\cdots J(-n_q){\mathbf {1}}$$ with $m_1 \ge \cdots \ge m_p \ge 2$ and $n_1 \ge \cdots \ge n_q \ge 3$ will be called of normal form. \[coro1\] ${{\mathcal W}}$ is spanned by the vectors of normal form $$L(-m_1)\cdots L(-m_p)J(-n_1)\cdots J(-n_q){\mathbf {1}}$$ with $m_1 \ge \cdots \ge m_p \ge 2$, $n_1 \ge \cdots \ge n_q \ge 3$, $p=0,1,2,\ldots$, and $q=0,1,2,\ldots$. <span><span>**Proof**</span> </span>As a vector space ${{\mathcal W}}$ is spanned by the vectors $u^1_{n_1}\cdots u^k_{n_k}{\mathbf {1}}$ with $u^i \in \{ {\omega}, J\}$, $n_i \in {{\mathbb Z}}$, and $k=0,1,2,\ldots$. Hence the assertion follows from Lemma 5.1. A similar argument for a spanning set can be found in @DN1 [Section3]. See also @BMP [Section 2.2]. \[r1\] Let $U$ be an admissible ${{\mathcal W}}$-module generated by $u\in U$ such that $L(n)u=J(n)u=0$ for $n>0$ and $L(0)u=hu$, $J(0)u=ku$ for some $h, k \in {{\mathbb C}}$. It can be proved in a same way that $U$ is spanned by $$L(-m_1)\cdots L(-m_p)J(-n_1)\cdots J(-n_q)u$$ with $m_1 \ge \cdots \ge m_p \ge 1$, $n_1 \ge \cdots \ge n_q \ge 1$, $p=0,1,2,\ldots$, and $q=0,1,2,\ldots$. A singular vector ${\mathbf{v}}^{12}$ ------------------------------------- A singular vector $v$ of weight $h$ for ${{\mathcal W}}$ is by definition a vector $v$ which satisfies $(1)$ $L(0)v=hv$, $(2)$ $L(n)v = 0$ and $J(n)v=0$ for $n \ge 1$. Note that $v$ is not necessarily an eigenvector for $J(0)$. By commutation relations and , it is easy to show that the condition $(2)$ holds if $v$ satisfies $(2)'$ $L(1)v=L(2)v=J(1)v=0$. We consider ${{\mathcal W}}$ as a space spanned by the vectors of the form . The weight of such a vector is $m_1+\cdots+m_p+n_1+\cdots+n_q$. Let $v$ be a linear combination of the vectors of the form of weight $h$. For example, there are $76$ vectors of the form of weight $12$. We use the conditions and and the commutation relations , , and to compute $L(1)v$, $L(2)v$, and $J(1)v$. This computation was done by a computer algebra system Risa/Asir. The result is as follows. Let $v$ be a linear combination of the vectors of the form of weight $h$. Under the conditions and and the commutation relations , , and , we have $L(1)v=L(2)v=J(1)v=0$ only if $v=0$ in the case $h \le 11$. In the case $h=12$, there exists a unique, up to scalar multiple, linear combination ${\mathbf{v}}^{12}$ which satisfies $L(1){\mathbf{v}}^{12}=L(2){\mathbf{v}}^{12}=J(1){\mathbf{v}}^{12}=0$. The explicit form of ${\mathbf{v}}^{12}$ is given in Appendix A. We also have $J(0){\mathbf{v}}^{12} = 0$. We only use the conditions and and the commutation relations , , and to obtain ${\mathbf{v}}^{12}$ in the above computation. Since we consider ${{\mathcal W}}$ inside the lattice vertex operator algebra $V_L$, there might exist some nontrivial relations among the vectors of the form which are not known so far. This ambiguity will be removed in Subsection 5.3. An invariant positive definite hermitian form on $V_L$ ------------------------------------------------------ It is well known that the vertex operator algebra constructed from any positive definite even lattice as in @FLM possesses a positive definite hermitian form which is invariant in a certain sense (@FHL [@FLM; @Li; @M3]). Following @M3 [Section 2.5], we review it for our $V_L$. Set ${\widetilde}{L}(n) = {\widetilde}{{\omega}}_{n+1}, n \in {{\mathbb Z}}$, where ${\widetilde}{{\omega}}$ is the Virasoro element of $V_L$. Then ${\widetilde}{L}(1)(V_L)_{(1)} = 0$ and $(V_L)_{(0)}$ is one dimensional. Thus by @Li [Theorem 3.1], there is a unique symmetric invariant bilinear form $(\,\cdot\, , \,\cdot\,)$ on $V_L$ such that $({\mathbf {1}},{\mathbf {1}})=1$. That the form is invariant means $$\label{inv} (Y(u,z)v,w)=(v,Y(e^{z{\widetilde}{L}(1)}(-z^{-2})^{{\widetilde}{L}(0)}u, z^{-1})w)$$ for $u,v,w \in V_L$. The value $(u,v)$ is determined by $$\begin{aligned} ({\mathbf {1}},{\mathbf {1}}) &= 1, \label{form1}\\ (u,v) &= \operatorname{Res}_z z^{-1}({\mathbf {1}},Y(e^{z{\widetilde}{L}(1)}(-z^{-2})^{{\widetilde}{L}(0)}u,z^{-1})v). \label{form2}\end{aligned}$$ &gt;From , we see that $({\widetilde}{L}(n)u,v)=(u,{\widetilde}{L}(-n)v)$. In case of $n=0$, this implies $((V_L)_{(m)}, (V_L)_{(n)}) = 0$ if $m \ne n$. For ${\alpha}\in L$ and $u,v \in V_L$, $$\label{form3} \begin{split} ({\alpha}(n)u,v) &= \operatorname{Res}_z z^n (Y({\alpha}(-1),z)u,v)\\ &= -(u,{\alpha}(-n)v). \end{split}$$ Furthermore, for ${\alpha},\beta \in
{'source': 'arXiv_out/math0302314'}