[論文レビュー] Quantizations of regular functions on nilpotent orbits

Ivan Losev|arXiv (Cornell University)|May 29, 2015

Algebraic structures and combinatorial models参考文献 33被引用数 9

ひとこと要約

本稿では、複素単純リー代数における冪零軌道上の正則関数のDixmier代数的量子化の存在および一意性を確立し、特異的かつ双有理的に剛性のある軌道を除くすべての例外的ケース（$E_7$に1つ、$E_8$に3つ）を除き、そのような量子化が整数中央特徴を持つことを証明している。これらの結果により、例外的リー代数における整数中央特徴を持つ原始的イデアルのゴールディーランクの計算が完了するが、$E_8$に1つの未解決軌道が残っている。主な道具は、FuとNamikawaによる軌道の閉包の幾何学的性質と、W代数およびハリシュ・チャンドラ両側加群の表現論である。

ABSTRACT

We study the quantizations of the algebras of regular functions on nilpotent orbits. We show that such a quantization always exists and is unique if the orbit is birationally rigid. Further we show that, for special birationally rigid orbits, the quantization has integral central character in all cases but four (one orbit in E_7 and three orbits in E_8). We use this to complete the computation of Goldie ranks for primitive ideals with integral central character for all special nilpotent orbits but one (in E_8). Our main ingredient is results on the geometry of normalizations of the closures of nilpotent orbits by Fu and Namikawa.

研究の動機と目的

• 複素単純リー代数 $\mathfrak{g}$ における冪零軌道 $\mathbb{O}$ の座標環 $\mathbb{C}[\mathbb{O}]$ に対するDixmier代数的量子化の存在および一意性を確立すること。
• このような量子化が整数中央特徴を持つ条件、特に特異的冪零軌道の場合を特定すること。
• 量子化の結果を用いて、$U(\mathfrak{g})$ における整数中央特徴を持つ原始的イデアルのゴールディーランク計算を完了すること。
• 冪零軌道から生じるシンプレクティック特異点の量子化を通じて、再帰的群への軌道法プログラムを拡張すること。

提案手法

• FuとNamikawaによる $\mathbb{Q}$-因子的終着および双有理的剛性に関する結果を用い、特に軌道の閉包の正規化の幾何学的性質を利用する。
• W代数およびその有限次元モジュールの理論を適用し、整数中央特徴を持つ既約有限次元モジュールの分類に関する結果を用いる。
• ハリシュ・チャンドラ両側加群のカテゴリ間の函手、特に $\bullet_{\dagger}$-函手を用いて、$U(\mathfrak{g})$ とW代数の表現論を関連付ける。
• $G$-等変構造およびモーメント写像の性質を用いて、量子化が $G$-作用および $U(\mathfrak{g})$-作用と両立することを保証する。
• 特に、キリロフ＝コスタント形式を備えた冪零軌道に適用されるシンプレクティック多様体のハミルトニアン量子化理論を適用する。
• 例外的リー代数における特異的および双有理的に剛性のある軌道の分類を活用し、整数中央特徴が成立しない4つの例外的ケースを分析する。

実験結果

リサーチクエスチョン

• RQ1 どの冪零軌道 $\mathbb{O}$ に対して、$G$-等変かつ $U(\mathfrak{g})$-適合な $\mathbb{C}[\mathbb{O}]$ の量子化が存在するか？
• RQ2 このような量子化が一意となる条件は何か、特に軌道の双有理的剛性とどのように関係するか？
• RQ3 写像 $U(\mathfrak{g}) \to \mathcal{A}$ の核が整数中央特徴を持つ条件は何か？
• RQ4 対応するW代数上の有限次元既約モジュールの次元は、$U(\mathfrak{g})$ における関連する原始的イデアルのゴールディーランクとどのように関係するか？
• RQ5 特に $E_8$ の残りの1つの軌道について、整数中央特徴を持つ原始的イデアルのゴールディーランク計算の状況は？

主な発見

• 任意の複素単純リー代数における冪零軌道 $\mathbb{O}$ に対して、$\mathbb{C}[\mathbb{O}]$ のDixmier代数的量子化が存在する。
• 軌道 $\mathbb{O}$ が双有理的に剛性である場合、そのような量子化は一意である。
• 特異的かつ双有理的に剛性のある軌道においては、4つの例外的ケース（$E_7$に1つ、$E_8$に3つ）を除き、すべての量子化が整数中央特徴を持つ。
• 4つの例外的ケースを除くすべての特異的軌道に対して、整数中央特徴を持つ原始的イデアルのゴールディーランクは、対応する有限次元W代数モジュールの次元に等しい。
• 4つの例外的軌道（(e2)および(e3)）においては、量子化が整数中央特徴を持たず、ゴールディーランクがW代数モジュールの次元だけでは決定されない。
• 残された未解決事項は、$E_8$ の軌道 $A_4 + 2A_1$ であり、W代数モジュールの次元とゴールディーランクの正確な関係はまだ不明である。