[論文レビュー] Hamiltonian reduction and nearby cycles for Mirabolic D-modules

Gwyn Bellamy, Victor Ginzburg|ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)|Jul 7, 2012

Algebraic structures and combinatorial models参考文献 22被引用数 3

ひとこと要約

この論文は、ハミルトニアン還元を介して、$SL_n(\mathbf{C}) \times \mathbf{C}^n$ 上のミラボリック $D$-加群と三角関数的チェレドニク代数の表現との間に深い接続を確立する。ミラボリック $D$-加群がこの還元によって消されるための必要十分条件は、その特徴的多様体が不安定部分集合に含まれることであると証明し、ハミルトニアン還元が $D$-加群上の特化関手とチェレドニク代数表現上のそれらを intertwine することを示した。これにより、ホッジ的純粋性に関する結果を応用できるようになった。

ABSTRACT

We study holonomic D-modules on SL_n(C)xC^n, called mirabolic modules, analogous to Lusztig's character sheaves. We describe the supports of simple mirabolic modules. We show that a mirabolic module is killed by the functor of Hamiltonian reduction from the category of mirabolic modules to the category of representations of the trigonometric Cherednik algebra if and only if the characteristic variety of the module is contained in the unstable locus. We introduce an analogue of the Verdier specialization functor for representations of Cherednik algebras which agrees, on category O, with the restriction functor of Bezrukavnikov and Etingof. In type A, we also consider a Verdier specialization functor on mirabolic D-modules. We show that Hamiltonian reduction intertwines specialization functors on mirabolic D-modules with the corresponding functors on representations of the Cherednik algebra. This allows us to apply known purity results for nearby cycles in the setting considered by Bezrukavnikov and Etingof.

研究の動機と目的

• ミラボリック $D$-加群の2つの定義（特徴的多様体による幾何的定義と包あらわし代数作用による代数的定義）の間の同値性を確立すること。
• ミラボリック $D$-加群がハミルトニアン還元によって消される条件を特徴づけ、それが特徴的多様体における不安定部分集合に関連することを示すこと。
• チェレドニク代数表現に対してヴェルディエ特化関手を定義し、それがカテゴリ $\mathcal{O}$ においてベズルクアニコフとエティンフォフの制限関手と一致することを示すこと。
• ハミルトニアン還元がミラボリック $D$-加群上の特化関手とチェレドニク代数表現上のそれらを intertwine することを証明すること。
• この相互作用を介して、ホッジ的純粋性に関する結果を、チェレドニク代数表現の文脈における近傍サイクルに応用すること。

提案手法

• リーマン＝ヒルベルト対応を用いて、ミラボリック $D$-加群を perverse sheaves と関連づけ、ルシュティグのキャラクター層と類似の枠組みを構築する。
• ミラボリック $D$-加群を、特徴的多様体が $\mathbb{M}_{\text{nil}}(SL)$ というラグランジュ部分多様体に含まれる正則特異的 $D$-加群として定義する。
• $\mathfrak{X} = SL_n \times \mathbf{C}^n$ 上の $G = GL(V)$-作用を介して、ミラボリック $D$-加群の圏から三角関数的チェレドニク代数の表現へのハミルトニアン還元を適用する。
• カテゴリ $\mathcal{O}$ におけるベズルクアニコフとエティンフォフの制限関手と一致するチェレドニク代数表現に対する特化関手を定義する。
• ミラボリック $D$-加群に対応する特化関手を構成し、それがハミルトニアン還元と整合することを証明する。
• 径方向部分写像とシフト関手を用いて、$SL_n$ 上の微分作用素とチェレドニク代数作用を関連づけ、$\delta$-捩れ微分作用素と $\kappa$-依存の径方向部分写像を用いる。

実験結果

リサーチクエスチョン

• RQ1 ミラボリック $D$-加群がハミルトニアン還元関手によって消されるのはいつか？
• RQ2 ミラボリック $D$-加群上の特化関手とチェレドニク代数表現上のそれらの関係は何か？
• RQ3 この枠組みを介して、ホッジ的純粋性に関する結果を、チェレドニク代数表現の文脈における近傍サイクルに拡張できるか？
• RQ4 ミラボリック $D$-加群の幾何的定義と代数的定義の正確な関係は何か？
• RQ5 $\kappa$-変形の文脈において、径方向部分写像はハリシュ＝チャンドラ同型写像とどのように関係するか？

主な発見

• ミラボリック $D$-加群がハミルトニアン還元によって消されるための必要十分条件は、その特徴的多様体が $\mathbb{M}_{\text{nil}}(SL)$ の不安定部分集合に含まれることである。
• チェレドニク代数表現上の特化関手は、カテゴリ $\mathcal{O}$ においてベズルクアニコフとエティンフォフの制限関手と一致する。
• ハミルトニアン還元は、ミラボリック $D$-加群上の特化関手とチェレドニク代数表現上のそれらを intertwine する。
• 径方向部分写像 $\mathrm{Rad}_w(\Omega_{\mathfrak{sl}})$ は明示的に計算され、$\Omega_\mathfrak{t}$、$\partial_\alpha$、および $w(w+2)(\rho,\rho)$ を含む式が得られる。
• 径方向部分写像 $\mathfrak{R}$ は、すべての $\kappa$ に対して $\mathfrak{Z}$ 上でハリシュ＝チャンドラ同型写像と一致し、多項式の連続化によって得られる。
• ミラボリック $D$-加群の幾何的定義と代数的定義の同値性が確立され、基礎的な核心的問題が解決された。