Simple Affine Vertex Operator Algebras

• Simple affine vertex operator algebras are a class of VOAs constructed from affine Kac–Moody algebras, featuring a universal structure and a unique simple quotient at various levels.
• They leverage singular vector techniques and Zhu’s C2-algebra computations to uncover geometric structures like associated varieties, Dixmier sheets, and nilpotent orbit closures.
• Their construction informs module classification and quantum Hamiltonian reductions, with results applicable across Lie types including sl3 and Dℓ.

Simple affine vertex operator algebras (VOAs) are a distinguished class of vertex operator algebras constructed from affine Kac–Moody algebras. For a finite-dimensional simple Lie algebra $\mathfrak{g}$, the universal affine VOA $V^k(\mathfrak{g})$ is defined at any level $k \in \mathbb{C}$ and admits a unique simple graded quotient $L_k(\mathfrak{g})$. The structure of these algebras and their associated varieties, particularly at non-admissible or negative levels, is deeply intertwined with singular vector theory, Zhu’s $C_2$-algebras, and the geometry of nilpotent orbits and Dixmier sheets.

1. Structure of Universal and Simple Affine VOAs

Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$, equipped with an invariant bilinear form. The corresponding affine Kac–Moody algebra is

$$\widehat{\mathfrak{g}} = \mathfrak{g}[t,t^{-1}] \oplus \mathbb{C}K,$$

with commutator

$$[x \otimes t^m, y \otimes t^n] = [x, y] \otimes t^{m+n} + m (x|y) \delta_{m+n,0} K, \quad [K, \widehat{\mathfrak{g}}] = 0.$$

The universal affine VOA at level $k$ is constructed as

$V^k(\mathfrak{g})$0

with vacuum vector $V^k(\mathfrak{g})$1 and fields given by $V^k(\mathfrak{g})$2 for $V^k(\mathfrak{g})$3. There is a unique simple graded quotient

$V^k(\mathfrak{g})$4

where $V^k(\mathfrak{g})$5 is the maximal proper graded ideal. This quotient is customarily called the simple affine VOA at level $V^k(\mathfrak{g})$6.

For explicit construction in type $V^k(\mathfrak{g})$7 (e.g., $V^k(\mathfrak{g})$8), the universal VOA can also be written as an induced module using the standard triangular decomposition of $V^k(\mathfrak{g})$9: $k \in \mathbb{C}$0 The central charge is $k \in \mathbb{C}$1. The construction holds for all $k \in \mathbb{C}$2 (Jiang et al., 2024, Perse, 2012).

2. Singular Vectors and Generation of the Maximal Ideal

The structure of $k \in \mathbb{C}$3 is controlled by singular vectors. For certain levels $k \in \mathbb{C}$4, explicit singular vectors can be constructed whose $k \in \mathbb{C}$5-span generates the maximal ideal.

$k \in \mathbb{C}$6 at $k \in \mathbb{C}$7

For the series $k \in \mathbb{C}$8 with $k \in \mathbb{C}$9 and $L_k(\mathfrak{g})$0, $L_k(\mathfrak{g})$1 is not simple and its maximal ideal is generated by two independent singular vectors of conformal weight $L_k(\mathfrak{g})$2. Explicitly, up to lower-depth terms in the Li filtration, these generators take the forms

$L_k(\mathfrak{g})$3

$L_k(\mathfrak{g})$4

where $L_k(\mathfrak{g})$5, $L_k(\mathfrak{g})$6 are the simple roots, $L_k(\mathfrak{g})$7 is the highest root, and the weights are given explicitly with swapped root labels. No uniform closed-form expansion for arbitrary $L_k(\mathfrak{g})$8 exists, but the generators are characterized by the highest weights

$L_k(\mathfrak{g})$9

Generation of the maximal ideal is shown via transport from the $C_2$0 case (Adamović–Perše), use of Kashiwara–Tanisaki character formulas, and Fiebig’s category equivalences. Depth/degree analysis in the Li filtration confirms no further independent singular vectors arise (Jiang et al., 2024).

Type $C_2$1 at $C_2$2

For $C_2$3 and arbitrary $C_2$4, singular vectors

$C_2$5

exist in $C_2$6 at $C_2$7. For $C_2$8, $C_2$9, the automorphism group yields three independent singular vectors, fully generating $\mathfrak{g}$0 (Perse, 2012).

3. Associated Varieties and Zhu’s $\mathfrak{g}$1-Algebras

Given any VOA $\mathfrak{g}$2, Zhu’s $\mathfrak{g}$3-algebra is $\mathfrak{g}$4 with $\mathfrak{g}$5. The associated variety is defined as $\mathfrak{g}$6, a conic, $\mathfrak{g}$7-invariant subvariety of $\mathfrak{g}$8. For the universal VOA $\mathfrak{g}$9, so $\mathbb{C}$0. For quotients by ideals generated by singular vectors, the associated variety is determined by the vanishing of the symbols of these vectors in $\mathbb{C}$1.

For $\mathbb{C}$2 at $\mathbb{C}$3:

The ideal $\mathbb{C}$4 cuts out

$\mathbb{C}$5

which is the closure of the sheet $\mathbb{C}$6, a Dixmier sheet of rank 1. The nilpotent boundary is the minimal orbit $\mathbb{C}$7; $\mathbb{C}$8 (Jiang et al., 2024).

4. Simple Affine $\mathbb{C}$9-Algebras and Quantum Hamiltonian Reduction

For a nilpotent element $$\widehat{\mathfrak{g}} = \mathfrak{g}[t,t^{-1}] \oplus \mathbb{C}K,$$0 of $$\widehat{\mathfrak{g}} = \mathfrak{g}[t,t^{-1}] \oplus \mathbb{C}K,$$1, the (finite or affine) $$\widehat{\mathfrak{g}} = \mathfrak{g}[t,t^{-1}] \oplus \mathbb{C}K,$$2-algebra $$\widehat{\mathfrak{g}} = \mathfrak{g}[t,t^{-1}] \oplus \mathbb{C}K,$$3 is constructed via quantum Drinfeld–Sokolov (DS) reduction: $$\widehat{\mathfrak{g}} = \mathfrak{g}[t,t^{-1}] \oplus \mathbb{C}K,$$4 The associated variety is given by

$$\widehat{\mathfrak{g}} = \mathfrak{g}[t,t^{-1}] \oplus \mathbb{C}K,$$5

where $$\widehat{\mathfrak{g}} = \mathfrak{g}[t,t^{-1}] \oplus \mathbb{C}K,$$6 is the centralizer of $$\widehat{\mathfrak{g}} = \mathfrak{g}[t,t^{-1}] \oplus \mathbb{C}K,$$7 ($$\widehat{\mathfrak{g}} = \mathfrak{g}[t,t^{-1}] \oplus \mathbb{C}K,$$8 for an $$\widehat{\mathfrak{g}} = \mathfrak{g}[t,t^{-1}] \oplus \mathbb{C}K,$$9 triple).

Minimal Nilpotent $$[x \otimes t^m, y \otimes t^n] = [x, y] \otimes t^{m+n} + m (x|y) \delta_{m+n,0} K, \quad [K, \widehat{\mathfrak{g}}] = 0.$$0 for $$[x \otimes t^m, y \otimes t^n] = [x, y] \otimes t^{m+n} + m (x|y) \delta_{m+n,0} K, \quad [K, \widehat{\mathfrak{g}}] = 0.$$1

$$[x \otimes t^m, y \otimes t^n] = [x, y] \otimes t^{m+n} + m (x|y) \delta_{m+n,0} K, \quad [K, \widehat{\mathfrak{g}}] = 0.$$2

is a three-dimensional affine subset of the Slodowy slice at $$[x \otimes t^m, y \otimes t^n] = [x, y] \otimes t^{m+n} + m (x|y) \delta_{m+n,0} K, \quad [K, \widehat{\mathfrak{g}}] = 0.$$3. The variety exhibits infinitely many symplectic leaves, so $$[x \otimes t^m, y \otimes t^n] = [x, y] \otimes t^{m+n} + m (x|y) \delta_{m+n,0} K, \quad [K, \widehat{\mathfrak{g}}] = 0.$$4 is not quasi-lisse (Jiang et al., 2024).

Regular Nilpotent $$[x \otimes t^m, y \otimes t^n] = [x, y] \otimes t^{m+n} + m (x|y) \delta_{m+n,0} K, \quad [K, \widehat{\mathfrak{g}}] = 0.$$5

$$[x \otimes t^m, y \otimes t^n] = [x, y] \otimes t^{m+n} + m (x|y) \delta_{m+n,0} K, \quad [K, \widehat{\mathfrak{g}}] = 0.$$6

is a one-parameter nilpotent line isomorphic to $$[x \otimes t^m, y \otimes t^n] = [x, y] \otimes t^{m+n} + m (x|y) \delta_{m+n,0} K, \quad [K, \widehat{\mathfrak{g}}] = 0.$$7, again with infinitely many symplectic leaves and non-quasi-lisse structure.

5. Module Theory and Classification

Singular vector techniques, in conjunction with Zhu’s algebra, enable detailed classification of highest-weight modules for simple affine VOAs:

• For type $$[x \otimes t^m, y \otimes t^n] = [x, y] \otimes t^{m+n} + m (x|y) \delta_{m+n,0} K, \quad [K, \widehat{\mathfrak{g}}] = 0.$$8 at $$[x \otimes t^m, y \otimes t^n] = [x, y] \otimes t^{m+n} + m (x|y) \delta_{m+n,0} K, \quad [K, \widehat{\mathfrak{g}}] = 0.$$9, the only irreducible ordinary $k$0-module is the adjoint module itself. Among weak modules in the weight category $k$1, five are identified, corresponding to $k$2 and highest weights $k$3, $k$4, $k$5, $k$6, where $k$7 are fundamental weights. All ordinary modules are semisimple (Perse, 2012).
• For $k$8, the non-admissible levels $k$9 support simple affine VOAs $V^k(\mathfrak{g})$00 with associated varieties given by Dixmier sheets, confirming that such levels, while not rational, still yield “nice” geometric invariants (Jiang et al., 2024).

6. Broader Implications and Connections

These findings demonstrate that, beyond admissible or rational levels, certain negative or fractional levels lead to simple affine VOAs whose maximal ideals are generated by explicit singular vectors. The associated varieties are conic, typically dramatically smaller than the full nilpotent cone yet richer than a single nilpotent orbit, revealing intricate Poisson and geometric structure.

The connection with Poisson geometry (via associated varieties, Dixmier sheets, Slodowy slices), as well as representation-theoretic techniques (singular vectors, character formulae, block equivalence), are central. These results confirm and extend physical expectations from 4D/2D dualities, indicating that affine VOAs at non-admissible levels can produce distinguished invariants of geometric and physical significance.

The methodology, integrating Li-filtration, singular vector generation, and Zhu’s algebra computations, is robust and has been effective in type $V^k(\mathfrak{g})$01, $V^k(\mathfrak{g})$02, and beyond, with potential for further generalizations to other Lie types and levels (Jiang et al., 2024, Perse, 2012).

---

Summary of Key Structures in Simple Affine VOAs and Related Objects:

Algebra	Level $V^k(\mathfrak{g})$03	Maximal Ideal Generators	Associated Variety	Quasi-Lisse
$V^k(\mathfrak{g})$04	$V^k(\mathfrak{g})$05	2 singular vectors, weight $V^k(\mathfrak{g})$06	Dixmier sheet of rank 1 in $V^k(\mathfrak{g})$07	No
$V^k(\mathfrak{g})$08	as above	Quantum Hamiltonian reduction	3D affine in Slodowy slice at $V^k(\mathfrak{g})$09	No
$V^k(\mathfrak{g})$10	$V^k(\mathfrak{g})$11	3 singular vectors	Not specified	(—)

This synthesis underscores the central role of explicit singular vector construction, associated variety computation, and the geometric classification of simple affine vertex operator algebras across diverse types and levels (Jiang et al., 2024, Perse, 2012).