[论文解读] Twisted geometric Satake equivalence: reductive case

Sergey Lysenko|arXiv (Cornell University)|Nov 25, 2014

Finite Group Theory Research参考文献 1被引用 5

一句话总结

本文在代数闭域上将扭的几何 Satake 等价性从几乎单群推广到分裂的半单群，建立了仿射 Grassmannian 上 $G(\mathcal{O})$-等变 perverse 纲与对偶群表示之间的对称单oidal 等价，通过 $K_2$ 和 $\mathbb{G}_m$ 的中心扩张引入了 metaplectic 结构，关键输入来自曲线上对称双线性型与 theta 数据。

ABSTRACT

In this paper we extend the twisted Satake equivalence established in arXiv:0809.3738 for almost simple groups to the case of split reductive groups.

研究动机与目标

• 将扭的 Satake 等价性从几乎单群推广到代数闭域上的分裂半单群。
• 为 metaplectic 几何 Langlands 提供数学上严格的框架，纠正先前物理处理中的错误。
• 通过 $\theta$-数据与中心扩张，构造具有指定 $\mathbb{G}_m$-单值性的 $G(\mathcal{O})$-等变 perverse 纲的对称单oidal 范畴。
• 通过 $K_2$-中心扩张与 $\mathbb{G}_m$-gerbes，建立包含 metaplectic 结构的几何 Satake 等价。
• 证明 $G$ 的 Weyl 群与对偶群 $\check{G}_\zeta$ 的 Weyl 群在 $\mathrm{Aut}(\Lambda^\sharp)$ 中作为子群完全一致。

提出的方法

• 利用 Brylinski-Deligne 关于半单群 $K_2$-中心扩张的理论来建模 metaplectic 结构。
• 通过 canonical bundle 的平方根 $\Omega^{1/2}$，将对称双线性型 $\kappa: \Lambda \otimes \Lambda \to \mathbb{Z}$ 与超扩张 $\tilde{\Lambda}^s$ 构造为光滑射影曲线 $X$ 上的 $\theta$-数据。
• 定义线丛 $\lambda^\gamma = (\Omega^{1/2})^{\otimes -\kappa(\gamma,\gamma)} \otimes \epsilon^\gamma$ 及其扭曲同构 $^\prime c^{\gamma_1,\gamma_2}$，构成 $\mathcal{P}^\theta(X,\Lambda)$ 中的对象。
• 应用仿射 Grassmannian $\mathrm{Gr}_G$ 与 $\mathrm{Gr}_M$（$M$ 为 Levi 子群）的理论，利用自然映射 $f_0: \mathrm{Gr}_{M_0} \to \mathrm{Gr}_G$ 关联线丛与单值性。
• 分析 $\mathrm{Gr}_M$ 中 $T$-稳定子概形 $Y \cong \mathbb{P}^1$，通过 $\mathcal{L}_{M_0}$ 截面的消去阶数计算局部系统单值性。
• 利用条件 $\zeta^{(a+b)c_j\kappa_j(\alpha_i,\alpha_i)/2}$ 为平凡当且仅当 $b\bar{\kappa}(\alpha_i,\alpha_i) \in 2N\mathbb{Z}$ 定义最小 $b = \delta_i$，从而定义 $m_i = \delta_i$。

实验结果

研究问题

• RQ1 如何将扭的几何 Satake 等价性从几乎单群推广到代数闭域上的分裂半单群？
• RQ2 具有 $\mathbb{G}_m$-单值性 $\zeta$ 的 $G(\mathcal{O})$-等变 perverse 纲范畴的精确几何与范畴结构是什么？
• RQ3 $K_2$-中心扩张如何诱导出 $\theta$-数据与几何 Satake 范畴上的对称单oidal 结构？
• RQ4 在 metaplectic 设置下，$G$ 的 Weyl 群与对偶群 $\check{G}_\zeta$ 的 Weyl 群之间有何关系？
• RQ5 如何通过线丛限制与截面消去阶数计算仿射 Grassmannian 花样上局部系统的单值性？

主要发现

• 本文建立了 $\mathbb{E}/G(\mathcal{O})$ 上 $G(\mathcal{O})$-等变 $\bar{\mathbb{Q}}_\ell$-perverse 纲范畴（具有 $\mathbb{G}_m$-单值性 $\zeta$）与对偶群 $\check{G}_\zeta$ 表示范畴之间的对称单oidal 等价。
• $G$ 的 Weyl 群与 $\check{G}_\zeta$ 的 Weyl 群在 $\mathrm{Aut}(\Lambda^\sharp)$ 中作为子群同构，确保与 Langlands 对偶性的相容性。
• 使得 $b\bar{\kappa}(\alpha_i,\alpha_i) \in 2N\mathbb{Z}$ 的最小 $b$ 为 $\delta_i$，由此定义 $m_i = \delta_i$，该值控制单值性条件。
• $\mathrm{Gr}_{M_0}$ 上 $f_0^*\mathcal{L}_j$ 的限制同构于 $\mathcal{L}_{M_0}^{\kappa_j(\alpha_i,\alpha_i)/2}$，将 $M_0$ 的几何与 $\mathcal{L}_j$ 的全局结构联系起来。
• $\mathrm{Gr}_M$ 中的 $T$-稳定子概形 $Y \subset \mathrm{Gr}_M$ 同构于 $\mathbb{P}^1$，其不动点为 $t^\nu M(\mathcal{O})$ 与 $t^{-\lambda}M(\mathcal{O})$，且 $\mathcal{L}_{M_0}$ 限制到 $Y$ 上为 $\mathcal{O}_{\mathbb{P}^1}(a+b)$。
• $\mathcal{L}_{M_0}^{\kappa_j(\alpha_i,\alpha_i)/2}$ 对应于 $\Omega_{\bar{c}}^{\kappa_j(\nu,\nu)/2}$ 中非零元素的截面在 $t^{-\lambda}M(\mathcal{O})$ 处以阶 $(a+b)\kappa_j(\alpha_i,\alpha_i)/2$ 消去，从而确定单值性。