Integral forms in vertex operator algebras which are invariant under finite groups (Q1939328)

An integral form \(R\) of a vertex operator algebra \(V\) with a nondegenerate invariant bilinear form \(( \cdot , \cdot )\) is an additive subgroup of \(V\) such that \(R\) is a vertex algebra over the ring of integers, \(s\omega \in R\) for some positive integer \(s\), \(R_n = R \cap V_n\) is an integral form of the homogeneous subspace \(V_n\) of weight \(n\) for each \(n\), and the restriction of \(( \cdot , \cdot )\) to \(R\) is rational valued. The notion of integral forms of vertex operator algebras was introduced in [\textit{R. E. Borcherds}, Proc. Natl. Acad. Sci. USA 84, 3068--3071 (1986; Zbl 0613.17012)]. In the paper under review the authors construct an integral form of the vertex operator algebra \(V_L\) associated with a positive definite even lattice \(L\). A basis of the integral form is given explicitly. Furthermore, integral forms of vertex operator algebras invariant under some finite groups of automorphisms are studied. In particular, it is shown that the Moonshine vertex operator algebra \(V^{\natural}\) has an integral form which is invariant under the Monster simple group and whose rational span contains all the conformal vectors of central charge \(1/2\) in \(V^{\natural}\). Some other topics related to integral forms of vertex operator algebras are also discussed.