[论文解读] Introduction to chtoucas for reductive groups and to the global Langlands parameterization

Vincent Lafforgue|arXiv (Cornell University)|Apr 25, 2014

Advanced Algebra and Geometry参考文献 43被引用 9

一句话总结

本文利用 chtoucas 和几何 Satake，通过 chtoucas 的上同调与几何 Satake 等价，为函数域上所有半单代数群建立了全局 Langlands 对应的 '自守到 Galois' 方向，构造了以全局 Langlands 参数为指标的主形式自守形式的典范分解。该工作提供了一种不依赖迹公式的 $GL_r$ 新证明，通过在 chtoucas 的分类叠上引入新颖的上同调技术，将 Drinfeld 的结果推广至任意半单代数群。

ABSTRACT

This is a translation in English of version 5 of the article arXiv:1404.3998, which is itself an introduction to arXiv:1209.5352. We explain all the ideas of the proof of the following theorem. For any reductive group G over a global function field, we use the cohomology of G-shtukas with multiple modifications and the geometric Satake equivalence to prove the global Langlands correspondence for G in the "automorphic to Galois" direction. Moreover we obtain a canonical decomposition of the spaces of cuspidal automorphic forms indexed by global Langlands parameters. The proof does not rely at all on the Arthur-Selberg trace formula.

研究动机与目标

• 为函数域上所有半单代数群建立全局 Langlands 对应的 '自守到 Galois' 方向。
• 构造以全局 Langlands 参数为指标的主形式自守形式空间的典范分解。
• 提出一种不依赖 Arthur-Selberg 迹公式的计算方法，利用 chtoucas 和几何 Satake 等价。
• 通过 chtoucas 分类叠上的上同调方法，将 Drinfeld 关于 $GL_r$ 的结果推广至任意半单代数群。

提出的方法

• 利用 chtoucas 的分类叠，将 Drinfeld 对 $GL_r$ 的工作推广至所有半单代数群。
• 应用几何 Satake 等价，将 Langlands 对偶群的表示与 chtouca 叠上同调的 Hecke 算子联系起来。
• 分析 chtouca 叠上同调的 'Hecke-有限' 部分，推导出主定理所需的性质。
• 利用以有限集 $I$、函数 $\widehat{G}\backslash(\widehat{G})^I/\widehat{G}$ 和伽罗华元素 $(\gamma_i)_{i\in I}$ 为指标的穿越算子，构造自守形式上的自同态。
• 借助 chtouca 叠的上同调性质，证明与主形式自守表示相关联的表示 $\sigma$ 是不可约且权重为 0 的纯表示。
• 依赖 Weil II 和 $\iota$-纯性，推导出在几乎所有素点上 Frobenius 的特征值具有相等的 $\iota$-权重，从而确保与 Langlands 对应的一致性。

实验结果

研究问题

• RQ1 如何在不使用迹公式的情况下，为函数域上所有半单代数群建立全局 Langlands 对应？
• RQ2 主形式自守形式的空间能否根据全局 Langlands 参数实现典范分解？
• RQ3 chtouca 叠及其上同调在实现 Langlands 对应中起到何种作用？
• RQ4 几何 Satake 等价如何在此设定中促进穿越算子的构造？
• RQ5 何种条件可保证与主形式自守形式相关联的 Galois 表示的纯性与不可约性？

主要发现

• 本文为函数域上所有半单代数群构造了以全局 Langlands 参数为指标的主形式自守形式空间的典范分解。
• 证明了函数域上所有半单代数群的全局 Langlands 对应的 '自守到 Galois' 方向，将 Drinfeld 的结果从 $GL_r$ 推广至一般情形。
• 该方法避免使用 Arthur-Selberg 迹公式，转而依赖 chtouca 叠的分类叠上的上同调技术与几何 Satake 等价。
• 对于 $G = GL_r$，该构造为 Langlands 对应提供了新证明，通过 Rankin-Selberg 方法与 $L$-函数分析，表明关联的 Galois 表示 $\sigma$ 是不可约且权重为 0 的纯表示。
• chtouca 叠的上同调实现了穿越算子，所得到的表示被证明是 $\iota$-纯的，且在几乎所有素点上 Frobenius 的特征值具有相等的 $\iota$-权重。
• 结果确认了 $\sigma$ 的 $\iota$-权重为零，该结论由类域论与纯性定理通过行列式信息推导得出。