A -orbifold theory of lattice vertex operator algebra and -orbifold constructions
arXiv:1003.0237
Abstract
Let be a simple VOA of CFT-type satisfying and a finite automorphism of . We prove that if all -modules are completely reducible and a fixed point subVOA is -cofinite, then all -modules are completely reducible and every simple -module appears in some twisted or ordinary -modules as a -submodule. We also prove that is -cofinite for any lattice VOA and $σ\in \Aut(V_L)$ lifted from any triality automorphism of . Using these results, we present two -orbifold constructions as examples. One is the moonshine VOA and the other is a new CFT No.32 in Schellekens' list.
24 pages, we have revised some part of the proof