[論文レビュー] On the Feigin-Tipunin conjecture

Shoma Sugimoto|arXiv (Cornell University)|Apr 13, 2020

Algebraic structures and combinatorial models参考文献 45被引用数 8

ひとこと要約

この論文は、単純根系を持つ単純リー代数 $\mathfrak{g}$ および整数 $p \geq 2$ に対して関連する対数的 $W$-代数 $W(p)_Q$ の幾何的構成に関する Feigin-Tipunin 予想を証明する。旗多様体 $G/B$ 上の同次ベクトル bundle の切断全体 $H^0(\xi_0)$ を用いて、頂点 operator 代数の同型 $H^0(\xi_0) \simeq W(p)_Q$ を確立し、$G$ が $W(p)_Q$ 上に自己同型群として作用することを示し、代数およびそのモジュールの完全な幾何的実現を与える。

ABSTRACT

We prove the Feigin-Tipunin conjecture on the geometric construction of the logarithmic W-algebras associated with a simply-laced simple Lie algebra and an integer p bigger than 2, and their modules.

研究の動機と目的

• 任意の単純根系を持つ単純リー代数 $\mathfrak{g}$ および $p \in \mathbb{Z}_{\geq 2}$ に対して、対数的 $W$-代数 $W(p)_Q$ の幾何的構成に関する Feigin-Tipunin 予想を証明すること。
• 旗多様体 $G/B$ 上の同次ベクトルバンドルの切断空間 $H^0(\xi_0)$ と対数的 $W$-代数 $W(p)_Q$ 間の頂点 operator 代数の同型を確立すること。
• $W(p)_\lambda$ の表現論的構造を明確化すること。具体的には、$H^0(\xi_\lambda)$ が $W(p)_\lambda$ に埋め込まれ、特定の条件下で同型となることを示すこと。
• $W(p)_Q$ の頂点 operator 代数の部分代数 $\mathcal{W}_0$ が、レベル $p - h^\vee$ における主 $W$-代数 $\mathcal{W}^{p-h^\vee}(\mathfrak{g})$ と同型であることを示し、$\mathcal{W}_0$ が $W(p)_Q$ の $G$-商空間として得られることを示すこと。

提案手法

• 格の頂点 operator 代数 $V_{\sqrt{p}Q}$ の既約モジュール $V_{\sqrt{p}Q + \lambda}$ を用いて、旗多様体 $G/B$ 上の同次ベクトルバンドル $\xi_\lambda = G \times_B V_{\sqrt{p}Q + \lambda}$ を構成する。
• 切断空間 $H^0(\xi_\lambda)$ を定義する。この空間は $V_{\sqrt{p}Q}$ から来る頂点 operator 代数構造を誘導し、$G$ の作用をもつ。
• 評価写像 $\Phi_\lambda: H^0(\xi_\lambda) \to V_{\sqrt{p}Q + \lambda}$ を定義し、恒等元の陪集合 $\mathrm{id}B$ における切断の値を送るものとし、これが狭義のスクリーニング作用素の核へ埋め込まれることを証明する。
• 評価写像 $\Phi_0$ を通じて、$H^0(\xi_0)$ が頂点 operator 代数として $W(p)_Q$ と同型であることを示す。
• $G \times \mathcal{W}_0$-モジュールの分解を確立する：$H^0(\xi_\lambda) \simeq \bigoplus_{\alpha \in P_+ \cap Q} \mathcal{R}_{\alpha + \hat{\lambda}} \otimes \mathcal{W}_{-\sqrt{p}\alpha + \lambda}$ であり、ここで $\mathcal{R}_{\mu}$ は最高重量 $\mu$ の $G$ の既約モジュールを表す。
• $H^0(\xi_\lambda)$ 上の $G$-作用が $W(p)_\lambda$ の自己同型を誘導することを示し、$\mathcal{W}_0$ が $W(p)_Q$ の $G$-商空間であることを示す。

実験結果

リサーチクエスチョン

• RQ1 旗多様体 $G/B$ 上の同次ベクトルバンドルの切断空間 $H^0(\xi_0)$ は、頂点 operator 代数として対数的 $W$-代数 $W(p)_Q$ を実現するか？
• RQ2 $\lambda \in \Lambda$ がどのような条件下で、評価写像 $\Phi_\lambda: H^0(\xi_\lambda) \to W(p,\lambda)_Q$ が同型となるか？
• RQ3 頂点 operator 代数の部分代数 $\mathcal{W}_0 \subset W(p)_Q$ は、レベル $p - h^\vee$ における主 $W$-代数 $\mathcal{W}^{p-h^\vee}(\mathfrak{g})$ と同型か？
• RQ4 $H^0(\xi_\lambda)$ 上の $G$-モジュール構造は、既約 $G$-モジュールと $\mathcal{W}_0$-モジュールのテンソル積の直和として表せるか？
• RQ5 $\lambda$ が条件 $(\sqrt{p}\bar{\lambda} + \rho, \theta) \leq p$ を満たすとき、$n > 0$ に対してコホモロジー $H^n(\xi_\lambda)$ は消えるか？

主な発見

• 評価写像 $\Phi_0: H^0(\xi_0) \to V_{\sqrt{p}Q}$ は頂点 operator 代数の同型であるため、$H^0(\xi_0) \simeq W(p)_Q$ が成り立つ。
• $G$ は $H^0(\xi_0)$ 上の $G$-作用を通じて、$W(p)_Q$ 上に頂点 operator 代数自己同型群として作用する。
• 任意の $\lambda \in \Lambda$ に対して、写像 $\Phi\_\lambda: H^0(\xi_\lambda) \to W(p,\lambda)_Q$ が同型であるための必要十分条件は、条件 (100) を満たすことであり、これは重み条件 $(\sqrt{p}\bar{\lambda} + \rho, \theta) \leq p$ に関連している。
• $G \times \mathcal{W}_0$-モジュールの同型 $H^0(\xi_\lambda) \simeq \bigoplus_{\alpha \in P_+ \cap Q} \mathcal{R}_{\alpha + \hat{\lambda}} \otimes \mathcal{W}_{-\sqrt{p}\alpha + \lambda}$ が成り立つ。これにより、$\mathcal{W}_0$ が $W(p)_Q$ の $G$-商空間であることが示される。
• 頂点 operator 代数の部分代数 $\mathcal{W}_0 \subset W(p)_Q$ は、定理 1.2 で述べられているように、レベル $p - h^\vee$ における主 $W$-代数 $\mathcal{W}^{p-h^\vee}(\mathfrak{g})$ と同型である。
• $(\sqrt{p}\bar{\lambda} + \rho, \theta) \leq p$ を満たす $\lambda$ に対して、$n > 0$ のとき高次のコホモロジー $H^n(\xi_\lambda)$ は消え、$H^0(\xi_\lambda)$ の特徴関数は $G$-特徴関数と $\mathcal{W}_{p-h^\vee}(\mathfrak{g})$-モジュール特徴関数の和で与えられる。