[论文解读] Chtoucas pour les groupes r\\'eductifs et param\\'etrisation de Langlands globale

Vincent Lafforgue|arXiv (Cornell University)|Sep 24, 2012

Advanced Algebra and Geometry参考文献 125被引用 99

一句话总结

本文利用几何 Satake 和穿越算子，建立了函数域上半单代数群的全局 Langlands 对应中从自守形式到 Galois 表示的方向。它构造了由 ℓ 进 Langlands 参数索引的尖形式的典范分解，证明了与局部 Satake 同构的相容性，并通过内形式和 ker¹(F,G) 将结果推广至非分裂群。

ABSTRACT

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 参数索引的广义特征空间。
• 通过内形式和上同调不变量 ker¹(F,G) 将结果推广至非分裂半单代数群。
• 证明该分解在未分歧位置与局部 Satake 同构相容。
• 证明该分解定义在 Q 上且与 ℓ 的选择无关，符合猜想。

提出的方法

• 利用几何 Satake 等价性，将 Langlands 对偶群的表示与每个位置上的 Hecke 代数联系起来。
• 引入作用在尖形式上的“穿越算子”，其参数为有限集 I、(bG)^I//bG 上的函数 f，以及 I 中元素的 Galois 元素 (γi)i∈I。
• 构造一个穿越算子的交换代数 B，其特征 ν 索引尖形式空间的典范分解。
• 应用谱分解，得到尖形式空间在 Qℓ 上的直和分解，其指标为 B 的特征 ν。
• 证明每个特征 ν 唯一对应一个全局 Langlands 参数 σ: Gal(F/F) → bG(Qℓ)，该参数连续、半单，且在有限集 N 外未分歧。
• 通过在 ker¹(F,G) 上求和并用 L-群代替对偶群，将结果推广至非分裂群。

实验结果

研究问题

• RQ1 如何证明任意函数域上半单代数群的自守到 Galois Langlands 对应？
• RQ2 能否构造一个与局部 Satake 同构相容的尖形式的典范分解？
• RQ3 穿越算子在几何实现 Langlands 对应中起什么作用？
• RQ4 该分解在基域扩张和非分裂情形下如何行为？
• RQ5 该分解是否定义在 Q 上且与 ℓ 的选择无关？

主要发现

• 本文在 Qℓ 上构造了尖形式空间的典范分解，将其分解为由全局 Langlands 参数 σ: Gal(F/F) → bG(Qℓ) 索引的广义特征空间 Hσ。
• 每个 Hσ 由条件刻画：穿越算子 SI,f,(γi)i∈I 通过 f((σ(γi))i∈I) 作用，从而在算子与 Galois 参数之间建立了精确联系。
• 该分解在有限集 N 之外的所有位置与局部 Satake 同构相容，即 T(hV,v) 在 Hσ 上通过乘以 χV(σ(Frobv)) 作用。
• 对于非分裂群，尖形式空间被替换为对 ker¹(F,G) 中内形式的各空间的直和，其参数取值于 L-群。
• 该分解定义在 Q 上且与 ℓ 无关，符合论文中的猜想。
• 该结果在 Fℓ 上也成立，从而将理论推广至正特征系数。