[论文解读] A unitary vertex operator algebra arising from the 3C-algebra

Jiao Xiangyu, Wen Zheng|arXiv (Cornell University)|Jan 1, 2026

Algebraic structures and combinatorial models被引用 0

一句话总结

作者通过3C代数的 coset 实现给出 VOA L(21/22,0)⊕L(21/22,8) 及其所有不可约普通模的幺正性代数证明，并在模态张量范畴中的对易子代数的通用融合规则结果下，建立一个通用的融合规则框架，并将其应用于确定所有不可约 L(21/22,0)⊕L(21/22,8) 模的融合规则。

ABSTRACT

We give an algebraic proof of the unitarity of the vertex operator algebra $L(21/22, 0)\oplus L(21/22, 8)$ and of all its irreducible ordinary modules, using a coset realization arising from the $3C$-algebra. Motivated by the structure of the resulting module decomposition, we establish a general result on fusion rules for commutant vertex operator subalgebras within the framework of modular tensor categories. As an application of this general result, we explicitly determine the fusion rules of all irreducible $L(21/22, 0)\oplus L(21/22, 8)$-modules.

研究动机与目标

• 在共形场理论与运算代数框架相关背景下，动机化研究幺正顶点算子代数（VOAs）及其模的意义。
• 提供对 VOA L(21/22,0)⊕L(21/22,8) 及其不可约模的独立代数证明，利用来自3C代数的 coset 实现。
• 在模态张量范畴中为对易子代数开发一个通用的融合规则框架，并将其应用于所讨论的特定 VOA。

提出的方法

• 回顾并利用3C-代数的构造及其不可约模，如前人工作所述。
• 证明 coset U_{3C} 的幺正性，并确定其对易子所产生的子代数，使该对易子之合成产生 L(21/22,0)⊕L(21/22,8)。
• 通过 coset 与不变量厄米型形式证明 L(21/22,0)⊕L(21/22,8) 及其所有不可约模的幺正性。
• 建立模态张量范畴中对易子代数的通用融合规则结果，利用 Kac–Wakimoto 型分析与 Müger 中心化子（centralizers）的思想。
• 根据普遍框架计算不可约 L(21/22,0)⊕L(21/22,8)-模的融合规则，包括显式分解和可容许三重条件。

实验结果

研究问题

• RQ1 该 VOA L(21/22,0)⊕L(21/22,8) 是否幺正，其不可约模作为 V-模是否也幺正？
• RQ2 是否可以建立并应用一个一般的模态张量范畴中对易子代数的融合规则原理，以确定 L(21/22,0)⊕L(21/22,8) 的所有不可约模的融合规则？
• RQ3 来自3C-代数 coset 实现的显式模分解结构对幺正性和融合规则有何影响？
• RQ4 U_{3C}-模的融合规则如何转化为扩展 VOA 模的融合规则？

主要发现

• VOA L(21/22,0)⊕L(21/22,8) 具有幺正性（存在不变的正定厄米型形式）。
• 所有不可约的 L(21/22,0)⊕L(21/22,8)-模都是幺正的。
• 来自3C-代数的具体 coset 实现给出分解 U_{3C} ≅ L(1/2,0)⊗L(21/22,0) ⊕ L(1/2,0)⊗L(21/22,8) ⊕ ...，这是幺正性和模结构的基础。
• 在模态张量范畴中对易子代数的一般融合规则结果得到确立，建立了 M^{(i,α)} 模与 M^{i} 与 W^{α}之间的关系：N_{M^{(i,α)},M^{(j,β)}}^{M^{(k,γ)}} = N_{M^{i},M^{j}}^{M^{k}} N_{W^{α},W^{β}}^{W^{γ}}。
• 不可约 L(21/22,0)⊕L(21/22,8)-模的融合规则被明确确定，例如命题 4.12 给出族群模 ℳ_{i,l} 的综合融合规则。
• 幺正性与融合结果是在模态张量范畴框架内推导的，利用 coset 理论、KW 集和 Müger 中心化子的方法。