[论文解读] $\mathcal{W}$-algebras with non-admissible levels and the Deligne exceptional series

Kazuya Kawasetsu|arXiv (Cornell University)|May 26, 2015

Algebraic structures and combinatorial models参考文献 31被引用 11

一句话总结

该论文通过将顶点算子代数的简单电流扩张构造为简单 $\mathcal{W}$-代数，建立了与 Deligne 异常李代数相关联的某些简单 $\mathcal{W}$-代数在非可达水平下的 $C_2$-余有限性与 $\mathbb{Z}_2$-有理性。利用量化 Drinfel'd-Sokolov 约化与模不变性技术，该研究将有理 $\mathcal{W}$-代数的分类拓展至可达水平之外，提供了 Deligne 异常系列中新的 $C_2$-余有限有理 VOAs 例子。

ABSTRACT

Structure of certain simple $\mathcal{W}$-algebras assocated with the Deligne exceptional Lie algebras and non-admissible levels are described as the {\it simple current extensions} of certain vertex operator algebras. As an application, the $C_2$-cofiniteness and $\mathbb{Z}_2$-rationality of the algebras are proved.

研究动机与目标

• 将有理 $\mathcal{W}$-代数的分类拓展至可达水平之外，挑战长期以来认为有理性和 $C_2$-余有限性仅在可达水平下出现的信念。
• 研究与 Deligne 异常李代数 $A_1 \subset A_2 \subset G_2 \subset D_4 \subset F_4 \subset E_6 \subset E_7 \subset E_8$ 相关联的简单 $\mathcal{W}$-代数在非可达水平下的结构。
• 证明即使水平 $k$ 不可达，通过顶点算子代数的简单电流扩张，$C_2$-余有限性与有理性仍可实现。
• 提供新的 $C_2$-余有限有理 $\mathcal{W}$-代数例子，从而扩展已知有理共形场论的范围。

提出的方法

• 通过使用微分为 $d$、共形向量为 $\omega = \omega^{\mathrm{aff}} + \omega^{\mathrm{ne}} + \omega^{\mathrm{ch}} + \partial x$ 的 BRST 复形，利用量化 Drinfel'd-Sokolov 约化构造普遍 $\mathcal{W}^k(\mathfrak{g},f)$-代数，其中 $x$ 为满足 $[x,f] = -1$ 的半单元素。
• 分析 BRST 复形的 0-上同调以定义普遍 $\mathcal{W}$-代数，随后取其单商得到单 $\mathcal{W}$-代数 $\mathcal{W}_k(\mathfrak{g},f)$。
• 应用单电流扩张理论，将单 $\mathcal{W}$-代数构造为已知顶点算子代数的扩张，利用 $\mathbb{Z}_2$-分次与电荷结构。
• 利用从顶点代数到其场表示的映射 $\Psi$ 的单射性，证明阿贝尔互换代数结构的唯一性与一致性。
• 利用顶点算子的局部性与反对称性公理，包括 OPE 关系 $Y(a,z)Y(b,w)c \iota_{z,w}(z-w)^n = B(\alpha,\beta,\gamma)Y(b,w)Y(a,z)c \iota_{w,z}(z-w)^n + \text{留数}$，推导雅可比恒等式。
• 依赖重构定理与 $Q$-电荷阿贝尔互换代数框架，确保顶点代数结构由其场内容与融合规则唯一确定。

实验结果

研究问题

• RQ1 能否在非可达水平下建立 $\mathcal{W}$-代数的 $C_2$-余有限性与有理性，从而反驳长期以来认为此类性质仅在可达水平下出现的普遍信念？
• RQ2 当水平 $k$ 不可达时，如何描述与 Deligne 异常李代数相关联的 $\mathcal{W}$-代数的结构？
• RQ3 在可达水平之外的范围内，单电流扩张在构造有理 $\mathcal{W}$-代数方面可被应用到何种程度？
• RQ4 非可达水平下的 $\mathcal{W}$-代数是否仍保持模不变性性质，若成立，其具体实现方式为何？

主要发现

• 证明了与 Deligne 异常系列相关联的非可达水平下的单 $\mathcal{W}$-代数具有 $C_2$-余有限性，将已知 $C_2$-余有限 VOAs 的类别拓展至可达水平之外。
• $\mathcal{W}$-代数被证明为 $\mathbb{Z}_2$-有理，即其模范畴是半单的且在融合下封闭，确认了其有理共形场论结构。
• 这些代数被构造为顶点算子代数的单电流扩张，提供了一种在不依赖可达水平的条件下实现有理 $\mathcal{W}$-代数的新方法。
• $\Psi$ 从顶点代数到其场表示的单射性确保了阿贝尔互换代数结构的唯一性，验证了该情境下重构定理的有效性。
• 通过局部性界与 $Q$-电荷结构，严格推导出 OPE 与雅可比恒等式，确认了顶点代数运算的一致性。
• 该框架证实，即使水平 $k$ 不可达，$\mathcal{W}$-代数中仍可出现有理性和 $C_2$-余有限性，从而挑战了该领域先前的猜想。