百科. 佐武等价 [佐武等价]

观念

佐武 (Satake) 等价是 Langlands 对偶群的一种 “实现”: 由 $G$ 构造的某个几何对象上的某种层范畴实现了其对偶群 $^LG$ 的表示范畴. 几何佐武等价是几何 Langlands 对应的基石.

陈述

几何佐武等价

几何 Satake 等价

偏屈层版本

仿射 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). $$

D-模版本