[论文解读] Geometric Langlands duality and representations of algebraic groups over commutative rings

Ivan Mirković, Kari Vilonen|arXiv (Cornell University)|Jan 18, 2004

Advanced Algebra and Geometry参考文献 6被引用 25

一句话总结

本文建立了一个几何 Satake 同构，通过复数域上复数李代数 $G$ 的仿射 Grassmannian 上的球对称 perverse 范畴，构造了任意交换环上的对偶半单群 $\check{G}$。利用 Tannakian 形式化和半无限 Schubert 单元，证明了具有 $\Bbbk$-系数的 $G_{\mathcal{O}}$-等变 perverse 范畴与 $\check{G}_{\Bbbk}$ 的有限维表示范畴之间的张量范畴等价，从而给出了 $\mathbb{Z}$ 上 Chevalley 群概形的典范、整数系数构造。

ABSTRACT

In this paper we give a geometric version of the Satake isomorphism. Given a connected complex reductive algebraic group, we show that the category of representations of its Langlands dual is naturally equivalent to a certain category of perverse sheaves on the complex affine Grassmannian. We can work with perverse sheaves with coefficients in an arbitrary commutative ring and then we recover the representation theory of the split form of the dual group over the commutative ring.

研究动机与目标

• 从半单群 $G$ 出发，提供对偶半单群 $\check{G}$ 在任意交换环上的几何化、典范构造。
• 建立一个几何 Satake 同构，将仿射 Grassmannian 上的球对称 perverse 范畴实现为与 $\check{G}$ 的有限维表示范畴等价。
• 通过标准层的上同调中使用整数系数，显式构造 $\check{G}_{\mathbb{Z}}$ 上的 Chevalley 群概形。
• 将 Satake 同构推广至特征非零的情形，通过几何方法实现所有域和交换环上的表示理论。
• 利用半无限 Schubert 单元，对仿射 Grassmannian 进行 perverse 单元分解，即使在 $\mathbb{Z}$ 上也提供上同调的基。

提出的方法

• 将仿射 Grassmannian $\mathcal{G}\text{r} = G(\mathbb{C}((z)))/G(\mathbb{C}[[z]])$ 构造为参数化 $G$-丛在带极点的单位圆盘上的 ind-概形。
• 定义 $\operatorname{P}_{G_{\mathcal{O}}}(\mathcal{G}\text{r}, \Bbbk)$：在 $\mathcal{G}\text{r}$ 上具有 $\Bbbk$-系数的 $G_{\mathcal{O}}$-等变 perverse 范畴。
• 为此范畴配备卷积乘积，并应用 Tannakian 形式化，将群概形 $\check{G}_{\Bbbk}$ 重构为纤维函子的自同态群。
• 利用半无限 Schubert 单元定义 $\mathcal{G}\text{r}$ 的 perverse 单元分解，为整数环 $\mathbb{Z}$ 上标准层的上同调提供基。
• 通过证明其根系数据正确且与极限中商的选择无关，验证所得 $\check{G}_{\Bbbk}$ 为 $\Bbbk$ 上的 Chevalley 群概形。
• 通过 Drinfeld 的融合积解释，验证范畴等价 $\operatorname{P}_{G_{\mathcal{O}}}(\mathcal{G}\text{r}, \Bbbk) \simeq \operatorname{Rep}_{\check{G}_{\Bbbk}}$ 与张量结构及交换约束相容。

实验结果

研究问题

• RQ1 能否在不依赖根系对偶性的情况下，从 $G$ 几何化地构造对偶群 $\check{G}$？
• RQ2 是否存在使用几何方法的典范、整数系数构造，以实现 $\check{G}_{\mathbb{Z}}$？
• RQ3 Satake 同构能否被推广至任意交换环，包括正特征域？
• RQ4 半无限 Schubert 单元是否能提供具有整数系数的仿射 Grassmannian 的 perverse 单元分解？
• RQ5 几何 Satake 等价性是否在所有诺特性、交换、含单位元的环 $\Bbbk$ 上，作为 $G_{\mathcal{O}}$-等变 perverse 范畴与 $\check{G}_{\Bbbk}$-表示范畴之间的张量等价成立？

主要发现

• 具有 $\Bbbk$-系数的 $G_{\mathcal{O}}$-等变 perverse 范畴与 $\check{G}_{\Bbbk}$ 的有限维表示范畴之间存在张量范畴等价。
• 对 $\check{G}_{\Bbbk}$ 的构造是典范的且与选择无关，$\check{G}_{\mathbb{Z}}$ 被识别为 $\mathbb{Z}$ 上的 Chevalley 群概形。
• 标准层在仿射 Grassmannian 上的上同调在 $\mathbb{Z}$ 上具有基，该基由半无限 Schubert 单元构造，即使在 $\mathbb{C}$ 上也属新结果。
• 该等价性对所有有限整体维数的诺特性交换含单位元环 $\Bbbk$ 成立，包括 $\mathbb{C}$、$\mathbb{Z}$ 和 $\overline{\mathbb{F}}_q$。
• $\widetilde{G}_{\mathbb{Z}}$（作为有限型商的极限构造的群概形）同构于 $\check{G}_{\mathbb{Z}}$，该同构由幂零同构定理诱导。
• 证明依赖于先在 $\mathbb{Z}$ 上工作，再由此推出正特征域的结果，因为直接在正特征域上进行的论证尚不可行。