[论文解读] Some applications and constructions of intertwining operators in LCFT

Dražen Adamović, Antun Milas|arXiv (Cornell University)|May 18, 2016

Algebraic structures and combinatorial models参考文献 15被引用 9

一句话总结

本文通过使用一种新颖的形变实现，证明了单重顶点代数 $ω(2)$ 的融合规则猜想，从而确立了循环群 orbifold 顶点代数 $ω(2)^{A_m}$ 的不可约模的分类。通过该实现构造互作用算子，作者确认了当 $p=2$ 时的融合规则为 $M_{t_1} \times M_{t_2} = M_{t_1+t_2} \oplus M_{t_1+t_2-2}$，这表明 $\mathcal{W}(2)^{A_m}$ 的模分类是完备的，解决了长期存在的一个猜想。

ABSTRACT

We discuss some applications of fusion rules and intertwining operators in the representation theory of cyclic orbifolds of the triplet vertex operator algebra. We prove that the classification of irreducible modules for the orbifold vertex algebra W(p)^{A_m} follows from a conjectural fusion rules formula for the singlet vertex algebra modules. In the p=2 case, we computed fusion rules for the irreducible singlet vertex algebra modules by using intertwining operators. This result implies the classification of irreducible modules for W(2)^{A_m}, conjectured previously in [4]. The main technical tool is a new deformed realization of the triplet and singlet vertex algebras, which is used to construct certain intertwining operators that can not be detected by using standard free field realizations.

研究动机与目标

• 通过单重顶点代数的融合规则，解决关于循环群 orbifold $\mathcal{W}(p)^{A_m}$ 的不可约模分类的猜想。
• 为 $p=2$ 和 $p=3$ 的三元组、单重和二元组顶点代数建立一种新的形变实现，从而能够构造此前未被探测到的互作用算子。
• 通过构造显式的互作用算子，证明某些单重模在广义意义上是简单电流。
• 为 $\overline{M(1)}$ 在 $p=2$ 时的融合规则猜想提供严格证明，确认了先前工作中的关键预测。

提出的方法

• 开发一种新的二元组顶点代数 $\mathcal{A}(p)$ 的形变实现，该实现可扩展至 $p=2,3$ 时的单重 $\overline{M(1)}$ 和三元组 $\mathcal{W}(p)$ 代数，并推测对所有 $p\geq4$ 成立。
• 将单重模 $M_t$ 实现为海森堡 Fock 模 $M(1, \frac{t}{2p}\alpha)$ 的不可约子商模，从而实现互作用算子的显式计算。
• 通过在更大的顶点代数 $U = M_{\alpha_1}(1) \otimes V_{\mathbb{Z}2\alpha_2}$ 中的自由场实现，构造类型为 ${M_{t_1+t_2} \choose M_{t_1}\ M_{t_2}}$ 和 ${M_{t_1+t_2-2} \choose M_{t_1}\ M_{t_2}}$ 的互作用算子。
• 通过从 $U$-模的更大范畴中限制，验证所构造的互作用算子满足 $L(-1)$-性质和结合性。
• 利用所构造的算子证明融合积 $M_{t_1} \cdot M_{t_2} = M_{t_1+t_2} \oplus M_{t_1+t_2-2}$，从而确认了 $p=2$ 时的融合规则猜想。
• 将融合规则结果应用于推导 $\mathcal{W}(2)^{A_m}$-模的不可约模分类的完备性，如文献 [4] 所猜想。

实验结果

研究问题

• RQ1 单重顶点代数模的融合规则猜想是否意味着 $\mathcal{W}(p)^{A_m}$-模的不可约模分类？
• RQ2 能否构造三元组和单重顶点代数的新形变实现，以探测此前未被发现的互作用算子？
• RQ3 对于 $p=2$，模块 $M_t$ 是否如非平凡互作用算子的存在所示，在广义意义上是简单电流？
• RQ4 在 $p=2$ 情况下所构造的互作用算子是否确认了 $\mathcal{W}(2)^{A_m}$-模不可约模的完整分类？

主要发现

• 通过新实现和互作用算子构造，已证明对所有满足 $t_1, t_2 \notin \mathbb{Z}$ 且 $t_1 + t_2 \in \mathbb{Z}$ 的 $t_1, t_2 \in \mathbb{C}$，融合规则 $M_{t_1} \times M_{t_2} = M_{t_1+t_2} \oplus M_{t_1+t_2-2}$ 成立。
• 存在非平凡类型为 ${M_{t_1+t_2} \choose M_{t_1}\ M_{t_2}}$ 和 ${M_{t_1+t_2-2} \choose M_{t_1}\ M_{t_2}}$ 的互作用算子，证实了某些 $M_t$ 模在 $\overline{M(1)}$-模范畴中为简单电流。
• 不可约 $\mathcal{W}(2)^{A_m}$-模的分类已完全确立，通过 $p=2$ 时的融合规则结果，确认了文献 [4] 中的猜想。
• 为 $p=2$ 和 $p=3$ 构建了 $\mathcal{A}(p)$、$\overline{M(1)}$ 和 $\mathcal{W}(p)$ 的新形变实现，并推测对 $p \geq 4$ 成立，从而实现了通过标准自由场实现无法探测到的互作用算子的构造。
• 所构造的互作用算子被证明满足 $L(-1)$-性质和结合性，确保其在顶点代数框架下的有效性。
• 结果可推广至 $N=1$ 超共形情形，作者指出，大多数结果可推广至 $N=1$ 单重/三元组顶点代数，如正在进行的工作所示。