A class of vertex operator algebras generated by Virasoro vectors

Basic Information

• Paper ID: 2510.09397
• Title: A class of vertex operator algebras generated by Virasoro vectors
• Author: Runkang Feng (Shanghai Jiao Tong University)
• Classification: math.QA (Quantum Algebra)
• Publication Date: October 10, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.09397

Abstract

This paper investigates a class of simple OZ-type vertex operator algebras $V$ generated by simple Virasoro vectors $\omega^{ij}=\omega^{ji}$, $1\leq i<j\leq n$, $n\geq 3$. The paper proves that $V$ is uniquely determined by its Griess algebra $V_2$, and determines the automorphism group of $V$. Furthermore, necessary conditions for $V$ to be unitary are provided.

Research Background and Motivation

Problem Background

1. Importance of Virasoro vectors: Virasoro vectors are fundamental concepts in vertex operator algebra theory, with Ising vectors being particularly significant in both finite group theory and VOA theory
2. OZ-type vertex operator algebras: These algebras satisfy $V = \bigoplus_{n=0}^{\infty}V_n$ with $V_0 = \mathbb{C}1$, $V_1 = 0$, possessing special structural properties
3. Classification problem: Existing research primarily focuses on the case $m=1$ (Ising vectors), with systematic study of general $m\geq 2$ cases being lacking

Research Motivation

1. Generalization of known results: Extending the theory of Ising vectors ($m=1$) to general simple Virasoro vectors ($m\geq 2$)
2. Structural theory: Investigating the intrinsic structure of such VOAs, particularly the relationship between the Griess algebra and the entire algebra
3. Classification and characterization: Providing complete structural characterization and classification theory for such VOAs

Core Contributions

1. Linear Spanning Theorem: Proves that $V$ is linearly spanned by elements of the form $\omega^{i_1j_1}_{n_1}\omega^{i_2j_2}_{n_2}\cdots\omega^{i_sj_s}_{n_s}1$
2. Uniqueness Theorem: Proves that $V$ is uniquely determined by the structure of its Griess algebra $V_2$
3. Automorphism Group Characterization: Determines that $\text{Aut}V \cong S_n$ (the symmetric group)
4. Necessary Conditions for Unitarity: Provides necessary conditions for $V$ to be unitary: when $n=3$, $m\leq 3$; when $n\geq 4$, $m=2$

Detailed Methodology

Basic Setup

The paper studies OZ-type vertex operator algebras $V$ satisfying the following conditions:

(I) $V$ is simple and OZ-type, generated by the Griess algebra $V_2$

(II) $V_2$ is linearly spanned by Virasoro elements $\omega^{ij} = \omega^{ji}$, $1\leq i<j\leq n$, satisfying:

• Each $\omega^{ij}$ generates a vertex subalgebra isomorphic to $L(c_m, 0)$
• For distinct $1\leq i,j,k,l\leq n$: $\omega^{ij}_1\omega^{jl} = \frac{h^{(m)}_{m+1,1}}{2}(\omega^{ij} + \omega^{jl} - \omega^{il})$$\omega^{ij}_p\omega^{kl} = 0, \quad p\geq 0$$\omega^{ij}_3\omega^{ij} = \frac{c_m}{2}1, \quad \omega^{ij}_3\omega^{jl} = \frac{c_m h^{(m)}_{m+1,1}}{8}1$

where $c_m = 1 - \frac{6}{(m+2)(m+3)}$, $h^{(m)}_{r,s} = \frac{[r(m+3)-s(m+2)]^2-1}{4(m+2)(m+3)}$.

Key Technical Methods

1. Module Decomposition Technique

Utilizing representation theory of the Virasoro algebra, $V$ is decomposed as: $V = V_{[0]} \oplus V_{[h^{(m)}_{m+1,1}]}$ where $V_{[0]}$ is the direct sum of irreducible modules of weight 0, and $V_{[h^{(m)}_{m+1,1}]}$ is the direct sum of irreducible modules of weight $h^{(m)}_{m+1,1}$.

2. Inductive Proof Strategy

By induction on the weight of elements, the linear spanning theorem is proved. The key step is proving that for any homogeneous element $u\in U$, we have $\omega^{ij}_1 u \in U$.

3. Bilinear Form Analysis

Utilizing the unique non-degenerate bilinear form on VOA: $(1|1) = 1$$(v|Y(u,z)w) = (Y(e^{zL(1)}(-z^{-2})^{L(0)}u, z^{-1})v|w)$

Experimental Setup

Theoretical Verification

Since this is pure mathematical theoretical research, verification is conducted through:

1. Known Examples Verification:
   • When $m=1$, the theory reduces to known Ising vector theory
   • When $n=3, m=2$, it is proved that $V \cong M(A_2)$ (a specific VOA realization)
2. Consistency Checks: Verifying that all theoretical results are consistent with the known VOA theoretical framework

Experimental Results

Main Theorems

Theorem 3.3 (Linear Spanning Theorem)

$V$ is linearly spanned by elements of the form $\omega^{i_1j_1}_{n_1}\omega^{i_2j_2}_{n_2}\cdots\omega^{i_sj_s}_{n_s}1$, where $s\geq 0$, $n_k\leq 0$.

Theorem 3.4 (Uniqueness Theorem)

An OZ-type vertex operator algebra $V$ satisfying conditions (I)-(II) is uniquely determined by the structure of its Griess algebra $V_2$.

Theorem 3.9 (Automorphism Group Theorem)

$\text{Aut}V \cong S_n$ (the symmetric group on $n$ elements).

Proposition 4.1 (Necessary Conditions for Unitarity)

If $V$ is unitary, then:

• When $n=3$, $m\leq 3$
• When $n\geq 4$, $m=2$

Specific Computational Results

For positive definiteness of the Hermitian form, through computation of Gram matrix determinants:

• When $n=3$, positive definiteness is equivalent to $m\leq 3$
• When $n\geq 4$, positive definiteness is equivalent to $1\leq m\leq 2$

Related Work

Historical Development

1. Ising Vector Theory: Miyamoto Mi96 introduced Ising vectors and the σ-type concept
2. Classification Work: Matsuo Ma05 classified symplectic 3-transposition groups
3. Complete Classification: Jiang-Lam-Yamauchi JLY25 completed the full classification of OZ-type VOAs generated by σ-type Ising vectors

Contribution of This Paper

This paper generalizes the $m=1$ Ising vector theory to the general case $m\geq 2$, providing a more general theoretical framework.

Conclusions and Discussion

Main Conclusions

1. Establishes the fundamental structural theory of OZ-type VOAs generated by general Virasoro vectors
2. Proves that the Griess algebra completely determines the entire algebraic structure
3. Fully determines the structure of the automorphism group
4. Provides necessary conditions for unitarity

Limitations

1. Existence Problem: For cases $m\geq 2, n\geq 4$, concrete realizations have not yet been provided
2. Sufficiency: Whether the necessary conditions for unitarity are also sufficient remains undetermined
3. Construction Methods: Systematic methods for constructing VOAs satisfying the conditions are lacking

Future Directions

1. Finding concrete realizations for cases $m\geq 2, n\geq 4$
2. Investigating sufficient conditions for unitarity
3. Developing systematic construction theory

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete structural theoretical framework
2. Technical Innovation: Skillfully employs module decomposition and inductive methods
3. Deep Results: The uniqueness theorem reveals the fundamental importance of the Griess algebra
4. Generalization Value: Successfully generalizes known Ising vector theory

Weaknesses

1. Lack of Concrete Examples: Concrete examples are lacking for the general case
2. Existence Unresolved: The theoretical framework is established, but whether corresponding VOAs exist remains an open question
3. Limited Applications: Primarily theoretical contributions with limited practical applicability

Impact

1. Theoretical Contribution: Provides new research directions for VOA theory
2. Methodological Value: Demonstrates effective methods for studying general Virasoro vectors
3. Foundation for Future Research: Establishes theoretical foundations for seeking concrete realizations and applications

Applicable Scenarios

1. Mathematical Physics: Conformal field theory and vertex operator algebra theory
2. Algebraic Structures: Research on infinite-dimensional Lie algebras and related algebraic structures
3. Representation Theory: Provides new research objects for related representation theory problems

References

The paper cites important literature in the field, including:

• Miyamoto's pioneering work on Ising vectors
• Matsuo's classification of 3-transposition groups
• Jiang-Lam-Yamauchi's complete classification of OZ-type VOAs
• Foundational literature on vertex operator algebra theory

Overall Assessment: This is a high-quality theoretical mathematics paper that successfully generalizes known theory to more general cases, providing complete structural theory. While there is room for improvement in concrete constructions, it establishes a solid theoretical foundation for further development in the field.