Uniqueness of the moonshine module: the last open case in the classification of strongly rational holomorphic vertex operator algebras of central charge 24

Uniqueness of strongly rational holomorphic vertex operator algebras (VOAs) of central charge 24 is settled for every non-zero Schellekens Lie algebra type: the six Lie algebra types proved in Lam and Shimakura's inertia-group paper (arXiv:1804.02521, posted 2018; Transformation Groups 2020) were the final cases of the case-by-case program, and uniqueness for every non-zero type is now settled, with three independent lines of proof. The genuine surviving open core of the classification is the moonshine uniqueness conjecture of Frenkel, Lepowsky and Meurman: the moonshine module $V^\natural$ is, up to isomorphism, the unique strongly rational holomorphic VOA of central charge 24 with vanishing weight-one space $V_1=0$ . Every such VOA is extremal with character $j(\tau)-744$ , so characters cannot distinguish competitors, and the affine and lattice anchors that settled the other 70 cases are unavailable. The conjecture remains open as of mid-2026, with partial results (framed VOAs) and conditional results (slope and partition-function conjectures) known. The problem asks for a proof, or for an explicit counterexample (a 'fake moonshine module'), which would complete the classification of strongly rational holomorphic VOAs of central charge 24.

Background

A vertex operator algebra (VOA) is a $\mathbb{Z}$ -graded complex vector space $V=\bigoplus_{n\ge 0}V_n$ equipped with a state-field correspondence $a\mapsto Y(a,z)$ satisfying locality, vacuum and Virasoro axioms; it is the mathematical axiomatization of the chiral algebra of a two-dimensional conformal field theory. The Virasoro algebra acts with a fixed central charge $c$ , and a VOA is called holomorphic (or self-dual) when it is its own only irreducible module, i.e. a meromorphic chiral conformal field theory with a single primary field. It is called strongly rational (many authors say strongly regular for the same class of holomorphic VOAs) if it is of CFT type ( $V_0$ spanned by the vacuum), rational (finitely many irreducible modules) and $C_2$ -cofinite (a finiteness condition that makes the representation theory finite and the characters modular). For strongly rational holomorphic VOAs the central charge is a multiple of $8$ ; at central charge $8$ and $16$ the classification is complete, giving the lattice VOA of the $E_8$ root lattice at $c=8$ and two isomorphism classes at $c=16$ (Dong and Mason). The weight-one space $V_1$ of a holomorphic VOA is a Lie algebra under $[a,b]=a_{(0)}b$ , and the sub-VOA generated by $V_1$ is an affine Kac-Moody algebra, the current algebra of the theory. For central charge $24$ , Schellekens proved in 1993 that $V_1$ must be one of 71 Lie algebras with specified levels (Schellekens' list): 70 non-zero reductive Lie algebras together with the zero algebra, the zero case meaning $V_1=0$ . His partly heuristic derivation was later made fully rigorous; van Ekeren, Lam, Möller and Shimakura gave a new proof using orbifold theory and Kac's 'very strange formula'. A three-decade, many-author program then realized each of the 71 types by an explicit VOA, largely by cyclic orbifolds of the Leech lattice vertex operator algebra $V_\Lambda$ , and proved that for every non-zero type the realizing VOA is unique up to isomorphism. The final case-by-case pieces include the fifteen types settled by van Ekeren, Möller and Scheithauer via genus-zero orbifold dimension formulae and the six types settled by Lam and Shimakura via inertia groups; Betsumiya, Lam and Shimakura later gave an independent second proof of the whole uniqueness statement by confirming a conjecture of Höhn on the number of inequivalent simple-current extensions, and Möller and Scheithauer gave a third, geometric proof through a bijection between these VOAs and the 70 generalised deep holes of the Leech lattice VOA. In total there are exactly 70 isomorphism classes with $V_1\neq 0$ , one for each non-zero Schellekens type. The single remaining case is the zero Lie algebra, $V_1=0$ . The known example is the moonshine module $V^\natural$ constructed by Frenkel, Lepowsky and Meurman as the vertex-algebraic resolution of monstrous moonshine: a holomorphic VOA of central charge 24 with $V_1=0$ , automorphism group the Monster sporadic simple group, and graded character the modular invariant $J(\tau)=j(\tau)-744=q^{-1}+196884q+\cdots$ . By Zhu's modularity theorem, the character of any strongly rational holomorphic VOA of central charge 24 with $V_1=0$ is a weight-zero modular function for $\mathrm{SL}_2(\mathbb{Z})$ with at most a simple pole at the cusp, and $V_1=0$ forces it to equal $J$ ; in particular every such VOA has $\dim V_2=196884$ and is extremal, meaning its character has the theoretically smallest possible low-order coefficients. The weight-two space carries the Griess algebra, a commutative non-associative algebra (product $a_{(1)}b$ ) whose automorphism structure in $V^\natural$ recovers the Monster. Frenkel, Lepowsky and Meurman conjectured that holomorphicity, central charge 24 and $V_1=0$ alone single out $V^\natural$ up to isomorphism; this moonshine uniqueness conjecture is the only entry of Schellekens' list without a uniqueness theorem. The difficulty is structural: every technique that succeeded for the 70 non-zero types leans on the non-trivial affine Kac-Moody subalgebra $V_1$ or on a non-trivial lattice vertex sub-VOA forming a dual pair inside $V$ (reverse orbifold arguments, inertia group computations, genus-zero orbifold dimension formulae, and simple-current extension counting all start from such data). When $V_1=0$ there is no such anchor, and since all candidates share the character $J$ , no character or modular-data computation can distinguish a hypothetical second example (a 'fake moonshine module') from $V^\natural$ . The best partial results either restrict the class (Lam and Yamauchi proved that a framed VOA, meaning one containing a suitable tensor product of simple Virasoro vertex algebras of central charge $1/2$ as a Virasoro frame, that is holomorphic of central charge 24 with $V_1=0$ must be isomorphic to $V^\natural$ ) or are conditional (Carpi and Codogni showed that a slope conjecture on the effective cone of the moduli space $\overline{\mathcal{M}}_g$ of stable curves would force every such VOA to have the same partition functions as $V^\natural$ in all genera, and that two further conjectures on the partition-function subalgebra of $V^\natural$ would imply the uniqueness conjecture outright).

Problem Statement

Prove or refute the moonshine uniqueness conjecture of Frenkel, Lepowsky and Meurman, the last open case of the Schellekens classification: prove that every strongly rational holomorphic vertex operator algebra of central charge 24 whose weight-one space vanishes ( $V_1=0$ ) is isomorphic to the moonshine module $V^\natural$ ; or refute it by constructing a strongly rational holomorphic vertex operator algebra $V$ of central charge 24 with $V_1=0$ that is not isomorphic to $V^\natural$ (a 'fake moonshine module'), establishing its strong rationality (rationality, $C_2$ -cofiniteness, CFT type, self-duality), its central charge 24, the vanishing of its weight-one space, and its non-isomorphism to $V^\natural$ . This is the single remaining entry of Schellekens' list of 71 possible weight-one Lie algebras (the zero Lie algebra); settling it completes the classification of strongly rational holomorphic vertex operator algebras of central charge 24, and a proof of uniqueness would in addition make the total of 71 isomorphism classes unconditional.

References

A. N. Schellekens, Meromorphic c = 24 conformal field theories, Communications in Mathematical Physics 153 (1993) 159-185, doi:10.1007/BF02099044, https://doi.org/10.1007/BF02099044
I. B. Frenkel, J. Lepowsky, A. Meurman, A natural representation of the Fischer-Griess Monster with the modular function J as character, Proceedings of the National Academy of Sciences USA 81 (1984) 3256-3260, doi:10.1073/pnas.81.10.3256, https://doi.org/10.1073/pnas.81.10.3256
Chongying Dong, Geoffrey Mason, Holomorphic vertex operator algebras of small central charge, Pacific Journal of Mathematics 213 (2004) 253-266, doi:10.2140/pjm.2004.213.253, https://doi.org/10.2140/pjm.2004.213.253
Yongchang Zhu, Modular invariance of characters of vertex operator algebras, Journal of the American Mathematical Society 9 (1996) 237-302, doi:10.1090/S0894-0347-96-00182-8, https://doi.org/10.1090/S0894-0347-96-00182-8
Ching Hung Lam, Hiroki Shimakura, Inertia groups and uniqueness of holomorphic vertex operator algebras, Transformation Groups 25 (2020), no. 4, 1223-1268, doi:10.1007/s00031-020-09570-8, arXiv:1804.02521, https://arxiv.org/abs/1804.02521
Jethro van Ekeren, Sven Möller, Nils R. Scheithauer, Dimension formulae in genus zero and uniqueness of vertex operator algebras, International Mathematics Research Notices, Volume 2020, Issue 7 (2020) 2145-2204, doi:10.1093/imrn/rny038, https://doi.org/10.1093/imrn/rny038
Jethro van Ekeren, Ching Hung Lam, Sven Möller, Hiroki Shimakura, Schellekens' list and the very strange formula, Advances in Mathematics 380 (2021) 107567, doi:10.1016/j.aim.2021.107567, arXiv:2005.12248, https://arxiv.org/abs/2005.12248
Koichi Betsumiya, Ching Hung Lam, Hiroki Shimakura, Automorphism groups and uniqueness of holomorphic vertex operator algebras of central charge 24, Communications in Mathematical Physics 399 (2022) 1773-1810, doi:10.1007/s00220-022-04585-6, arXiv:2203.15992, https://arxiv.org/abs/2203.15992
Sven Möller, Nils R. Scheithauer, A geometric classification of the holomorphic vertex operator algebras of central charge 24, Algebra & Number Theory 18 (2024), no. 10, 1891-1922, doi:10.2140/ant.2024.18.1891, arXiv:2112.12291, https://arxiv.org/abs/2112.12291
Gerald Höhn, On the genus of the moonshine module, arXiv:1708.05990 (2017), https://arxiv.org/abs/1708.05990
C. H. Lam, H. Yamauchi, A characterization of the moonshine vertex operator algebra by means of Virasoro frames, International Mathematics Research Notices (2010), doi:10.1093/imrn/rnm003, arXiv:math/0609718, https://arxiv.org/abs/math/0609718
Gerald Höhn, Sven Möller, Classification of self-dual vertex operator superalgebras of central charge at most 24, arXiv:2303.17190 (2023, revised 2024), https://arxiv.org/abs/2303.17190
Sven Möller, Brandon C. Rayhaun, Equivalence relations on vertex operator algebras, I: Genus, arXiv:2408.07117 (2024), https://arxiv.org/abs/2408.07117
Sven Möller, Brandon C. Rayhaun, Equivalence relations on vertex operator algebras, II: Witt equivalence and orbifolds, arXiv:2410.18166 (2024, revised 2025), https://arxiv.org/abs/2410.18166
Sebastiano Carpi, Giulio Codogni, Vertex operator algebras, partition functions and Teichmüller modular forms, arXiv:2605.26972 (2026), https://arxiv.org/abs/2605.26972