[論文レビュー] Beilinson-Bernstein localization over the Harish-Chandra center

Dani Ben‐Zvi, David Nadler|arXiv (Cornell University)|Sep 2, 2012

Black Holes and Theoretical Physics参考文献 31被引用数 9

ひとこと要約

本稿は、ベイリンソン＝バーチンの局在化定理に対して、導来代数幾何学的手法を用いて一般化を試みるものであり、固定された無限小特性をもたないすべての $υ\mathfrak{g}$-加群が、$G/N$ 上のモノドロミック $υ$-加群に対する相互作用関手の下での不変量（または余不変量）として記述されることを示している。これは、無限小特性を固定しない一般化された局在化定理の証明である。主な結果は、デムズル作用素のカテゴリカル作用を通じて、グロテンディーク＝スプリンガー解体の量子版としての降下を確立することにある。

ABSTRACT

We present a simple proof of a strengthening of the derived Beilinson-Bernstein localization theorem using the formalism of descent in derived algebraic geometry. The arguments and results apply to arbitrary modules without the need to fix infinitesimal character. Roughly speaking, we demonstrate that all Ug-modules are the invariants, or equivalently coinvariants, of the action of intertwining functors (a refined form of Weyl group symmetry). This is a quantum version of descent for the Grothendieck-Springer simultaneous resolution. In an appendix we present an alternative perspective, which identifies the descent data in both classical and quantum versions as a categorical action of Demazure operators.

研究の動機と目的

• 固定されたまたは一般化された無限小特性をもたない加群へと、ベイリンソン＝バーチン局在化定理を一般化すること。
• 固定された無限小特性をもたないすべての $υ\mathfrak{g}$-加群を、導来代数幾何学における導来降下の枠組みで統一的に扱うためのフレームワークを提供すること。
• 古典的および量子的設定における降下データを、デムズル作用素のカテゴリカル作用として同定すること。
• グロテンディーク＝スプリンガー同時解体およびその量子版を通じて、幾何的および表現論的視点を統合すること。
• 局在化同型を無限小特性の形式的近傍およびホイットッカー圏へと拡張し、より深い対称性を明らかにすること。

提案手法

• 導来代数幾何学における降下の形式的枠組みを用い、ベイリンソン＝バーチン定理を強化され、一様な形で再証明する。
• バール＝ベック型の定理を適用し、$υ\mathfrak{g}$-加群の圏と $G/N$ 上のモノドロミック $υ$-加群の圏の間の同値関係を確立する。
• 相互作用関手の作用を、ワイル群の対称性の洗練された形として特定し、$υ\mathfrak{g}$-加群の降下データを符号化する。
• 普遍的ワイル層を導入し、$G/N$-不変な $υ$-加群の導来圏上におけるデムズル作用素のカテゴリカル作用を構成する。
• グロテンディーク＝スプリンガー解体を古典的アナロジーとして用い、量子版はニルヘッケ代数と $υ\mathfrak{g}$-加群を用いて実現する。
• フレームワークをホイットッカー圏に適用し、Kostantスライスへの制限を通じて、ホイットッカー $υ\mathfrak{g}$-加群とホイットッカー $υ$-加群が同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 固定された無限小特性をもたないすべての $υ\mathfrak{g}$-加群に対して、ベイリンソン＝バーチン局在化定理をどのように一般化できるか。
• RQ2 ワイル群の対称性を通じて $υ\mathfrak{g}$-加群の降下に内在するカテゴリカル構造は何か。
• RQ3 導来降下を通じて、量子グロテンディーク＝スプリンガー解体と古典的解体の関係は何か。
• RQ4 デムズル作用素は、古典的および量子的設定の両方で降下データをどのように符号化するか。
• RQ5 ホイットッカー圏は、一般化された局在化フレームワークの極限としてどのように現れるか。

主な発見

• 本稿は、$υ\mathfrak{g}$-加群のdg圏（無限小特性が $W$-軌道 $[λ]$ に属するもの）と、$G/B$ 上の $λ$-捩れ $υ$-加群のdg圏との同値性を確立した。$λ$ が特異的であったり、形式的近傍に属していようと、同値性は成立する。
• すべての $υ\mathfrak{g}$-加群が、相互作用関手の作用の下で、$G/N$ 上のモノドロミック $υ$-加群の不変量（または余不変量）として記述されることを示した。これは、古典的局在化定理の一般化である。
• グロテンディーク＝スプリンガー解体の降下データは、デムズル作用素のカテゴリカル作用として特定され、古典的および量子的設定の両方を統一的に扱う枠組みを提供する。
• ホイットッカー設定では、局在化同値性がKostantスライスへの制限を通じて、ホイットッカー $υ\mathfrak{g}$-加群と中心 $χ\mathfrak{g}$ 上の加群との同値性に制限され、実現される。
• 量子グロテンディーク＝スプリンガー解体は、ニルヘッケ代数によって支配されており、$χ^*$ から $χ^*//W$ への降下を制御する。これは、ボレル＝ヴァイル＝ボットの定理の一般化である。
• モノドロミー $λ$ をもつ $G/N$-不変な $υ$-加群の導来圏は、無限小特性 $[λ]$ をもつ $υ\mathfrak{g}$-加群の圏と同値である。これは、特異的 $λ$ に対しても、カテゴリカル降下機構を通じて成立する。