[論文レビュー] An introduction to affine Grassmannians and the geometric Satake equivalence

Xinwen Zhu|arXiv (Cornell University)|Mar 17, 2016

Advanced Combinatorial Mathematics参考文献 22被引用数 52

ひとこと要約

この論文は、再帰的群のアフィングラスマンニアンと幾何学的サタケ同値性について、その幾何的構造、モジュライ的解釈、および表現論とラングランズ・プログラムへの応用を焦点として包括的な導入を提供する。幾何学的サタケ同値性は、アフィングラスマンニアン上の perverse sheaves の圏とラングランズ双対群の表現の圏の間の Tannakian 同値性として確立され、因子化空間とベイリノ・ドゥーブル・グラスマンニアンを主な道具として用いる。

ABSTRACT

We introduce various affine Grassmannians, study their geometric properties, and give some applications. We also discuss the geometric Satake equivalence. These are the expanded lecture notes for a mini-course in 2015 PCMI summer school. References updated and more details added.

研究の動機と目的

• 再帰的群に対するアフィングラスマンニアンの基礎的理論を構築し、そのモジュライ的解釈と幾何的性質を含む。
• アフィングラスマンニアン上の perverse sheaves の圏とラングランズ双対群の表現の圏の間の Tannakian 同値性として幾何学的サタケ同値性を確立する。
• アフィングラスマンニアンを用いた G-バンドルのモジュライ、特に均一化と conformal blocks への応用を検討する。
• ベイリノ・ドゥーブル・グラスマンニアンにおける因子化構造を導入し、幾何学的ラングランズ・プログラムにおけるその役割を明らかにする。
• 文献にあまり記述のないがよく知られた結果、特に Picard 群と決定的ラインバンドルに関する詳細な証明を提供する。

提案手法

• ピアスドットを除く領域における G-バンドルをパラメトライズする ind-スキームとしてアフィングラスマンニアンを構成し、Beauville-Laszlo の定理を用いてデータを貼り合わせる。
• シューベルト多様体とその分割を研究することで、アフィングラスマンニアンのトポロジーとコホモロジーを分析する。
• ラン空間上のベイリノ・ドゥーブル・グラスマンニアンを導入し、因子化構造を符号化し、ラインバンドルを研究する。
• 等変 perverse sheaf の理論と普遍局所アキュライト性を用いて、サタケ圏とその Tannakian 構造を分析する。
• 融合積とサタケ圏を用いた双対群の構成を通じて、幾何学的サタケ同値性を確立する。
• 幾何学的サタケ同値性を応用し、古典的サタケ同型を導出し、バンドルのモジュライにおける conformal blocks を理解する。

実験結果

リサーチクエスチョン

• RQ1 アフィングラスマンニアンはどのように ind-スキームとして構成され、その主要な幾何的およびモジュライ的性質は何か？
• RQ2 決定的ラインバンドルと Picard 群は、アフィングラスマンニアンの幾何学において果たす役割は何か？
• RQ3 ベイリノ・ドゥーブル・グラスマンニアンにおける因子化構造は、幾何学的サタケ同値性をどのように符号化するか？
• RQ4 幾何学的サタケ同値性の正確な定式化と証明は何か？また、古典的サタケ同型とはどのように関係するか？
• RQ5 幾何学的サタケ同値性は、代数的曲線上の G-バンドルのモジュライおよび conformal blocks にどのように応用できるか？

主な発見

• 再帰的群 G に対するアフィングラスマンニアンは、一点を除く場所で自明化された曲面上の G-バンドルのモジュライ空間と自然に同型であり、幾何的均一化写像を提供する。
• 幾何学的サタケ同値性は、アフィングラスマンニアン上の G^\text{∨}-不変 perverse sheaves の圏とラングランズ双対群 G^\text{∨} の表現の圏の間のテンソル同値性を確立する。
• サタケ圏 Sat_G が Tannakian 圏であることが示され、その Tannakian 双対はラングランズ双対群 G^\text{∨} に同定される。
• サタケ圏における融合積はベイリノ・ドゥーブル・グラスマンニアンを用いて構成され、これは表現のテンソル積に対応する。
• 本論文では、ベイリノ・ドゥーブル・グラスマンニアンの相対 Picard シェーブの詳細な計算が行われており、これはこれまでの文献では一般に得られていなかった結果である。
• 幾何学的サタケ同値性は、シューベルト多様体のコホモロジーとヘッケ代数の作用を通じて、古典的サタケ同型を回復する。