[論文レビュー] A Survey on Springer Theory

Julia Sauter|arXiv (Cornell University)|Jul 3, 2013

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

ひとこと要約

本稿は、複素数体ℂ上のシュレーダー理論の統一的な幾何的枠組みを提示する。シュレーダー三つ組とシュテインベルク多様体を定義し、G-等配Borel-MooreホモロジーおよびK理論上の畳み込み代数（シュテインベルク代数と呼ばれる）を構成する。この代数の非分解的射影的次数付き加群は、分解定理から生じる。主な貢献は、古典的シュレーダー理論およびクイバー次数付きシュレーダー理論が、この代数的幾何的構成の特別な場合として一般化されることである。

ABSTRACT

This is not standard in the sense that we understand a Springer map to be a collapsing of homogeneous bundles. Apart from that we use mostly techniques from Chriss and Ginzbergs book but we work in the equivariant derived category of Bernstein and Lunts. We define Steinberg algebras as (equivariant) Borel-Moore homology algebras of the associated Steinberg varieties. The data of the BBD-decomposition theorem applied to the Springer map give a parametrization of projective graded and simple graded modules over the Steinberg algebra. Also, the projective graded modules are equivalent to a category of shifts of perverse sheaves. This has as a consequence for example the Springer correspondence. We call classical Springer Theory what is usually considered as Springer Theory. The main results are parametrizations of simple modules of different types of Hecke algebras. Our second main example is quiver-graded Springer theory (due to Lusztig), here the Steinberg algebras are the quiver Hecke algebras. We also explain Lusztig's and Khovanov-Lauda's monoidal categorification of the negative half of the quantum group using the categories of shifts of perverse sheaves and projective graded modules over the quiver Hecke algebra respectively.

研究の動機と目的

• 非可換代数およびその加群の広いクラスに適用可能な一様な幾何的構成に、古典的シュレーダー理論を一般化すること。
• G-等配Borel-MooreホモロジーおよびK理論上の畳み込み積を用いて、シュテインベルク代数を体系的に研究する枠組みを確立すること。
• 分解定理を用いて、フラッグ多様体内の部分多様体としてのシュレーダー層のホモロジー的構造を明確にすること。
• シュレーダー代数と既知の代数（ワイル群の群代数、アフィンヘッケ代数、KLR代数、クイバー・シュール代数など）との関係を確立すること。
• シュテインベルク代数の表現論における未解決問題および部分的解答（半単純性、グローバル次元、標準基底など）を特定すること。

提案手法

• 再帰的群G、パラボリック部分群P_i、およびG表現VのP_i安定部分表現F_iを用いてシュレーダー三つ組を定義する。
• シュレーダー写像π: E → Vを、G/P_i上の関連する同次ベクトル bundle E_i = G ×^{P_i} F_i の和集合として構成する。
• ファイバー積としてのシュテインベルク多様体Z = E ×_V Eを定義し、Vおよび(⊔G/P_i) × (⊔G/P_i)への射影pとmを備える。
• 畳み込み積*を、引き戻し、交差積、押し出しを用いて定義する：c1,2 * c2,3 = (q1,3)_*(p1,2^*c1,2 ∩ p2,3^*c2,3)。
• perverse sheaf の分解定理を用いて、シュテインベルク多様体をシュテインベルク代数上の非分解的射影的次数付き加群に分解する。
• πのファイバーのホモロジー群としてのシュレーダー層加群を、畳み込みを介した加群構造を備えて研究する。

実験結果

リサーチクエスチョン

• RQ1 シュレーダー層加群は、常にシュテインベルク代数上の半単純加群か？
• RQ2 どのシュテインベルク代数がアフィンセルラー代数であり、どの代数が有限グローバル次元を持つか？
• RQ3 シュテインベルク代数は、カジダン＝ルシュツィグ多項式と標準基底を有するか？
• RQ4 構成可能層を用いて、シュレーダー写像の非可換特異点解消を構成できるか？
• RQ5 モルティア同値性によって、古典的およびクイバー次数付きシュレーダー理論を結ぶシュール＝ワイエルシュトラス双対性は存在するか？

主な発見

• シュテインベルク代数H_*^A(Z)は畳み込み積に関して結合的代数であり、Z_{i,j} ×_V Z_{k,l} 上にのみ成分が支持されるのはj = kのときのみである。
• 分解定理により、シュテインベルク多様体のG-等配Borel-Mooreホモロジーは、シュテインベルク代数上の非分解的射影的次数付き加群に分解される。
• 古典的シュレーダー理論において、シュテインベルク代数H_*^G(Z)はワイル群Wの群代数ℂ[W]に同型である。
• 向き付きサイクルクイバーに対するクイバー次数付きシュレーダー理論において、H_*^G(Z)はシュール代数に同型であり、StroppelとWebsterによって示された。
• カトの奇抜なシュレーダー理論は、タイプC_n^{(1)}の不均一パrameterを持つヘッケ代数としてシュテインベルク代数を実現し、関連する奇抜なデリーニュ＝ラングランズ対応を有する。
• ディンキンクイバーに対するKLR代数は、Brundan, Kleshchev, McNamaraによってアフィンセルラーであり、有限グローバル次元を持つことが示され、これらが唯一の例であると予想されている。