[论文解读] Kloosterman sheaves for reductive groups

Jochen Heinloth, Ngô Bảo Châu+1 more|arXiv (Cornell University)|May 16, 2010

Advanced Algebra and Geometry参考文献 22被引用 8

一句话总结

本文在几何朗兰兹纲领的框架下，使用几何方法，为任意分裂半单群 $\check{G}$ 构造了 $ρ$-adic Kloosterman 线丛。通过仿射格拉斯曼流形中奇点的解析，实现了这些线丛的统一构造，证明其产生具有例外单连通性群 $G_2$、$F_4$、$E_7$ 和 $E_8$ 的动机 Galois 表示，并建立了类似于经典 Kloosterman 线丛的野生分歧与单值性性质。

ABSTRACT

Deligne constructed a remarkable local system on $\bP^1-\{0,\infty\}$ attached to a family of Kloosterman sums. Katz calculated its monodromy and asked whether there are Kloosterman sheaves for general reductive groups and which automorphic forms should be attached to these local systems under the Langlands correspondence. Motivated by work of Gross and Frenkel-Gross we find an explicit family of such automorphic forms and even a simple family of automorphic sheaves in the framework of the geometric Langlands program. We use these automorphic sheaves to construct l-adic Kloosterman sheaves for any reductive group in a uniform way, and describe the local and global monodromy of these Kloosterman sheaves. In particular, they give motivic Galois representations with exceptional monodromy groups G_2,F_4,E_7 and E_8. This also gives an example of the geometric Langlands correspondence with wild ramifications for any reductive group.

研究动机与目标

• 为任意分裂半单群 $\check{G}$ 构造 Kloosterman 线丛，推广经典在 $\mathbb{G}_m$ 上的 Kloosterman 线丛。
• 回答 Katz 提出的问题：所有半单群，尤其是例外群，是否都能作为 $\mathbb{G}_m$ 上局部系统在几何单值群中出现？
• 在几何朗兰兹纲领的框架下，提供一种统一的自守线丛几何构造，以实现这些 Kloosterman 线丛。
• 计算所构造线丛的局部与全局单值性，包括在无穷远处的野生分歧。
• 证明这些线丛产生具有例外几何单值群 $G_2$、$F_4$、$E_7$ 和 $E_8$ 的动机 Galois 表示。

提出的方法

• 使用仿射格拉斯曼流形中 $\textup{Ad}(G)U^\times_{-\gamma,-1}$ 闭包的解析 $\nu: G \times_{P_{-\theta}} (\prod_{\langle \beta, -\gamma^\vee \rangle \geq 2} U_{\beta,-1}) \to \operatorname{Gr}^{\textup{triv}}_{\leq \gamma^\vee}$。
• 在几何设定下，通过导出直接像 $R\pi_!\sigma^*\textup{AS}_\psi[n-1]$ 构造 $\check{G}$-局部系统 $\textup{Kl}_{\check{G}}$ 在 $\mathbb{G}_m$ 上。
• 应用 Grothendieck-Lefschetz 跟踪公式，将线丛的单值性与指数和联系起来，推广经典 Kloosterman 和。
• 使用 Bruhat 分解与逐纤维欧拉示性数公式，计算仿射格拉斯曼流形分层上的欧拉示性数 $\chi_c$。
• 利用仿射格拉斯曼流形上的特征 $J$ 及其通过求值映射的拉回，计算单值性不变量。
• 通过在轨道与解析态射纤维上逐项计算 $\chi_c$，将问题约化为根系分析（例如 $G_2$ 的情形）。

实验结果

研究问题

• RQ1 能否为任意分裂半单群 $\check{G}$（而不仅是 $\mathrm{GL}_n$）构造 Kloosterman 线丛？
• RQ2 这些线丛是否实现具有例外几何单值群（如 $G_2$、$F_4$、$E_7$ 和 $E_8$）的动机 Galois 表示？
• RQ3 这些线丛的局部与全局单值性是什么，特别是 $\infty$ 和 $0$ 处？
• RQ4 在任意半单群的几何朗兰兹对应中，能否实现野生分歧？
• RQ5 是否存在几何朗兰兹纲领中一种统一的自守线丛构造，能产生此类 Kloosterman 线丛？

主要发现

• 本文通过仿射格拉斯曼流形中奇点的解析，以统一的几何方式为任意分裂半单群 $\check{G}$ 构造了 $\ell$-adic Kloosterman 线丛 $\textup{Kl}_{\check{G}}$。
• 线丛 $\textup{Kl}_{\check{G}}$ 在 $0$ 处为 tame 分歧，具有幂幺单值性；在 $\infty$ 处为完全野生分歧，Swan 膜数为 $1$。
• 全局几何单值群 $\check{G}_{\textup{geo}}$ 被证明同构于 $\check{G}$ 本身，确认所有半单群（包括例外群）均可作为单值群出现。
• 对于 $G_2$，计算确认 $\chi_c(\operatorname{Gr}^{\textup{triv},a=0}_{\gamma^\vee},{\rm ev}^*J) = -1$，这对验证单值结构至关重要。
• 这些线丛产生具有几何单值群 $G_2$、$F_4$、$E_7$ 和 $E_8$ 的动机 Galois 表示，正面回答了 Katz 的问题。
• 该构造首次在任意半单群（而不仅是经典 $\mathrm{GL}_n$）的情形下，实现了具有野生分歧的几何朗兰兹对应。