2025-11-10T02:59:02.104005

A class of vertex operator algebras generated by Virasoro vectors

Feng

In this paper, we study a class of simple OZ-type vertex operator algebras $V$ generated by simple Virasoro vectors $Ï^{ij}=Ï^{ji}$, $1\leq i<j\leq n$, $n\geq 3$. We prove that $V$ is uniquely determined by its Griess algebra $V_2$. The automorphism group of $V$ is also determined. Furthermore, we give the necessary conditions for $V$ to be unitary.

academic

Virasoro ベクトルで生成される頂点作用素代数のクラス

基本情報

論文ID: 2510.09397
タイトル: A class of vertex operator algebras generated by Virasoro vectors
著者: Runkang Feng（上海交通大学）
分類: math.QA（量子代数）
発表日時: 2025年10月10日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2510.09397

要旨

本論文は、単純Virasoro ベクトル $\omega^{ij}=\omega^{ji}$ , $1\leq i<j\leq n$ , $n\geq 3$ で生成される単純OZ型頂点作用素代数 $V$ のクラスを研究する。 $V$ がそのGriess代数 $V_2$ によって一意に決定されることを証明し、 $V$ の自己同型群を決定する。さらに、 $V$ がユニタリであるための必要条件を与える。

研究背景と動機

問題背景

Virasoro ベクトルの重要性: Virasoro ベクトルは頂点作用素代数理論の中核概念であり、特にIsing ベクトルは有限群論とVOA理論の両方で重要な役割を果たす
OZ型頂点作用素代数: これらの代数は $V = \bigoplus_{n=0}^{\infty}V_n$ かつ $V_0 = \mathbb{C}1$ , $V_1 = 0$ を満たし、特殊な構造特性を有する
分類問題: 既存研究は主に $m=1$ の場合（Ising ベクトル）に集中しており、一般的な $m\geq 2$ の場合は体系的研究が不足している

研究動機

既知結果の一般化: Ising ベクトル（ $m=1$ ）の理論を一般的な単純Virasoro ベクトル（ $m\geq 2$ ）に拡張する
構造理論: このクラスのVOAの内在構造、特にGriess代数と全体代数の関係を研究する
分類と特性付け: このクラスのVOAに対して完全な構造特性付けと分類理論を提供する

核心的貢献

線形張成定理: $V$ が $\omega^{i_1j_1}_{n_1}\omega^{i_2j_2}_{n_2}\cdots\omega^{i_sj_s}_{n_s}1$ の形の元素によって線形張成されることを証明
一意性定理: $V$ がそのGriess代数 $V_2$ の構造によって一意に決定されることを証明
自己同型群の特性付け: $\text{Aut}V \cong S_n$ （対称群）を決定
ユニタリ性の必要条件: $V$ がユニタリであるための必要条件を与える： $n=3$ のとき $m\leq 3$ ； $n\geq 4$ のとき $m=2$

方法の詳細

基本設定

以下の条件を満たすOZ型頂点作用素代数 $V$ を研究する：

(I) $V$ は単純で、OZ型であり、Griess代数 $V_2$ によって生成される

(II) $V_2$ はVirasoro元素 $\omega^{ij} = \omega^{ji}$ , $1\leq i<j\leq n$ によって線形張成され、以下を満たす：

各 $\omega^{ij}$ が生成する頂点部分代数は $L(c_m, 0)$ と同型
異なる $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$

ここで $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)}$

主要な技術的方法

1. 加群分解技術

Virasoro代数の表現論を利用して、 $V$ を以下のように分解： $V = V_{[0]} \oplus V_{[h^{(m)}_{m+1,1}]}$ ここで $V_{[0]}$ は重み0の既約加群の直和、 $V_{[h^{(m)}_{m+1,1}]}$ は重み $h^{(m)}_{m+1,1}$ の既約加群の直和