On a class of vertex operator algebras having a faithful \(S_{n+1}\)-action (Q1022850)

The authors study a certain subalgebra \(M^{(n)}\) of a vertex operator algebra \(V_{\sqrt{2}A_n}\) associated with a lattice \(\sqrt{2}A_n\), where \(A_n\) denotes a rank \(n\) root lattice of type \(A\). It was shown by \textit{C. Dong, H. Li, G. Mason} and \textit{S. Norton} [Ohio State Univ. Math. Res. Inst. Publ. 7, 27--42 (1998; Zbl 0946.17011)] that the Virasoro element of \(V_{\sqrt{2}A_n}\) is decomposed into a sum of \(n+1\) mutually orthogonal conformal vectors \(\omega^i\) whose central charges \(c_i\) are given by \(c_i = 1 - 6/(i+2)(i+3)\) for \(1 \leq i \leq n\) and \(c_{n+1} = 2n/(n+3)\). That is, \(c_i\), \(1 \leq i \leq n\) is the central charge of the Virasoro algebra in the discrete series and \(c_{n+1}\) is the central charge of a parafermion algebra. Moreover, it is known by \textit{C. H. Lam} and \textit{H. Yamada} [J. Algebra 272, No.~2, 614--624 (2004; Zbl 1171.17304)] that \(V_{\sqrt{2}A_n}\) contains a subalgebra isomorphic to a tensor product of the simple Virasoro vertex operator algebra \(L(c_i,0)\), \(1 \leq i \leq n\) and the parafermion vertex operator algebra \(W(c_{n+1})\). In the paper under review the authors consider the commutant \(M^{(n)}\) of \(W(c_{n+1})\) in \(V_{\sqrt{2}A_n}\) and show that \(M^{(n)}\) is generated by its weight \(2\) subspace and the Weyl group of a rank \(n\) root system of type \(A\), which is a symmetric group \(S_{n+1}\) of degree \(n+1\), acts faithfully on \(M^{(n)}\). It is expected that the \(S_{n+1}\) action on \(M^{(n)}\) can be embedded into the Monster simple group.