佐武等价 [佐武等价]
佐武等价 [佐武等价]
观念
佐武 (Satake) 等价是 Langlands 对偶群的一种 “实现”: 由 $G$ 构造的某个几何对象上的某种层范畴实现了其对偶群 $^LG$ 的表示范畴; 再由淡中对偶可提取出对偶群. 几何佐武等价是几何 Langlands 对应的基石.
Arguably, this is in fact the correct definition of the Langlands dual group — it is the Tannakian group that arises in the geometric Satake equivalence.
— Peter Scholze 2026 年 3 月 Bourbaki 演讲
陈述
几何佐武等价
偏屈层版本
仿射 Grassmann 空间 $\mathrm{Gr}_G$ 上的 $L^+G$-等变偏屈层的 Abel 范畴 $\mathsf{Perv}_{L^+G}(\mathrm{Gr}_G)$ 是等变导出范畴上某个偏屈 t-结构的心, 且继承了导出范畴上的卷积, 构成幺半范畴. 几何佐武等价指出这个幺半范畴等价于 Langlands 对偶群 $G^\vee$ 的表示范畴, $$ \mathsf{Perv}_{L^+G}(\mathrm{Gr}_G) \simeq \mathsf{Rep}(G^\vee). $$