text:
# 1 Introduction

## 1 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 . The subalgebra $`\mathrm{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 $`\mathrm{Vir}(\omega ^1)\mathrm{Vir}(\omega ^2)\mathrm{Vir}(\omega ^3)`$ was discussed in . Among other things it was shown that $`V_L`$ contains a subalgebra of the form $`L(4/5,0)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)L(\frac{7}{10},0)L(\frac{1}{2},\frac{1}{2})L(\frac{7}{10},\frac{3}{2})$$

and is invariant under $`\tau `$. The representation theory of $`M`$ was studied in .

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 \[3, (2.1), (2.2)\] for $`W_3.`$ Thus the vertex operator subalgebra $`𝒲`$ 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  and obtain $`M_T(\tau ^i)`$ and $`W_T(\tau ^i)`$ inside them.

We classify the irreducible modules for $`𝒲`$ by determining the Zhu algebra $`A(𝒲)`$ (cf. ). The method used here is similar to that in , where the Zhu algebra of a $`W_3`$ algebra with central charge $`2`$ is studied. We can define a map of the polynomial algebra $`[x,y]`$ with two variables $`x,y`$ to $`A(𝒲)`$ by $`x[\omega ]`$ and $`y[J]`$, which is a surjective algebra homomorphism. Thus it is sufficient to determine its kernel $``$. The key point is the existence of a singular vector $`𝐯`$ for the $`W_3`$ algebra $`𝒲`$ of weight $`12`$. An invariant positive definite hermitian form on $`V_L`$ implies that $`𝐯`$ is in fact $`0`$. Thus $`[𝐯]=0`$. Moreover, $`[J(1)𝐯]=[J(2)𝐯]=[J(1)^2𝐯]=0`$. Hence the corresponding polynomials in $`[x,y]`$ must be contained in the ideal $``$. It turns out that $``$ is generated by those four polynomials and the classification of irreducible $`𝒲`$-modules is established by Zhu’s theory (). That is, there are exactly $`20`$ inequivalent irreducible $`𝒲`$-modules. The calculation of explicit form of the singular vector $`𝐯`$ and the calculation of the ideal $``$ were done by a computer algebra system Risa/Asir.

By the classification of irreducible $`𝒲`$-modules and an invariant positive definite hermitian form, we can show that $`M^\tau =𝒲`$. 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 $`\mathrm{\Delta }\left(\begin{array}{cc}n& m\\ n^{}& m^{}\end{array}\right)`$ and $`w\left(\begin{array}{cc}n& m\\ n^{}& m^{}\end{array}\right)`$ of \[14, (1.2), (5.6)\] with $`p=5`$. Hence our $`M^\tau `$ is an algebra denoted by $`[Z_3^{(5)}]`$ in .

We prove that $`𝒲`$ is $`C_2`$-cofinite and rational by using the singular vector $`𝐯`$ of weight $`12`$ and the irreducible modules for $`𝒲.`$ 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. ), 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  that the $`_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 . It is expected that the $`_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 $`𝒲`$ generated by $`\omega `$ and $`J`$ and show that $`M^\tau =𝒲`$. 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.

## 2 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 . We also recall certain properties of the vertex operator algebra $`V_{\sqrt{2}A_2}`$ (cf. ).

Let $`\alpha _1,\alpha _2`$ be the simple roots of type $`A_2`$ and set $`\alpha _0=(\alpha _1+\alpha _2)`$. Then $`\alpha _i,\alpha _i=2`$ and $`\alpha _i,\alpha _j=1`$ if $`ij`$. Set $`\beta _i=\sqrt{2}\alpha _i`$ and let $`L=\beta _1+\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  with $`L=\sqrt{2}A_2`$, $`p=3`$, and $`q=6`$. In our case $`\alpha ,\beta 2`$ for all $`\alpha ,\beta L`$, so that the alternating $``$-bilinear map $`c_0:L\times L/6`$ defined by \[7, (2.9)\] is trivial. Thus the central extension

$$1\kappa _6\widehat{L}\stackrel{-}{}L1$$
(2.1)
determined by the commutator condition $`aba^1b^1=\kappa _6^{c_0(\overline{a},\overline{b})}`$ splits. Then for each $`\alpha L`$, we can choose an element $`e^\alpha `$ of $`\widehat{L}`$ so that $`e^\alpha e^\beta =e^{\alpha +\beta }`$. The twisted group algebra $`\{L\}`$ is isomorphic to the ordinary group algebra $`[L]`$.

We adopt the same notation as in  to denote cosets of $`L`$ in the dual lattice $`L^{}=\{\alpha _{}L|\alpha ,L\}`$, namely,

$$L^0=L,L^1=\frac{\beta _1+\beta _2}{3}+L,L^2=\frac{\beta _1\beta _2}{3}+L,$$

$$L_0=L,L_a=\frac{\beta _2}{2}+L,L_b=\frac{\beta _0}{2}+L,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\}_2\times _2`$. Then, $`L^{(i,j)},i\{0,a,b,c\},j\{0,1,2\}`$ are all the cosets of $`L`$ in $`L^{}`$ and $`L^{}/L_2\times _2\times _3`$.

Our notation for the vertex operator algebra $`(V_L,Y(,z))`$ associated with $`L`$ is standard . In particular, $`𝔥=_{}L`$ is an abelian Lie algebra, $`\widehat{𝔥}=𝔥[t,t^1]c`$ is the corresponding affine Lie algebra, $`M(1)=[\alpha (n);\alpha 𝔥,n<0],`$ where $`\alpha (n)=\alpha t^n,`$ is the unique irreducible $`\widehat{𝔥}`$-module such that $`\alpha (n)1=0`$ for all $`\alpha 𝔥`$ and $`n>0`$, and $`c=1`$. As a vector space $`V_L=M(1)[L]`$ and for each $`vV_L`$, a vertex operator $`Y(v,z)=_nv_nz^{n1}\mathrm{End}(V_L)[[z,z^1]]`$ is defined. The coefficient $`v_n`$ of $`z^{n1}`$ is called a component operator. The vector $`\mathrm{𝟏}=11`$ is called the vacuum vector.

By Dong , 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 L^{}`$ to denote a basis of $`\{L^{}\}`$.

To describe certain weight $`2`$ elements in $`V_L`$, we introduce the following notation.

$$x(\alpha )=e^{\sqrt{2}\alpha }+e^{\sqrt{2}\alpha },y(\alpha )=e^{\sqrt{2}\alpha }e^{\sqrt{2}\alpha },w(\alpha )=\frac{1}{2}\alpha (1)^2x(\alpha )$$

for $`\alpha \{\pm \alpha _0,\pm \alpha _1,\pm \alpha _2\}`$. We have

$$w(\alpha _i)_1w(\alpha _j)=\{\begin{array}{cc}8w(\alpha _i)\hfill & \text{if }i=j\hfill \\ w(\alpha _i)+w(\alpha _j)w(\alpha _k)\hfill & \text{if }ij,\hfill \end{array}$$
(2.2)
where $`k`$ is such that $`\{i,j,k\}=\{0,1,2\}`$. Moreover, $`w(\alpha _i)_2w(\alpha _j)=0`$ and

$$w(\alpha _i)_3w(\alpha _j)=\{\begin{array}{cc}4\mathrm{𝟏}\hfill & \text{if }i=j\hfill \\ \frac{1}{2}\mathrm{𝟏}\hfill & \text{if }ij.\hfill \end{array}$$
(2.3)
Let

$$\omega =\frac{1}{5}\left(w(\alpha _1)+w(\alpha _2)+w(\alpha _0)\right),$$

$$\stackrel{~}{\omega }=\frac{1}{6}\left(\alpha _1(1)^2+\alpha _2(1)^2+\alpha _0(1)^2\right),$$

$$\omega ^1=\frac{1}{4}w(\alpha _1),\omega ^2=\omega \omega ^1,\omega ^3=\stackrel{~}{\omega }\omega .$$

Then $`\stackrel{~}{\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. ). The subalgebra $`\mathrm{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

$$\mathrm{Vir}(\omega ^1)\mathrm{Vir}(\omega ^2)\mathrm{Vir}(\omega ^3)L(\frac{1}{2},0)L(\frac{7}{10},0)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

$`M_k^i`$ $`=\{vV_{L_i}|(\omega ^3)_1v=0\},`$
$`W_k^i`$ $`=\{vV_{L_i}|(\omega ^3)_1v={\displaystyle \frac{2}{5}}v\},\text{ for }i=0,a,b,c,`$
and

$`M_t^j`$ $`=\{vV_{L^j}|(\omega ^1)_1v=(\omega ^2)_1v=0\},`$
$`W_t^j`$ $`=\{vV_{L^j}|(\omega ^1)_1v=0,(\omega ^2)_1v={\displaystyle \frac{3}{5}}v\},\text{ for }j=0,1,2.`$
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 . We also have

$`M_k^0L({\displaystyle \frac{1}{2}},0)L({\displaystyle \frac{7}{10}},0)L({\displaystyle \frac{1}{2}},{\displaystyle \frac{1}{2}})L{\displaystyle \frac{7}{10}},{\displaystyle \frac{3}{2}}),`$
$`W_k^0L({\displaystyle \frac{1}{2}},0)L({\displaystyle \frac{7}{10}},{\displaystyle \frac{3}{5}})L({\displaystyle \frac{1}{2}},{\displaystyle \frac{1}{2}})L({\displaystyle \frac{7}{10}},{\displaystyle \frac{1}{10}}),`$
$`M_k^aM_k^bL({\displaystyle \frac{1}{2}},{\displaystyle \frac{1}{16}})L({\displaystyle \frac{7}{10}},{\displaystyle \frac{7}{16}}),`$
$`W_k^aW_k^bL({\displaystyle \frac{1}{2}},{\displaystyle \frac{1}{16}})L({\displaystyle \frac{7}{10}},{\displaystyle \frac{3}{80}}),`$
$`M_k^cL({\displaystyle \frac{1}{2}},{\displaystyle \frac{1}{2}})L({\displaystyle \frac{7}{10}},0)L({\displaystyle \frac{1}{2}},0)L({\displaystyle \frac{7}{10}},{\displaystyle \frac{3}{2}}),`$
$`W_k^cL({\displaystyle \frac{1}{2}},{\displaystyle \frac{1}{2}})L({\displaystyle \frac{7}{10}},{\displaystyle \frac{3}{5}})L({\displaystyle \frac{1}{2}},0)L({\displaystyle \frac{7}{10}},{\displaystyle \frac{1}{10}})`$
as $`L(1/2,0)L(7/10,0)`$-modules and

$`M_t^0`$ $`L({\displaystyle \frac{4}{5}},0)L({\displaystyle \frac{4}{5}},3),`$ $`W_t^0`$ $`L({\displaystyle \frac{4}{5}},{\displaystyle \frac{2}{5}})L({\displaystyle \frac{4}{5}},{\displaystyle \frac{7}{5}}),`$
$`M_t^1`$ $`M_t^2L({\displaystyle \frac{4}{5}},{\displaystyle \frac{2}{3}}),`$ $`W_t^1`$ $`W_t^2L({\displaystyle \frac{4}{5}},{\displaystyle \frac{1}{15}})`$
as $`L(4/5,0)`$-modules.

Note also that

$$V_{L^{(i,j)}}\left(M_k^iM_t^j\right)\left(W_k^iW_t^j\right)$$

as an $`M_k^0M_t^0`$-module.

We consider the following three isometries of $`(L,,)`$:

$`\tau `$ $`:\beta _1\beta _2\beta _0\beta _1,`$
$`\sigma `$ $`:\beta _1\beta _2,\beta _2\beta _1,`$
$`\theta `$ $`:\beta _i\beta _i,i=1,2.`$
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^{}`$. Then they induce permutations on $`L^{}/L`$. Since $`\widehat{L}`$ is a split extension, the isometry $`\tau `$ of $`L`$ lifts naturally to an automorphism of $`\widehat{L}`$. Then it induces an automorphism of $`V_L`$:

$$\alpha ^1(n_1)\mathrm{}\alpha ^k(n_k)e^\beta (\tau \alpha ^1)(n_1)\mathrm{}(\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

$$ML(\frac{1}{2},0)L(\frac{7}{10},0)L(\frac{1}{2},\frac{1}{2})L(\frac{7}{10},\frac{3}{2})$$

as $`\mathrm{Vir}(\omega ^1)\mathrm{Vir}(\omega ^2)`$-modules. Note that $`\omega `$ is the Virasoro element of $`M`$ whose central charge is $`6/5`$. For $`uM`$, we have $`\omega _1u=hu`$ for some $`h`$ if and only if $`\stackrel{~}{\omega }_1u=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 $`\mathrm{Aut}(M)`$ of $`M`$ is generated by $`\sigma `$ and $`\tau `$.

###### Theorem 2.1

$`(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)`$ $`\mathrm{Aut}(M)=\sigma ,\tau `$ is isomorphic to a symmetric group of degree $`3`$.

Proof We first consider conformal vectors in $`M`$. By \[27, Lemma 5.1\], a weight $`2`$ vector $`v`$ is a conformal vector of central charge $`1/2`$ if and only if $`v_1v=2v`$ and $`v_3v=\frac{1}{4}\mathrm{𝟏}`$. Since $`\{w(\alpha _0),w(\alpha _1),w(\alpha _2)\}`$ is a basis of the weight $`2`$ subspace of $`M`$, we may write $`v=_{i=0}^2a_iw(\alpha _i)`$ for some $`a_i`$. From (2.2) and (2.3) we see that $`v_1v=2v`$ and $`v_3v=\frac{1}{4}\mathrm{𝟏}`$ 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)w(\alpha _2)w(\alpha _0)w(\alpha _1),$$

and

$$\sigma :w(\alpha _1)w(\alpha _2),w(\alpha _2)w(\alpha _1),w(\alpha _0)w(\alpha _0).$$

Hence (2) holds.  $`\mathrm{}`$

Let $`v_h=w(\alpha _2)w(\alpha _0)`$. This vector is a highest weight vector of highest weight $`(1/2,3/2)`$ for $`\mathrm{Vir}(\omega ^1)\mathrm{Vir}(\omega ^2)`$, that is, $`(\omega ^1)_1v_h=(1/2)v_h`$, $`(\omega ^2)_1v_h=(3/2)v_h`$, and $`(\omega ^1)_nv_h=(\omega ^2)_nv_h=0`$ for $`n2`$. Thus the $`\mathrm{Vir}(\omega ^1)\mathrm{Vir}(\omega ^2)`$-submodule in $`M`$ generated by $`v_h`$ is isomorphic to $`L(1/2,1/2)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

$$u^1=w(\alpha _1)+\xi ^2w(\alpha _2)+\xi w(\alpha _0),u^2=w(\alpha _1)+\xi w(\alpha _2)+\xi ^2w(\alpha _0),$$
(2.4)
where $`\xi =\mathrm{exp}(2\pi \sqrt{1}/3)`$ is a primitive cubic root of unity. Then $`\tau u^1=\xi u^1`$, $`\tau u^2=\xi ^2u^2`$, and $`\sigma u^1=\xi ^2u^2`$. We also have $`(u^1)_1u^1=4u^2`$ and $`((u^1)_1u^1)_1u^1=140\omega `$. Thus $`u^1`$, $`(u^1)_1u^1`$, and $`((u^1)_1u^1)_1u^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^0L(4/5,0)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 . The Virasoro element of $`M_t^0`$ is $`\omega ^3`$. Let

$$\begin{array}{cc}\hfill v_t=& \frac{1}{9}(\alpha _1\alpha _2)(1)(\alpha _2\alpha _0)(1)(\alpha _0\alpha _1)(1)\hfill \\ & \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),\hfill \end{array}$$
(2.5)
which is denoted by $`q`$ in . The vector $`v_t`$ is a highest weight vector in $`M_t^0`$ of highest weight $`3`$ for $`\mathrm{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 $`\mathrm{Vir}(\omega ^3)L(4/5,0)`$ and $`1`$ on the $`\mathrm{Vir}(\omega ^3)`$-submodule generated by $`v_t`$, which is isomorphic to $`L(4/5,3)`$. The automorphism group $`\mathrm{Aut}(M_t^0)`$ is of order $`2`$ generated by $`\theta `$.

## 3 Subalgebra $`𝒲`$ generated by $`\omega `$ and $`J`$ in $`M^\tau `$

For any $`\tau `$-invariant space $`U`$, set $`U(ϵ)=\{uU|\tau u=\xi ^ϵu\}`$, $`ϵ=0,1,2`$, where $`\xi =\mathrm{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 $`\mathrm{Vir}(\omega )`$ generated by $`\omega `$ is isomorphic to $`L(6/5,0)`$. Note that $`M`$ and $`M^\tau `$ are completely reducible as modules for $`\mathrm{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 $`\mathrm{Vir}(\omega )`$ as the identity. Thus $`M(1)`$ and $`M(2)`$ are equivalent $`\mathrm{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. ). Using them, we have the first several terms of the character of $`M`$:

$`\mathrm{ch}M`$ $`=\mathrm{ch}L({\displaystyle \frac{1}{2}},0)\mathrm{ch}L({\displaystyle \frac{7}{10}},0)+\mathrm{ch}L({\displaystyle \frac{1}{2}},{\displaystyle \frac{1}{2}})\mathrm{ch}L({\displaystyle \frac{7}{10}},{\displaystyle \frac{3}{2}})`$
$`=1+3q^2+4q^3+9q^4+12q^5+22q^6+\mathrm{}.`$
Comparing $`\mathrm{ch}M`$ with the character of $`L(6/5,h)`$, we see that

$$ML(\frac{6}{5},0)+2L(\frac{6}{5},2)+L(\frac{6}{5},3)+2L(\frac{6}{5},4)+L(\frac{6}{5},6)+\mathrm{}$$

as $`\mathrm{Vir}(\omega )`$-modules.

The vectors $`u^1`$ and $`u^2`$ of (2.4) are highest weight vectors for $`\mathrm{Vir}(\omega )`$ of weight $`2`$. Hence the $`\mathrm{Vir}(\omega )`$-submodule generated by $`u^ϵ`$ in $`M(ϵ)`$ is isomorphic to $`L(6/5,2)`$, $`ϵ=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\{0,1,2\}`$. For example,

$`w(\alpha _1)_0w(\alpha _2)w(\alpha _2)_0w(\alpha _1)`$
$`=w(\alpha _2)_0w(\alpha _0)w(\alpha _0)_0w(\alpha _2)`$
$`=w(\alpha _0)_0w(\alpha _1)w(\alpha _1)_0w(\alpha _0).`$
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{array}{cc}\hfill J& =\frac{1}{3}(\alpha _1(2)(\alpha _0(1)\alpha _2(1))\hfill \\ & +\alpha _2(2)(\alpha _1(1)\alpha _0(1))+\alpha _0(2)(\alpha _2(1)\alpha _1(1)))\hfill \\ & +\sqrt{2}((\alpha _0(1)\alpha _2(1))y(\alpha _1)\hfill \\ & +(\alpha _1(1)\alpha _0(1))y(\alpha _2)+(\alpha _2(1)\alpha _1(1))y(\alpha _0)).\hfill \end{array}$$

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 $`n2`$. Hence

###### Lemma 3.1

$`J`$ is a highest weight vector for $`\mathrm{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)_1w(\alpha _j)`$, $`0i,j2`$ are linearly independent. Hence $`w(\alpha _i)_1w(\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 $`\mathrm{Vir}(\omega )L(6/5,0)`$ is of dimension $`2`$ and since the weight $`4`$ subspace of the $`\mathrm{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 $`\mathrm{Vir}(\omega )`$ in the weight $`4`$ subspace of $`M^\tau `$. We have shown that

###### Lemma 3.2

$`(1)`$ $`\{w(\alpha _i)_1w(\alpha _j)|\mathrm{\hspace{0.17em}0}i,j2\}`$ is a basis of the weight $`4`$ subspace of $`M`$.

$`(2)`$ There is no highest weight vector for $`\mathrm{Vir}(\omega )`$ of weight $`4`$ in $`M^\tau `$.

By the above argument, we know all the irreducible direct summands $`L(6/5,h)`$ with $`h6`$ in the decomposition of $`M(ϵ)`$ into a direct sum of irreducible $`\mathrm{Vir}(\omega )`$-modules. Namely,

$`M^\tau `$ $`=M(0)L({\displaystyle \frac{6}{5}},0)+L({\displaystyle \frac{6}{5}},3)+L({\displaystyle \frac{6}{5}},6)+\mathrm{},`$
$`M(1)`$ $`M(2)L({\displaystyle \frac{6}{5}},2)+L({\displaystyle \frac{6}{5}},4)+\mathrm{}.`$
We now consider the vertex operator algebra $`𝒲`$ generated by $`\omega `$ and $`J`$ in $`M^\tau .`$ Of course $`𝒲`$ is a subalgebra of $`M^\tau .`$ We will show that $`𝒲`$ 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_nJ`$, $`0n5`$, by using $`\omega `$. First of all we note that the weight $`\mathrm{wt}J_nJ=5n`$ is at most $`5`$ for $`0n5`$. Thus $`J_nJ`$ is contained in $`L(6/5,0)+L(6/5,3)`$, where $`L(6/5,0)`$ and $`L(6/5,3)`$ stand for $`\mathrm{Vir}(\omega )`$ and the $`\mathrm{Vir}(\omega )`$-submodule generated by $`J`$ respectively. Since $`\sigma `$ fixes every element in $`\mathrm{Vir}(\omega )`$ and $`\sigma J=J`$, $`\sigma `$ acts as $`1`$ on the $`\mathrm{Vir}(\omega )`$-submodule generated by $`J`$. Hence $`J_nJ`$ is in fact contained in $`\mathrm{Vir}(\omega )`$.

By a direct calculation, we have

$$\begin{array}{cc}\hfill J_5J& =84\mathrm{𝟏},\hfill \\ \hfill J_4J& =0,\hfill \\ \hfill J_3J& =420\omega ,\hfill \\ \hfill J_2J& =210\omega _0\omega ,\hfill \\ \hfill J_1J& =9\omega _0\omega _0\omega 240\omega _1\omega ,\hfill \\ \hfill J_0J& =22\omega _0\omega _0\omega _0\omega 120\omega _0\omega _1\omega .\hfill \end{array}$$
(3.1)
Note that $`\{\omega _0\omega ,J\}`$, $`\{\omega _0\omega _0\omega ,\omega _1\omega ,\omega _0J\}`$, and $`\{\omega _0\omega _0\omega _0\omega ,\omega _0\omega _1\omega ,\omega _0\omega _0J,\omega _1J\}`$ are bases of weight $`3,\mathrm{\hspace{0.17em}4}`$, and $`5`$ subspaces of $`M^\tau `$ respectively.

In terms of the lattice vertex operator algebra $`V_L`$, the vectors $`J_2J,J_1J`$, and $`J_0J`$ can be written as follows.

$$J_2J=42\underset{i=0}{\overset{2}{}}\alpha _i(2)\alpha _i(1)+42\sqrt{2}\underset{i=0}{\overset{2}{}}\alpha _i(1)y(\alpha _i),$$

$$\begin{array}{cc}\hfill J_1J& =38\underset{i=0}{\overset{2}{}}\alpha _i(3)\alpha _i(1)3\underset{i=0}{\overset{2}{}}\alpha _i(2)^28\underset{i=0}{\overset{2}{}}\alpha _i(1)^4\hfill \\ & +6\underset{i=0}{\overset{2}{}}\alpha _i(1)^2x(\alpha _i)+51\sqrt{2}\underset{i=0}{\overset{2}{}}\alpha _i(2)y(\alpha _i),\hfill \end{array}$$

$$\begin{array}{cc}\hfill J_0J& =36\underset{i=0}{\overset{2}{}}\alpha _i(4)\alpha _i(1)4\underset{i=0}{\overset{2}{}}\alpha _i(3)\alpha _i(2)16\underset{i=0}{\overset{2}{}}\alpha _i(2)\alpha _i(1)^3\hfill \\ & +36\underset{i=0}{\overset{2}{}}\alpha _i(2)\alpha _i(1)x(\alpha _i)+\underset{i=0}{\overset{2}{}}\left(44\sqrt{2}\alpha _i(3)4\sqrt{2}\alpha _i(1)^3\right)y(\alpha _i).\hfill \end{array}$$

We need some formulas for vertex operator algebras (cf. ), namely,

$`[u_m,v_n]`$ $`={\displaystyle \underset{k=0}{\overset{\mathrm{}}{}}}\left({\displaystyle \genfrac{}{}{0pt}{}{m}{k}}\right)(u_kv)_{m+nk},`$ (3.2)
$`(u_mv)_n`$ $`={\displaystyle \underset{k=0}{\overset{\mathrm{}}{}}}(1)^k\left({\displaystyle \genfrac{}{}{0pt}{}{m}{k}}\right)\left(u_{mk}v_{n+k}(1)^mv_{m+nk}u_k\right),`$ (3.3)
$`(\omega _0v)_n`$ $`=nv_{n1}.`$ (3.4)
Using them we can obtain the commutation relations of the component operators $`\omega _m`$ and $`J_n`$.

###### Theorem 3.3

Let $`L(n)=\omega _{n+1}`$ and $`J(n)=J_{n+2}`$ for $`n`$, so that the weights of these operators are $`\mathrm{wt}L(n)=\mathrm{wt}J(n)=n`$. The

$$[L(m),L(n)]=(mn)L(m+n)+\frac{m^3m}{12}\frac{6}{5}\delta _{m+n,0},$$
(3.5)
$$[L(m),J(n)]=(2mn)J(m+n),$$
(3.6)
$$\begin{array}{cc}\hfill [J(m),J(n)]& =(mn)\left(22(m+n+2)(m+n+3)+35(m+2)(n+2)\right)L(m+n)\hfill \\ & 120(mn)\left(\underset{k2}{}L(k)L(m+nk)+\underset{k1}{}L(m+nk)L(k)\right)\hfill \\ & \frac{7}{10}m(m^21)(m^24)\delta _{m+n,0}.\hfill \end{array}$$
(3.7)
Proof The first equation holds since $`\omega `$ is the Virasoro element of central charge $`6/5`$. We know that $`\omega _1J=3J`$ and $`\omega _nJ=0`$ for $`n2`$. Hence the second equation holds. Now

$`(\omega _1\omega )_{n+3}`$ $`={\displaystyle \underset{k=0}{\overset{\mathrm{}}{}}}(1)^k\left({\displaystyle \genfrac{}{}{0pt}{}{1}{k}}\right)\left(\omega _{1k}\omega _{n+3+k}(1)^1\omega _{n+2k}\omega _k\right)`$
$`={\displaystyle \underset{k=0}{\overset{\mathrm{}}{}}}\left(L(k2)L(n+k+2)+L(n+1k)L(k1)\right)`$
$`={\displaystyle \underset{k2}{}}L(k)L(nk)+{\displaystyle \underset{k1}{}}L(nk)L(k)).`$
Thus the last equation follows from (3.1).  $`\mathrm{}`$

###### Remark 3.4

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 . Thus $`𝒲`$ 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_1n_2`$ and $`L(n_2)L(n_1)`$ if $`n_1n_2`$. Then we have another expression of $`(\omega _1\omega )_{n+3}`$. That is (cf. ),

$$(\omega _1\omega )_{n+3}=\lambda (n+3)L(n)+\underset{k}{}:L(k)L(nk):.$$

## 4 $`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 , we consider a new $`M`$-module $`(U\tau ,Y_{U\tau })`$ such that $`U\tau =U`$ as vector spaces and

$$Y_{U\tau }(v,z)=Y_U(\tau v,z)\text{for }vM.$$

Then $`UU\tau `$ induces a permutation on the set of irreducible $`M`$-modules. If $`U`$ and $`U\tau `$ are equivalent $`M`$-modules, $`U`$ is said to be $`\tau `$-stable. By the definition, we have $`U\tau ^2=(U\tau )\tau `$. The following lemma is a straightforward consequence of the definition of $`M_k^i`$ and $`W_k^i`$.

###### Lemma 4.1

$`(1)`$ $`M_k^0\tau =M_k^0`$ and $`W_k^0\tau =W_k^0`$.

$`(2)`$ $`M_k^a\tau =M_k^c`$, $`M_k^c\tau =M_k^b`$, and $`M_k^b\tau =M_k^a`$.

$`(3)`$ $`W_k^a\tau =W_k^c`$, $`W_k^c\tau =W_k^b`$, and $`W_k^b\tau =W_k^a`$.

Here $`W_k^0\tau =W_k^0`$ means that there exists a linear isomorphism $`\varphi (\tau ):W_k^0W_k^0`$ such that $`\varphi (\tau )Y_{W_k^0}(v,z)\varphi (\tau )^1=Y_{W_k^0}(\tau v,z)`$ for all $`vM`$. The automorphism $`\tau `$ of $`V_L`$ fixes $`\omega ^3`$ and so $`W_k^0`$ is invariant under $`\tau `$. Hence we can take $`\tau `$ as $`\varphi (\tau )`$. Note also that $`\tau Y(v,z)\tau ^1=Y(\tau v,z)`$ for all $`vM=M_k^0`$ since $`\tau \mathrm{Aut}(M)`$.

### 4.1 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(ϵ)=\{vM_k^0|\tau v=\xi ^ϵv\}`$. Likewise, set $`W(ϵ)=\{vW_k^0|\tau v=\xi ^ϵv\}`$. From Lemma 4.1, \[11, Theorem 4.4\], and \[13, Theorem 6.14\], we see that $`M(ϵ)`$ and $`W(ϵ)`$ are inequivalent irreducible $`M^\tau `$-modules for $`ϵ=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 \[13, 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 $`\mathrm{𝟏}`$, $`u^1`$, and $`u^2`$ respectively. The top levels of $`W(0)`$, $`W(1)`$, and $`W(2)`$ are

$$(y(\alpha _1)+y(\alpha _2)+y(\alpha _0)),(\alpha _1(1)\xi \alpha _2(1)),and(\alpha _1(1)\xi ^2\alpha _2(1))$$

respectively. Moreover, the top levels of $`M_k^c`$ and $`W_k^c`$ are

$$(e^{\beta _1/2}e^{\beta _1/2})\text{and}(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)_0w(\alpha _j))_2+(w(\alpha _i)_1w(\alpha _j))_1$$

by (3.2). Since $`w(\alpha _i)_1w(\alpha _j)=w(\alpha _j)_1w(\alpha _i)`$, it follows that

$`J(0)`$ $`=(w(\alpha _1)_0w(\alpha _2))_2(w(\alpha _2)_0w(\alpha _1))_2`$
$`=[w(\alpha _1)_1,w(\alpha _2)_1][w(\alpha _2)_1,w(\alpha _1)_1].`$
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 1.

### 4.2 Irreducible $`M^\tau `$-modules in $`\tau `$-twisted $`M`$-modules

Using , 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 . The argument here is similar to that in \[22, Section 6\].

We follow  with $`L=\sqrt{2}A_2`$, $`p=3`$, $`q=6`$, and $`\nu =\tau `$. Let $`𝔥=_{}L`$ and extend the $``$-bilinear form $`,`$ on $`L`$ to $`𝔥`$ linearly. Set

$$h_1=\frac{1}{3}(\beta _1+\xi ^2\beta _2+\xi \beta _0),h_2=\frac{1}{3}(\beta _1+\xi \beta _2+\xi ^2\beta _0).$$

Then $`\tau h_j=\xi ^jh_j`$, $`h_1,h_1=h_2,h_2=0`$, and $`h_1,h_2=2`$. Moreover, $`\beta _i=\xi ^{i1}h_1+\xi ^{2(i1)}h_2`$, $`i=0,1,2`$. For $`n`$, set

$$𝔥_{(n)}=\{\alpha 𝔥|\tau \alpha =\xi ^n\alpha \}.$$

Since $`\tau `$ is fixed-point-free on $`L`$, it follows that $`𝔥_{(0)}=0`$. Furthermore, $`𝔥_{(1)}=h_1`$ and $`𝔥_{(2)}=h_2`$. For $`\alpha 𝔥`$, we denote by $`\alpha _{(n)}`$ the component of $`\alpha `$ in $`𝔥_{(n)}`$. Thus $`(\beta _i)_{(1)}=\xi ^{i1}h_1`$ and $`(\beta _i)_{(2)}=\xi ^{2(i1)}h_2`$ for $`i=0,1,2`$.

Define the $`\tau `$-twisted affine Lie algebra to be

$$\widehat{𝔥}[\tau ]=\left(\underset{n}{}𝔥_{(n)}t^{n/3}\right)c$$

with the bracket

$$[xt^m,yt^n]=mx,y\delta _{m+n,0}c$$

for $`x𝔥_{(3m)}`$, $`y𝔥_{(3n)}`$, $`m,n(1/3)`$, and $`[c,\widehat{𝔥}[g]]=0`$. The isometry $`\tau `$ acts on $`\widehat{𝔥}[\tau ]`$ by $`\tau (xt^m)=\xi ^mxt^m`$ and $`\tau (c)=c`$. Set

$$\widehat{𝔥}[\tau ]^+=\underset{n>0}{}𝔥_{(n)}t^{n/3},\widehat{𝔥}[\tau ]^{}=\underset{n<0}{}𝔥_{(n)}t^{n/3},\text{and}\widehat{𝔥}[\tau ]^0=c$$

and consider the $`\widehat{𝔥}[\tau ]`$-module

$$S[\tau ]=U(\widehat{𝔥}[\tau ])_{U(\widehat{𝔥}[\tau ]^+\widehat{𝔥}[\tau ]^0)}$$

induced from the $`\widehat{𝔥}[\tau ]^+\widehat{𝔥}[\tau ]^0`$-module $``$, where $`\widehat{𝔥}[\tau ]^+`$ acts trivially on $``$ and $`c`$ acts as $`1`$ on $``$.

We define the weight in $`S[\tau ]`$ by

$$\mathrm{wt}(xt^n)=n\text{and}\mathrm{wt}1=\frac{1}{9},$$

where $`n(1/3)`$ and $`x𝔥_{(3n)}`$ (cf. \[7, (4.6), (4.10)\]). By the weight gradation $`S[\tau ]`$ becomes a $`(1/3)`$-graded space. Its character is

$$\mathrm{ch}S[\tau ]=q^{1/9}\underset{n=1}{\overset{\mathrm{}}{}}(1q^n)/\underset{n=1}{\overset{\mathrm{}}{}}(1q^{n/3}).$$
(4.1)
For $`\alpha 𝔥`$ and $`n(1/3)`$, denote by $`\alpha (n)`$ the operator on $`S[\tau ]`$ induced by $`\alpha _{(3n)}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`$. The weight of the operator $`h_j(j/3+n)`$ is $`j/3n`$.

The alternating $``$-bilinear map $`c_0^\tau :L\times L/6`$ defined by \[7, (2.10)\] is such that

$$c_0^\tau (\alpha ,\beta )=\underset{r=0}{\overset{2}{}}(3+2r)\tau ^r\alpha ,\beta +6.$$

In our case $`_{r=0}^2\tau ^r\alpha =0`$, since $`\tau `$ is fixed-point-free on $`L`$. Moreover, we can verify that

$$\underset{r=0}{\overset{2}{}}r\tau ^r\beta _i,\beta _j=\{\begin{array}{cc}\pm 6\hfill & \text{if }\tau \beta _i\beta _j\hfill \\ 0\hfill & \text{if }\tau \beta _i=\beta _j.\hfill \end{array}$$

Hence $`c_0^\tau (\alpha ,\beta )=0`$ for all $`\alpha ,\beta L`$. This means that the central extension

$$1\kappa _6\widehat{L}_\tau \stackrel{-}{}L1$$
(4.2)
determined by the commutator condition $`aba^1b^1=\kappa _6^{c_0^\tau (\overline{a},\overline{b})}`$ splits.

We consider the relation between two central extensions $`\widehat{L}`$ of (2.1) and $`\widehat{L}_\tau `$ of (4.2). Since both of $`\widehat{L}`$ and $`\widehat{L}_\tau `$ are split extensions, we use the same symbol $`e^\alpha `$ to denote both of an element in $`\widehat{L}`$ and an element in $`\widehat{L}_\tau `$ which correspond naturally to $`\alpha L`$. Actually, in Section 2 we choose $`e^\alpha \widehat{L}`$ so that the multiplication in $`\widehat{L}`$ is $`e^\alpha \times e^\beta =e^{\alpha +\beta }`$. Also we can choose $`e^\alpha \widehat{L}_\tau `$ such that the multiplication $`e^\alpha \times _\tau e^\beta `$ in $`\widehat{L}_\tau `$ is related to the multiplication in $`\widehat{L}`$ by (cf. \[7, (2.4)\])

$$e^\alpha \times e^\beta =\kappa _6^{\epsilon _0(\alpha ,\beta )}e^\alpha \times _\tau e^\beta ,$$
(4.3)
where the $``$-linear map $`\epsilon _0:L\times L/6`$ is defined by \[7, (2.13)\]. In our case

$$\epsilon _0(\alpha ,\beta )=\tau ^1\alpha ,\beta +6.$$
(4.4)
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 $`\widehat{L}`$. Note, for example, that the inverse of $`e^{\beta _1}`$ in $`\widehat{L}`$ is $`e^{\beta _1}`$, while the inverse of $`e^{\beta _1}`$ in $`\widehat{L}_\tau `$ is $`\kappa _3^2e^{\beta _1}`$.

The automorphism $`\tau `$ of $`L`$ lifts to an automorphism $`\widehat{\tau }`$ of $`\widehat{L}`$ such that $`\widehat{\tau }(e^\alpha )=e^{\tau \alpha }`$ and $`\widehat{\tau }(\kappa _6)=\kappa _6`$. Since $`\epsilon _0`$ is $`\tau `$-invariant, we can also think $`\widehat{\tau }`$ to be an automorphism of $`\widehat{L}_\tau `$ in a similar way. By abuse of notation we shall denote $`\widehat{\tau }`$ by simply $`\tau `$ also.

We have $`(1\tau )L=\mathrm{span}_{}\{\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\widehat{L}_\tau \}`$ is a central subgroup of $`\widehat{L}_\tau `$ with $`\overline{K}=(1\tau )L`$ and $`K\kappa _6=1`$. Here note that $`a^1`$ is the inverse of $`a`$ in $`\widehat{L}_\tau `$ and $`a^1\tau (a)`$ is the product $`a^1\times _\tau \tau (a)`$ in $`\widehat{L}_\tau `$. In $`\widehat{L}_\tau `$ we can verify that

$$e^{3\beta _1}=(e^{\beta _0\beta _1})^1\times _\tau \tau (e^{\beta _0\beta _1})K.$$

Since

$$\kappa _3e^{\beta _1}\times _\tau \kappa _3e^{\beta _1}\times _\tau \kappa _3e^{\beta _1}=e^{3\beta _1}\text{and}\kappa _3e^{\beta _1}\times _\tau \kappa _3e^{\beta _1}=1,$$

it follows that

$$\widehat{L}_\tau /K=\{K,\kappa _3e^{\beta _1}K,\kappa _3e^{\beta _1}K\}\times \kappa _6K/K_3\times _6.$$

For $`j=0,1,2`$, define a linear character $`\chi _j:\widehat{L}_\tau /K^\times `$ by

$$\chi _j(\kappa _6)=\xi _6,\chi _j(\kappa _3e^{\beta _1}K)=\xi ^j,\text{and}\chi _j(\kappa _3e^{\beta _1}K)=\xi ^j,$$

where $`\xi _6=\mathrm{exp}(2\pi \sqrt{1}/6)`$. Let $`T_{\chi _j}`$ be the one dimensional $`\widehat{L}_\tau /K`$-module affording the character $`\chi _j`$. As an $`\widehat{L}_\tau `$-module, $`K`$ acts trivially on $`T_{\chi _j}`$. Since $`_{r=0}^2\tau ^r\alpha =0`$ for $`\alpha L`$, those $`T_{\chi _j}`$, $`j=0,1,2`$, are the irreducible $`\widehat{L}_\tau `$-modules constructed in \[25, Section 6\].

Let

$$V_L^{T_{\chi _j}}=V_L^{T_{\chi _j}}(\tau )=S[\tau ]T_{\chi _j}$$

and define the $`\tau `$-twisted vertex operator $`Y^\tau (,z):V_L\mathrm{End}(V_L^{T_{\chi _j}})\{z\}`$ as in . For $`a\widehat{L}`$, define

$$Y^\tau (a,z)=3^{\overline{a},\overline{a}/2}\varphi (\overline{a})E^{}(\overline{a},z)E^+(\overline{a},z)az^{\overline{a},\overline{a}/2},$$

where

$$E^\pm (\alpha ,z)=\mathrm{exp}\left(\underset{n(1/3)_\pm }{}\frac{\alpha (n)}{n}z^n\right),$$
(4.5)
$$\varphi (\alpha )=(1\xi ^2)^{\tau \alpha ,\alpha },$$
(4.6)
and $`a\widehat{L}`$ acts on $`T_{\chi _j}`$ through the set theoretic identification between $`\widehat{L}`$ and $`\widehat{L}_\tau `$. Here we denote $`\sigma (\alpha )`$ of \[7, (4.35)\] by $`\varphi (\alpha )`$. For $`v=\alpha ^1(n_1)\mathrm{}\alpha ^k(n_k)\iota (a)V_L`$ with $`\alpha ^1,\mathrm{},\alpha ^k𝔥`$ and $`n_1,\mathrm{},n_k_{>0}`$, set

$$W(v,z)=\genfrac{}{}{0pt}{}{}{}\left(\frac{1}{(n_11)!}\left(\frac{d}{dz}\right)^{n_11}\alpha ^1(z)\right)\mathrm{}\left(\frac{1}{(n_k1)!}\left(\frac{d}{dz}\right)^{n_k1}\alpha ^k(z)\right)Y^\tau (a,z)\genfrac{}{}{0pt}{}{}{},$$

where $`\alpha (z)=_{n(1/3)}\alpha (n)z^{n1}`$. Define constants $`c_{mn}^i`$ for $`m,n0`$ and $`i=0,1,2`$ by

$$\underset{m,n0}{}c_{mn}^0x^my^n=\frac{1}{2}\underset{r=1}{\overset{2}{}}\mathrm{log}\left(\frac{(1+x)^{1/3}\xi ^r(1+y)^{1/3}}{1\xi ^r}\right),$$

$$\underset{m,n0}{}c_{mn}^ix^my^n=\frac{1}{2}\mathrm{log}\left(\frac{(1+x)^{1/3}\xi ^i(1+y)^{1/3}}{1\xi ^i}\right)\text{ for}i0.$$

Let $`\{\gamma _1,\gamma _2\}`$ be an orthonormal basis of $`𝔥`$ and set

$$\mathrm{\Delta }_z=\underset{m,n0}{}\underset{i=0}{\overset{2}{}}\underset{j=1}{\overset{2}{}}c_{mn}^i(\tau ^i\gamma _j)(m)\gamma _j(n)z^{mn}.$$

Then for $`vV_L,`$ $`Y^\tau (v,z)`$ is defined by

$$Y^\tau (v,z)=W(e^{\mathrm{\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 \[7, Theorem 7.1\], $`(V_L^{T_{\chi _j}}(\tau ),Y^\tau (,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\{0,a,b,c\}`$ and $`j\{0,1,2\}`$, the $`\tau `$-stable irreducible modules are $`V_{L^{(0,j)}}`$, $`j\{0,1,2\}`$. Hence by \[9, Theorem 10.2\], we conclude that $`(V_L^{T_{\chi _j}}(\tau ),Y^\tau (,z))`$, $`j=0,1,2`$, are all the inequivalent irreducible $`\tau `$-twisted $`V_L`$-modules. The isometry $`\theta `$ of $`(L,,)`$ 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 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 (,z))`$ as an $`M^\tau 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 $`\stackrel{~}{\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^{n1}`$ in the twisted vertex operator $`Y^\tau (u,z)=u_nz^{n1}`$ associated with a vector $`u`$ in $`V_L`$. The weight in $`V_L^{T_{\chi _j}}(\tau )`$ defined above is exactly the eigenvalue for $`\stackrel{~}{\omega }_1`$ (cf. \[7, (6.10), (6.28)\]).

The character of $`V_L^{T_{\chi _j}}(\tau )`$ is equal to the character of $`S[\tau ]`$ (cf. (4.1)). Its first several terms are

$$\mathrm{ch}V_L^{T_{\chi _j}}(\tau )=\mathrm{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}+\mathrm{}.$$

Fix a nonzero vector $`vT_{\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 2.

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^{}(\beta _i,z)E^+(\beta _i,z)\xi ^{\pm j}z^2,i=0,1,2,$$

since $`\varphi (\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 j1}`$ for $`i,j=0,1,2`$. The image of the vectors in Table 2 under the operator $`\omega _1`$ are calculated as follows.

$$\omega _1(1v)=\left(\frac{1}{15}+\frac{1}{45}(\xi ^j+\xi ^j)\right)1v,$$

$$\omega _1(h_2(\frac{1}{3})v)=\left(\frac{4}{15}\frac{1}{9}(\xi ^j+\xi ^j)\right)h_2(\frac{1}{3})v,$$

$$\omega _1(h_1(\frac{2}{3})v)=\left(\frac{7}{15}\frac{2}{45}(\xi ^j+\xi ^j)\right)h_1(\frac{2}{3})v\frac{1}{5}(\xi ^j\xi ^j)h_2(\frac{1}{3})^2v,$$

$$\omega _1(h_2(\frac{1}{3})^2v)=\left(\frac{7}{15}+\frac{7}{45}(\xi ^j+\xi ^j)\right)h_2(\frac{1}{3})^2v+\frac{2}{15}(\xi ^j\xi ^j)h_1(\frac{2}{3})^2v,$$

$$\omega _1(h_1(\frac{2}{3})h_2(\frac{1}{3})v)=\left(\frac{2}{3}+\frac{2}{9}(\xi ^j+\xi ^j)\right)h_1(\frac{2}{3})h_2(\frac{1}{3})v+\frac{1}{5}(\xi ^j\xi ^j)h_2(\frac{1}{3})^3v,$$

$$\omega _1(h_2(\frac{1}{3})^3v)=\left(\frac{2}{3}+\frac{1}{45}(\xi ^j+\xi ^j)\right)h_2(\frac{1}{3})^3v\frac{2}{5}(\xi ^j\xi ^j)h_1(\frac{2}{3})h_2(\frac{1}{3})v,$$

$`\omega _1(h_2({\displaystyle \frac{4}{3}})v)`$ $`={\displaystyle \frac{13}{15}}h_2({\displaystyle \frac{4}{3}})v`$
$`+(\xi ^j+\xi ^j)\left({\displaystyle \frac{1}{90}}h_2({\displaystyle \frac{4}{3}}){\displaystyle \frac{3}{10}}h_1({\displaystyle \frac{2}{3}})h_2({\displaystyle \frac{1}{3}})^2\right)v`$
$`+(\xi ^j\xi ^j)\left({\displaystyle \frac{1}{20}}h_1({\displaystyle \frac{2}{3}})^2{\displaystyle \frac{3}{20}}h_2({\displaystyle \frac{1}{3}})^4\right)v,`$
$`\omega _1(h_1({\displaystyle \frac{2}{3}})^2v)`$ $`={\displaystyle \frac{13}{15}}h_1({\displaystyle \frac{2}{3}})^2v`$
$`+(\xi ^j+\xi ^j)({\displaystyle \frac{1}{90}}h_1({\displaystyle \frac{2}{3}})^2+{\displaystyle \frac{3}{10}}h_2({\displaystyle \frac{1}{3}})^4))v`$
$`+(\xi ^j\xi ^j)\left({\displaystyle \frac{1}{15}}h_2({\displaystyle \frac{4}{3}})+{\displaystyle \frac{1}{5}}h_1({\displaystyle \frac{2}{3}})h_2({\displaystyle \frac{1}{3}})^2\right)v,`$
$`\omega _1(h_1({\displaystyle \frac{2}{3}})h_2({\displaystyle \frac{1}{3}})^2v)`$ $`={\displaystyle \frac{13}{15}}h_1({\displaystyle \frac{2}{3}})h_2({\displaystyle \frac{1}{3}})^2v`$
$`+(\xi ^j+\xi ^j)\left({\displaystyle \frac{2}{15}}h_2({\displaystyle \frac{4}{3}}){\displaystyle \frac{14}{45}}h_1({\displaystyle \frac{2}{3}})h_2({\displaystyle \frac{1}{3}})^2\right)v`$
$`{\displaystyle \frac{1}{15}}(\xi ^j\xi ^j)h_1({\displaystyle \frac{2}{3}})^2v,`$
$`\omega _1(h_2({\displaystyle \frac{1}{3}})^4v)`$ $`={\displaystyle \frac{13}{15}}h_2({\displaystyle \frac{1}{3}})^4v`$
$`+(\xi ^j+\xi ^j)\left({\displaystyle \frac{2}{5}}h_1({\displaystyle \frac{2}{3}})^2{\displaystyle \frac{1}{9}}h_2({\displaystyle \frac{1}{3}})^4\right)v`$
$`+{\displaystyle \frac{4}{15}}(\xi ^j\xi ^j)h_2({\displaystyle \frac{4}{3}})v,`$
The decomposition of $`V_L^{T_{\chi _j}}(\tau )`$ as a $`\tau `$-twisted $`MM_t^0`$-module was studied in . The outline of the argument is as follows. For $`j=0,1,2`$, the vectors

$$1v,h_1(\frac{2}{3})v+(\xi ^j\xi ^j)h_2(\frac{1}{3})^2v,h_2(\frac{1}{3})^2v+\frac{2}{3}(\xi ^j\xi ^j)h_1(\frac{2}{3})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 |
| --- | --- | --- | --- |
| $`1v`$ | $`(\frac{1}{9},0)`$ | $`(\frac{2}{45},\frac{1}{15})`$ | $`(\frac{2}{45},\frac{1}{15})`$ |
| $`h_1(\frac{2}{3})v+(\xi ^j\xi ^j)h_2(\frac{1}{3})^2v`$ | $`(\frac{17}{45},\frac{2}{5})`$ | $`(\frac{1}{9},\frac{2}{3})`$ | $`(\frac{1}{9},\frac{2}{3})`$ |
| $`h_2(\frac{1}{3})^2v+\frac{2}{3}(\xi ^j\xi ^j)h_1(\frac{2}{3})v`$ | $`(\frac{7}{9},0)`$ | $`(\frac{32}{45},\frac{1}{15})`$ | $`(\frac{32}{45},\frac{1}{15})`$ |

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  and their fusion rules . 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 $`\mathrm{Vir}(\omega )M_t^0`$-submodule generated by the vector, which is isomorphic to

$$L(\frac{6}{5},\frac{8}{5})\left(L(\frac{4}{5},\frac{2}{5})+L(\frac{4}{5},\frac{7}{5})\right).$$

Set

$`M_T^0(\tau )`$ $`=\{uV_L^{T_{\chi _0}}(\tau )|(\omega ^3)_1u=0\},`$
$`W_T^0(\tau )`$ $`=\{uV_L^{T_{\chi _0}}(\tau )|(\omega ^3)_1u={\displaystyle \frac{2}{5}}u\}.`$
Moreover, for $`j=1,2`$ set

$`M_T^j(\tau )`$ $`=\{uV_L^{T_{\chi _j}}(\tau )|(\omega ^3)_1u={\displaystyle \frac{2}{3}}u\},`$
$`W_T^j(\tau )`$ $`=\{uV_L^{T_{\chi _j}}(\tau )|(\omega ^3)_1u={\displaystyle \frac{1}{15}}u\}.`$
Then, by \[22, 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 )M_T^j(\tau )M_t^jW_T^j(\tau )W_t^j$$

as $`\tau `$-twisted $`MM_t^0`$-modules.

There are at most two inequivalent irreducible $`\tau `$-twisted $`M`$-modules by Lemma 4.1 and \[9, 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 )M_T^1(\tau )M_T^2(\tau )`$ and $`W_T^0(\tau )W_T^1(\tau )W_T^2(\tau )`$ and that $`M_T^0(\tau )\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\mathrm{Vir}(\omega ^3)`$-modules, we have

$`V_L^{T_{\chi _0}}(\tau )`$ $`M_T(\tau )\left(L({\displaystyle \frac{4}{5}},0)+L({\displaystyle \frac{4}{5}},3)\right)W_T(\tau )\left(L({\displaystyle \frac{4}{5}},{\displaystyle \frac{2}{5}})+L({\displaystyle \frac{4}{5}},{\displaystyle \frac{7}{5}})\right),`$ (4.7)
$`V_L^{T_{\chi _1}}(\tau )`$ $`V_L^{T_{\chi _2}}(\tau )M_T(\tau )L({\displaystyle \frac{4}{5}},{\displaystyle \frac{2}{3}})W_T(\tau )L({\displaystyle \frac{4}{5}},{\displaystyle \frac{1}{15}}).`$ (4.8)
The first several terms of the characters of $`M_T(\tau )`$ and $`W_T(\tau )`$ are

$`\mathrm{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}}+\mathrm{},`$
$`\mathrm{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}}+\mathrm{}.`$
For $`ϵ=0,1,2`$, let

$`M_T(\tau )(ϵ)`$ $`=\{uM_T(\tau )|\tau u=\xi ^ϵu\},`$
$`W_T(\tau )(ϵ)`$ $`=\{uW_T(\tau )|\tau u=\xi ^ϵu\}.`$
Those $`6`$ modules for $`M^\tau `$ are inequivalent irreducible modules by \[30, 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 3.

### 4.3 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  with $`\nu =\tau ^2`$. Set $`h_1^{}=h_2`$, $`h_2^{}=h_1`$, and

$$𝔥_{(n)}^{}=\{\alpha 𝔥|\tau ^2\alpha =\xi ^n\alpha \}.$$

Then $`𝔥_{(0)}^{}=0`$, $`𝔥_{(1)}^{}=h_1^{}`$, and $`𝔥_{(2)}^{}=h_2^{}`$. Consider a split central extension

$$1\kappa _6\widehat{L}_{\tau ^2}\stackrel{-}{}L1$$

and choose linear characters $`\chi _j^{}:\widehat{L}_{\tau ^2}/K^\times `$, $`j=0,1,2`$, such that

$$\chi _j^{}(\kappa _6)=\xi _6,\chi _j^{}(\kappa _3e^{\beta _1}K)=\xi ^j,\text{and}\chi _j^{}(\kappa _3e^{\beta _1}K)=\xi ^j,$$

where $`K=\{a^1\tau ^2(a)|a\widehat{L}_{\tau ^2}\}`$. Let $`T_{\chi _j^{}}`$ be the one dimensional $`\widehat{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]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`$. The weight on $`S[\tau ^2]`$ is given by $`\mathrm{wt}1=1/9`$ and $`\mathrm{wt}h_j^{}(j/3+n)=j/3n`$. Moreover, $`\mathrm{wt}v=0`$ for $`vT_{\chi _j^{}}`$. Set

$`M_T(\tau ^2)`$ $`=\{uV_L^{T_{\chi _0^{}}}(\tau ^2)|(\omega ^3)_1u=0\},`$
$`W_T(\tau ^2)`$ $`=\{uV_L^{T_{\chi _0^{}}}(\tau ^2)|(\omega ^3)_1u={\displaystyle \frac{2}{5}}u\}.`$
Then $`M_T(\tau ^2)`$ and $`W_T(\tau ^2)`$ are the inequivalent irreducible $`\tau ^2`$-twisted $`M`$-modules. Furthermore, we have

$`V_L^{T_{\chi _0^{}}}(\tau ^2)`$ $`M_T(\tau ^2)\left(L({\displaystyle \frac{4}{5}},0)+L({\displaystyle \frac{4}{5}},3)\right)W_T(\tau ^2)\left(L({\displaystyle \frac{4}{5}},{\displaystyle \frac{2}{5}})+L({\displaystyle \frac{4}{5}},{\displaystyle \frac{7}{5}})\right),`$
$`V_L^{T_{\chi _1^{}}}(\tau ^2)`$ $`V_L^{T_{\chi _2^{}}}(\tau ^2)M_T(\tau ^2)L({\displaystyle \frac{4}{5}},{\displaystyle \frac{2}{3}})W_T(\tau ^2)L({\displaystyle \frac{4}{5}},{\displaystyle \frac{1}{15}})`$
as $`\tau ^2`$-twisted $`M\mathrm{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 $`ϵ=0,1,2`$, let

$`M_T(\tau ^2)(ϵ)`$ $`=\{uM_T(\tau ^2)|\tau ^2u=\xi ^ϵu\},`$
$`W_T(\tau ^2)(ϵ)`$ $`=\{uW_T(\tau ^2)|\tau ^2u=\xi ^ϵu\}.`$
Those $`6`$ modules for $`M^\tau `$ are inequivalent irreducible modules by \[30, 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 4.

### 4.4 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,,)`$ 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:

$$\begin{array}{cc}M(1)M(2),& W(1)W(2),\\ M_T(\tau )(ϵ)M_T(\tau ^2)(ϵ),& W_T(\tau )(ϵ)W_T(\tau ^2)(ϵ)\end{array}$$
(4.9)
for $`ϵ=0,1,2`$. The top level of $`M_T(\tau ^2)(ϵ)`$ 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 )(ϵ)`$. Similar symmetry holds for $`W_T(\tau ^2)(ϵ)`$ and $`W_T(\tau )(ϵ)`$. The action of $`J(0)`$ on the top level of $`M_T(\tau ^2)(ϵ)`$ (resp. $`W_T(\tau ^2)(ϵ)`$) is negative of the action on the top level of $`M_T(\tau )(ϵ)`$ (resp. $`W_T(\tau )(ϵ)`$). These symmetries are consequences of the fact that $`\sigma \tau \sigma =\tau ^2`$ and $`\sigma J=J`$.

In  an infinite series of $`2D`$ conformal field theory models with $`_3`$ symmetry was studied. In the case $`p=5`$ of , $`20`$ irreducible representations are discussed \[14, (5.5)\]. If we multiply the values $`w\left(\begin{array}{cc}n& m\\ n^{}& m^{}\end{array}\right)`$ of \[14, (5.6)\] by $`\sqrt{105/2}`$, then the pairs

$$(\mathrm{\Delta }\left(\begin{array}{cc}n& m\\ n^{}& m^{}\end{array}\right),\sqrt{105/2}w\left(\begin{array}{cc}n& m\\ n^{}& m^{}\end{array}\right))$$

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 1, 3, and 4. Here $`\mathrm{\Delta }\left(\begin{array}{cc}n& m\\ n^{}& m^{}\end{array}\right)`$ is given by \[14, (1.3)\].

## 5 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(𝒲)`$ of the vertex operator subalgebra $`𝒲`$ in $`M^\tau `$ generated by $`\omega `$ and $`J`$. It turns out that $`A(𝒲)`$ is isomorphic to a quotient algebra of the polynomial algebra $`[x,y]`$ with two variables $`x`$ and $`y`$ by a certain ideal $``$ and that $`A(𝒲)`$ is of dimension $`20`$. We will also prove that $`M^\tau =𝒲`$ and $`𝒲`$ is rational.

As in Theorem 3.3, let $`L(n)=\omega _{n+1}`$ and $`J(n)=J_{n+2}`$ for $`n`$. The action of those operators on the vacuum vector $`\mathrm{𝟏}`$ is such that

$`L(n)\mathrm{𝟏}`$ $`=0\text{for}n1,`$ $`L(2)\mathrm{𝟏}`$ $`=\omega ,`$ (5.1)
$`J(n)\mathrm{𝟏}`$ $`=0\text{for}n2,`$ $`J(3)\mathrm{𝟏}`$ $`=J,`$ (5.2)
### 5.1 A spanning set for $`𝒲`$

For a vector expressed in the form $`u_{n_1}^1\mathrm{}u_{n_k}^k\mathrm{𝟏}`$ with $`u^i\{\omega ,J\}`$ and $`n_i`$, we denote by $`l_\omega (u_{n_1}^1\mathrm{}u_{n_k}^k\mathrm{𝟏})`$ or $`l_J(u_{n_1}^1\mathrm{}u_{n_k}^k\mathrm{𝟏})`$ the number of $`i`$, $`1ik`$ 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_{n_1}^1\mathrm{}u_{n_k}^k\mathrm{𝟏}`$. Since each vector in $`𝒲`$ 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_{n_1}^1\mathrm{}u_{n_k}^k\mathrm{𝟏}`$.

###### Lemma 5.1

Let the $`\omega `$-length and the $`J`$-length of $`u_{n_1}^1\mathrm{}u_{n_k}^k\mathrm{𝟏}`$ be $`s`$ and $`t`$ respectively. Then $`u_{n_1}^1\mathrm{}u_{n_k}^k\mathrm{𝟏}`$ can be written as a linear combination of vectors of the form

$$L(m_1)\mathrm{}L(m_p)J(n_1)\mathrm{}J(n_q)\mathrm{𝟏}$$

such that

$`(1)`$ $`m_1\mathrm{}m_p2,n_1\mathrm{}n_q3`$,

$`(2)`$ $`qt`$,

$`(3)`$ $`p+qs+t`$,

$`(4)`$ $`m_1+\mathrm{}+m_p+n_1+\mathrm{}+n_q=\mathrm{wt}(u_{n_1}^1\mathrm{}u_{n_k}^k\mathrm{𝟏})`$.

Proof We proceed by induction on $`t`$. If $`t=0`$, the assertion follows from the commutation relation (3.5) and the action of $`L(n)`$ on the vacuum vector (5.1).

Suppose the assertion holds for the case where the $`J`$-length of $`u_{n_1}^1\mathrm{}u_{n_k}^k\mathrm{𝟏}`$ is at most $`t1`$ and consider the case where the $`J`$-length is $`t`$. By (3.6), we can replace $`J(n)L(m)`$ with $`L(m)J(n)`$ or $`J(mn)`$. Hence we may assume that $`u_{n_1}^1\mathrm{}u_{n_k}^k\mathrm{𝟏}`$ is of the form

$$L(m_1)\mathrm{}L(m_s)J(n_1)\mathrm{}J(n_t)\mathrm{𝟏}$$
(5.3)
for some $`m_i,n_j`$.

By (5.2), we may assume that $`n_t3`$. Suppose $`n_i<n_{i+1}`$ for some $`i`$. Then by the commutation relation (3.7), the vector (5.3) 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_in_{i+1})`$, (iii) $`L(k)L(n_in_{i+1}k)`$ or $`L(n_in_{i+1}k)L(k)`$ for some $`k`$, or (iv) a constant. In Cases (ii), (iii), or (iv), we get an expression whose $`J`$-length is at most $`t2`$, and so we can apply the induction hypothesis. Therefore, in (5.3) we may assume that $`n_1\mathrm{}n_t3`$.

Now we argue by induction on the $`\omega `$-length $`s`$ of the expression (5.3). If $`s=0`$, the assertion holds. Suppose the assertion holds for the case where the $`\omega `$-length is at most $`s1`$. By (3.6), we can replace $`L(m_s)J(n_1)`$ with (i) $`J(n_1)L(m_s)`$ or (ii) $`J(m_sn_1)`$. In Csae (ii), we get an expression of $`\omega `$-length at most $`s1`$, so that we can apply the induction hypothesis. Arguing similarly, we can reach

$$L(m_1)\mathrm{}L(m_{s1})J(n_1)\mathrm{}J(n_t)L(m_s)\mathrm{𝟏}.$$

Hence we may assume that $`m_s2`$ by (5.1). Suppose $`m_i<m_{i+1}`$ for some $`i`$. Then by (3.5), the vector (5.3) 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_im_{i+1})`$, or (iii) a constant. Since Cases (ii) or (iii) yields an expression whose $`\omega `$-length is at most $`s1`$, we can apply the induction hypothesis. This completes the proof.  $`\mathrm{}`$

A vector of the form

$$L(m_1)\mathrm{}L(m_p)J(n_1)\mathrm{}J(n_q)\mathrm{𝟏}$$
(5.4)
with $`m_1\mathrm{}m_p2`$ and $`n_1\mathrm{}n_q3`$ will be called of normal form.

###### Corollary 5.2

$`𝒲`$ is spanned by the vectors of normal form

$$L(m_1)\mathrm{}L(m_p)J(n_1)\mathrm{}J(n_q)\mathrm{𝟏}$$

with $`m_1\mathrm{}m_p2`$, $`n_1\mathrm{}n_q3`$, $`p=0,1,2,\mathrm{}`$, and $`q=0,1,2,\mathrm{}`$.

Proof As a vector space $`𝒲`$ is spanned by the vectors $`u_{n_1}^1\mathrm{}u_{n_k}^k\mathrm{𝟏}`$ with $`u^i\{\omega ,J\}`$, $`n_i`$, and $`k=0,1,2,\mathrm{}`$. Hence the assertion follows from Lemma 5.1.  $`\mathrm{}`$

A similar argument for a spanning set can be found in \[12, Section3\]. See also \[3, Section 2.2\].

###### Remark 5.3

Let $`U`$ be an admissible $`𝒲`$-module generated by $`uU`$ 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`$. It can be proved in a same way that $`U`$ is spanned by

$$L(m_1)\mathrm{}L(m_p)J(n_1)\mathrm{}J(n_q)u$$

with $`m_1\mathrm{}m_p1`$, $`n_1\mathrm{}n_q1`$, $`p=0,1,2,\mathrm{}`$, and $`q=0,1,2,\mathrm{}`$.

### 5.2 A singular vector $`𝐯^{12}`$

A singular vector $`v`$ of weight $`h`$ for $`𝒲`$ is by definition a vector $`v`$ which satisfies

$`(1)`$ $`L(0)v=hv`$,

$`(2)`$ $`L(n)v=0`$ and $`J(n)v=0`$ for $`n1`$.

Note that $`v`$ is not necessarily an eigenvector for $`J(0)`$. By commutation relations (3.5) and (3.6), 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 $`𝒲`$ as a space spanned by the vectors of the form (5.4) . The weight of such a vector is $`m_1+\mathrm{}+m_p+n_1+\mathrm{}+n_q`$. Let $`v`$ be a linear combination of the vectors of the form (5.4) of weight $`h`$. For example, there are $`76`$ vectors of the form (5.4) of weight $`12`$. We use the conditions (5.1) and (5.2) and the commutation relations (3.5), (3.6), and (3.7) 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.

###### Lemma 5.4

Let $`v`$ be a linear combination of the vectors of the form (5.4) of weight $`h`$. Under the conditions (5.1) and (5.2) and the commutation relations (3.5), (3.6), and (3.7), we have $`L(1)v=L(2)v=J(1)v=0`$ only if $`v=0`$ in the case $`h11`$. In the case $`h=12`$, there exists a unique, up to scalar multiple, linear combination $`𝐯^{12}`$ which satisfies $`L(1)𝐯^{12}=L(2)𝐯^{12}=J(1)𝐯^{12}=0`$. The explicit form of $`𝐯^{12}`$ is given in Appendix A. We also have $`J(0)𝐯^{12}=0`$.

We only use the conditions (5.1) and (5.2) and the commutation relations (3.5), (3.6), and (3.7) to obtain $`𝐯^{12}`$ in the above computation. Since we consider $`𝒲`$ inside the lattice vertex operator algebra $`V_L`$, there might exist some nontrivial relations among the vectors of the form (5.4) which are not known so far. This ambiguity will be removed in Subsection 5.3.

### 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  possesses a positive definite hermitian form which is invariant in a certain sense (). Following \[29, Section 2.5\], we review it for our $`V_L`$.

Set $`\stackrel{~}{L}(n)=\stackrel{~}{\omega }_{n+1},n`$, where $`\stackrel{~}{\omega }`$ is the Virasoro element of $`V_L`$. Then $`\stackrel{~}{L}(1)(V_L)_{(1)}=0`$ and $`(V_L)_{(0)}`$ is one dimensional. Thus by \[26, Theorem 3.1\], there is a unique symmetric invariant bilinear form $`(,)`$ on $`V_L`$ such that $`(\mathrm{𝟏},\mathrm{𝟏})=1`$. That the form is invariant means

$$(Y(u,z)v,w)=(v,Y(e^{z\stackrel{~}{L}(1)}(z^2)^{\stackrel{~}{L}(0)}u,z^1)w)$$
(5.5)
for $`u,v,wV_L`$. The value $`(u,v)`$ is determined by

$`(\mathrm{𝟏},\mathrm{𝟏})`$ $`=1,`$ (5.6)
$`(u,v)`$ $`=\mathrm{Res}_zz^1(\mathrm{𝟏},Y(e^{z\stackrel{~}{L}(1)}(z^2)^{\stackrel{~}{L}(0)}u,z^1)v).`$ (5.7)
¿From (5.5), we see that $`(\stackrel{~}{L}(n)u,v)=(u,\stackrel{~}{L}(n)v)`$. In case of $`n=0`$, this implies $`((V_L)_{(m)},(V_L)_{(n)})=0`$ if $`mn`$. For $`\alpha L`$ and $`u,vV_L`$,

$$\begin{array}{cc}\hfill (\alpha (n)u,v)& =\mathrm{Res}_zz^n(Y(\alpha (1),z)u,v)\hfill \\ & =(u,\alpha (n)v).\hfill \end{array}$$
(5.8)
Furthermore, for $`\alpha ,\beta L`$ we have

$$(e^\alpha ,e^\beta )=\delta _{\alpha +\beta ,0}.$$
(5.9)
Note that $`(1)^{\alpha ,\alpha /2}=1`$ since $`\alpha L`$. Consider an $``$-form $`V_{L,}`$ of $`V_L`$ as in \[17, Section 12.4\]. That is, let $`M(1)_{}=[\alpha (n);\alpha L,n<0]`$ and $`V_{L,}=M(1)_{}[L]`$. Then $`_{}V_{L,}=V_L`$. Moreover, $`V_{L,}`$ is invariant under the automorphism $`\theta `$. Let $`V_{L,}^\pm =\{vV_{L,}|\theta v=\pm v\}`$. We shall show that the form $`(,)`$ is positive definite on $`V_{L,}^+`$ and negative definite on $`V_{L,}^{}`$. Indeed, let $`\{\gamma _1,\gamma _2\}`$ be an orthonormal basis of $`_{}L`$. Then using (5.8) and (5.9) we can verify that

$$(\gamma _{i_1}(m_1)\mathrm{}\gamma _{i_p}(m_p)e^\alpha ,\gamma _{j_1}(n_1)\mathrm{}\gamma _{j_q}(n_q)e^\beta )0$$

only if $`\gamma _{i_1}(m_1)\mathrm{}\gamma _{i_p}(m_p)=\gamma _{j_1}(n_1)\mathrm{}\gamma _{j_q}(n_q)`$ in $`M(1)_{}`$ and $`\alpha +\beta =0`$. Furthermore,

$$(\gamma _{i_1}(m_1)\mathrm{}\gamma _{i_p}(m_p)e^\alpha ,\gamma _{i_1}(m_1)\mathrm{}\gamma _{i_p}(m_p)e^\alpha )=(1)^p(\text{a positive integer}).$$
(5.10)
We can choose a basis of $`V_{L,}^+`$ consisting of vectors of the form

$`\gamma _{i_1}(m_1)\mathrm{}\gamma _{i_p}(m_p)(e^\alpha +e^\alpha ),`$ $`p\text{ even},\alpha L,`$
$`\gamma _{i_1}(m_1)\mathrm{}\gamma _{i_p}(m_p)(e^\alpha e^\alpha ),`$ $`p\text{ odd},0\alpha L.`$
By (5.9) and (5.10), these vectors are mutually orthogonal and the square length of each of them is a positive integer. Hence the form $`(,)`$ is positive definite on $`V_{L,}^+`$. Likewise, we see that the form $`(,)`$ is negative definite on $`V_{L,}^{}`$.

We also have $`(V_{L,}^+,V_{L,}^{})=0`$. Thus the form $`(,)`$ is positive definite on $`V_{L,}^++\sqrt{1}V_{L,}^{}`$. The $``$-vector space $`V_{L,}^++\sqrt{1}V_{L,}^{}`$ is an $``$-form of $`V_L`$ since $`V_L=_{}(V_{L,}^++\sqrt{1}V_{L,}^{})`$. Note that it is invariant under the component operators $`u_n`$ of $`Y(u,z)`$ for $`uV_{L,}^+`$.

Define a hermitian form $`((,))`$ on $`V_L`$ by $`((\lambda u,\mu v))=\lambda \overline{\mu }(u,v)`$ for $`\lambda ,\mu `$ and $`u,vV_{L,}^++\sqrt{1}V_{L,}^{}`$. Then the hermitian form $`((,))`$ is positive definite on $`V_L`$ and invariant under $`V_{L,}^+`$, that is,

$$((Y(u,z)v,w))=((v,Y(e^{z\stackrel{~}{L}(1)}(z^2)^{\stackrel{~}{L}(0)}u,z^1)w))$$
(5.11)
for $`uV_{L,}^+`$ and $`v,wV_L`$.

Using the hermitian form $`((,))`$, we can show that $`V_L`$ is semisimple as a $`𝒲`$-module and that $`𝒲`$ is a simple vertex operator algebra. Note that $`\stackrel{~}{L}(n)v=L(n)v`$ for $`vM`$. Note also that $`V_{L,}^+`$ contains $`\omega `$ and $`J`$. Then by (5.11),

$`((L(n)u,v))`$ $`=((u,L(n)v)),`$ (5.12)
$`((J(n)u,v))`$ $`=((u,J(n)v))`$ (5.13)
for $`n`$ and $`u,vV_L`$.

Let $`U`$ be a $`𝒲`$-submodule. Denote by $`U^{}`$ the orthogonal complement of $`U`$ in $`V_L`$ with respect to $`((,))`$. Then $`V_L=UU^{}`$ since $`((,))`$ is positive definite. Moreover, $`U^{}`$ is also a $`𝒲`$-submodule by (5.12) and (5.13). Thus we conclude that

###### Theorem 5.5

$`V_L`$ is semisimple as a $`𝒲`$-module.

Since the weight $`0`$ subspace $`\mathrm{𝟏}`$ of $`𝒲`$ is one dimensional and since $`𝒲`$ is generated by $`\mathrm{𝟏}`$ as a $`𝒲`$-module, we have

###### Theorem 5.6

$`𝒲`$ is a simple vertex operator algebra.

Then there is no singular vector in $`𝒲`$ of positive weight. Hence,

###### Corollary 5.7

The singular vector $`𝐯^{12}=0`$.

### 5.4 The Zhu algebra $`A(𝒲)`$

Based on the properties of $`𝒲`$ we have obtained so far, we shall determine the Zhu algebra $`A(𝒲)`$ of $`𝒲`$. First we review some notations and formulas for the Zhu algebra $`A(V)`$ of an arbitrary vertex operator algebra $`(V,Y,\mathrm{𝟏},\omega )`$. The standard reference is \[35, Section 2\].

For $`u,vV`$ with $`u`$ being homogeneous, define two binary operations

$`uv`$ $`=\mathrm{Res}_z\left({\displaystyle \frac{(1+z)^{\mathrm{wt}u}}{z}}Y(u,z)v\right)={\displaystyle \underset{i=0}{\overset{\mathrm{}}{}}}\left({\displaystyle \genfrac{}{}{0pt}{}{\mathrm{wt}u}{i}}\right)u_{i1}v,`$ (5.14)
$`uv`$ $`=\mathrm{Res}_z\left({\displaystyle \frac{(1+z)^{\mathrm{wt}u}}{z^2}}Y(u,z)v\right)={\displaystyle \underset{i=0}{\overset{\mathrm{}}{}}}\left({\displaystyle \genfrac{}{}{0pt}{}{\mathrm{wt}u}{i}}\right)u_{i2}v.`$ (5.15)
We extend $``$ and $``$ for arbitrary $`u,vV`$ by linearity. Let $`O(V)`$ be the subspace of $`V`$ spanned by all $`uv`$ for $`u,vV`$. By a theorem of Zhu , $`O(V)`$ is a two-sided ideal with respect to the operation $``$. Thus it induces an operation on $`A(V)=V/O(V)`$. Denote by $`[v]`$ the image of $`vV`$ in $`A(V)`$. Then $`[u][v]=[uv]`$ and $`A(V)`$ is an associative algebra by this operation. Moreover, $`[\mathrm{𝟏}]`$ is the identity and $`[\omega ]`$ is in the center of $`A(V)`$. We denote by $`[u]^p`$ the product of $`p`$ copies of $`[u]`$ in $`A(V)`$. For $`u,vV`$, we write $`uv`$ if $`[u]=[v]`$. For $`f,g\mathrm{End}V`$, we write $`fg`$ if $`fvgv`$ for all $`vV`$. We need some formulas from .

$$\mathrm{Res}_z\left(\frac{(1+z)^{\mathrm{wt}(u)+m}}{z^{2+n}}Y(u,z)v\right)=\underset{i=0}{\overset{\mathrm{}}{}}\left(\genfrac{}{}{0pt}{}{\mathrm{wt}(u)+m}{i}\right)u_{in2}vO(V)$$
(5.16)
for $`nm0`$ and

$$vu\mathrm{Res}_z\left(\frac{(1+z)^{\mathrm{wt}(u)1}}{z}Y(u,z)v\right)=\underset{i=0}{\overset{\mathrm{}}{}}\left(\genfrac{}{}{0pt}{}{\mathrm{wt}(u)1}{i}\right)u_{i1}v.$$
(5.17)
Moreover (see ),

$$L(n)(1)^n\left\{(n1)\left(L(2)+L(1)\right)+L(0)\right\}$$
(5.18)
for $`n1`$ and

$$[\omega ][v]=[(L(2)+L(1))v].$$
(5.19)
It follows from (5.18) and (5.19) that

$$[L(n)u]=(1)^n(n1)[\omega ][u]+(1)^n[L(0)u]$$
(5.20)
for $`n1`$.

For a homogeneous $`uV`$, set $`o(u)=u_{\mathrm{wt}(u)1}`$, which is the weight zero component operator of $`Y(u,z)`$. Extend $`o(u)`$ for arbitrary $`uV`$ by linearity. We call a module in the sense of  as an admissible module as in . If $`U=_{n=0}^{\mathrm{}}U(n)`$ is an admissible $`V`$-module with $`U(0)0,`$ then $`o(u)`$ acts on its top level $`U(0)`$. Zhu’s theory  says

(1) $`o(u)o(v)=o(uv)`$ as operators on the top level $`U(0)`$ and $`o(u)`$ acts as $`0`$ on $`U(0)`$ if $`uO(V)`$. Thus $`U(0)`$ is an $`A(V)`$-module, where $`[u]`$ acts on $`U(0)`$ as $`o(u)`$.

(2) The map $`UU(0)`$ is a bijection between the set of equivalence classes of irreducible admissible $`V`$-modules and the set of equivalence classes of irreducible $`A(V)`$-modules.

We now return to $`𝒲`$. Since $`\mathrm{wt}J=3`$, we have

$$[J(n4)v]=3[J(n3)v]3[J(n2)v][J(n1)v]$$
(5.21)
for $`v𝒲`$ and $`n0`$ by (5.16).

###### Lemma 5.8

The image $`[L(m_1)\mathrm{}L(m_p)J(n_1)\mathrm{}J(n_q)\mathrm{𝟏}]`$ of the vector (5.4) with $`m_1\mathrm{}m_p2`$ and $`n_1\mathrm{}n_q3`$ in $`A(𝒲)`$ is contained in

$$\mathrm{span}\{[\omega ]^s[J]^t|\mathrm{\hspace{0.17em}0}s,\mathrm{\hspace{0.17em}0}tq,\mathrm{\hspace{0.17em}2}s+3tm_1+\mathrm{}+m_p+n_1+\mathrm{}+n_q\}.$$

In particular, $`A(𝒲)`$ is commutative and every element of $`A(𝒲)`$ is a polynomial in $`[\omega ]`$ and $`[J]`$.

Proof We proceed by induction on the $`J`$-length $`q`$. By a repeated use of (5.20), we see that $`[L(m_1)\mathrm{}L(m_p)J(n_1)\mathrm{}J(n_q)\mathrm{𝟏}]`$ is a linear combination of $`[\omega ]^s[J(n_1)\mathrm{}J(n_q)\mathrm{𝟏}]`$, $`0sp`$. Thus the assertion holds if $`q=0`$.

Suppose the assertion holds for vectors of normal form with $`J`$-length at most $`q1`$ and consider $`[J(n_1)\mathrm{}J(n_q)\mathrm{𝟏}]`$. Let $`v=J(n_1)\mathrm{}J(n_q)\mathrm{𝟏}`$ and $`u=J(n_2)\mathrm{}J(n_q)\mathrm{𝟏}`$, so that $`v=J(n_1)u`$. we proceed by induction on the weight. The vector of the smallest weight is the case $`n_1=3`$. In this case $`v=J(3)^q\mathrm{𝟏}`$ and $`u=J(3)^{q1}\mathrm{𝟏}`$. Since $`v=J_1u`$, it follows from (5.14) that

$$[v]=[J][u]3[J(2)u]3[J(1)u][J(0)u].$$

The weight of $`J(n)u`$, $`0n2`$, is less than $`\mathrm{wt}v`$. By Lemma 5.1, each of these three vectors is a linear combination of vectors of normal form with $`J`$-length at most $`q1`$. Then we can apply the induction hypothesis on $`J`$-length and the assertion holds if $`n_1=3`$. Assume that $`n_14`$. By (5.21), $`[v]=[J(n_1)u]`$ is a linear combination of $`[J(n)u]`$, $`n_13nn_11`$. The weight of $`J(n)u`$, $`n_13nn_11`$, is less than $`\mathrm{wt}v`$. Hence by Lemma 5.1, these three vectors are linear combinations of vectors of normal form with $`J`$-length at most $`q`$ and weight less than $`\mathrm{wt}v`$. The induction is complete.  $`\mathrm{}`$

The image $`[L(m_1)\mathrm{}L(m_p)J(n_1)\mathrm{}J(n_q)\mathrm{𝟏}]`$ of the vector of normal form (5.4) with $`m_1\mathrm{}m_p2`$ and $`n_1\mathrm{}n_q3`$ in $`A(𝒲)`$ can be written explicitly as a polynomial in $`[\omega ]`$ and $`[J]`$ by the following algorithm.

Since $`A(𝒲)`$ is commutative, it follows from (5.17) that

$$[J(3)v]=[J][v]2[J(2)v][J(1)v]$$
(5.22)
for $`v𝒲`$. Now we use (5.20), (5.21), and (5.22). Although $`J(n4)v`$ is of normal form, the vectors $`J(n3)v`$, $`J(n2)v`$, and $`J(n1)v`$ in (5.21) may not be of normal form. However, the weight of any of these three vectors is less than the weight of $`J(n4)v`$, and so we can apply the argument in the proof of Lemma 5.1. A similar discussion is also needed for the formula (5.22). Thus the algorithm is by induction on the weight. We use formulas (5.20), (5.21), (5.22) and apply Lemma 5.1, that is, use the commutation relations (3.5), (3.6), (3.7) and the conditions (5.1) and (5.2). By induction on the weight and a repeated use of those formulas and conditions, we can write explicitly the image of the vector (5.4) in $`A(𝒲)`$ as a polynomial in $`[\omega ]`$ and $`[J]`$.

Consider the algebra homomorphism

$$[x,y]A(𝒲);x[\omega ],y[J]$$

of the polynomial algebra $`[x,y]`$ with two variables $`x,y`$ onto $`A(𝒲)`$. Denote its kernel by $``$. Then $`[x,y]/A(𝒲)`$. We shall consider $`𝐯^{12}`$, $`J(1)𝐯^{12}`$, $`J(2)𝐯^{12}`$, and $`J(1)^2𝐯^{12}`$. These vectors are described explicitly as linear combinations of vectors of normal form in Appendix A. Their images $`[𝐯^{12}]`$, $`[J(1)𝐯^{12}]`$, $`[J(2)𝐯^{12}]`$, and $`[J(1)^2𝐯^{12}]`$ can be written as polynomials in $`[\omega ]`$ and $`[J]`$ by the above mentioned algorithm. The results are given in Appendix B. Let $`F_i(x,y)[x,y]`$, $`1i4`$, be the polynomials which are obtained by replacing $`[\omega ]`$ with $`x`$ and $`[J]`$ with $`y`$ in the polynomials given in Appendix B. Since $`𝐯^{12}=0`$ by Corollary 5.6, $`F_i(x,y)`$’s are contained in $``$. Let $`^{}`$ be the ideal in $`[x,y]`$ generated by $`F_i(x,y),1i4`$.

The primary decomposition of $`^{}`$ is $`^{}=_{i=1}^{20}𝒫_i`$, where $`𝒫_i`$, $`1i20`$ are

$$\begin{array}{cc}x,y,\hfill & 5x8,y,\hfill \\ 2x1,y,\hfill & 10x1,y,\hfill \\ x2,y12\sqrt{3},\hfill & x2,y+12\sqrt{3},\hfill \\ 5x3,y2\sqrt{3},\hfill & 5x3,y+2\sqrt{3},\hfill \\ 9x1,\mathrm{\hspace{0.17em}81}y14\sqrt{3},\hfill & 9x1,\mathrm{\hspace{0.17em}81}y+14\sqrt{3},\hfill \\ 9x7,\mathrm{\hspace{0.17em}81}y238\sqrt{3},\hfill & 9x7,\mathrm{\hspace{0.17em}81}y+238\sqrt{3},\hfill \\ 9x13,\mathrm{\hspace{0.17em}81}y374\sqrt{3},\hfill & 9x13,\mathrm{\hspace{0.17em}81}y+374\sqrt{3},\hfill \\ 45x2,\mathrm{\hspace{0.17em}81}y4\sqrt{3},\hfill & 45x2,\mathrm{\hspace{0.17em}81}y+4\sqrt{3},\hfill \\ 45x17,\mathrm{\hspace{0.17em}81}y22\sqrt{3},\hfill & 45x17,\mathrm{\hspace{0.17em}81}y+22\sqrt{3},\hfill \\ 45x32,\mathrm{\hspace{0.17em}81}y176\sqrt{3},\hfill & 45x32,\mathrm{\hspace{0.17em}81}y+176\sqrt{3},\hfill \end{array}$$
(5.23)
These primary ideals correspond to the $`20`$ irreducible $`M^\tau `$-modules listed in Tables 1, 3, and 4 in Section 4. The correspondence is given by substituting $`x`$ and $`y`$ with the eigenvalues for $`L(0)`$ and $`J(0)`$ on the top levels of $`20`$ irreducible modules. The eigenvalues are the zeros of those primary ideals. Note that the $`20`$ pairs of those eigenvalues for $`L(0)`$ and $`J(0)`$ on the top levels are different from each other. Since the top levels of the $`20`$ irreducible $`M^\tau `$-modules are one dimensional and since $`𝒲`$ is contained in $`M^\tau `$, there are at least $`20`$ inequivalent irreducible $`𝒲`$-modules whose top levels are the same as those of irreducible $`M^\tau `$-modules. Hence by Zhu’s theory , we conclude that $`=^{}`$ and $`A(𝒲)_{i=1}^{20}[x,y]/𝒫_i`$. In particular, $`𝒲`$ has exactly $`20`$ inequivalent irreducible modules.

If $`𝒲M^\tau `$, then we can take an irreducible $`𝒲`$-module $`U`$ in $`M^\tau `$ such that $`𝒲U=0`$ by Theorem 5.4. From the classification of irreducible $`𝒲`$-modules we see that the smallest weight of $`U`$ is at most $`2`$. But we can verify that the homogeneous subspaces of $`𝒲`$ of weight $`0`$, $`1`$, and $`2`$ coincide with those of $`M^\tau `$. Therefore, $`𝒲=M^\tau `$.

We have obtained the following theorem.

###### Theorem 5.9

$`(1)`$ $`M^\tau =𝒲`$.

$`(2)`$ $`A(M^\tau )_{i=1}^{20}[x,y]/𝒫_i`$ is a 20-dimensional commutative associative algebra.

$`(3)`$ There are exactly $`20`$ inequivalent irreducible $`M^\tau `$-modules. Their representatives are listed in Tables 1, 3, and 4 in Section 4, namely, $`M(ϵ)`$, $`W(ϵ)`$, $`M_k^c`$, $`W_k^c`$, $`M_T(\tau ^i)(ϵ)`$, and $`W_T(\tau ^i)(ϵ)`$ for $`ϵ=0,1,2`$ and $`i=1,2`$.

###### Remark 5.10

The explicit description of $`𝐯^{12}`$, $`J(1)𝐯^{12}`$, $`J(2)𝐯^{12}`$, and $`J(1)^2𝐯^{12}`$ in Appendix A, the images of these four vectors in $`A(𝒲)`$ in Appendix B, and the primary ideals (5.23) were obtained by a computer algebra system Risa/Asir.

### 5.5 Rationality of $`𝒲`$

First we prove a result about a general vertex operator algebra. For this purpose, we need to recall that a vertex operator algebra $`V`$ is called $`C_2`$-cofinite if $`V/C_2(V)`$ is finite dimensional where $`C_2(V)`$ is the subspace of $`V`$ spanned by $`u_2v`$ for $`u,vV.`$

###### Proposition 5.11

Let $`V=_{n0}V_n`$ be a $`C_2`$-cofinite vertex operator algebra such that $`V_0`$ is one-dimensional. Assume that $`A(V)`$ is semisimple and any $`V`$-module generated by an irreducible $`A(V)`$-module is irreducible. Then $`V`$ is a rational vertex operator algebra.

Proof By the definition of rationality (cf. ), we need to prove that any admissible $`𝒲`$-module $`Z`$ is completely reducible. By \[1, Lemma 5.5\], $`Z`$ is a direct sum of generalized eigensapces for $`L(0).`$ So it is enough to prove that any submodule generated by a generalized eigenvector for $`L(0)`$ is completely reducible. We can assume that $`Z`$ is generated by a generalized eigenvector for $`L(0).`$ Then $`Z=_{n0}Z_{\lambda +n}`$ for some $`\lambda `$ where $`Z_{\lambda +n}`$ is the generalized eigenspace for $`L(0)`$ with eigenvalue $`\lambda +n`$ and $`Z_\lambda 0.`$ We call $`\lambda `$ the minimal weight of $`Z.`$ By \[4, Theorem 1\], each $`Z_{\lambda +n}`$ is finite dimensional.

Let $`X`$ be the submodule of $`Z`$ generated by $`Z_\lambda .`$ Then $`X`$ is completely reducible by the assumption. So we have an exact sequence

$$0XZZ/X0$$

of admissible $`V`$-modules. Let $`Z^{}=_{n0}Z_{\lambda +n}^{}`$ be the graded dual of $`Z.`$ Then $`Z^{}`$ is also an admissible $`V`$-module (see ) and we have an exact sequence

$$0(Z/X)^{}Z^{}X^{}0$$

of admissible $`V`$-modules. On the other hand, the $`V`$-submodule of $`Z^{}`$ generated by $`Z_\lambda ^{}`$ is isomorphic to $`X^{}.`$ As a result we have $`Z^{}`$ is isomorphic to $`X^{}(Z/X)^{}.`$ This implies that $`ZXZ/X.`$ Clearly, the minimal weight of $`Z/X`$ is greater than the minimal weight of $`Z.`$ Continuing in this way we prove that $`Z`$ is a direct sum irreducible modules.  $`\mathrm{}`$

Now we turn our attention to $`𝒲.`$

###### Theorem 5.12

$`𝒲`$ is $`C_2`$-cofinite.

Proof Note from Corollary 5.2 that $`𝒲`$ is spanned by

$$L(m_1)\mathrm{}L(m_p)J(n_1)\mathrm{}J(n_q)\mathrm{𝟏}$$

with $`m_1\mathrm{}m_p2`$, $`n_1\mathrm{}n_q3`$, $`p=0,1,2,\mathrm{}`$, and $`q=0,1,2,\mathrm{}`$. Then $`𝒲`$ is spanned by $`L(2)^pJ(3)^q\mathrm{𝟏}`$ modulo $`C_2(𝒲).`$ It is well known that $`𝒲/C_2(𝒲)`$ is a commutative associative algebra under the product $`uv=u_1v`$ for $`u,v𝒲`$ (cf. ). So $`𝒲`$ is spanned by $`\omega ^pJ^q`$ modulo $`C_2(𝒲)`$ for $`p,q0.`$

The key idea to prove that $`𝒲`$ is $`C_2`$-cofinite is to use the singular vector $`𝐯^{12}`$. By the explicit form of $`𝐯^{12}`$, $`J(1)𝐯^{12}`$, and $`J(1)^2𝐯^{12}`$ in Appendix A, we have the following relations in $`𝒲/C_2(𝒲)`$.

$`(59680000/3501)\omega ^6(184400/1167)\omega ^3J^2+J^4=0,`$
$`926640\omega ^2J^389856000\omega ^5J=0,`$
$`21565440000\omega ^7680659200\omega ^4J^25559840\omega J^4=0.`$
Multiplying by $`\omega ^2,J,\omega `$ respectively we get

$`(59680000/3501)\omega ^8(184400/1167)\omega ^5J^2+\omega ^2J^4=0,`$
$`926640\omega ^2J^489856000\omega ^5J^2=0,`$
$`21565440000\omega ^8680659200\omega ^5J^25559840\omega ^2J^4=0.`$
It follows immediately that

$$\omega ^8=\omega ^2J^4=\omega ^5J^2=0.$$

Thus

$$J^8=\left((59680000/3501)\omega ^6+(184400/1167)\omega ^3J^2\right)^2=0.$$

As a result, $`𝒲/C_2(𝒲)`$ is spanned by $`\omega ^pJ^q`$ for $`0p,q7,`$ as desired.  $`\mathrm{}`$

###### Lemma 5.13

Let $`U`$ be an irreducible $`A(𝒲)`$-module. Then any $`𝒲`$-module $`Z`$ generated by $`U`$ is irreducible.

Proof By Theorem 5.9, $`A(𝒲)`$ has exactly twenty irreducible modules and $`\omega `$ acts on each irreducible module as a constant in the set

$$P=\{0,2,8/5,3/5,1/2,1/10,1/9,1/9+2/3,1/9+4/3,2/45,2/45+1/3,2/45+2/3\}.$$

Let $`\omega `$ act on $`U`$ as $`\lambda .`$ Assume that $`\lambda 0,3/5.`$ Then $`\lambda `$ is maximal in the set $`P(\lambda +).`$ Let $`Z=_{n0}Z_{\lambda +n}`$ and $`Z_\lambda =U.`$ If $`Z`$ is not irreducible then $`Z`$ has a proper submodule $`X=_{n0}X_{\lambda +n_0+n}`$ for some $`n_0>0`$ with $`X_{\lambda +n_0}0`$ where $`X_{\lambda +m}=XZ_{\lambda +m}.`$ So $`X_{\lambda +n_0}`$ is an $`A(𝒲)`$-module on which $`\omega `$ acts on $`\lambda +n_0.`$ Since $`\lambda +n_0P(\lambda +)`$ is greater than $`\lambda `$ we have a contradiction. This shows that $`Z`$ must be irreducible.

It remains to prove the result with $`\lambda =0`$ or $`\lambda =3/5`$. If $`\lambda =0,`$ then $`U\mathrm{𝟏}`$ and $`Z`$ is isomorphic to $`𝒲`$ (see ). Now let $`\lambda =3/5.`$ By Theorem 5.9, $`U`$ can be either $`W(1)_{3/5}`$ or $`W(2)_{3/5}`$ (see Table 1). We can assume that $`U=W(1)_{3/5}`$ and the proof for $`U=W(2)_{3/5}`$ is similar. In this case $`J(0)`$ acts on $`U`$ as $`2\sqrt{3}.`$ Let $`U=u.`$ Then $`Z`$ is spanned by

$$L(m_1)\mathrm{}L(m_p)J(n_1)\mathrm{}J(n_q)u$$

with $`m_1\mathrm{}m_p1`$, $`n_1\mathrm{}n_q1`$, $`p=0,1,2,\mathrm{}`$, and $`q=0,1,2,\mathrm{}`$ (see Remark 5.3). Since $`8/5`$ is the only number in $`P(3/5+)`$ greater than $`3/5,`$ $`Z`$ is irreducible if and only if there is no nonzero vector $`vZ_{8/5}`$ such that $`L(1)v=J(1)v=0.`$

Note that $`Z_{8/5}`$ is spanned by $`L(1)u`$ and $`J(1)u.`$ By formulas (3.5)-(3.7) we see that

$`L(1)L(1)u={\displaystyle \frac{6}{5}}u,`$
$`L(1)J(1)u=6\sqrt{3}u,`$
$`J(1)L(1)u=6\sqrt{3}u,`$
$`J(1)J(1)u=\left({\displaystyle \frac{237\times 6}{5}}{\displaystyle \frac{48\times 39}{5}}\right)u.`$
Now let $`v=\alpha L(1)u+\beta J(1)uZ_{8/5}`$ such that $`L(1)v=J(1)v=0`$. Then we have a system of linear equations

$`{\displaystyle \frac{6}{5}}\alpha +6\sqrt{3}\beta =0,`$
$`6\sqrt{3}\alpha 90\beta =0.`$
Unfortunately, the system is degenerate and has solutions $`\alpha =5\sqrt{3}\beta .`$ Thus up to a constant we can assume that $`v=5\sqrt{3}L(1)u+J(1)u.`$

We have to prove that $`v=0.`$ If $`v`$ is not zero, then $`v`$ is an irreducible module for $`A(𝒲)`$ on which $`\omega `$ acts as $`8/5.`$ Again by Table 1, $`J`$ must acts on $`v`$ as $`0`$. Using (3.6) and (3.7), we find out that $`J(0)v=120L(1)u8\sqrt{3}J(1)u=8\sqrt{3}v.`$ This implies that $`v=0.`$ Clearly we have a contradiction. Thus $`Z`$ is an irreducible $`𝒲`$-module.  $`\mathrm{}`$

Combining Propsotion 5.11, Theorem 5.12, and Lemma 5.13 together yields

###### Theorem 5.14

The vertex operator algebra $`𝒲`$ is rational.

It is proved in  that a rational and $`C_2`$-cofinite vertex operator algebra is regular in the sense that any weak module is a direct sum of irreducible admissible modules. Thus we, in fact, have proved that $`𝒲`$ is also regular.

## 6 Characters of irreducible $`M^\tau `$-modules

We shall describe the characters of the $`20`$ irreducible $`M^\tau `$-modules by the characters of irreducible modules for the Virasoro vertex operator algebras. Throughout this section $`z`$ denotes a complex number in the upper half plane $``$ and $`q=\mathrm{exp}(2\pi \sqrt{1}z)`$. First we recall the character of the irreducible module $`L(c_m,h_{r,s}^{(m)})`$ with highest weight $`h_{r,s}^{(m)}`$ for the Virasoro vertex operator algebra $`L(c_m,0)`$ with central charge $`c_m`$, where

$`c_m`$ $`=1{\displaystyle \frac{6}{(m+2)(m+3)}},m=1,2,\mathrm{},`$
$`h_{r,s}^{(m)}`$ $`={\displaystyle \frac{\left((m+3)r(m+2)s\right)^21}{4(m+2)(m+3)}},1srm+1.`$
The character of $`L(c_m,h_{r,s}^{(m)})`$ is obtained in  as follows:

$$\mathrm{ch}L(c_m,h_{r,s}^{(m)})=\frac{_k(q^{b(k)}q^{a(k)})}{_{i=1}^{\mathrm{}}(1q^i)},$$
(6.1)
where

$`a(k)`$ $`={\displaystyle \frac{\left(2(m+2)(m+3)k+(m+3)r+(m+2)s\right)^21}{4(m+2)(m+3)}},`$
$`b(k)`$ $`={\displaystyle \frac{\left(2(m+2)(m+3)k+(m+3)r(m+2)s\right)^21}{4(m+2)(m+3)}}.`$
Define $`\mathrm{\Xi }_{r,s}^{(m)}(z)=q^{c_m/24}\mathrm{ch}L(c_m,h_{r,s}^{(m)})`$. For $`1srm+1`$, the following transformation formula holds (cf. \[18, Exercise 13.27\]):

$`\mathrm{\Xi }_{r,s}^{(m)}({\displaystyle \frac{1}{z}})`$ $`=\sqrt{{\displaystyle \frac{8}{(m+2)(m+3)}}}`$ (6.2)
$`{\displaystyle \underset{1jim+1}{}}(1)^{(r+s)(i+j)}\mathrm{sin}{\displaystyle \frac{\pi ri}{m+2}}\mathrm{sin}{\displaystyle \frac{\pi sj}{m+3}}\mathrm{\Xi }_{i,j}^{(m)}(z).`$
Let $`\eta (z)=q^{1/24}_{i=1}^{\mathrm{}}(1q^i)`$ be the Dedekind $`\eta `$-function. The following transformation formula is well-known (cf. ):

$$\eta (\frac{1}{z})=(\sqrt{1}z)^{1/2}\eta (z),$$

where we choose the branch of the square root function $`x^{1/2}`$ so that it is positive when $`x>0`$.

We review notations and some properties of the trace function in . Let $`g,h\mathrm{Aut}(M)`$ be such that $`gh=hg`$. Let $`𝒞_1(g,h)`$ be the space of $`(g,h)`$ $`1`$-point functions. Let $`W`$ be a $`g`$-twisted $`h`$-stable $`M`$-module with conformal weight $`\lambda `$. There is a linear isomorphism $`\varphi (h):WW`$ such that

$$\varphi (h)Y_W(u,z)=Y_W(hu,z)\varphi (h).$$

Define

$$T_W(u,(g,h),z)=\mathrm{tr}_Wu_{\mathrm{wt}(u)1}\varphi (h)q^{L(0)1/20}$$

for homogeneous $`uM`$ and extend it for arbitrary $`uM`$ linearly. Note that the central charge of $`M`$ is $`6/5`$. Then $`T_W(,(g,h),z)𝒞_1(g,h)`$ by \[9, Theorem 8.1\]. Let $`F(,z)𝒞_1(g,h)`$ and $`A=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)SL_2()`$. Define $`F|_A`$ by

$$F|_A(u,z)=(cz+d)^kF(u,\frac{az+b}{cz+d})$$

for $`uM_{[k]}`$ and extend it for arbitrary $`uM`$ linearly. Then $`F|_A𝒞_1(g^ah^c,g^bh^d)`$ by \[9, Theorem 5.4\]. We denote $`T_W(\mathrm{𝟏},(g,h),z)`$ by $`T_W((g,h),z)`$ for simplicity. Recall that the character $`\mathrm{ch}W`$ of $`W`$ is defined to be $`\mathrm{tr}_Wq^{L(0)}`$.

We want to determine the characters of the $`20`$ irreducible $`M^\tau `$-modules $`M(ϵ)`$, $`W(ϵ)`$, $`M_k^c`$, $`W_k^c`$, $`M_T(\tau ^i)(ϵ)`$, and $`W_T(\tau ^i)(ϵ)`$ for $`ϵ=0,1,2`$ and $`i=1,2`$. We have shown in Theorem 2.1 that $`\mathrm{Aut}(M)`$ is generated by $`\sigma `$ and $`\tau `$. We shall consider the cases where $`g=1`$ and $`h=\tau `$ or $`g=\tau `$ and $`h=1`$. We specify $`\varphi (h)`$ as follows. If $`h=1`$, we take $`\varphi (h)=1`$. We shall deal with the case $`g=1`$ and $`h=\tau `$ for $`W=M`$ or $`W_k^0`$. In such a case we consider the same $`\varphi (\tau )`$ as in Section 4. Thus if $`W=M`$, we take $`\varphi (\tau )`$ to be the automorphism $`\tau `$. If $`W=W_k^0`$, we take $`\varphi (\tau )`$ to be the linear isomorphism which is naturally induced from the isometry $`\tau `$ of the lattice $`(L,,)`$.

Note that $`T_W((g,1),z)=q^{1/20}\mathrm{ch}W`$. Note also that the symmetry (4.9) induced by $`\sigma `$ implies $`T_{M(1)}((1,1),z)=T_{M(2)}((1,1),z)`$. A similar assertion holds for $`W(1)`$ and $`W(2)`$.

###### Proposition 6.1

For $`i=1,2`$,

$`T_{M_T(\tau ^i)}((\tau ^i,1),z)`$ $`={\displaystyle \frac{\eta (z)}{\eta (z/3)}}(\mathrm{\Xi }_{2,1}^{(3)}\mathrm{\Xi }_{3,1}^{(3)}+\mathrm{\Xi }_{3,3}^{(3)}),`$
$`T_{W_T(\tau ^i)}((\tau ^i,1),z)`$ $`={\displaystyle \frac{\eta (z)}{\eta (z/3)}}(\mathrm{\Xi }_{1,1}^{(3)}+\mathrm{\Xi }_{4,1}^{(3)}\mathrm{\Xi }_{4,3}^{(3)}).`$
Proof Since $`\mathrm{ch}V_L^{T_{\chi _j}}(\tau )=\mathrm{ch}S(\tau )`$ for $`j=0,1,2`$, we have

$$q^{1/12}\mathrm{ch}V_L^{T_{\chi _j}}(\tau )=\frac{\eta (z)}{\eta (z/3)}$$

by (4.1). Then (4.7) and (4.8) imply that

$`{\displaystyle \frac{\eta (z)}{\eta (z/3)}}`$ $`=T_{M_T(\tau )}((\tau ,1),z)(\mathrm{\Xi }_{1,1}^{(3)}+\mathrm{\Xi }_{4,1}^{(3)})+T_{W_T(\tau )}((\tau ,1),z)(\mathrm{\Xi }_{2,1}^{(3)}+\mathrm{\Xi }_{3,1}^{(3)}),`$ (6.3)
$`{\displaystyle \frac{\eta (z)}{\eta (z/3)}}`$ $`=T_{M_T(\tau )}((\tau ,1),z)\mathrm{\Xi }_{4,3}^{(3)}+T_{W_T(\tau )}((\tau ,1),z)\mathrm{\Xi }_{3,3}^{(3)}.`$ (6.4)
Now consider $`\left(\mathrm{\Xi }_{1,1}^{(3)}+\mathrm{\Xi }_{4,1}^{(3)}\right)\mathrm{\Xi }_{3,3}^{(3)}\left(\mathrm{\Xi }_{2,1}^{(3)}+\mathrm{\Xi }_{3,1}^{(3)}\right)\mathrm{\Xi }_{4,3}^{(3)}`$. Using (6.2) we can verify that it is invariant under the action of $`SL_2()`$. Moreover, its $`q`$-expansion is $`1+0q+\mathrm{}`$. Thus

$$(\mathrm{\Xi }_{1,1}^{(3)}+\mathrm{\Xi }_{4,1}^{(3)})\mathrm{\Xi }_{3,3}^{(3)}(\mathrm{\Xi }_{2,1}^{(3)}+\mathrm{\Xi }_{3,1}^{(3)})\mathrm{\Xi }_{4,3}^{(3)}=1.$$

Hence the assertions for $`i=1`$ follow from (6.3) and (6.4). The assertions for $`i=2`$ also hold by the symmetry (4.9).  $`\mathrm{}`$

###### Theorem 6.2

The characters of the $`20`$ irreducible $`M^\tau `$-modules $`M(ϵ)`$, $`W(ϵ)`$, $`M_k^c`$, $`W_k^c`$, $`M_T(\tau ^i)(ϵ)`$, and $`W_T(\tau ^i)(ϵ)`$ for $`ϵ=0,1,2`$ and $`i=1,2`$ are given by the following formulas:

$`(1)`$ For $`ϵ=1,2`$ we have

$`q^{1/20}\mathrm{ch}M(0)`$ $`={\displaystyle \frac{1}{3}}\left(\mathrm{\Xi }_{1,1}^{(1)}\mathrm{\Xi }_{1,1}^{(2)}+\mathrm{\Xi }_{2,1}^{(1)}\mathrm{\Xi }_{3,1}^{(2)}+2{\displaystyle \frac{\eta (z)}{\eta (3z)}}\mathrm{\Xi }_{3,3}^{(3)}\right),`$
$`q^{1/20}\mathrm{ch}M(ϵ)`$ $`={\displaystyle \frac{1}{3}}\left(\mathrm{\Xi }_{1,1}^{(1)}\mathrm{\Xi }_{1,1}^{(2)}+\mathrm{\Xi }_{2,1}^{(1)}\mathrm{\Xi }_{3,1}^{(2)}{\displaystyle \frac{\eta (z)}{\eta (3z)}}\mathrm{\Xi }_{3,3}^{(3)}\right),`$
$`q^{1/20}\mathrm{ch}W(0)`$ $`={\displaystyle \frac{1}{3}}\left(\mathrm{\Xi }_{1,1}^{(1)}\mathrm{\Xi }_{3,2}^{(2)}+\mathrm{\Xi }_{2,1}^{(1)}\mathrm{\Xi }_{3,3}^{(2)}2{\displaystyle \frac{\eta (z)}{\eta (3z)}}\mathrm{\Xi }_{4,3}^{(3)}\right),`$
$`q^{1/20}\mathrm{ch}W(ϵ)`$ $`={\displaystyle \frac{1}{3}}\left(\mathrm{\Xi }_{1,1}^{(1)}\mathrm{\Xi }_{3,2}^{(2)}+\mathrm{\Xi }_{2,1}^{(1)}\mathrm{\Xi }_{3,3}^{(2)}+{\displaystyle \frac{\eta (z)}{\eta (3z)}}\mathrm{\Xi }_{4,3}^{(3)}\right),`$
$`q^{1/20}\mathrm{ch}M_k^c`$ $`=\mathrm{\Xi }_{22}^{(1)}\mathrm{\Xi }_{21}^{(2)},`$
$`q^{1/20}\mathrm{ch}W_k^c`$ $`=\mathrm{\Xi }_{22}^{(1)}\mathrm{\Xi }_{22}^{(2)}.`$
$`(2)`$ For $`i=1,2`$ we have

$`\left(\begin{array}{c}q^{1/20}\mathrm{ch}(M_T(\tau ^i)(0))\\ q^{1/20}\mathrm{ch}(M_T(\tau ^i)(1))\\ q^{1/20}\mathrm{ch}(M_T(\tau ^i)(2))\end{array}\right)`$ $`={\displaystyle \frac{1}{3}}\left(\begin{array}{ccc}1& 1& 1\\ 1& \xi & \xi ^2\\ 1& \xi ^2& \xi \end{array}\right)\left(\begin{array}{c}\hfill T_{M_T(\tau ^i)}((\tau ^i,1),z)\\ \hfill e^{11\pi \sqrt{1}/90}T_{M_T(\tau ^i)}((\tau ^i,1),z+1)\\ \hfill e^{22\pi \sqrt{1}/90}T_{M_T(\tau ^i)}((\tau ^i,1),z+2)\end{array}\right),`$
$`\left(\begin{array}{c}q^{1/20}\mathrm{ch}(W_T(\tau ^i)(0))\\ q^{1/20}\mathrm{ch}(W_T(\tau ^i)(1))\\ q^{1/20}\mathrm{ch}(W_T(\tau ^i)(2))\end{array}\right)`$ $`={\displaystyle \frac{1}{3}}\left(\begin{array}{ccc}1& 1& 1\\ 1& \xi ^2& \xi \\ 1& \xi & \xi ^2\end{array}\right)\left(\begin{array}{c}\hfill T_{W_T(\tau ^i)}((\tau ^i,1),z)\\ \hfill e^{\pi \sqrt{1}/90}T_{W_T(\tau ^i)}((\tau ^i,1),z+1)\\ \hfill e^{2\pi \sqrt{1}/90}T_{W_T(\tau ^i)}((\tau ^i,1),z+2)\end{array}\right),`$
where $`\xi =\mathrm{exp}(2\pi \sqrt{1}/3)`$.

Proof Since $`M_T(\tau ^i)=_{ϵ=0}^2M_T(\tau ^i)(ϵ)`$ for $`i=1,2`$, we have

$$T_{M_T(\tau ^i)}((\tau ^i,1),z)=\underset{ϵ=0}{\overset{2}{}}T_{M_T(\tau ^i)(ϵ)}((1,1),z).$$

Replace $`z`$ with $`z+k`$, where $`k=0,1,2`$. Then

$$T_{M_T(\tau ^i)(ϵ)}((1,1),z+k)=\mathrm{tr}_{M_T(\tau ^i)(ϵ)}q^{L(0)1/20}\mathrm{exp}(2\pi \sqrt{1}k)^{L(0)1/20}.$$

Note that $`\mathrm{exp}(2\pi \sqrt{1}k)^{L(0)1/20}=\mathrm{exp}(11\pi \sqrt{1}k/90)\xi ^{2kϵ}`$ on $`M_T(\tau ^i)(ϵ)`$, since the eigenvalues for $`L(0)`$ on $`M_T(\tau ^i)(ϵ)`$ are of the form $`1/9+2ϵ/3+n`$ with $`n_0`$. Thus

$$T_{M_T(\tau ^i)}((\tau ^i,1),z+k)=\mathrm{exp}(11\pi \sqrt{1}k/90)\underset{ϵ=0}{\overset{2}{}}\xi ^{2kϵ}T_{M_T(\tau ^i)(ϵ)}((1,1),z).$$

We can solve these equations for $`k=0,1,2`$ with respect to $`T_{M_T(\tau ^i)(ϵ)}((1,1),z)`$, $`ϵ=0,1,2`$, and obtain the expressions of $`T_{M_T(\tau ^i)(ϵ)}((1,1),z)=q^{1/20}\mathrm{ch}(M_T(\tau ^i)(ϵ))`$ in the theorem.

Similarly, $`W_T(\tau ^i)=_{ϵ=0}^2W_T(\tau ^i)(ϵ)`$ and the eigenvalues for $`L(0)`$ on $`W_T(\tau ^i)(ϵ)`$ are of the form $`2/45+ϵ/3+n`$ with $`n_0`$. Hence $`\mathrm{exp}(2\pi \sqrt{1}k)^{L(0)1/20}=\mathrm{exp}(\pi \sqrt{1}k/90)\xi ^{kϵ}`$ on $`W_T(\tau ^i)(ϵ)`$ and we obtain the expressions of $`q^{1/20}\mathrm{ch}(W_T(\tau ^i)(ϵ)),ϵ=0,1,2`$.

It is proved in  that $`M=M_k^0`$ is a rational vertex operator algebra. Moreover, there are exactly two inequivalent irreducible $`\tau `$-stable $`M`$-modules, namely, $`M`$ and $`W_k^0`$ by Lemma 4.1. Since $`M_T(\tau )`$ and $`W_T(\tau )`$ are two inequivalent irreducible $`\tau `$-twisted $`M`$-modules, we have $`dim𝒞_1(\tau ,1)=dim𝒞_1(1,\tau )=2`$ and

$$\{T_{M_T(\tau )}(,(\tau ,1),z),T_{W_T(\tau )}(,(\tau ,1),z)\}$$

is a basis of $`𝒞_1(\tau ,1)`$ by \[9, Theorems 5.4 and 10.1\]. Now $`T_M(,(1,\tau ),z)|_S𝒞_1(\tau ,1)`$ for $`S=\left(\begin{array}{cc}\hfill 0& \hfill 1\\ \hfill 1& \hfill 0\end{array}\right)`$ by \[9, Theorems 5.4 and 8.1\]. Thus,

$$T_M((1,\tau ),z)=\alpha T_{M_T(\tau )}((\tau ,1),\frac{1}{z})+\beta T_{W_T(\tau )}((\tau ,1),\frac{1}{z})$$

for some $`\alpha ,\beta `$.

¿From (6.2) and Proposition 6.1 it follows that

$`{\displaystyle \frac{\eta (3z)}{\eta (z)}}T_{M_T(\tau )}((\tau ,1),{\displaystyle \frac{1}{z}})`$ $`={\displaystyle \frac{2\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}}}\mathrm{\Xi }_{3,3}^{(3)}{\displaystyle \frac{2\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}}}\mathrm{\Xi }_{4,3}^{(3)},`$
$`{\displaystyle \frac{\eta (3z)}{\eta (z)}}T_{W_T(\tau )}((\tau ,1),{\displaystyle \frac{1}{z}})`$ $`={\displaystyle \frac{2\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}}}\mathrm{\Xi }_{3,3}^{(3)}+{\displaystyle \frac{2\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}}}\mathrm{\Xi }_{4,3}^{(3)}.`$
Thus

$$T_M((1,\tau ),z)=q^{1/20}\left((\alpha \frac{2\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}}+\beta \frac{2\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}})+(\alpha \frac{2\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}}+\beta \frac{2\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}})q^{3/5}+\mathrm{}\right).$$

Furthermore, we see that $`T_M((1,\tau ),z)=q^{1/20}(1+0q^{3/5}+\mathrm{})`$ by a direct computation. Hence $`\alpha =2\mathrm{sin}(\frac{\pi }{5})/\sqrt{5}`$ and $`\beta =2\mathrm{sin}(\frac{2\pi }{5})/\sqrt{5}`$. Therefore,

$$T_M((1,\tau ),z)=\frac{\eta (z)}{\eta (3z)}\mathrm{\Xi }_{3,3}^{(3)}.$$

Note that

$$T_M((1,1),z)=q^{1/20}\mathrm{ch}M=\mathrm{\Xi }_{1,1}^{(1)}\mathrm{\Xi }_{1,1}^{(2)}+\mathrm{\Xi }_{2,1}^{(1)}\mathrm{\Xi }_{3,1}^{(2)}.$$

Now $`M=M(0)M(1)M(2)`$ and $`T_{M(1)}((1,1),z)=T_{M(2)}((1,1),z)`$ by the symmetry (4.9). Then

$`T_M((1,1),z)`$ $`=T_{M(0)}((1,1),z)+T_{M(1)}((1,1),z)+T_{M(2)}((1,1),z)`$
$`=T_{M(0)}((1,1),z)+2T_{M(1)}((1,1),z)`$
and

$`T_M((1,\tau ),z)`$ $`=T_{M(0)}((1,1),z)+\xi T_{M(1)}((1,1),z)+\xi ^2T_{M(2)}((1,1),z)`$
$`=T_{M(0)}((1,1),z)T_{M(1)}((1,1),z)`$
by the definition of trace functions. Thus $`q^{1/20}\mathrm{ch}M(ϵ)=T_{M(ϵ)}((1,1),z)`$ can be expressed as

$`q^{1/20}\mathrm{ch}M(0)`$ $`={\displaystyle \frac{1}{3}}\left(T_M((1,1),z)+2T_M((1,\tau ),z)\right)`$
$`={\displaystyle \frac{1}{3}}\left(\mathrm{\Xi }_{1,1}^{(1)}\mathrm{\Xi }_{1,1}^{(2)}+\mathrm{\Xi }_{2,1}^{(1)}\mathrm{\Xi }_{3,1}^{(2)}+2{\displaystyle \frac{\eta (z)}{\eta (3z)}}\mathrm{\Xi }_{3,3}^{(3)}\right),`$
$`q^{1/20}\mathrm{ch}M(ϵ)`$ $`={\displaystyle \frac{1}{3}}\left(T_M((1,1),z)T_M((1,\tau ),z)\right)`$
$`={\displaystyle \frac{1}{3}}\left(\mathrm{\Xi }_{1,1}^{(1)}\mathrm{\Xi }_{1,1}^{(2)}+\mathrm{\Xi }_{2,1}^{(1)}\mathrm{\Xi }_{3,1}^{(2)}{\displaystyle \frac{\eta (z)}{\eta (3z)}}\mathrm{\Xi }_{3,3}^{(3)}\right)`$
for $`ϵ=1,2`$. The computations for $`W(ϵ),ϵ=0,1,2`$ are similar.

Since $`M_k^i`$, $`i=a,b,c`$ are equivalent irreducible $`M^\tau `$-modules by Lemma 4.1, we have $`q^{1/20}\mathrm{ch}M_k^c=q^{1/20}\mathrm{ch}M_k^a=\mathrm{\Xi }_{2,2}^{(1)}\mathrm{\Xi }_{2,1}^{(2)}`$. Likewise, $`q^{1/20}\mathrm{ch}W_k^c=q^{1/20}\mathrm{ch}W_k^a=\mathrm{\Xi }_{2,2}^{(1)}\mathrm{\Xi }_{2,2}^{(2)}`$. The proof is complete.  $`\mathrm{}`$

We now disccuss the relation between the characters computed here and those of modules for a $`W`$-algebra computed in . We use the notation of  without any comments. We refer to their results in the case that $`\overline{𝔤}`$ is the simple finite dimensional Lie algebra over $``$ of type $`A_2`$ and $`(p,p^{})=(6,5)`$. In this case, we have

$`P_+^{ph^{}}=P_+^3`$ $`=\{{\displaystyle \underset{i=0}{\overset{2}{}}}a_i\mathrm{\Lambda }_i|\mathrm{\hspace{0.17em}0}a_i\text{ and }{\displaystyle \underset{i=0}{\overset{2}{}}}a_i=3\},`$
$`P_{+}^{}{}_{}{}^{p^{}h}=P_{+}^{}{}_{}{}^{2}`$ $`=\{{\displaystyle \underset{i=0}{\overset{2}{}}}b_i\mathrm{\Lambda }_i^{}|\mathrm{\hspace{0.17em}0}b_i\text{ and }{\displaystyle \underset{i=0}{\overset{2}{}}}b_i=2\}.`$
It can be easily shown that $`\stackrel{~}{W}_+=g`$ is the cyclic group of order $`3`$ such that $`g(\mathrm{\Lambda }_0)=\mathrm{\Lambda }_1,g(\mathrm{\Lambda }_1)=\mathrm{\Lambda }_2`$, and $`g(\mathrm{\Lambda }_2)=\mathrm{\Lambda }_0`$. The cardinality of $`I_{p,p^{}}=(P_+^3\times P_{+}^{}{}_{}{}^{2})/\stackrel{~}{W}_+`$ is equal to $`20`$.

For $`\lambda P_+^3,\mu P_{+}^{}{}_{}{}^{2}`$, define

$$\phi _{\lambda ,\mu }(z)=\eta (z)^2\underset{wW}{}ϵ(w)q^{\frac{1}{2pp^{}}|p^{}w(\lambda +\rho )p(\mu +\rho ^{})|^2}.$$

The vector space spanned by $`\phi _{\lambda ,\mu }(z),(\lambda ,\mu )I_{p,p^{}}`$ is invariant under the action of $`SL_2()`$ and the transformation formula

$$\phi _{\lambda ,\lambda ^{}}(\frac{1}{z})=\underset{(\mu ,\mu ^{})I_{p,p^{}}}{}S_{(\lambda ,\lambda ^{}),(\mu ,\mu ^{})}\phi _{\mu ,\mu ^{}}(z)$$

is given by \[16, (4.2.2)\]. Define $`_1=\{\phi _{\lambda ,\mu }(z)|(\lambda ,\mu )I_{p,p^{}}\}`$. In \[16, Section 3\], it is shown that each $`\phi _{\lambda ,\mu }(z)_1`$ is the character of a module for the $`W`$-algebra associated to $`\overline{𝔤}`$ and $`(p,p^{})`$ which is conjectured to be irreducible.

We denote by $`_2`$ the set of characters of all irreducible $`M^\tau `$-modules computed in Theorem 6.2. For any $`m`$, there is a congruence subgroup $`\mathrm{\Gamma }_m`$ such that each $`\mathrm{\Xi }_{r,s}^{(m)}`$ is a modular form for $`\mathrm{\Gamma }_m`$ (cf. \[32, (6.11)\]). Then there is a congruence subgroup $`\mathrm{\Gamma }`$ such that each character in $`_2`$ is invariant under the action of $`\mathrm{\Gamma }`$. The following transformation formulas hold by the formula (6.2):

$$\left(\begin{array}{c}T_M((1,1),\frac{1}{z})\\ T_{W_k^0}((1,1),\frac{1}{z})\\ T_{M_k^c}((1,1),\frac{1}{z})\\ T_{W_k^c}((1,1),\frac{1}{z})\end{array}\right)=\left(\begin{array}{cccccc}\hfill \frac{\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}}& \hfill \frac{\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}}& \hfill \frac{3\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}}& \hfill \frac{3\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}}& & \\ \hfill \frac{\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}}& \hfill \frac{\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}}& \hfill \frac{3\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}}& \hfill \frac{3\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}}& & \\ \hfill \frac{\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}}& \hfill \frac{\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}}& \hfill \frac{\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}}& \hfill \frac{\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}}& & \\ \hfill \frac{\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}}& \hfill \frac{\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}}& \hfill \frac{\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}}& \hfill \frac{\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}}& & \end{array}\right)\left(\begin{array}{c}T_M((1,1),z)\\ T_{W_k^0}((1,1),z)\\ T_{M_k^c}((1,1),z)\\ T_{W_k^c}((1,1),z)\end{array}\right)$$

and

$$\left(\begin{array}{c}T_M((1,\tau ),\frac{1}{z})\\ T_{W_k^0}((1,\tau ),\frac{1}{z})\end{array}\right)=\left(\begin{array}{cc}\hfill \frac{2\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}}& \hfill \frac{2\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}}\\ \hfill \frac{2\mathrm{sin}(\frac{2\pi }{5})}{\sqrt{5}}& \hfill \frac{2\mathrm{sin}(\frac{\pi }{5})}{\sqrt{5}}\end{array}\right)\left(\begin{array}{c}T_{M_T(\tau )}((\tau ,1),z)\\ T_{W_T(\tau )}((\tau ,1),z)\end{array}\right).$$

Thus we have the transformation formulas for elements of $`_2`$. Comparing the $`q`$-expansions and the coefficients of transformation formulas of elements in $`_1`$ and $`_2`$, it can be shown that $`_1=_2`$ using Lemma 1.7.1 in . In particular, $`\phi _{3\mathrm{\Lambda }_0,2\mathrm{\Lambda }_0^{}}(z)=q^{1/20}\mathrm{ch}M^\tau `$ holds.

## Appendix A $`𝐯^{12}`$, $`J(1)𝐯^{12}`$, $`J(2)𝐯^{12}`$, and $`J(1)^2𝐯^{12}`$

$`𝐯^{12}`$ $`=\left(5877264800/3501\right)L\left(12\right)\mathrm{𝟏}+\left(3404072000/3501\right)L\left(10\right)L\left(2\right)\mathrm{𝟏}`$
$`\left(2653990000/3501\right)L\left(9\right)L\left(3\right)\mathrm{𝟏}\left(266376800/3501\right)L\left(8\right)L\left(4\right)\mathrm{𝟏}`$
$`+\left(282988000/1167\right)L\left(8\right)L\left(2\right)^2\mathrm{𝟏}\left(23744800/1167\right)L\left(7\right)L\left(5\right)\mathrm{𝟏}`$
$`\left(30824000/1167\right)L\left(7\right)L\left(3\right)L\left(2\right)\mathrm{𝟏}+\left(1242377600/1167\right)L\left(6\right)^2\mathrm{𝟏}`$
$`\left(61947200/3501\right)L\left(6\right)L\left(4\right)L\left(2\right)\mathrm{𝟏}\left(1313806000/1167\right)L\left(6\right)L\left(3\right)^2\mathrm{𝟏}`$
$`\left(45496000/1167\right)L\left(6\right)L\left(2\right)^3\mathrm{𝟏}\left(3046768400/3501\right)L\left(5\right)^2L\left(2\right)\mathrm{𝟏}`$
$`+\left(299424800/1167\right)L\left(5\right)L\left(4\right)L\left(3\right)\mathrm{𝟏}+\left(2347094000/3501\right)L\left(5\right)L\left(3\right)L\left(2\right)^2\mathrm{𝟏}`$
$`\left(17280400/1167\right)L\left(4\right)^3\mathrm{𝟏}\left(2036373200/3501\right)L\left(4\right)^2L\left(2\right)^2\mathrm{𝟏}`$
$`+\left(82996000/3501\right)L\left(4\right)L\left(3\right)^2L\left(2\right)\mathrm{𝟏}+\left(1074512000/3501\right)L\left(4\right)L\left(2\right)^4\mathrm{𝟏}`$
$`+\left(511628125/3501\right)L\left(3\right)^4\mathrm{𝟏}\left(418850000/3501\right)L\left(3\right)^2L\left(2\right)^3\mathrm{𝟏}`$
$`\left(59680000/3501\right)L\left(2\right)^6\mathrm{𝟏}\left(505200/389\right)L\left(6\right)J\left(3\right)^2\mathrm{𝟏}`$
$`+\left(3380480/1167\right)L\left(4\right)L\left(2\right)J\left(3\right)^2\mathrm{𝟏}+1150L\left(3\right)^2J\left(3\right)^2\mathrm{𝟏}`$
$`\left(184400/1167\right)L\left(2\right)^3J\left(3\right)^2\mathrm{𝟏}+\left(3788680/1167\right)L\left(5\right)J\left(4\right)J\left(3\right)\mathrm{𝟏}`$
$`\left(8788400/3501\right)L\left(3\right)L\left(2\right)J\left(4\right)J\left(3\right)\mathrm{𝟏}\left(12761440/3501\right)L\left(4\right)J\left(5\right)J\left(3\right)\mathrm{𝟏}`$
$`\left(5727500/10503\right)L\left(4\right)J\left(4\right)^2\mathrm{𝟏}+\left(352400/389\right)L\left(2\right)^2J\left(5\right)J\left(3\right)\mathrm{𝟏}`$
$`+\left(5727500/10503\right)L\left(2\right)^2J\left(4\right)^2\mathrm{𝟏}+\left(1593900/389\right)L\left(3\right)J\left(6\right)J\left(3\right)\mathrm{𝟏}`$
$`+\left(12935800/10503\right)L\left(3\right)J\left(5\right)J\left(4\right)\mathrm{𝟏}+\left(4108000/3501\right)L\left(2\right)J\left(7\right)J\left(3\right)\mathrm{𝟏}`$
$`\left(2811800/1167\right)L\left(2\right)J\left(6\right)J\left(4\right)\mathrm{𝟏}\left(3131600/10503\right)L\left(2\right)J\left(5\right)^2\mathrm{𝟏}`$
$`\left(14904160/3501\right)J\left(9\right)J\left(3\right)\mathrm{𝟏}+\left(32677600/10503\right)J\left(8\right)J\left(4\right)\mathrm{𝟏}`$
$`+\left(9423200/10503\right)J\left(7\right)J\left(5\right)\mathrm{𝟏}+\left(2432375/1167\right)J\left(6\right)^2\mathrm{𝟏}`$
$`+J\left(3\right)^4\mathrm{𝟏}.`$
$`J\left(1\right)𝐯^{12}`$ $`=\left(47528/389\right)L\left(4\right)J\left(3\right)^3\mathrm{𝟏}\left(53552200/1167\right)J\left(7\right)J\left(3\right)^2\mathrm{𝟏}`$
$`\left(14322122880/389\right)L\left(10\right)J\left(3\right)\mathrm{𝟏}\left(7313862400/389\right)L\left(8\right)L\left(2\right)J\left(3\right)\mathrm{𝟏}`$
$`\left(2263268800/389\right)L\left(7\right)L\left(3\right)J\left(3\right)\mathrm{𝟏}+\left(7140323840/1167\right)L\left(6\right)L\left(4\right)J\left(3\right)\mathrm{𝟏}`$
$`\left(4870066240/389\right)L\left(5\right)^2J\left(3\right)\mathrm{𝟏}\left(41271174880/3501\right)L\left(9\right)J\left(4\right)\mathrm{𝟏}`$
$`+\left(87811701120/389\right)J\left(13\right)\mathrm{𝟏}\left(65647722400/389\right)L\left(2\right)J\left(11\right)\mathrm{𝟏}`$
$`+\left(195884000/1167\right)L\left(8\right)J\left(5\right)\mathrm{𝟏}+\left(18292448200/389\right)L\left(3\right)J\left(10\right)\mathrm{𝟏}`$
$`\left(2704504400/389\right)L\left(7\right)J\left(6\right)\mathrm{𝟏}\left(8342231040/389\right)L\left(4\right)J\left(9\right)\mathrm{𝟏}`$
$`\left(2134787200/389\right)L\left(6\right)J\left(7\right)\mathrm{𝟏}+\left(17270275360/1167\right)L\left(5\right)J\left(8\right)\mathrm{𝟏}`$
$`\left(926640/389\right)L\left(2\right)^2J\left(3\right)^3\mathrm{𝟏}+\left(24986000/1167\right)L\left(2\right)J\left(5\right)J\left(3\right)^2\mathrm{𝟏}`$
$`\left(2833833600/389\right)L\left(6\right)L\left(2\right)^2J\left(3\right)\mathrm{𝟏}+\left(1692496000/389\right)L\left(5\right)L\left(3\right)L\left(2\right)J\left(3\right)\mathrm{𝟏}`$
$`\left(6705813920/1167\right)L\left(4\right)^2L\left(2\right)J\left(3\right)\mathrm{𝟏}\left(10899200/9\right)L\left(7\right)L\left(2\right)J\left(4\right)\mathrm{𝟏}`$
$`+\left(20147275200/389\right)L\left(2\right)^2J\left(9\right)\mathrm{𝟏}+\left(32842950400/3501\right)L\left(6\right)L\left(2\right)J\left(5\right)\mathrm{𝟏}`$
$`\left(8472651200/389\right)L\left(3\right)L\left(2\right)J\left(8\right)\mathrm{𝟏}\left(10511649200/1167\right)L\left(5\right)L\left(2\right)J\left(6\right)\mathrm{𝟏}`$
$`+\left(12944796800/1167\right)L\left(4\right)L\left(2\right)J\left(7\right)\mathrm{𝟏}\left(9963200/389\right)J\left(5\right)^2J\left(3\right)\mathrm{𝟏}`$
$`+\left(1607444800/389\right)L\left(5\right)L\left(3\right)J\left(5\right)\mathrm{𝟏}\left(1408915040/1167\right)L\left(4\right)^2J\left(5\right)\mathrm{𝟏}`$
$`+\left(1271140/1167\right)L\left(3\right)J\left(4\right)J\left(3\right)^2\mathrm{𝟏}\left(2312728600/1167\right)L\left(4\right)L\left(3\right)^2J\left(3\right)\mathrm{𝟏}`$
$`\left(38446491200/3501\right)L\left(6\right)L\left(3\right)J\left(4\right)\mathrm{𝟏}\left(1002365000/1167\right)L\left(3\right)^2J\left(7\right)\mathrm{𝟏}`$
$`+\left(462527000/389\right)L\left(4\right)L\left(3\right)J\left(6\right)\mathrm{𝟏}+\left(14283100/389\right)J\left(6\right)J\left(4\right)J\left(3\right)\mathrm{𝟏}`$
$`+\left(15075473920/3501\right)L\left(5\right)L\left(4\right)J\left(4\right)\mathrm{𝟏}\left(11661041600/3501\right)L\left(4\right)L\left(2\right)^2J\left(5\right)\mathrm{𝟏}`$
$`\left(7223710000/3501\right)L\left(3\right)^2L\left(2\right)J\left(5\right)\mathrm{𝟏}+\left(2639390000/389\right)L\left(3\right)L\left(2\right)^2J\left(6\right)\mathrm{𝟏}`$
$`\left(30846400/389\right)L\left(5\right)L\left(2\right)^2J\left(4\right)\mathrm{𝟏}+\left(5365349600/3501\right)L\left(4\right)L\left(3\right)L\left(2\right)J\left(4\right)\mathrm{𝟏}`$
$`\left(34590712000/3501\right)L\left(2\right)^3J\left(7\right)\mathrm{𝟏}+\left(6230282500/3501\right)L\left(3\right)^3J\left(4\right)\mathrm{𝟏}`$
$`+\left(1547000/389\right)J\left(5\right)J\left(4\right)^2\mathrm{𝟏}\left(4562948000/3501\right)L\left(3\right)L\left(2\right)^3J\left(4\right)\mathrm{𝟏}`$
$`\left(10829000/1167\right)L\left(2\right)J\left(4\right)^2J\left(3\right)\mathrm{𝟏}+\left(4340336000/3501\right)L\left(2\right)^4J\left(5\right)\mathrm{𝟏}`$
$`+\left(1919403200/1167\right)L\left(4\right)L\left(2\right)^3J\left(3\right)\mathrm{𝟏}\left(99658000/389\right)L\left(3\right)^2L\left(2\right)^2J\left(3\right)\mathrm{𝟏}`$
$`\left(89856000/389\right)L\left(2\right)^5J\left(3\right)\mathrm{𝟏}.`$
$`J\left(2\right)𝐯^{12}`$ $`=4272L\left(5\right)J\left(3\right)^3\mathrm{𝟏}\left(21069744/389\right)J\left(8\right)J\left(3\right)^2\mathrm{𝟏}`$
$`\left(14150438080/1167\right)L\left(11\right)J\left(3\right)\mathrm{𝟏}\left(3639849600/389\right)L\left(9\right)L\left(2\right)J\left(3\right)\mathrm{𝟏}`$
$`\left(9699222400/1167\right)L\left(8\right)L\left(3\right)J\left(3\right)\mathrm{𝟏}+\left(2157139840/1167\right)L\left(7\right)L\left(4\right)J\left(3\right)\mathrm{𝟏}`$
$`\left(5925448960/1167\right)L\left(6\right)L\left(5\right)J\left(3\right)\mathrm{𝟏}+\left(3006435200/389\right)L\left(10\right)J\left(4\right)\mathrm{𝟏}`$
$`+\left(325064548960/389\right)J\left(14\right)\mathrm{𝟏}\left(176823168000/389\right)L\left(2\right)J\left(12\right)\mathrm{𝟏}`$
$`+\left(10174691200/3501\right)L\left(9\right)J\left(5\right)\mathrm{𝟏}+\left(38988751200/389\right)L\left(3\right)J\left(11\right)\mathrm{𝟏}`$
$`\left(4612321600/1167\right)L\left(8\right)J\left(6\right)\mathrm{𝟏}\left(33023056960/389\right)L\left(4\right)J\left(10\right)\mathrm{𝟏}`$
$`\left(13371577600/1167\right)L\left(7\right)J\left(7\right)\mathrm{𝟏}+\left(54711326720/1167\right)L\left(5\right)J\left(9\right)\mathrm{𝟏}`$
$`+\left(4368409600/1167\right)L\left(6\right)J\left(8\right)\mathrm{𝟏}960L\left(3\right)L\left(2\right)J\left(3\right)^3\mathrm{𝟏}`$
$`+\left(5080480/389\right)L\left(2\right)J\left(6\right)J\left(3\right)^2\mathrm{𝟏}\left(1269523200/389\right)L\left(7\right)L\left(2\right)^2J\left(3\right)\mathrm{𝟏}`$
$`+\left(1626342400/1167\right)L\left(6\right)L\left(3\right)L\left(2\right)J\left(3\right)\mathrm{𝟏}\left(3954100480/1167\right)L\left(5\right)L\left(4\right)L\left(2\right)J\left(3\right)\mathrm{𝟏}`$
$`+\left(6597673600/1167\right)L\left(8\right)L\left(2\right)J\left(4\right)\mathrm{𝟏}+\left(382495595200/3501\right)L\left(2\right)^2J\left(10\right)\mathrm{𝟏}`$
$`+\left(23379344000/3501\right)L\left(7\right)L\left(2\right)J\left(5\right)\mathrm{𝟏}\left(41865472000/1167\right)L\left(3\right)L\left(2\right)J\left(9\right)\mathrm{𝟏}`$
$`+\left(5662851200/1167\right)L\left(6\right)L\left(2\right)J\left(6\right)\mathrm{𝟏}+\left(41335582720/1167\right)L\left(4\right)L\left(2\right)J\left(8\right)\mathrm{𝟏}`$
$`\left(66974297600/3501\right)L\left(5\right)L\left(2\right)J\left(7\right)\mathrm{𝟏}+7760L\left(3\right)J\left(5\right)J\left(3\right)^2\mathrm{𝟏}`$
$`\left(13118000/1167\right)J\left(6\right)J\left(5\right)J\left(3\right)\mathrm{𝟏}\left(3036691200/389\right)L\left(6\right)L\left(3\right)J\left(5\right)\mathrm{𝟏}`$
$`+\left(2541514240/1167\right)L\left(5\right)L\left(4\right)J\left(5\right)\mathrm{𝟏}\left(4489884400/1167\right)L\left(5\right)L\left(3\right)^2J\left(3\right)\mathrm{𝟏}`$
$`+\left(48898000/389\right)L\left(5\right)L\left(3\right)J\left(6\right)\mathrm{𝟏}+\left(524720000/389\right)L\left(4\right)^2L\left(3\right)J\left(3\right)\mathrm{𝟏}`$
$`\left(478727200/389\right)L\left(4\right)^2J\left(6\right)\mathrm{𝟏}\left(315678400/3501\right)L\left(7\right)L\left(3\right)J\left(4\right)\mathrm{𝟏}`$
$`\left(5656762000/1167\right)L\left(3\right)^2J\left(8\right)\mathrm{𝟏}+\left(4388915200/1167\right)L\left(4\right)L\left(3\right)J\left(7\right)\mathrm{𝟏}`$
$`+\left(5080480/1167\right)L\left(4\right)J\left(4\right)J\left(3\right)^2\mathrm{𝟏}+\left(7809478400/1167\right)L\left(6\right)L\left(4\right)J\left(4\right)\mathrm{𝟏}`$
$`+\left(117493120/3501\right)J\left(7\right)J\left(4\right)J\left(3\right)\mathrm{𝟏}\left(6924715520/3501\right)L\left(5\right)^2J\left(4\right)\mathrm{𝟏}`$
$`+\left(7972739200/3501\right)L\left(5\right)L\left(2\right)^2J\left(5\right)\mathrm{𝟏}+\left(726208000/3501\right)L\left(4\right)L\left(3\right)L\left(2\right)J\left(5\right)\mathrm{𝟏}`$
$`+\left(15160000/3501\right)J\left(5\right)^2J\left(4\right)\mathrm{𝟏}\left(9229774400/1167\right)L\left(4\right)L\left(2\right)^2J\left(6\right)\mathrm{𝟏}`$
$`\left(1273060000/1167\right)L\left(3\right)^2L\left(2\right)J\left(6\right)\mathrm{𝟏}\left(5021408000/3501\right)L\left(6\right)L\left(2\right)^2J\left(4\right)\mathrm{𝟏}`$
$`+\left(4736835200/1167\right)L\left(5\right)L\left(3\right)L\left(2\right)J\left(4\right)\mathrm{𝟏}\left(4697646400/3501\right)L\left(4\right)^2L\left(2\right)J\left(4\right)\mathrm{𝟏}`$
$`\left(28325800/3501\right)J\left(6\right)J\left(4\right)^2\mathrm{𝟏}+\left(10330016000/1167\right)L\left(3\right)L\left(2\right)^2J\left(7\right)\mathrm{𝟏}`$
$`+\left(6184910000/3501\right)L\left(3\right)^3J\left(5\right)\mathrm{𝟏}\left(2988476000/3501\right)L\left(4\right)L\left(3\right)^2J\left(4\right)\mathrm{𝟏}`$
$`+\left(2298688000/1167\right)L\left(4\right)L\left(2\right)^3J\left(4\right)\mathrm{𝟏}\left(59886716800/3501\right)L\left(2\right)^3J\left(8\right)\mathrm{𝟏}`$
$`\left(1320284000/3501\right)L\left(3\right)^2L\left(2\right)^2J\left(4\right)\mathrm{𝟏}+\left(22910000/10503\right)L\left(2\right)J\left(4\right)^3\mathrm{𝟏}`$
$`\left(3979216000/3501\right)L\left(3\right)L\left(2\right)^3J\left(5\right)\mathrm{𝟏}\left(122435200/389\right)L\left(5\right)L\left(2\right)^3J\left(3\right)\mathrm{𝟏}`$
$`\left(977670400/1167\right)L\left(4\right)L\left(3\right)L\left(2\right)^2J\left(3\right)\mathrm{𝟏}\left(22467200/3501\right)L\left(2\right)J\left(5\right)J\left(4\right)J\left(3\right)\mathrm{𝟏}`$
$`+\left(58888000/1167\right)L\left(3\right)^3L\left(2\right)J\left(3\right)\mathrm{𝟏}\left(17576800/3501\right)L\left(3\right)J\left(4\right)^2J\left(3\right)\mathrm{𝟏}`$
$`+\left(29504000/389\right)L\left(3\right)L\left(2\right)^4J\left(3\right)\mathrm{𝟏}+\left(2281792000/1167\right)L\left(2\right)^4J\left(6\right)\mathrm{𝟏}`$
$`\left(368800/389\right)L\left(2\right)^2J\left(4\right)J\left(3\right)^2\mathrm{𝟏}\left(238720000/1167\right)L\left(2\right)^5J\left(4\right)\mathrm{𝟏}.`$
$`J\left(1\right)^2𝐯^{12}`$ $`=\left(28587850894720/389\right)L\left(14\right)\mathrm{𝟏}+\left(40679435680000/1167\right)L\left(12\right)L\left(2\right)\mathrm{𝟏}`$
$`\left(20370766707200/389\right)L\left(11\right)L\left(3\right)\mathrm{𝟏}\left(29040708661120/389\right)L\left(10\right)L\left(4\right)\mathrm{𝟏}`$
$`\left(1357372140800/389\right)L\left(10\right)L\left(2\right)^2\mathrm{𝟏}\left(120978369778240/1167\right)L\left(9\right)L\left(5\right)\mathrm{𝟏}`$
$`+\left(15046999864000/1167\right)L\left(9\right)L\left(3\right)L\left(2\right)\mathrm{𝟏}\left(120139236131200/1167\right)L\left(8\right)L\left(6\right)\mathrm{𝟏}`$
$`+\left(7353135836800/1167\right)L\left(8\right)L\left(4\right)L\left(2\right)\mathrm{𝟏}+\left(5914869272000/389\right)L\left(8\right)L\left(3\right)^2\mathrm{𝟏}`$
$`\left(9027652192000/1167\right)L\left(8\right)L\left(2\right)^3\mathrm{𝟏}\left(19757556187200/389\right)L\left(7\right)^2\mathrm{𝟏}`$
$`+\left(10357377908800/389\right)L\left(7\right)L\left(5\right)L\left(2\right)\mathrm{𝟏}+\left(6212435174400/389\right)L\left(7\right)L\left(4\right)L\left(3\right)\mathrm{𝟏}`$
$`\left(3066391744000/389\right)L\left(7\right)L\left(3\right)L\left(2\right)^2\mathrm{𝟏}\left(34866323814400/1167\right)L\left(6\right)^2L\left(2\right)\mathrm{𝟏}`$
$`\left(1360052761600/389\right)L\left(6\right)L\left(5\right)L\left(3\right)\mathrm{𝟏}\left(3455809144320/389\right)L\left(6\right)L\left(4\right)^2\mathrm{𝟏}`$
$`+\left(8114060115200/1167\right)L\left(6\right)L\left(4\right)L\left(2\right)^2\mathrm{𝟏}+\left(2356317080000/1167\right)L\left(6\right)L\left(3\right)^2L\left(2\right)\mathrm{𝟏}`$
$`\left(4200302912000/1167\right)L\left(6\right)L\left(2\right)^4\mathrm{𝟏}+\left(2046779720960/389\right)L\left(5\right)^2L\left(4\right)\mathrm{𝟏}`$
$`+\left(5012264899200/389\right)L\left(5\right)^2L\left(2\right)^2\mathrm{𝟏}+\left(5606971697600/1167\right)L\left(5\right)L\left(4\right)L\left(3\right)L\left(2\right)\mathrm{𝟏}`$
$`+\left(4546296703000/1167\right)L\left(5\right)L\left(3\right)^3\mathrm{𝟏}\left(3986231288000/1167\right)L\left(5\right)L\left(3\right)L\left(2\right)^3\mathrm{𝟏}`$
$`\left(824891421120/389\right)L\left(4\right)^3L\left(2\right)\mathrm{𝟏}+\left(129922182000/389\right)L\left(4\right)^2L\left(3\right)^2\mathrm{𝟏}`$
$`+\left(9190279446400/1167\right)L\left(4\right)^2L\left(2\right)^3\mathrm{𝟏}\left(3417631724000/1167\right)L\left(4\right)L\left(3\right)^2L\left(2\right)^2\mathrm{𝟏}`$
$`\left(1854416512000/1167\right)L\left(4\right)L\left(2\right)^5\mathrm{𝟏}\left(339474200000/1167\right)L\left(3\right)^4L\left(2\right)\mathrm{𝟏}`$
$`+\left(472407520000/1167\right)L\left(3\right)^2L\left(2\right)^4\mathrm{𝟏}+\left(21565440000/389\right)L\left(2\right)^7\mathrm{𝟏}`$
$`\left(33906046720/389\right)L\left(8\right)J\left(3\right)^2\mathrm{𝟏}\left(38547928640/389\right)L\left(6\right)L\left(2\right)J\left(3\right)^2\mathrm{𝟏}`$
$`+\left(8889576280/389\right)L\left(5\right)L\left(3\right)J\left(3\right)^2\mathrm{𝟏}\left(52680368/389\right)L\left(4\right)^2J\left(3\right)^2\mathrm{𝟏}`$
$`+\left(1681515680/389\right)L\left(4\right)L\left(2\right)^2J\left(3\right)^2\mathrm{𝟏}\left(4900781600/389\right)L\left(3\right)^2L\left(2\right)J\left(3\right)^2\mathrm{𝟏}`$
$`\left(680659200/389\right)L\left(2\right)^4J\left(3\right)^2\mathrm{𝟏}\left(21316634560/1167\right)L\left(7\right)J\left(4\right)J\left(3\right)\mathrm{𝟏}`$
$`+\left(15456968800/389\right)L\left(5\right)L\left(2\right)J\left(4\right)J\left(3\right)\mathrm{𝟏}\left(57407779520/1167\right)L\left(4\right)L\left(3\right)J\left(4\right)J\left(3\right)\mathrm{𝟏}`$
$`+\left(769371200/389\right)L\left(3\right)L\left(2\right)^2J\left(4\right)J\left(3\right)\mathrm{𝟏}+\left(82018834560/389\right)L\left(6\right)J\left(5\right)J\left(3\right)\mathrm{𝟏}`$
$`\left(318755320000/3501\right)L\left(6\right)J\left(4\right)^2\mathrm{𝟏}\left(62232722240/1167\right)L\left(4\right)L\left(2\right)J\left(5\right)J\left(3\right)\mathrm{𝟏}`$
$`+\left(59657182000/3501\right)L\left(4\right)L\left(2\right)J\left(4\right)^2\mathrm{𝟏}+\left(4384283800/1167\right)L\left(3\right)^2J\left(5\right)J\left(3\right)\mathrm{𝟏}`$
$`+\left(28313585300/1167\right)L\left(3\right)^2J\left(4\right)^2\mathrm{𝟏}+\left(14719931200/1167\right)L\left(2\right)^3J\left(5\right)J\left(3\right)\mathrm{𝟏}`$
$`\left(15017860000/3501\right)L\left(2\right)^3J\left(4\right)^2\mathrm{𝟏}\left(102815580920/389\right)L\left(5\right)J\left(6\right)J\left(3\right)\mathrm{𝟏}`$
$`+\left(214806972640/3501\right)L\left(5\right)J\left(5\right)J\left(4\right)\mathrm{𝟏}+\left(20784972000/389\right)L\left(3\right)L\left(2\right)J\left(6\right)J\left(3\right)\mathrm{𝟏}`$
$`\left(133605586400/3501\right)L\left(3\right)L\left(2\right)J\left(5\right)J\left(4\right)\mathrm{𝟏}+\left(243575438080/1167\right)L\left(4\right)J\left(7\right)J\left(3\right)\mathrm{𝟏}`$
$`+\left(7292932400/389\right)L\left(4\right)J\left(6\right)J\left(4\right)\mathrm{𝟏}\left(12891781760/389\right)L\left(4\right)J\left(5\right)^2\mathrm{𝟏}`$
$`\left(49983377600/389\right)L\left(2\right)^2J\left(7\right)J\left(3\right)\mathrm{𝟏}+\left(10825750000/389\right)L\left(2\right)^2J\left(6\right)J\left(4\right)\mathrm{𝟏}`$
$`\left(13957486400/3501\right)L\left(2\right)^2J\left(5\right)^2\mathrm{𝟏}\left(173848522640/1167\right)L\left(3\right)J\left(8\right)J\left(3\right)\mathrm{𝟏}`$
$`\left(65060216000/1167\right)L\left(3\right)J\left(7\right)J\left(4\right)\mathrm{𝟏}+\left(25622862200/389\right)L\left(3\right)J\left(6\right)J\left(5\right)\mathrm{𝟏}`$
$`+\left(174271514560/389\right)L\left(2\right)J\left(9\right)J\left(3\right)\mathrm{𝟏}\left(232573421600/3501\right)L\left(2\right)J\left(8\right)J\left(4\right)\mathrm{𝟏}`$
$`+\left(392430209600/3501\right)L\left(2\right)J\left(7\right)J\left(5\right)\mathrm{𝟏}\left(31534947600/389\right)L\left(2\right)J\left(6\right)J\left(6\right)\mathrm{𝟏}`$
$`\left(5559840/389\right)L\left(2\right)J\left(3\right)^4\mathrm{𝟏}\left(291151720080/389\right)J\left(11\right)J\left(3\right)\mathrm{𝟏}`$
$`+\left(257458099600/1167\right)J\left(10\right)J\left(4\right)\mathrm{𝟏}\left(140099797760/389\right)J\left(9\right)J\left(5\right)\mathrm{𝟏}`$
$`+\left(83988236280/389\right)J\left(8\right)J\left(6\right)\mathrm{𝟏}\left(44378890400/389\right)J\left(7\right)J\left(7\right)\mathrm{𝟏}`$
$`+\left(22538776/389\right)J\left(5\right)J\left(3\right)^3\mathrm{𝟏}\left(26131300/1167\right)J\left(4\right)^2J\left(3\right)^2\mathrm{𝟏}.`$
## Appendix B The images of four vectors in $`A(𝒲)`$

For simplicity of notation we omit the symbol $``$ for multiplication in $`A(𝒲)`$.

$`[𝐯^{12}]`$ $`=(59680000/3501)[\omega ]^6+(156040000/3501)[\omega ]^5(115878400/3501)[\omega ]^4`$
$`+\left((184400/1167)[J]^2+32328400/3501\right)[\omega ]^3`$
$`+\left((536500/1167)[J]^23155968/3501\right)[\omega ]^2`$
$`+\left((87812/389)[J]^2+93184/3501\right)[\omega ]`$
$`+[J]^4+(75776/3501)[J]^2.`$
$`[J(1)𝐯^{12}]`$ $`=(89856000/389)[J][\omega ]^5+(228945600/389)[J][\omega ]^4`$
$`(555607520/1167)[J][\omega ]^3`$
$`+\left((926640/389)[J]^3+(57790304/389)[J]\right)[\omega ]^2`$
$`+\left((1637064/389)[J]^3(19542016/1167)[J]\right)[\omega ]`$
$`(668408/389)[J]^3+(186368/389)[J].`$
$`[J(2)𝐯^{12}]`$ $`=(179712000/389)[J][\omega ]^5(457891200/389)[J][\omega ]^4`$
$`+(1111215040/1167)[J][\omega ]^3`$
$`+\left((1853280/389)[J]^3(115580608/389)[J]\right)[\omega ]^2`$
$`+\left((3274128/389)[J]^3+(39084032/1167)[J]\right)[\omega ]`$
$`+(1336816/389)[J]^3(372736/389)[J].`$
$`[J(1)^2𝐯^{12}]`$ $`=(21565440000/389)[\omega ]^7+(513849856000/1167)[\omega ]^6`$
$`(552497504000/389)[\omega ]^5`$
$`+\left((680659200/389)[J]^2+1285515063040/1167\right)[\omega ]^4`$
$`+\left((3994427840/389)[J]^2121501591744/389\right)[\omega ]^3`$
$`+\left((8220864912/389)[J]^2+36103315456/1167\right)[\omega ]^2`$
$`+\left((5559840/389)[J]^4+(3836073072/389)[J]^2363417600/389\right)[\omega ]`$
$`(9879324/389)[J]^4(355536896/389)[J]^2.`$