[論文レビュー] Equivariant Satake category and Kostant-Whittaker reduction

Roman Bezrukavnikov, Michael Finkelberg|ArXiv.org|Jul 25, 2007

Algebraic structures and combinatorial models参考文献 6被引用数 20

ひとこと要約

この論文は、アフィングラスマンニアンのループ回転に平衡する導来Satake圏と、Langlands双対リー代数のハリシュ・チャンドラ両側加群の間の同型を確立し、グローバルコホロロジーをコスタント＝ホイトキッカー還元と特定する。純粋性および等変コホモロジー技法を用いて構成されたモノイダル関手を通じて、アフィングラスマンニアンの等変ホモロジーと量子化Toda格子を結ぶ予想を証明する。

ABSTRACT

We explain (following V. Drinfeld) how the equivariant derived category of the affine Grassmannian can be described in terms of coherent sheaves on the Langlands dual Lie algebra equivariant with respect to the adjoint action, due to some old results of V. Ginzburg. The global cohomology functor corresponds under this identification to restricti on to the Kostant slice. We extend this description to loop rotation equivariant derived category, linking it to Harish-Chandra bimodules for the Langlands dual Lie algebra, so that the global cohomology functor corresponds to the quantum Kostant-Whittaker reduction of a Harish-Chandra bimodule. We derive a conjecture from math.AG/0306413 which identifies the loop-rotation equivariant homology of the affine Grassmannian with quantized completed Toda lattice.

研究の動機と目的

• アフィングラスマンニアンの導来圏におけるループ回転に平衡する幾何的Satake同型を拡張すること。
• Langlands双対リー代数のハリシュ・チャンドラ両側加群の観点から、ループ回転に平衡する導来Satake圏を記述すること。
• グローバルコホロロジー関手とコスタント＝ホイトキッカー還元との正確な対応を確立すること。
• アフィングラスマンニアンのグローバル等変ホモロジーを畳み込み構造を通じて量子化Toda格子代数と同定する予想を証明すること。
• 純粋性および標準的フィルトレーションを用いて、等変層の圏と加群の圏の間のモノイダル同型を構築すること。

提案手法

• ギンツブルグの等変コホモロジーおよびコスタント関手に関する結果を用い、導来圏を双対リー代数上の連続的層に結びつける。
• グレーディング付き $ \check{G} $-等変 $ U_\hbar $-加群の圏から、アフィングラスマンニアンの等変導来圏へのモノイダル関手を構成する。
• IC層間の等変Ext群の純粋性を用いて、アフィングラスマンニアンのストラタを越えた関手の整合性を保証する。
• コスタント＝ホイトキッカー還元関手を適用し、グローバルコホロロジーをレヴィ部分代数のホイトキッカー加群と特定する。
• 等変コホモロジーおよびコスタント関手における標準的フィルトレーションを用いて、レヴィ部分群を越えた整合性を確立する。
• 準同型写像および形式的逆構成を用いて、コホモロジーから導来圏への代数的構造の持ち上げを行う。

実験結果

リサーチクエスチョン

• RQ1 ループ回転に平衡する導来Satake圏は、Langlands双対側の表現論的対象としてどのように記述できるか？
• RQ2 アフィングラスマンニアンにおけるループ回転を伴う文脈で、グローバルコホロロジー関手の正確な代数的解釈は何か？
• RQ3 この文脈において、コスタント＝ホイトキッカー還元は、IC層のグローバルコホロロジーとどのように関係するか？
• RQ4 アフィングラスマンニアンの等変ホモロジーは、畳み込み構造を通じて量子化Toda格子代数と同定可能か？
• RQ5 純粋性および標準的フィルトレーションは、幾何的圏と代数的圏の間のモノイダル同型を構築する上で果たす役割は何か？

主な発見

• ループ回転に平衡する導来Satake圏は、Langlands双対リー代数のハリシュ・チャンドラ両側加群の圏とモノイダル同型である。
• IC層のグローバルコホロロジーは、ハリシュ・チャンドラ両側加群のコスタント＝ホイトキッカー還元と正確に一致する。
• グローバル等変コホモロジー代数 $ H^\bullet_{{\bf G_O} \rtimes \mathbb{G}_m}(\operatorname{Gr}) $ は、$ \check{\mathfrak{g}} $ の普遍包あらわし代数の中心のテンソル平方と同型である。
• [11]の予想が証明された：アフィングラスマンニアンの等変ホモロジーは畳み込み構造を伴い、量子化Toda格子代数と同型である。
• モノイダル同型の構成は、等変Ext群の純粋性およびレヴィ部分群を越えた標準的フィルトレーションの整合性に依存する。
• コスタント関手 $ \kappa_\hbar $ は、$ \check{G} $-等変 $ U_\hbar $-加群の導来圏からアフィングラスマンニアンの等変導来圏への完全忠実関手を誘導する。