[论文解读] Cosets of the $\mathcal{W}^k(\mathfrak{sl}_4, f_{ ext{subreg}})$-algebra

Thomas Creutzig, Andrew R. Linshaw|arXiv (Cornell University)|Nov 29, 2017

Algebraic structures and combinatorial models参考文献 38被引用 10

一句话总结

本文证明了一个物理猜想：当 $ k = -4 + (m+4)/3 $ 且 $ m > 2 $，$ \gcd(m+1,3) = 1 $ 时，共轭代数 $ \mathcal{C}_k = \text{Com}(\mathcal{H}, \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}})) $ 同构于有理、正则的 $ \mathcal{W} $-代数 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $。该结果通过一个秩一格点VOA的简单电流扩张，确立了 $ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ 的有理性和 $ C_2 $-余有限性，并表明该共轭族具有统一的强生成类型 $ \mathcal{W}(2,3,4,5,6,7,8,9) $。

ABSTRACT

Let $\mathcal {W}^k(\mathfrak{sl}_4, f_{ ext {subreg}})$ be the universal $\mathcal{W}$-algebra associated to $\mathfrak{sl}_4$ with its subregular nilpotent element, and let $\mathcal {W}_k(\mathfrak{sl}_4, f_{ ext {subreg}})$ be its simple quotient. There is a Heisenberg subalgebra $\mathcal{H}$, and we denote by $\mathcal{C}^k$ the coset $ ext{Com}(\mathcal{H}, \mathcal {W}^k(\mathfrak{sl}_4, f_{ ext {subreg}}))$, and by $\mathcal{C}_k$ its simple quotient. We show that for $k=-4+(m+4)/3$ where $m$ is an integer greater than $2$ and $m+1$ is coprime to $3$, $\mathcal{C}_k$ is isomorphic to a rational, regular $\mathcal W$-algebra $\mathcal{W}(\mathfrak{sl}_m, f_{ ext{reg}})$. In particular, $\mathcal{W}_k(\mathfrak{sl}_4, f_{ ext {subreg}})$ is a simple current extension of the tensor product of $\mathcal{W}(\mathfrak{sl}_m, f_{ ext{reg}})$ with a rank one lattice vertex operator algebra, and hence is rational.

研究动机与目标

• 证明一个长期存在的物理猜想：在特定水平下，$ \mathcal{W}^k(\mathfrak{sl}_4,f_{\text{subreg}}) $ 与其海森堡子代数的共轭同构于一个有理 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $-代数。
• 通过简单电流扩张结构，确立 $ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ 在这些水平下的有理性和 $ C_2 $-余有限性。
• 证明共轭代数 $ \mathcal{C}_k $ 在所有 $ m \geq 9 $ 时，统一由权重 2 到 9 的场强生成，尽管通用代数的生成场最高可达权重 $ m $。
• 阐明在通用代数中奇异向量的作用，导致在简单商代数中高权重生成元的解耦，从而实现统一截断。

提出的方法

• 通过 $ U(1) $-群作用构造 $ \mathcal{W}^k(\mathfrak{sl}_4,f_{\text{subreg}})^{U(1)} $ 研究共轭代数 $ \mathcal{C}^k = \text{Com}(\mathcal{H}, \mathcal{W}^k(\mathfrak{sl}_4,f_{\text{subreg}})) $，其同构于 $ \mathcal{C}^k \otimes \mathcal{H} $。
• 经典不变量理论提供了权重 $ 1,2,3,\dots $ 的初始无限强生成集，且从权重 10 开始计算正规有序关系。
• 利用 OPE 系数对 $ k $ 的多项式依赖关系，识别出非通用值（如 $ k = -2, -5/2, -8/3 $），在这些值下关系无法消除高权重生成元。
• 通过将 $ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ 的 OPE 代数与 $ V_L \otimes \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $ 的 OPE 代数匹配，利用雅可比恒等式唯一确定生成元之间的 OPE。
• 通过验证候选代数中 $ X_1, X_{n-1}, J, T, W $ 的 OPE 与给定水平条件下 $ \mathfrak{sl}_4 $ 子正则 $ \mathcal{W} $-代数的 OPE 一致，从而证明同构。
• 从通用 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $-代数中权重 10 的奇异向量迫使简单商代数中高权重生成元解耦，推导出 $ \mathcal{C}_k $ 由权重 2–9 统一强生成。

实验结果

研究问题

• RQ1 在 $ k = -4 + (m+4)/3 $ 时，共轭代数 $ \mathcal{C}_k = \text{Com}(\mathcal{H}, \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}})) $ 是否同构于有理 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $-代数？
• RQ2 $ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ 是否允许与一个秩一格点VOA构成简单电流扩张结构？
• RQ3 为何当 $ m \geq 9 $ 时，共轭代数 $ \mathcal{C}_k $ 统一为类型 $ \mathcal{W}(2,3,4,5,6,7,8,9) $，尽管其通用代数类型为 $ \mathcal{W}(2,3,\dots,m) $？
• RQ4 在通用 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $-代数中，奇异向量在导致简单商代数中高权重生成元解耦方面起什么作用？

主要发现

• 当 $ k = -4 + (m+4)/3 $ 且 $ m > 2 $，$ \gcd(m+1,3) = 1 $ 时，共轭代数 $ \mathcal{C}_k $ 同构于有理、正则的 $ \mathcal{W} $-代数 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $。
• $ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ 是 $ V_L \otimes \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $ 的简单电流扩张，其中 $ V_L $ 为秩一格点顶点算子代数。
• $ \mathcal{C}^k $ 对所有通用 $ k $ 均为类型 $ \mathcal{W}(2,3,4,5,6,7,8,9) $，且该强生成集在指定水平下可下推至简单商代数 $ \mathcal{C}_k $。
• $ \mathcal{C}_k $ 统一截断至权重 2–9 的原因，源于通用 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $-代数中权重 10 的奇异向量，该向量在简单商代数中诱导出对权重 10 到 $ m $ 生成元的解耦关系。
• $ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ 的 OPE 代数由海森堡场 $ J $、共形代数场 $ T $、权重 3 场 $ W $ 以及 $ U(1) $-荷场 $ X_1, X_{n-1} $ 之间的雅可比恒等式唯一确定，从而导出同构。
• 该结果证实了物理猜想 [B–H] 在 $ r = 4 $ 时成立，并将已知的子正则 $ \mathcal{W} $-代数有理性结果推广至 $ \mathfrak{sl}_4 $ 在这些水平的情形。