[论文解读] W-algebra W(2,2) and the vertex operator algebra L(1/2,0)\otimes L(1/2,0)

W. Zhang, Chongying Dong|ArXiv.org|Nov 28, 2007

Algebraic structures and combinatorial models参考文献 16被引用 13

一句话总结

该论文将顶点算子代数 $L(1/2,0)\otimes L(1/2,0)$ 描述为具有中心电荷 $c=1$ 且权 2 子空间维数为 2 的唯一有理、$C_2$-有限、单个的月光型顶点算子代数。它证明此类代数要么同构于该张量积，要么同构于 $W(2,2)$-代数模，且通过特征的模不变性证明仅张量积结构满足约束条件，从而解决了 $c=1$ 有理 VOAs 分类中的一个关键情形。

ABSTRACT

In this paper the W-algebra W(2,2) and its representation theory are studied. It is proved that a simple vertex operator algebra generated by two weight 2 vectors is either a vertex operator algebra associated to a highest irreducible W(2,2)-module or a tensor product of two irreducible Virasoro vertex operator algebras. Furthermore, any rational, C_2-cofinite simple vertex operator algebra whose weight 1 subspace is zero and weight 2 subspace is 2-dimensional, and with central charge c=1 is isomorphic to L(1/2,0)\otimes L(1/2,0).

研究动机与目标

• 对具有中心电荷 $c=1$ 且 $\dim V_2=2$ 的有理、$C_2$-有限、单个顶点算子代数的月光型进行分类。
• 以中心电荷和低权子空间维数为条件，建立 $L(1/2,0)\otimes L(1/2,0)$ 的结构表征。
• 探索 $W(2,2)$-代数在生成新类顶点算子代数及其表示理论中的作用。
• 通过其子代数，特别是 $L(1/2,0)^{\otimes 48}$，为理解月光顶点算子代数 $V^{\natural}$ 提供基础。

提出的方法

• 利用 $W(2,2)$-代数作为 Virasoro 代数的推广，通过最高权模构造新的顶点算子代数。
• 应用 Verma 模上的双线性型，以确定 $W(2,2)$ 的不可约商模 $L(c,h_1,h_2)$。
• 利用有理 VOAs 的分次特征的模不变性来控制维数的增长。
• 分析不可约模的 $q$-特征，并与 Dedekind eta 函数比较，推导出多项式增长约束。
• 使用椭圆曲线技术求解由中心电荷和最高权条件产生的丢番图方程。
• 通过反证法证明，仅当 $c_i = 1/2$ 时，$c=1$ 且 $\dim V_2=2$ 的模不变性与代数约束才被满足。

实验结果

研究问题

• RQ1 由两个权 2 向量生成的、满足 $V_1=0$ 且 $c=1$ 的单个顶点算子代数的结构是什么？
• RQ2 在具有中心电荷和 $V_1$、$V_2$ 维数的有理、$C_2$-有限 VOAs 中，$L(1/2,0)\otimes L(1/2,0)$ 是否能被唯一表征？
• RQ3 $W(2,2)$ 与 Virasoro 代数的表示理论在有理 VOAs 构造中的相互作用如何？
• RQ4 特征的模不变性在约束具有 $c=1$ 的有理 VOAs 可能结构中起什么作用？
• RQ5 $L(1/2,0)\otimes L(1/2,0)$ 是否是唯一满足 $c=\tilde{c}=1$、$V_1=0$ 且 $\dim V_2=2$ 的此类 VOA？

主要发现

• 任何具有 $c=1$、$V_1=0$ 且 $\dim V_2=2$ 的有理、$C_2$-有限、单个顶点算子代数都同构于 $L(1/2,0)\otimes L(1/2,0)$。
• 此类 VOA 中由 $V_2$ 生成的顶点算子子代数同构于 $L(1/2,0)\otimes L(1/2,0)$，其恰好有 9 个非等价不可约模。
• 两个分量的中心电荷 $c_1$ 和 $c_2$ 必须均为 $1/2$，这是通过椭圆曲线分析求解丢番图方程得出的。
• $L(c_2,0)$ 的 $q$-特征系数无法满足多项式增长，除非 $c_2=1/2$，这迫使两个分量的中心电荷均为 $1/2$。
• 由于 $h_1 + h_2 \in \mathbb{Z}$ 的条件，只有模块 $L(1/2,0)\otimes L(1/2,0)$ 和 $L(1/2,1/2)\otimes L(1/2,1/2)$ 可以作为 $L(1/2,0)\otimes L(1/2,0)$-模出现在 $V$ 中。
• 该猜想得到支持，因为所有已知的具有 $c=\tilde{c}=1$ 且 $\dim V_2=2$ 的有理 VOAs 都同构于 $L(1/2,0)\otimes L(1/2,0)$，表明分类是完整的。