[論文レビュー] Harish-Chandra bimodules for quantized Slodowy slices

Victor Ginzburg|ArXiv.org|Jul 2, 2008

Algebraic structures and combinatorial models参考文献 32被引用数 15

ひとこと要約

本稿は、プレメットの量子化されたスロドウィスキー代数 $A_c$ におけるハリシュ・チャンドラ両側加群を導入し、スロドウィスキー面上の多項式関数のポアソン代数の非可換変形としての性質を明らかにする。微局的技法による正則的特異点の定義と変換函手の構成を通じて、これらの代数に対するカテゴリ $\mathcal{O}$ に類似した圏を構成し、プレメットの原始的イデアルに関する予想を証明するとともに、非可換 Proj 構成を用いた非可換解消を構成する。

ABSTRACT

The Slodowy slice is an especially nice slice to a given nilpotent conjugacy class in a semisimple Lie algebra. Premet introduced noncommutative quantizaions of the Poisson algebra of polynomial functions on the Slodowy slice. In this paper, we define and study Harish-Chandra bimodules over Premet's algebras. We apply the technique of Harish-Chandra bimodules to prove a conjecture of Premet concerning primitive ideals, and to construct `noncommutative resolutions' of Slodowy slices via translation functors.

研究の動機と目的

• プレメットの量子化されたスロドウィスキー代数 $A_c$ に対して、カテゴリ $\mathcal{O}$ の類似物が存在しないという問題に応えること。$A_c$ はスロドウィスキー面上のポアソン代数の非可換変形である。
• 弱ハリシュ・チャンドラ両側加群と正則的特異点の概念を用いて、$A_c$ 上のハリシュ・チャンドラ両側加群の圏を定義し、カテゴリ $\mathcal{O}$ の代替として機能させる。
• 有限次元 $A_c$-加群と、可換な元 $e$ の共役軌道の閉包を特徴とする $\mathcal{U}(\mathfrak{g})$ の原始的イデアルとの関係を示すプレメットの予想を証明すること。
• 変換函手と非可換 Proj 構成を用いて、スロドウィスキー代数 $\mathcal{S}$ の非可換解消を構成し、非可換代数幾何学における先行研究を一般化すること。

提案手法

• フィルター付き代数 $A$ に対して、$\operatorname{gr} A$ が可換かつポアソンであるような弱ハリシュ・チャンドラ両側加群を定義し、$\mathcal{U}(\mathfrak{g})$ における古典的定義を一般化する。
• 微局的技法を用いて $A_c$-両側加群に対する正則的特異点を定義し、旗多様体上の $\mathscr{D}$-加群に関する結果を拡張する。
• ベイリソン＝バーナイン局在定理を適用し、$\mathscr{D}$-加群と $({\mathcal{U}}_{\mu},{\mathcal{U}}_{\nu})$-両側加群との関係を確立し、局所的に有限な随伴作用と正則的特異点の同値性を示す。
• ハリシュ・チャンドラ $\mathcal{U}(\mathfrak{g})$-両側加群からハリシュ・チャンドラ $A_c$-両側加群へのホッティンガー型函手を構成し、表現論的データの移行を可能にする。
• $A_c$-加群に対する変換函手を定義し、非可換 Proj 構成を用いてスロドウィスキー代数 $\mathcal{S}$ の非可換解消を構成する。
• $G^{sc}$-不変 $\mathscr{D}$-加群が有限個の軌道しか持たないという事実を用いて、$\mathcal{B} \times \mathcal{B}$ 上の $G^{sc}$-不変 $\mathscr{D}$-加群が正則的特異点を持つことを導く。

実験結果

リサーチクエスチョン

• RQ1 プレメットの量子化されたスロドウィスキー代数 $A_c$ に対して、カテゴリ $\mathcal{O}$ の代替として機能するハリシュ・チャンドラ両側加群の圏を定義できるか？
• RQ2 $A_c$-両側加群に対する正則的特異点の正しい概念は何か？ そして、$\mathscr{D}$-加群理論における古典的定義とどのように関係するか？
• RQ3 $\mathcal{U}(\mathfrak{g})$-両側加群から $A_c$-両側加群へのホッティンガー函手の構成は、原始的イデアルに関するプレメットの予想の新たな証明を可能にするか？
• RQ4 $A_c$-加群に対する変換函手を用いて、非可換 Proj 構成を介してスロドウィスキー代数 $\mathcal{S}$ の非可換解消を構成できるか？
• RQ5 ハリシュ・チャンドラ $A_c$-両側加群の圏は、ノルム元 $e$ の共役軌道の閉包 $\overline{\operatorname{Ad} G(e)}$ の幾何とどのように関係するか？

主な発見

• ハリシュ・チャンドラ $A_c$-両側加群の圏は、弱ハリシュ・チャンドラ両側加群に正則的特異点の条件を加えたものとして定義され、カテゴリ $\mathcal{O}$ の直接的な類似物が存在しない状況においても自然な代替を提供する。
• $\mathcal{U}(\mathfrak{g})$-両側加群から $A_c$-両側加群へのホッティンガー函手が構成され、有限次元 $A_c$-加群と、$\overline{\operatorname{Ad} G(e)}$ を特徴とする $\mathcal{U}(\mathfrak{g})$ の原始的イデアルとの関係を示すプレメットの予想に対する新たな直接的証明が得られる。
• 微局的技法を用いて、$\mathscr{D}$-加群の局所的に有限な随伴作用と正則的特異点の同値性が、$A_c$-両側加群へと拡張される。
• $A_c$-加群に対する変換函手が定義され、非可換 Proj 構成を用いてスロドウィスキー代数 $\mathcal{S}$ の非可換解消が構成される。これは、ゴードン＝スタフォードおよびボヤルチェンコの先行研究を一般化する。
• 変換函手による非可換解消の構成は、部分正則的の場合にボヤルチェンコの解消を回復すると予想され、ブリースコルン＝スロドウィスキー理論を介してキーンリアン特異点の幾何と整合する。
• $A_c$ 上のハリシュ・チャンドラ両側加群の理論は、$A_c$ における両側イデアルや原始的イデアルを研究するための枠組みを提供し、$\mathcal{U}(\mathfrak{g})$ における古典的理論を一般化する。