[论文解读] A characterization of vertex operator algebras $V_{Zα}^{+}$: I

Chongying Dong, Cuipo Jiang|arXiv (Cornell University)|Oct 9, 2011

Algebraic structures and combinatorial models参考文献 19被引用 6

一句话总结

本文通过低权子空间的维数，对满足 $(\alpha,\alpha)/2$ 不是完全平方数的秩一格的顶点算子代数 $V_{\mathbb{Z}\alpha}^+$ 进行了刻画。研究证明，此类 VOAs 由其表示论性质唯一确定，特别是存在一个非平方权的本质量向量；并证明了任意具有这些特征的中心荷为 1 的有理顶点算子代数均同构于 $V_{\mathbb{Z}\alpha}^+$。该研究为中心荷为 1 的有理 VOAs 的分类做出了贡献。

ABSTRACT

A characterization of vertex operator algebra V_{Zα}^+ with (α,α)/2 not being a perfect square is given in terms of dimensions of homogeneous subspaces of small weights. This result contributes to the classification of rational vertex operator algebras of central charge 1.

研究动机与目标

• 对满足 $(\alpha,\alpha)/2$ 不是完全平方数的秩一格的顶点算子代数 $V_{\mathbb{Z}\alpha}^+$ 进行刻画。
• 在特定结构条件下，建立中心荷为 1 的有理顶点算子代数的完整分类。
• 证明此类 VOAs 由其低权齐次子空间的维数以及非平方权本质量向量的存在性唯一确定。
• 将已知的 $V_{\mathbb{Z}\alpha}^+$ 的刻画从 $(\alpha,\alpha)=4$ 的情形推广至更广泛的格类。

提出的方法

• 利用 $L(1,0)$ 的 Virasoro 代数与 $W$-代数的融合法则，识别出一个同构于 $M(1)^+$ 的子代数。
• 应用 $L(1,0)$ 与 $M(1)^+$ 的融合法则，证明 VOA $V$ 是 $M(1)^+$ 的完全可约模。
• 通过在 $M(1)^+$ 上添加一个权为 $k$ 的本质量向量 $F$，构造一个同构于 $V_{\mathbb{Z}\alpha}^+$ 的子代数，其中 $k$ 为 $F$ 的权。
• 通过归纳法将 $M(1)^+$-模同构 $\sigma$ 从 $P^{(r)}$ 延拓至 $Q^{(r)}$，并保持顶点算子代数结构。
• 利用内积恒等式与递推关系，验证 $\sigma$ 保持顶点算子代数乘积 $u_n v$。
• 通过 $V^0 = M(1)^+ \oplus \bigoplus_{m \in \mathbb{Z}_+} V^{(m^2 k)}$ 的结构以及 $V_{\mathbb{Z}\alpha}^+$-模中最低权为 0 和 1 的不可约模的唯一性，证明同构关系。

实验结果

研究问题

• RQ1 在何种条件下，中心荷为 1 的有理顶点算子代数同构于 $V_{\mathbb{Z}\alpha}^+$？
• RQ2 非平方权本质量向量的存在如何影响 $V_{\mathbb{Z}\alpha}^+$ 的结构？
• RQ3 能否通过融合法则在一般中心荷为 1 的有理 VOA 中识别出子代数 $M(1)^+$？
• RQ4 低权子空间的维数在刻画 $V_{\mathbb{Z}\alpha}^+$ 中起何种作用？
• RQ5 将 $V_{\mathbb{Z}\alpha}^+$ 分解为 $M(1)^+$-模时，如何限制 VOA 的同构类型？

主要发现

• 若 VOA $V$ 是有理的、中心荷为 1，且包含一个非平方权的本质量向量，则 $V$ 同构于 $V_{\mathbb{Z}\alpha}^+$。
• 子代数 $M(1)^+$ 通过 $L(1,0)$ 的融合法则以及存在一个权为 4 的本质量向量 $J$，被嵌入到 $V$ 中。
• $V$ 是 $M(1)^+$ 的完全可约模，该结论由融合法则分析得出。
• $V_{\mathbb{Z}\alpha}^+$ 到 $V$ 的同构 $\sigma$ 保持顶点算子代数结构，从而保证 $V \cong V_{\mathbb{Z}\alpha}^+$。
• 假设 $\dim V_0 = 1$ 且 $V_1 = 0$，则必有 $V = V_{\mathbb{Z}\alpha}^+$，原因在于 $V_{\mathbb{Z}\alpha}^+$-模中最低权为 0 和 1 的不可约模具有唯一性。
• 证明依赖于 $M(1)^+$-模同构的归纳延拓，以及在顶点算子乘积下内积保持性的验证。