[論文レビュー] Parafermion vertex operator algebras and W-algebras

Tomoyuki Arakawa, Ching Hung Lam+1 more|arXiv (Cornell University)|Jan 22, 2017

Algebraic structures and combinatorial models参考文献 24被引用数 6

ひとこと要約

本論文は、すべての $ k \in \mathbb{N} $ に対して、レベル $ k $ の $\widehat{\mathfrak{sl}}_2$-パラフェルミオン頂点 operator algebra が $(k+1,k+2)$-最小系列 $W_k$-代数に同型であるという長年の予想を、アフィン頂点代数 $L_{\widehat{\mathfrak{sl}}_2}(k,0)$ を格子頂点代数とパラフェルミオンモジュールのテンソル積に分解することによって証明する。主な結果として、パラフェルミオン VOA の有理型が確立され、$SU(k)_1 \otimes SU(k)_1 / SU(k)_2$ のコセット構成との予想された同型が裏付けられる。

ABSTRACT

We prove the conjectual isomorphism between the level $k$ $\widehat{sl}_2$-parafermion vertex operator algebra and the $(k+1,k+2)$ minimal series $W_k$-algebra for all integers $k \ge 2$. As a consequence, we obtain the conjectural isomorphism between the $(k+1,k+2)$ minimal series $W_k$-algebra and the coset vertex operator algebra $SU(k)_1 \otimes SU(k)_1/SU(k)_2$.

研究の動機と目的

• すべての $ k \in \mathbb{N} $ に対して、$\widehat{\mathfrak{sl}}_2$-パラフェルミオン頂点演算子代数と $(k+1,k+2)$-最小系列 $W_k$-代数の間の予想された同型を証明すること。
• これまで未解決であったパラフェルミオン頂点演算子代数 $K(\mathfrak{sl}_2,k)$ の有理型を確立すること。
• $(k+1,k+2)$-最小系列 $W_k$-代数とコセット頂点代数 $SU(k)_1 \otimes SU(k)_1 / SU(k)_2$ の間の予想された同型を確認すること。
• アフィン頂点代数 $L_{\widehat{\mathfrak{sl}}_2}(k,0)$ の分解を用いた、パラフェルミオン VOA の特徴付けを提供すること。
• 相互作用演算子と単純な電流拡張の新規な使用を通じて、$W$-代数とそれらのアフィン VOAs との関係を理解を拡張すること。

提案手法

• アフィン頂点代数 $L_{\widehat{\mathfrak{sl}}_2}(k,0)$ の分解 $L_{\widehat{\mathfrak{sl}}_2}(k,0) = \bigoplus_{j=0}^{k-1} V_{\mathbb{Z}\gamma - j\gamma/k} \otimes M^j$ を用いる。ここで $V_{\mathbb{Z}\gamma}$ は格子頂点代数であり、$M^j$ はパラフェルミオン VOA $K(\mathfrak{sl}_2,k)$ のモジュールである。
• 特定の仮定の下で、このような分解を許容する唯一の頂点代数として $L_{\widehat{\mathfrak{sl}}_2}(k,0)$ を特徴付ける。
• 単純な $V_{\mathbb{Z}\gamma}$-モジュール間の融合規則を適用して、分解の構造を解析し、同型を確立する。
• ミウラ写像を用いて、$W$-代数 $\mathscr{W}^\ell(\mathfrak{sl}_k)$ をヘイゼンベルク頂点代数 $M_{\widehat{\mathfrak{h}}}(\ell + h^\vee, 0)$ と関連づけ、関連する次数付きポアソン頂点代数の研究を可能にする。
• 中心電荷 $c = 1-k$ における $\mathscr{W}_{1+\infty}^c$ 代数の構造を用いて、$\mathscr{W}^\ell(\mathfrak{sl}_k)$ の次数付き代数がその重み2および重み3部分空間によって生成されることを証明する。
• 非臨界レベルに対して、$\operatorname{gr}\mathscr{W}^\ell(\mathfrak{sl}_k)$ のポアソン頂点代数構造がレベル $\ell$ に依存しないことを確立し、既知の状況への還元を可能にする。

実験結果

リサーチクエスチョン

• RQ1 すべての $ k \in \mathbb{N} $ に対して、レベル $ k $ の $\widehat{\mathfrak{sl}}_2$-パラフェルミオン頂点演算子代数は、$(k+1,k+2)$-最小系列 $W_k$-代数に同型であるか？
• RQ2 アフィン頂点代数 $L_{\widehat{\mathfrak{sl}}_2}(k,0)$ の分解を用いて、パラフェルミオン VOA $K(\mathfrak{sl}_2,k)$ をどのように特徴付けることができるか？
• RQ3 $(k+1,k+2)$-最小系列 $W_k$-代数とコセット頂点代数 $SU(k)_1 \otimes SU(k)_1 / SU(k)_2$ の間の関係は何か？
• RQ4 非臨界レベルに対して、$\mathscr{W}^\ell(\mathfrak{sl}_k)$ の次数付きポアソン頂点代数構造はレベル $\ell$ に依存しないか？
• RQ5 ミウラ写像と $\mathscr{W}_{1+\infty}^c$ 代数の構造を用いて、$W$-代数 $\mathscr{W}^\ell(\mathfrak{sl}_k)$ がその重み2および重み3の場によって生成されることを示せるか？

主な発見

• 本論文は、すべての $ k \in \mathbb{N} $ に対して、$\widehat{\mathfrak{sl}}_2$-パラフェルミオン頂点演算子代数 $K(\mathfrak{sl}_2,k)$ と $(k+1,k+2)$-最小系列 $W_k$-代数 $\mathscr{W}_{k+1,k+2}(\mathfrak{sl}_k)$ の間の予想された同型を証明する。
• 同型の結果として、パラフェルミオン頂点演算子代数 $K(\mathfrak{sl}_2,k)$ の有理型が確立される。
• $(k+1,k+2)$-最小系列 $W_k$-代数がコセット頂点代数 $SU(k)_1 \otimes SU(k)_1 / SU(k)_2$ に同型であることが示され、長年の予想が裏付けられる。
• 非臨界レベルに対して、$\mathscr{W}^\ell(\mathfrak{sl}_k)$ の次数付きポアソン頂点代数がレベル $\ell$ に依存しないことが示され、証明において中心的な役割を果たす。
• ミウラ写像と中心電荷 $c = 1-k$ における $\mathscr{W}_{1+\infty}^c$ 代数の構造を用いて、$W$-代数 $\mathscr{W}^\ell(\mathfrak{sl}_k)$ がその重み2および重み3の場によって生成されることを示した。
• ある仮定の下で、$L_{\widehat{\mathfrak{sl}}_2}(k,0)$ の分解を用いた $K(\mathfrak{sl}_2,k)$ の特徴付けが得られた。