[論文レビュー] Quantization of Slodowy slices

Wee Liang Gan, Victor Ginzburg|arXiv (Cornell University)|May 28, 2001

Advanced Algebra and Geometry参考文献 9被引用数 23

ひとこと要約

本稿では、一般化されたゲルファンド＝グレイブ表現からの誘導モジュールを用いて、半単純リー代数内の冪零軌道への横断的切断（Slodowyスライス）の量子化を構成する。$\frac{1}{2}$-整数の $\mathfrak{sl}_2$-三重対と、アーベル部分空間 $\mathfrak{m}_\mathfrak{l}$ の選択により、普遍包あらゆる代数 $U\mathfrak{g}$ から商代数 $H_\mathfrak{l}$ を定義し、その関連する次数付き代数が自然なポアソン構造を備えたスライスの座標環と自然に同型であることを証明する。

ABSTRACT

We give a direct proof of (a slight generalization of) the recent result of A. Premet related to generalized Gelfand-Graev representations and of an equivalence due to Skryabin.

研究の動機と目的

• 複素半単純リー代数 $\mathfrak{g}$ 内の冪零元 $e$ に対応するスライス $\mathcal{S} = e + \ker \operatorname{ad}f$ の量子化を構成すること。
• $\mathfrak{sl}_2$-三重対を用いて、主冪零軌道に関するコスタンの結果を任意の冪零軌道へ一般化すること。
• 誘導モジュール $H_\frak{l}$ の関連する次数付き代数と座標環 $\mathbb{C}[\mathcal{S}]$ の間の自然な同型を、次数付きポアソン代数として確立すること。
• 構成が $\mathfrak{g}(-1)$ 内のアーベル部分空間 $\frak{l} \subset \mathfrak{g}(-1)$ の選択に依存しないこと。

提案手法

• スライス $\mathcal{S} = \Phi(e + \ker \operatorname{ad}f)$ を定義する。ここで $\Phi$ はカルタン形式によって誘導される同型写像である。
• アーベル部分空間 $\frak{l} \subset \mathfrak{g}(-1)$ を固定し、冪零部分代数 $\frak{m}_\frak{l} = \frak{l} \oplus \bigoplus_{i \leq -2} \mathfrak{g}(i)$ および $\frak{n}_\frak{l} = \frak{l}^\perp \oplus \bigoplus_{i \leq -2} \mathfrak{g}(i)$ を定義する。
• 誘導 $U\mathfrak{g}$-モジュール $Q_\frak{l} = U\mathfrak{g} \otimes_{U\frak{m}_\frak{l}} \mathbb{C}_\chi$ を構成する。ここで $\chi = \Phi(e)$ である。
• $H_\frak{l} = Q_\frak{l}^{\operatorname{ad} \frak{n}_\frak{l}}$ を定義する。これは $\frak{n}_\frak{l}$ の作用に関しての随伴作用の不変部分空間である。
• $H_\frak{l}$ に $U\mathfrak{g}$ から誘導される乗法を導入し、$\frak{n}_\frak{l}$ による随伴作用の下での理想 $I_\frak{l}$ の安定性により、それが適切に定義されることを示す。
• 座標環 $\mathbb{C}[\mathcal{S}]$ にカジダン次数を導入し、$H_\frak{l}$ にカジダンフィルトレーションを導入し、$\operatorname{gr} H_\frak{l} \cong \mathbb{C}[\mathcal{S}]$ が次数付きポアソン代数として同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 スライス $\mathcal{S}$ の量子化は、$\mathfrak{sl}_2$-三重対の枠組みにおいて表現論的技法を用いて構成可能か？
• RQ2 $H_\frak{l}$ の関連する次数付き代数は、次数付きポアソン代数として $\mathbb{C}[\mathcal{S}]$ と自然に同型か？
• RQ3 $H_\frak{l}$ の構成は、$\mathfrak{g}(-1)$ 内のアーベル部分空間 $\frak{l} \subset \mathfrak{g}(-1)$ の選択に依存するか？
• RQ4 $\mathbb{C}^*$-作用が $\mathfrak{g}$ 上で $\mathcal{S}$ 上のポアソン構造を保存するか？
• RQ5 同型 $\operatorname{gr} H_\frak{l} \cong \mathbb{C}[\mathcal{S}]$ は、正標数の技法や BRST コホモロジーに依存せずに確立可能か？

主な発見

• 関連する次数付き代数 $\operatorname{gr} H_\frak{l}$ は、次数付きポアソン代数として $\mathbb{C}[\mathcal{S}]$ と自然に同型である。
• $H_\frak{l}$ は $\mathfrak{g}(-1)$ 内のアーベル部分空間 $\frak{l} \subset \mathfrak{g}(-1)$ の選択に依存せず、構成が適切に定義されることを保証する。
• $H_\frak{l}$ 上の乗法は、左イデアル $I_\frak{l}$ が $\frak{n}_\frak{l}$ の随伴作用に関して安定であるため、適切に定義される。
• 任意の共軌道 $\mathcal{O}$ に対して、$\mathcal{O} \cap \mathcal{S}$ 上のシンプレクティック構造はキリロフ＝コスタン形式によって誘導され、非退化である。
• すべての $x \in \mathcal{S}$ に対して $[x, [f, \mathfrak{g}]] \cap \ker \operatorname{ad}f = 0$ が成り立ち、これは制限されたシンプレクティック形式の非退化性を保証する。
• 同型 $\operatorname{gr} H_\frak{l} \cong \mathbb{C}[\mathcal{S}]$ は、$\mathfrak{sl}_2$-重み分解と $\mathfrak{g}(-1)$ 上の非退化な歪対称形式 $\omega(x,y) = \chi([x,y])$ の非退化性を用いた直接的な代数的議論により確立される。