[论文解读] Fusion rules for $\mathbb{Z}_{2}$-orbifolds of affine and parafermion vertex operator algebras

Cuipo Jiang, Qing Wang|arXiv (Cornell University)|Apr 3, 2019

Algebraic structures and combinatorial models参考文献 30被引用 5

一句话总结

本文完全确定了 parafermion 顶点算子代数 $K(sl_2,k)$ 及其仿射对应物 $L({sl}_2,k)$ 的 $Z_2$-对称化（orbifold）的融合规则。通过分类对称化仿射代数的不可约模，并利用 $\triangle$-算子构造的互化算子，作者推导出明确的融合规则与量子维数，证明了所有不可约 $K_0^\sigma$-模均为自对偶。关键成果是在此设定下，对 $Z_2$-对称化的融合规则实现了完整的代数分类。

ABSTRACT

This paper is about the orbifold theory of affine and parafermion vertex operator algebras. It is known that the parafermion vertex operator algebra $K(sl_2,k)$ associated to the integrable highest weight modules for the affine Kac-Moody algebra $A_1^{(1)}$ is the building block of the general parafermion vertex operator $K(\mathfrak{g},k)$ for any finite dimensional simple Lie algebra $\mathfrak{g}$ and any positive integer $k$. We first classify the irreducible modules of $\mathbb{Z}_{2}$-orbifold of the simple affine vertex operator algebra of type $A_1^{(1)}$ and determine their fusion rules. Then we study the representations of the $\mathbb{Z}_{2}$-orbifold of the parafermion vertex operator algebra $K(sl_2,k)$, we give the quantum dimensions, and more technically, fusion rules for the $\mathbb{Z}_{2}$-orbifold of the parafermion vertex operator algebra $K(sl_2,k)$ are completely determined.

研究动机与目标

• 对简单仿射顶点算子代数 $L(\r{sl}_2,k,0)$ 的 $\r Z_2$-对称化进行不可约模的分类并确定其融合规则。
• 研究 $\r Z_2$-对称化 parafermion 顶点算子代数 $K_0^\sigma = K(sl_2,k)^\sigma$ 的表示理论。
• 通过模分解与晶格实现方法，计算量子维数并完全确定 $K_0^\sigma$ 的融合规则。
• 证明所有不可约 $K_0^\sigma$-模均为自对偶，确立其关键结构性质。

提出的方法

• 通过 $\r Z_2$-对称化理论，将 $L(k,0)^\sigma$ 的不可约模分类为未扭与扭两类。
• 利用 Li 提出的 $\r\triangle$-算子，构造未扭与扭的 $L(k,0)$-模之间的互化算子。
• 利用融合规则的对称性质，将计算简化为两个关键融合积：未扭–未扭与未扭–扭。
• 利用 $K_0$-模的晶格实现与最低权分解，分析 $K_0^\sigma$-模。
• 通过将 $L(k,i)$ 分解为子代数 $V_{\mathbb{Z}\gamma} \subseteq L(k,0)$ 上的模，研究融合规则。
• 利用量子维数与自对偶性论证，区分非等价模并验证融合规则。

实验结果

研究问题

• RQ1 $\r Z_2$-对称化仿射顶点算子代数 $L(\r{sl}_2,k,0)$ 的不可约模是什么？
• RQ2 如何完全确定 parafermion 顶点算子代数 $K_0^\sigma$ 的 $\r Z_2$-对称化之融合规则？
• RQ3 不可约 $K_0^\sigma$-模的量子维数是什么？它们如何约束融合规则？
• RQ4 所有不可约 $K_0^\sigma$-模是否均为自对偶？其支持此性质的结构特征是什么？

主要发现

• $L(k,0)^\sigma$ 的不可约模被分类为两类：分别来自 $L(k,0)$-模与 $\r Z_2$-扭 $L(k,0)$-模的未扭与扭模。
• 通过 $\r\triangle$-算子与对称融合性质，$L(k,0)^\sigma$ 的融合规则被完全确定，计算简化为两个基本融合积。
• $K_0^\sigma$ 中 $(M^{k/2,0})^+$ 的量子维数为 $\frac{\sqrt{k}}{2} \cdot \left(\frac{\sin \frac{\pi(k/2+1)}{k+2}}{\sin \frac{\pi}{k+2}}\right)^2$，构成一个关键不变量。
• 所有不可约 $K_0^\sigma$-模均为自对偶，经由最低权匹配与对偶模结构验证。
• 当 $k=4$ 时，对称化 $K_0^\sigma$ 同构于 $V_{\mathbb{Z}\alpha}^+$，其中 $\langle\alpha,\alpha\rangle=24$，且其融合规则与已知的 $V_L^+$ 对称化结果一致。
• 融合积 $(M^{k/2,0})^+ \boxtimes W(k,k/2)^+ = (M^{k/2,0})^+ \boxtimes \widetilde{W(k,k/2)}^+$ 被显式计算并经由模分解验证。