$C_2$-Cofiniteness and Rationality of the Icosahedral Orbifold $V_{L_2}^{A_5}$

Shun Xu

Abstract

Let $L_2=\mathbb{Z}α$ be the rank-one root lattice with $(α,α)=2$, and let $A_5$ act on the lattice vertex operator algebra $V_{L_2}$ through an icosahedral subgroup of $\operatorname{Aut}(V_{L_2})\cong PSL_2(\mathbb{C})$. We prove that the fixed-point vertex operator algebra $V_{L_2}^{A_5}$ is $C_2$-cofinite and strongly rational.

Disclosure

“thesis-independent audit of the explicit irreducible-module list, as well as intrinsic characterization of VLA25 , remains separate work. Acknowledgments We gratefully acknowledge the use of OpenAI’s GPT5.6 Sol model as a research assistance tool in the preparation of this manuscript. The model was employed to support literature ex- ploration, conceptual brainstorming, and language polishing, which contributed to improving the clarity and effi”

PDF page 40
Classification
Brainstorming or outlining
Multiplier
2
Verified

Structural counts

Pages 41 pdf
Theorems 4 source
Lemmas 22 source
Propositions 15 source
Corollaries 2 source
Definitions 1 source
Displayed equations 107 source
Bibliography entries 19 source
Appendix pages 2 estimated

Count notes

  • Source counts use the expanded primary TeX file main.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.