Classification of Ising vectors in the vertex operator algebra \(V_L^+\) (Q453234): Difference between revisions

Let \(V=\bigoplus_{n=0}^\infty V_n\) be a vertex operator algebra with \(\dim V_0=1\). An element \(e\in V_2\) is called an Ising vector if the sub vertex algebra generated by \(e\) is isomorphic to the simple Virasoro vertex operator algebra \(L(1/2,0)\) of central charge \(1/2\). In this article, the author classifies all Ising vectors in the lattice type vertex operator algebra \(V_L^+\) associated to an even positive definite lattice \(L\) with no roots, i.e., the set \(L_2=\{ \alpha \in L| \langle \alpha ,\alpha\rangle =2\}=\emptyset\}\). The main theorem is as follows. Theorem: Let \(L\) be an even lattice without roots and \(e\) an Ising vector in \(V_L^+\). There is a sublattice \(U\) of \(L\) isomorphic to \(\sqrt{2}A_1\) or \(\sqrt{2}E_8\) such that \(e \in V_U^+\). The main idea of the proof is to show a certain sublattice \(N\) constructed by Ising vector \(e\) is doubly even, i.e., \(N/\sqrt{2}\) is even, and \(e\in V_N^+\). Then the main theorem follows from a result of [\textit{C. H. Lam, S. Sakuma} and \textit{H. Yamauchi}, Math. Z. 255, No. 3, 597--626 (2007; Zbl 1139.17010)].