OZ-Type Vertex Operator Algebras

• OZ-Type Vertex Operator Algebras are graded structures with V₀ = ℂ1, V₁ = 0, and a nonassociative Griess algebra (V₂) generated by simple Virasoro vectors.
• Their rigorous classification relies on fusion relations, mode-product constraints, and invariant bilinear forms that uniquely determine the entire algebraic structure.
• The automorphism group is isomorphic to the symmetric group Sₙ, linking these VOAs to moonshine phenomena and modular invariance in chiral conformal field theories.

An OZ-Type Vertex Operator Algebra (VOA) is a simple, graded algebraic structure of “moonshine type” distinguished by a trivial weight-one subspace ($V_1 = 0$) and a unique vacuum ($V_0 = \mathbb{C}\mathbf{1}$), with the weight-two space ($V_2$), called the Griess algebra, as its primary nontrivial component. The class considered in (Feng, 10 Oct 2025) consists of VOAs generated by a finite family of simple Virasoro vectors $$\{\omega^{ij} = \omega^{ji}\mid 1 \leq i < j \leq n\}$$ for $n \geq 3$, enforcing strong algebraic constraints that completely determine the VOA's structure, automorphism group, and unitarity properties.

1. Structural Definition and Generating Virasoro Vectors

This class of VOAs has a grading $V = \bigoplus_{k=0}^\infty V_k$ where $V_0 = \mathbb{C}\mathbf{1}$, $V_1 = 0$, and $V_2$ is a commutative, nonassociative algebra called the Griess algebra. The generators $\omega^{ij}$ are simple Virasoro vectors, each spanning a Virasoro subalgebra isomorphic to $V_0 = \mathbb{C}\mathbf{1}$0 with central charge

$V_0 = \mathbb{C}\mathbf{1}$1

The conformal weights are specified by

$V_0 = \mathbb{C}\mathbf{1}$2

in particular $V_0 = \mathbb{C}\mathbf{1}$3.

These Virasoro vectors form the sole generators, satisfying the fusion relations

$V_0 = \mathbb{C}\mathbf{1}$4

and high-mode products, such as $V_0 = \mathbb{C}\mathbf{1}$5 for $V_0 = \mathbb{C}\mathbf{1}$6 when indices are distinct, enforce further algebraic rigidity.

The full conformal vector $V_0 = \mathbb{C}\mathbf{1}$7 of $V_0 = \mathbb{C}\mathbf{1}$8 is a fixed linear combination: $V_0 = \mathbb{C}\mathbf{1}$9 This uniquely specifies the Virasoro structure for the entire algebra.

2. Spanning and Uniqueness via the Griess Algebra

Every element of $V_2$0 is expressible as a linear combination of iterated modes applied to the vacuum: $V_2$1 Theorem 3.1 (Feng, 10 Oct 2025) establishes that these generators span $V_2$2.

The fundamental uniqueness property is that the VOA's entire algebraic structure is determined by the Griess algebra $V_2$3. Theorem 3.2 proves that any VOA with a Griess algebra satisfying these prescribed relations—particularly those between the $V_2$4—must be isomorphic to $V_2$5. This reduces the classification to studying $V_2$6, a finite-dimensional algebra, and is a hallmark of OZ-type structure.

3. Automorphism Group: The Symmetric Group $V_2$7

The automorphism group is isomorphic to the symmetric group $V_2$8 on $V_2$9 letters. The construction exploits Miyamoto involutions $$\{\omega^{ij} = \omega^{ji}\mid 1 \leq i < j \leq n\}$$0, acting as: $$\{\omega^{ij} = \omega^{ji}\mid 1 \leq i < j \leq n\}$$1 where $$\{\omega^{ij} = \omega^{ji}\mid 1 \leq i < j \leq n\}$$2 are isotypical components under $$\{\omega^{ij} = \omega^{ji}\mid 1 \leq i < j \leq n\}$$3 generated by $$\{\omega^{ij} = \omega^{ji}\mid 1 \leq i < j \leq n\}$$4. These involutions implement transpositions among the generators ($$\{\omega^{ij} = \omega^{ji}\mid 1 \leq i < j \leq n\}$$5 swaps $$\{\omega^{ij} = \omega^{ji}\mid 1 \leq i < j \leq n\}$$6, etc.), and their group-theoretic commutation and braid-type relations conform precisely to $$\{\omega^{ij} = \omega^{ji}\mid 1 \leq i < j \leq n\}$$7. Consequently, all automorphisms permute the generator set, and no larger group is compatible with the defining VOA relations [(Feng, 10 Oct 2025), Thm 3.4].

4. Explicit Algebraic Relations and Mathematical Formulations

The algebraic backbone of this class is the fusion and mode relations among Virasoro vectors:

• For distinct $$\{\omega^{ij} = \omega^{ji}\mid 1 \leq i < j \leq n\}$$8:

$$\{\omega^{ij} = \omega^{ji}\mid 1 \leq i < j \leq n\}$$9

• Vanishing higher modes:

$n \geq 3$0

• Norm and inner products in $n \geq 3$1:

$n \geq 3$2

with explicit numeric forms (e.g., $n \geq 3$3 yields $n \geq 3$4).

These relations ensure that, once $n \geq 3$5 is specified, all higher VOA relations and module structures are rigidly fixed.

5. Unitarity Constraints on Parameters

Unitarity requires the existence of a positive-definite Hermitian form compatible with the VOA structure and the conjugate linear involutions. For the generators,

$n \geq 3$6

and the Gram matrix formed by these inner products must be positive-definite.

The determinant analysis yields explicit restrictions:

• For $n \geq 3$7, $n \geq 3$8 is necessary,
• For $n \geq 3$9, only $V = \bigoplus_{k=0}^\infty V_k$0 yields a unitary algebra.

Therefore, only specific values of $V = \bigoplus_{k=0}^\infty V_k$1 and $V = \bigoplus_{k=0}^\infty V_k$2 can produce an OZ-type VOA in this family that is unitary.

6. Context and Implications

The methodology implemented leverages spanning the VOA using the low-weight subspace, enforcing mode-product relations, and using the invariant bilinear form and Miyamoto involutions to capture automorphism symmetries (Feng, 10 Oct 2025). This mirrors group-theoretic constructions in moonshine-type VOAs, where the Griess algebra often reflects significant underlying symmetry (Monster, symmetric group, etc). The realization that unitary representatives exist only for tightly constrained parameter values indicates strong rigidity. This class therefore provides concrete models for studies of moonshine phenomenon, modular invariance, and chiral CFT classification programs, and is directly relevant for understanding holomorphic and self-dual chiral algebras.

Table of Key Structural Data

Generator Structure	Defining Relation	Automorphism Group
$V = \bigoplus_{k=0}^\infty V_k$3, $V = \bigoplus_{k=0}^\infty V_k$4	$V = \bigoplus_{k=0}^\infty V_k$5	$V = \bigoplus_{k=0}^\infty V_k$6

The entirety of the VOA's higher weight structure, correlation functions, automorphism group, and unitarity can be deduced from the Gram matrix and fusion relations in $V = \bigoplus_{k=0}^\infty V_k$7, underscoring the significance of the Griess algebra in OZ-type vertex operator algebra theory.