Center of affine $\mathfrak{sl}_{2|1}$ at the critical level

技術的要約：臨界レベルにおけるアフィン $\mathfrak{sl}_{2|1}$ の中心

問題提起
本論文は、基本古典単純リー超代数 $\mathfrak{g} = \mathfrak{sl}_{2|1}$（および同等に $\mathfrak{gl}_{2|1}$）の臨界レベル $\kappa_c$ における普遍アフィン頂点超代数 $V_{\kappa_c}(\mathfrak{g})$ の中心 $z(V_{\kappa_c}(\mathfrak{g}))$ の決定について取り組んでいる。臨界レベルにおける単純リー代数の中心は、Feigin–Frenkel 双対性（主 $W$ 代数と同型）を通じて十分に理解されているが、リー超代数の場合は、有限生成性の欠如の可能性があるため、長らく謎であり困難な課題であった。Molev と Ragoucy [24] による系統的な研究は、高ランクの Segal–Sugawara ベクトルを構成し、それらが $\mathfrak{gl}_{n|m}$ の中心を生成するという予想を立てたが、これは $\mathfrak{gl}_{1|1}$ [23] についてのみ証明されていた。本研究は、$\mathfrak{sl}_{2|1}$ および $\mathfrak{gl}_{2|1}$ の中心を完全に記述することで、この特定のケースにおける Molev–Ragoucy の予想を検証することを目的としている。

手法
著者らは、量子ハミルトニアン減少、Wakimoto 自由場実現、および Kazama–Suzuki 双対性を組み合わせた多角的なアプローチを採用している：

1. $W$-超代数による関係： 中心的な戦略は、アフィン頂点超代数 $V_{\kappa_c}(\mathfrak{g})$ の中心を、量子ハミルトニアン減少によって得られる関連する主 $W$-超代数 $W_{\kappa_c}(\mathfrak{g})$ の中心に関連付けることである。
2. 臨界レベルにおける同型： 臨界レベルにおける驚くべき同型：$W_{\kappa_c}(\mathfrak{sl}_{2|1}) \simeq V_{\kappa_c}(\mathfrak{gl}_{1|1})$ の発見は極めて重要である。これにより、著者らは、関心の対象である中心の上界として、最近確立された $V_{\kappa_c}(\mathfrak{gl}_{1|1})$ の明示的な記述 [2, 23] を利用することが可能となった。
3. Wakimoto 実現： 著者らは、$V_{\kappa_c}(\mathfrak{gl}_{2|1})$ および $W_{\kappa_c}(\mathfrak{gl}_{2|1})$ の両方に対して Wakimoto 型の自由場実現を利用している。これらの実現の半古典的極限（随伴次数代数）を分析することにより、アフィン代数の中心が $W$-超代数の中心に埋め込まれることを確立している。
4. 下界の構成： 埋め込みが同型であることを証明するために、著者らは高ランクの Segal–Sugawara ベクトル（[24] で定義）とアフィン超多項式の構造を用いて下界を構成している。彼らは、中心の随伴次数代数がアフィン超多項式の環 $\Lambda_{2|1}^{\text{aff}}$ を含むことを示している。
5. Kazama–Suzuki 双対性： 本論文は、$W_{\kappa_c}(\mathfrak{sl}_{2|1})$ をパラフェルミオン頂点代数の大きなレベル極限に関連付ける「正しい」形式の Kazama–Suzuki 双対性を利用している。これは Feigin–Frenkel 双対性の超代数版として機能する。

主要な貢献と結果

• 主要定理 (Theorem 6.5 / Corollary 6.7)： 本論文は、以下の可換頂点超代数の同型関係を確立している：
  $$z(V_{\kappa_c}(\mathfrak{g})) \simeq z(W_{\kappa_c}(\mathfrak{g})) \simeq K_{\infty}(\check{\mathfrak{g}})$$
  ここで、$\mathfrak{g} = \mathfrak{sl}_{2|1}$ または $\mathfrak{gl}_{2|1}$ であり、$\check{\mathfrak{g}} = \mathfrak{sl}_2$ または $\mathfrak{gl}_2$ であり、$K_{\infty}(\check{\mathfrak{g}})$ はパラフェルミオン頂点代数 $K_\ell(\check{\mathfrak{g}})$ の大きなレベル極限 ($\ell \to \infty$) である。
• 予想の検証：
  • この結果は、$\mathfrak{gl}_{2|1}$ に関する Molev と Ragoucy [24] の予想を裏付け、彼らが構成した高ランクの Segal–Sugawara ベクトルの族が中心を生成することを証明した。
  • これは、随伴次数代数に関する Molev と Mukhin [23] の予想を確認し、その随伴次数代数が超空間 $\mathbb{C}^{2|1}$ に関連するアフィン超多項式の環と同型であることを示した。
• 中心の一致： 証明の副産物として、臨界レベルにおいてアフィン頂点超代数と主 $W$-超代数の中心が一致することを示した：$z(V_{\kappa_c}(\mathfrak{g})) \simeq z(W_{\kappa_c}(\mathfrak{g}))$。
• 逆ハミルトニアン減少： 著者らは、逆ハミルトニアン減少（第7節）を用いて $W_{\kappa_c}(\mathfrak{sl}_{2|1})$ による $V_{\kappa_c}(\mathfrak{sl}_{2|1})$ の代替的な実現を提供しており、これが両者の中心の間の同型を誘導する。これは、任意の中心的性質を持つ加群を構成するための潜在的なツールを提供する。

意義と範囲
本論文は、主に $\mathfrak{sl}_{2|1}$ および $\mathfrak{gl}_{2|1}$ のケースにおける長年の未解決問題を解決したという点で意義を主張している。これは、非可換リー超代数における Feigin–Frenkel 中心に関する初の明示的な記述である。

著者らは、得られた構造的知見（特に Kazama–Suzuki 双対性の役割と、フック型の分割に関連する $W$-超代数との関係）に基づき、自身の研究をより広範な $\mathfrak{sl}_{n|m}$ ($n > m$) の Feigin–Frenkel 中心への理解への一歩として位置づけている。彼らは、$\mathfrak{g} = \mathfrak{sl}_{n|m}$ に対して、中心 $z(V_{\kappa_c}(\mathfrak{g}))$ は、フック分割 $[n-m, 1^m]$ に対応するべき nilpotent orbit に関連する余角部分代数（corner の頂点代数）の coset 部分代数 $C_\infty(\mathfrak{g}, \mathcal{O}_{[n-m, 1^m]})$ の大きなレベル極限と同型であるという一般的な予想を提示している。

本論文は、任意の $n, m$ についての一般の場合を解いたと主張しているのではなく、むしろ $n=2, m=1$ のケースにおける基礎的な同型と構造的枠組みを確立しており、より高いランクへの道筋を示唆している。本研究は、中心が扱いやすい程度に $W$-超代数構造が制御される臨界レベル特有の簡略化に大きく依存している。