[論文レビュー] A Localization Theorem for Finite W-algebras

C. A. F. Dodd, Kobi Kremnizer|ArXiv.org|Nov 11, 2009

Algebraic structures and combinatorial models参考文献 11被引用数 18

ひとこと要約

本稿は、有限W代数の局在化定理を、nilpotent軌道の横断的スライスの解像 $ ilde{S}_e$ 上に $\mathbb{C}^*$-等変な代数の層 $D_h(\lambda,\chi)$ を構成することによって確立する。この定理により、$\mathbb{C}^*$-等変な $D_h(\lambda,\chi)$-加群の圏と、中心的特徴 $\lambda$ を持つ有限W代数 $U(\mathfrak{g},e)_\lambda$ の有限生成加群の圏との同値性が示される。主な貢献は、量子微分作用素のハミルトニアン還元を用いた、有限W代数の加群圏の幾何的実現であり、これは幾何的枠組みの中でスクリアビン同値性を再証明するものである。

ABSTRACT

Following the work of Beilinson-Bernstein and Kashiwara-Rouquier, we give a geometric interpretation of certain categories of modules over the finite W-algebra. As an application we reprove the Skryabin equivalence.

研究の動機と目的

• 幾何的および量子的層論的技法を用いて、ベイリソン＝バーチンの局在化原理を有限W代数へ拡張すること。
• 固定された中心的特徴を持つ有限W代数の有限生成加群の圏に幾何的解釈を与えること。
• ハミルトニアン還元と $\mathbb{C}^*$-等変性に基づく層論的枠組みを用いて、スクリアビン同値性を再証明すること。
• 量子ハミルトニアン還元を用いて、$D_h(G/B)$ の設定において古典的局在化定理を有限W代数の設定に一般化すること。

提案手法

• 量子 $D$-加群 $D_h(G/B)$ のハミルトニアン還元により、$\tilde{S}_e \to S_e$ 上に代数の層 $D_h(\lambda,\chi)$ を構成する。
• $T^*(G/B)$ 上に存在する $\mathbb{C}^*$-作用が $\tilde{S}_e$ を保存し、$D_h(\lambda,\chi)$ 上に $\mathbb{C}^*$-等変構造を誘導することを用いる。
• $U_h(\mathfrak{g})$ を nilpotent Lie 環 $\mathfrak{m}_l$ と特徴 $\chi$ に関して量子ハミルトニアン還元することにより、有限W代数 $U(\mathfrak{g},e)$ を得る。
• $\mathbb{C}^*$-不変な商構成により、$D_h(\lambda,\chi)$ の全域的 $\mathbb{C}^*$-不変切断を有限W代数 $U(\mathfrak{g},e)_\lambda$ と同一視する。
• $\mathbb{C}^*$-等変な $D_h(\lambda,\chi)$-加群の圏と、有限生成 $U(\mathfrak{g},e)_\lambda$-加群の圏との同値性を確立する。
• $\mathbb{C}^*$-等変構造を活用して、$G/B$ 上の $\chi$-捩れ $D_h$-加群と、$\tilde{S}_e$ 上の $\mathbb{C}^*$-等変 $D_h(\lambda,\chi)$-加群との関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 幾何的量子化と $\mathbb{C}^*$-等変性を用いて、ベイリソン＝バーチン風の局在化定理を有限W代数へ拡張できるか？
• RQ2 横断的スライス $S_e$ 及びその解像 $\tilde{S}_e$ の構造は、有限W代数加群の層論的解釈をどのように支援するか？
• RQ3 スクリアビン同値性は、有限W代数に対する幾何的局在化定理の帰結として再導出可能か？
• RQ4 ハミルトニアン還元は、$\tilde{S}_e$ 上に $U(\mathfrak{g},e)_\lambda$-加群を分類する量子化された代数の層を構成するために果たす役割は何か？
• RQ5 $T^*(G/B)$ 上の $\mathbb{C}^*$-作用および $\tilde{S}_e$ への制限は、$U(\mathfrak{g},e)_\lambda$ 上の加群圏とどのように整合性を保っているか？

主な発見

• 本稿は、nilpotent軌道の横断的スライス $S_e$ の解像 $\tilde{S}_e$ 上に $\mathbb{C}^*$-等変な代数の層 $D_h(\lambda,\chi)$ を構成し、これは $\tilde{S}_e$ の量子化として機能する。
• アントイドミナントな $\lambda$ に対して、$Mod^{\mathbb{C}^*,coh}(D_h(\lambda,\chi)) \simeq Mod^{f.g.}(U(\mathfrak{g},e)_\lambda)$ の圏同値性が確立され、有限W代数加群の幾何的実現が得られる。
• $D_h(\lambda,\chi)$ の全域的 $\mathbb{C}^*$-不変切断は、有限W代数 $U(\mathfrak{g},e)_\lambda$ と同型であり、$\tilde{S}_e$ の構造層の量子化を確認する。
• スクリアビン同値性は幾何的に再証明される：$Mod_{\chi,Z-fin}^{M_l}(U(\mathfrak{g})) \simeq Mod_{Z-fin}(U(\mathfrak{g},e))$ であり、関手は $V$ を $V^{M_l}$ に写し、逆関手は $U(\mathfrak{g},e)$ からの誘導で与えられる。
• 構成は、$D_h(G/B)$ のハミルトニアン還元に依拠しており、$\mathbb{C}^*$-作用が中心的特徴と加群圏との整合性を保証する。
• $U(\mathfrak{g},e)$ の中心は $U(\mathfrak{g})$ の中心と同型であり、これにより $\mathbb{C}^*$-不変な全域的切断を $U(\mathfrak{g},e)_\lambda$ と同一視できる。