[论文解读] 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 $-parafermion 顶点算子代数同构于 $ (k+1,k+2) $-最小系列 $ W_k $-代数，其方法是将仿射顶点算子代数 $ L_{\widehat{\mathfrak{sl}}_2}(k,0) $ 分解为格点顶点算子代数与 parafermion 模的张量积。关键结果建立了 parafermion 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 $-parafermion 顶点算子代数与 $ (k+1,k+2) $-最小系列 $ W_k $-代数之间的猜想同构关系。
• 确立 parafermion 顶点算子代数 $ 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) $ 分解为秩一格点顶点算子代数模与 parafermion 模的张量积，对 parafermion VOA 进行表征。
• 通过新颖地运用 intertwining 算子与简单电流扩张，深化对 $ W $-代数及其与仿射 VOAs 关系的理解。

提出的方法

• 使用分解式 $ 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 $ 为 parafermion VOA $ K(\mathfrak{sl}_2,k) $ 的模。
• 在特定假设下，将 $ L_{\widehat{\mathfrak{sl}}_2}(k,0) $ 表征为唯一具有此类分解的顶点算子代数。
• 应用 $ V_{\mathbb{Z}\gamma} $-模之间的融合规则，分析分解结构并建立同构关系。
• 使用 Miura 映射将 $ W $-代数 $ \mathscr{W}^\ell(\mathfrak{sl}_k) $ 与 Heisenberg 顶点算子代数 $ M_{\widehat{\mathfrak{h}}}(\ell + h^\vee, 0) $ 关联，从而研究其对应的分次 Poisson 顶点代数。
• 证明 $ \mathscr{W}^\ell(\mathfrak{sl}_k) $ 的分次代数由其权 2 和权 3 子空间生成，利用 $ \mathscr{W}_{1+\infty}^c $ 代数在 $ c = 1-k $ 处的结构。
• 建立 $ \operatorname{gr}\mathscr{W}^\ell(\mathfrak{sl}_k) $ 的 Poisson 顶点代数结构在非临界水平 $ \ell $ 下与水平 $ \ell $ 无关，从而可归约为已知情形。

实验结果

研究问题

• RQ1 对所有 $ k \in \mathbb{N} $，水平为 $ k $ 的 $ \widehat{\mathfrak{sl}}_2 $-parafermion 顶点算子代数是否同构于 $ (k+1,k+2) $-最小系列 $ W_k $-代数？
• RQ2 如何通过仿射顶点算子代数 $ L_{\widehat{\mathfrak{sl}}_2}(k,0) $ 的分解来表征 parafermion 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) $ 的分次 Poisson 顶点代数结构是否与水平 $ \ell $ 无关？
• RQ5 能否通过 Miura 映射与 $ \mathscr{W}_{1+\infty}^c $ 代数结构，证明 $ W $-代数 $ \mathscr{W}^\ell(\mathfrak{sl}_k) $ 由其权 2 和权 3 字段生成？

主要发现

• 本文证明了对所有 $ k \in \mathbb{N} $，$ \widehat{\mathfrak{sl}}_2 $-parafermion 顶点算子代数 $ K(\mathfrak{sl}_2,k) $ 与 $ (k+1,k+2) $-最小系列 $ W_k $-代数 $ \mathscr{W}_{k+1,k+2}(\mathfrak{sl}_k) $ 之间的猜想同构关系。
• 作为同构关系的推论，parafermion 顶点算子代数 $ 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) $ 的分次 Poisson 顶点代数结构在非临界水平 $ \ell $ 下与水平 $ \ell $ 无关，这对证明至关重要。
• 通过 Miura 映射与 $ \mathscr{W}_{1+\infty}^c $ 代数在中心荷 $ c = 1-k $ 处的结构，证明了 $ W $-代数 $ \mathscr{W}^\ell(\mathfrak{sl}_k) $ 由其权 2 和权 3 字段生成。
• 在特定假设下，通过 $ L_{\widehat{\mathfrak{sl}}_2}(k,0) $ 分解为格点模与 parafermion 模的张量积，获得了对 $ K(\mathfrak{sl}_2,k) $ 的表征。