[論文レビュー] Noncommutative Counterparts of the Springer Resolution

Roman Bezrukavnikov|ArXiv.org|Apr 20, 2006

Advanced Algebra and Geometry参考文献 31被引用数 56

ひとこと要約

この論文は、スループンの解体の導来圏上の t 構造として実現される、単純なリー代数における冪零錐の非可換解体を導入する。主な貢献は、その心が特異的層からなる特異的 t 構造の構成であり、これは幾何的表現論、局所的幾何的ラングランズ双対性、およびモジュラー表現論を、複数の文脈で自然に生じる標準的 t 構造を通じて統一する。

ABSTRACT

Springer resolution of the set of nilpotent elements in a semisimple Lie algebra plays a central role in geometric representation theory. A new structure on this variety has arisen in several representation theoretic constructions, such as the (local) geometric Langlands duality and modular representation theory. It is also related to some algebro-geometric problems, such as the derived equivalence conjecture and description of T. Bridgeland's space of stability conditions. The structure can be described as a noncommutative counterpart of the resolution, or as a $t$-structure on the derived category of the resolution. The intriguing fact that the same $t$-structure appears in these seemingly disparate subjects has strong technical consequences for modular representation theory.

研究の動機と目的

• スループン解体の導来圏上の t 構造を用いて、単純なリー代数における冪零錐の非可換解体を構成すること。
• 局所的幾何的ラングランズ双対性、モジュラー表現論、およびブリッジランドの安定性条件という多様な分野に自然に現れる標準的 t 構造（特異的 t 構造）を確立すること。
• 同じ t 構造が、スループン解体上の G-不変な連続層の導来圏と、ラングランズ双対群のアフィンフラッグ多様体上の可解層の導来圏の両方を支配することを示すこと。
• 特異的カテゴリにおける Ext 群の次数が、正標数におけるフロベニウス重みに対応することを示し、表現論における標準基底の幾何的実現を提供すること。
• アフィンフラッグ多様体上の可解層の導来圏と、スループン解体のファイバー積上の G-不変な連続層の導来圏との間のモノイダル同型を、バターン群作用とフロベニウスのねじれと整合的に確立すること。

提案手法

• スループン解体 N 上の連続層の代数 A を、D(̃N) に誘導される t 構造を用いて、Morita 同値を除いて一意に定まる非可換解体として定義する。これは D(A) ≅ D(̃N) の導来同値から得られる。
• 特異的 t 構造を、その心が特異的層（A-加群に導来同値で対応する ̃N 上の連続層の複体）からなる t 構造として D(̃N) に導入する。
• ラングランズ双対群のループ群の軌道に伴うラドン変換を用いて、G-不変な ̃N 上の連続層の導来圏にアフィンバターン群作用を構成する。
• 正標数における局在化定理を用いて、フラッグ多様体上の D-加群と ̃N 上の連続層との関係を確立し、モジュラー設定における導来同値を構築する。
• アフィンフラッグ多様体上の可解層の導来圏と、スループン解体のファイバー積 ̃g ×g ̃g 上の G-不変な連続層の導来圏との間のモノイダル同値を、導来ファイバー積を用いて非ゼロの Tor 項を扱うことで確立する。
• フロベニウスの整合性を証明する：幾何的フロベニウス作用と ̃N 上でのスカラー乗法 q との間に、自然な同型 Φ ∘ q* ≅ Fr ∘ Φ が存在し、これにより次数とフロベニウス重みが結びつけられる。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、幾分か異なる幾何的および表現論的構造を統合する非可換解体を、冪零錐に構成できるか？
• RQ2 スループン解体の導来圏上のどの t 構造が、標準的非可換解体を生じるのか？ なぜそれが局所的幾何的ラングランズ双対性とモジュラー表現論の両方で現れるのか？
• RQ3 特異的カテゴリにおける Ext 群の次数は、正標数におけるフロベニウス重みとどのように関係しているか？
• RQ4 ラングランズ双対群のアフィンフラッグ多様体上の可解層の導来圏と、スループン解体のファイバー積上の G-不変な連続層の導来圏との間の正確な関係は何か？
• RQ5 フロベニウス準同型は幾何的ラングランズ同値とどのように作用し、Ext 群の次数にどのような意味をもたらすか？

主な発見

• D(̃N) 上の特異的 t 構造は、その心が特異的層からなる非可換解体を提供し、D(A) ≅ D(̃N) の導来同値によって一意に定まる。
• 同じ特異的 t 構造は、局所的幾何的ラングランズ双対性（D(P) と D(G)-不変連続層の同値）およびモジュラー表現論（正標数における局在化）の両方で現れる。
• ラングランズ双対群のアフィンフラッグ多様体上の可解層の導来圏と、スループン解体のファイバー積 ̃g ×g ̃g 上の G-不変連続層の導来圏との間のモノイダル同値が確立され、バターン群作用と整合的である。
• 特異的カテゴリにおける Ext 群の次数は、自然な同型 Φ ∘ q* ≅ Fr ∘ Φ を通じてフロベニウス重みによって支配され、幾何的フロベニウス作用と ̃N 上でのスカラー乗法 q が結びつけられる。
• 導来ファイバー積は、非ゼロの Tor 項が消えない冪零の場合に、D(̃g ×g ̃g) 上の畳み込み積を適切に定式化するために不可欠であり、微分幾何的スキームを用いる必要がある。
• D(P) 上のラドン変換によるアフィンバターン群作用は、同値のもとで、2節で構成された ̃N 上の連続層の導来圏の導来圏への作用に対応する。