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

Alain Genestier, Vincent Lafforgue|arXiv (Cornell University)|Sep 4, 2017

Advanced Algebra and Geometry被引用 12

一句话总结

本文建立了正特征局部域上半单代数群的局部兰道斯普林格对应，通过韦伊-德利涅参数对光滑、酉、不可约表示实现半单参数化。该工作将拉福尔格（2012）的全局参数化推广至局部情形，证明了与全局自守形式、帕拉博利克诱导及函子性的相容性，并通过伯恩斯坦中心与中心特征的代数依赖性，确立了唯一刻画性质。

ABSTRACT

We associate to every irreducible representation of a reductive group over a local field of equal characteristics a local Langlands parameter up to semisimplification and prove the compatibility with the global parameterization constructed by the second author. Our method involves stacks of restricted shtukas (which are analogues of truncated Barsotti-Tate groups) and nearby cycles over arbitrary bases.

研究动机与目标

• 建立正特征局部域上半单代数群的光滑、酉、不可约表示的局部兰道斯普林格对应。
• 通过从局部表示到兰道斯普林格参数的典范且唯一刻画的映射，将拉福尔格（2012）的全局自守形式参数化推广至局部情形。
• 证明局部参数化与全局自守诱导、帕拉博利克诱导及函子性的相容性。
• 通过伯恩斯坦中心与中心特征的代数依赖性，定义并刻画局部兰道斯普林格参数。
• 为正特征下局部γ-因子与L-函数的完整理论奠定基础。

提出的方法

• 构造一个典范且唯一定义的映射 π ↦ σπ，将 Qℓ 上光滑、酉、不可约表示的同构类映射到兰道斯普林格对偶群取值的半单韦伊-德利涅参数的同构类。
• 施加相容性条件（a）：σπ 仅依赖于 π 的中心特征，且以代数方式依赖，如定理 1.1 所形式化。
• 通过证明全局自守表示的局部分量与全局参数的限制相匹配，建立与 [Laf12] 中全局参数化的相容性。
• 证明与帕拉博利克诱导的相容性：若 π 是紧支集诱导表示 Ind_{P(K)}^{G(K)} τ 的子商，则 σπ 与复合映射 Weil(K) → Ŵ(τ) → Ŵ(G) 共轭。
• 建立与函子性的相容性：对同态 Υ: G → G′，G′(K) 上 π 的参数由 σπ 经对偶同态 ∨Υ 映射得到。
• 利用 chtoucas 理论及有限域上曲线的 G-丛模空间，通过全局参数化将局部与全局结构联系起来。

实验结果

研究问题

• RQ1 如何为正特征局部域上半单代数群的局部兰道斯普林格对应提供唯一刻画？
• RQ2 表示的局部兰道斯普林格参数与 chtouca 构造所得全局自守参数之间的确切关系为何？
• RQ3 局部参数化如何与帕拉博利克诱导及函子性相互作用？
• RQ4 局部兰道斯普林格对应能否从具有整结构的表示推广至所有光滑、酉、不可约表示？
• RQ5 伯恩斯坦中心在代数方式刻画局部兰道斯普林格参数中起什么作用？

主要发现

• 映射 π ↦ σπ 由其对 π 的中心特征的代数依赖性唯一刻画，如定理 1.1 所形式化。
• 局部参数化与 [Laf12] 中的全局参数化相容：对任意自守表示 π = ⊗π_v，局部参数 σπ_v 是全局参数 σ 限制到 Gal(̄F_v/F_v) 后的半单化。
• 参数化可唯一延拓至所有 Qℓ 上光滑、酉、不可约表示，不限于整结构，取值于半单韦伊-德利涅参数。
• 参数化与帕拉博利克诱导相容：若 π 是 Ind_{P(K)}^{G(K)} τ 的子商，则 σπ 与复合映射 Weil(K) → Ŵ(τ) → Ŵ(G) 共轭。
• 参数化与函子性相容：对同态 Υ: G → G′，G′(K) 上 π 的参数为 ∨Υ(σπ)，其中 ∨Υ 是兰道斯普林格对偶群上的对偶同态。
• 该理论意味着局部 γ-因子的完整构造，如第 7 节所示，建立在 L-函数与函数方程的全局理论基础上。