[Paper Review] Rational Vertex Operator Algebras and the Effective Central Charge

Chongying Dong, Geoffrey Mason|ArXiv.org|Jan 31, 2002

Algebraic structures and combinatorial modelsMathematics16 references21 citations

TL;DR

This paper establishes that the Lie algebra of weight-one states in a strongly rational vertex operator algebra (RVOA) is reductive, and its Lie rank $ l $ is bounded above by the effective central charge $ \tilde{c} $. The key contribution is a characterization of lattice VOAs via the equality $ \tilde{c} = l = c $, and holomorphic lattice VOAs via $ l = c $, using modular properties of characters and vector-valued modular forms to bypass the need for full modular invariance.

ABSTRACT

We establish that the Lie algebra of weight one states in a (strongly) rational vertex operator algebra is reductive, and that its Lie rank is bounded above by the effective central charge. We show that lattice vertex operator algebras may be characterized by the equalities of the effective central charge, the Lie rank and the central charge, and in particular holomorphic lattice theories may be characterized among all holomorphic vertex operator algebras by the equality of the Lie rank and the central charge.

Motivation & Objective

• To establish structural constraints on the Lie algebra of weight-one states in strongly rational VOAs.
• To prove that the Lie rank $ l $ of $ V_1 $ is bounded above by the effective central charge $ \tilde{c} $.
• To characterize lattice vertex operator algebras via the equality $ \tilde{c} = l = c $, and holomorphic lattice VOAs via $ l = c $.
• To use vector-valued modular forms as a substitute for full modular invariance in character theory.
• To provide a rigorous mathematical foundation for Schellekens' classification of holomorphic $ c=24 $ VOAs.

Proposed method

• Analyzes the graded characters of RVOA modules as vector-valued modular forms, leveraging known growth bounds on Fourier coefficients.
• Applies results from [KM] on polynomial growth of coefficients in holomorphic vector-valued modular forms to constrain the structure of $ V_1 $.
• Uses the decomposition $ V = M(1) \otimes \Omega_V $ to relate the Virasoro subalgebra to the weight-one space $ V_1 $.
• Applies the Verma module construction and classification of $ L(c,0) $ modules to analyze the Virasoro quotient structure.
• Employs the uniqueness of simple current extensions (Corollary 5.4) to reconstruct the lattice $ L $ from the module structure.
• Uses the fact that $ \tilde{c} = c - 24\lambda_{\min} $ to define the effective central charge and relate it to conformal weights and module characters.

Experimental results

Research questions

• RQ1 What is the Lie algebra structure of the weight-one subspace $ V_1 $ in a strongly rational vertex operator algebra?
• RQ2 How does the Lie rank $ l $ of $ V_1 $ relate to the effective central charge $ \tilde{c} $?
• RQ3 Can lattice vertex operator algebras be characterized by the equality $ \tilde{c} = l = c $?
• RQ4 Is the condition $ l = c $ sufficient to characterize holomorphic lattice VOAs among all holomorphic VOAs?
• RQ5 Can the modular invariance problem for RVOA characters be circumvented using vector-valued modular forms?

Key findings

• The Lie algebra $ V_1 $ in a strongly rational vertex operator algebra is reductive, and every $ V $-module is completely reducible as a $ V_1 $-module.
• The Lie rank $ l $ of $ V_1 $ satisfies $ l \leq \tilde{c} $, with equality if and only if $ V $ is isomorphic to a lattice vertex operator algebra $ V_L $.
• Lattice VOAs are characterized by the condition $ \tilde{c} = l = c $, and holomorphic lattice VOAs by $ l = c $.
• The effective central charge $ \tilde{c} $ is always non-negative, and strictly positive if $ V $ is non-trivial.
• The proof uses the polynomial growth of Fourier coefficients of vector-valued modular forms to rule out non-lattice cases.
• The result confirms the completeness of Schellekens' list of holomorphic $ c=24 $ VOAs with $ l=24 $, which are precisely the Niemeier lattice VOAs.