[论文解读] An introduction to affine Grassmannians and the geometric Satake equivalence

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

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

一句话总结

本文對仿射格拉斯曼ian與幾何Satake等價性提供了全面的介紹，著重於其幾何結構、模詮釋以及在表示理論與朗蘭茲計畫中的應用。本文將幾何Satake等價性建立為仿射格拉斯曼ian上 perverse sheaves 與朗蘭茲對偶群表示之間的 Tannakian 等價，並以因式分解空間與 Beilinson-Drinfeld 格拉斯曼ian 為核心工具。

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.

研究动机与目标

• 為半單群的仿射格拉斯曼ian發展基礎理論，包括其模詮釋與幾何性質。
• 將幾何Satake等價性建立為仿射格拉斯曼ian上 perverse sheaves 類與朗蘭茲對偶群表示類之間的 Tannakian 等價。
• 探討仿射格拉斯曼ian在代數曲線上的 G-主叢模空間中的應用，包括幾何化均勻化與共形塊。
• 介紹 Beilinson-Drinfeld 格拉斯曼ian 上的因式分解結構及其在幾何朗蘭茲計畫中的角色。
• 提供文獻中廣為人知但缺乏完整記載之結果的詳細證明，特別是關於 Picard 群與行列式線叢的內容。

提出的方法

• 利用 Beauville-Laszlo 定理將資料黏合，將仿射格拉斯曼ian構造為參數化穿孔圓盤上 G-束的 ind-概形。
• 研究 Schubert 無窮與其分層，以分析仿射格拉斯曼ian的拓撲與上同調。
• 在 Ran 空間上引入 Beilinson-Drinfeld 格拉斯曼ian，以編碼因式分解結構並研究線叢。
• 運用等變 perverse sheaves 與普遍局部消去性理論，分析 Satake 類與其 Tannakian 結構。
• 透過融合積與利用 Satake 類構造對偶群，建立幾何Satake等價性。
• 將幾何Satake等價性應用於推導古典Satake同構，並在主叢模空間的背景下理解共形塊。

实验结果

研究问题

• RQ1 如何將仿射格拉斯曼ian構造為 ind-概形？其關鍵幾何性質與模理論性質為何？
• RQ2 行列式線叢與 Picard 群在仿射格拉斯曼ian的幾何中扮演何種角色？
• RQ3 Beilinson-Drinfeld 格拉斯曼ian 上的因式分解結構如何編碼幾何Satake等價性？
• RQ4 幾何Satake等價性的精確陳述與證明為何？其與古典Satake同構有何關聯？
• RQ5 幾何Satake等價性如何應用於 G-主叢的模空間與代數曲線上的共形塊？

主要发现

• 對於半單群 G，仿射格拉斯曼ian 自然同構於曲線上帶有某點外平凡化結構的 G-主叢模空間，從而提供一個幾何均勻化映射。
• 幾何Satake等價性建立了仿射格拉斯曼ian上 G^\text{∨}-等變 perverse sheaves 類與朗蘭茲對偶群 G^\text{∨} 表示類之間的張量等價。
• Satake 類 Sat_G 被證明為 Tannakian 類，其 Tannakian 對偶被識別為朗蘭茲對偶群 G^\text{∨}。
• Satake 類上的融合積透過 Beilinson-Drinfeld 格拉斯曼ian 建構，對應於表示的張量積。
• 本文提供了 Beilinson-Drinfeld 格拉斯曼ian 相對 Picard 係蒼的詳細計算，此結果在文獻中此前尚未以完整一般性形式出現。
• 幾何Satake等價性透過 Schubert 無窮的上同調與 Hecke 代數作用，恢復了古典Satake同構。