[論文レビュー] 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

ひとこと要約

本論文は、$ m > 2 $ かつ $ \gcd(m+1,3) = 1 $ を満たす $ k = -4 + (m+4)/3 $ の下で、$ \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}}) $ に同型であるという物理学的予想を証明する。この結果により、ランク1の格子VOAとの単純な電流拡張構造を通じて、$ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ の有理的および $ C_2 $-cofinite性が確立され、coset族の全般的な強生成型 $ \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}}) $ のHeisenberg部分代数とのcosetが、有理的 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $-代数に同型であるという長年の物理学的予想を証明すること。
• これらのレベルにおいて、$ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ の有理的および $ C_2 $-cofinite性を単純な電流拡張構造を通じて確立すること。
• coset $ \mathcal{C}_k $ が、重み 2 から 9 の場の集合によって一様に強生成されることを示すこと、これは普遍代数が重み $ m $ まで生成されることと対照的である。
• 単純商における高重量生成子の分離に寄与する特異ベクトルの役割を明らかにし、一様な切断をもたらす仕組みを解明すること。

提案手法

• coset $ \mathcal{C}^k = \text{Com}(\mathcal{H}, \mathcal{W}^k(\mathfrak{sl}_4,f_{\text{subreg}})) $ は、$ \mathcal{W}^k(\mathfrak{sl}_4,f_{\text{subreg}})^{U(1)} $ としての $ U(1) $-軌道構成を用いて研究され、これは $ \mathcal{C}^k \otimes \mathcal{H} $ に同型である。
• 古典的不変式論により、重み $ 1,2,3,\dots $ の無限強生成集合が得られ、通常順序付けられた関係は重み 10 から計算される。
• $ k $ に 대한 OPE係数の多項式的依存性を用いて、関係が高重量生成子を消去しなくなる非一般的値（例：$ 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と一致することを示し、同型を証明する。
• 普遍代数における重み 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}}) $ はランク1の格子VOAとの単純な電流拡張構造を有するか？
• RQ3 なぜ $ m \geq 9 $ の場合、普遍代数が $ \mathcal{W}(2,3,\dots,m) $ で生成されるのにもかかわらず、coset $ \mathcal{C}_k $ は一様に型 $ \mathcal{W}(2,3,4,5,6,7,8,9) $ であるのか？
• RQ4 普遍 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $-代数における特異ベクトルは、単純商における高重量生成子の分離にどのように寄与するのか？

主な発見

• $ k = -4 + (m+4)/3 $ かつ $ m > 2 $、$ \gcd(m+1,3) = 1 $ の下で、coset $ \mathcal{C}_k $ は有理的で正則な $ \mathcal{W} $-代数 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $ に同型である。
• 代数 $ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ は、ランク1の格子ボソン実現 $ V_L $ と $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $ のテンソル積の単純な電流拡張である。
• coset $ \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} $ 間のジェイコビ恒等式によって一意に決定され、これが同型に至る。
• 本結果により、$ r = 4 $ の場合の物理学的予想 [B–H] が裏付けられ、これらのレベルにおける $ \mathfrak{sl}_4 $ の部分正則 $ \mathcal{W} $-代数の有理的性が拡張される。