[论文解读] Local-global compatibility over function fields

Siyan Daniel Li-Huerta|arXiv (Cornell University)|Jan 23, 2023

Advanced Algebra and Geometry被引用 4

一句话总结

本文在正特征函数域上建立了全局朗兰兹对应与局部朗兰兹对应的相容性，证明了 Lafforgue 的自守形式到伽罗瓦表示的映射与 Fargues–Scholze 的半简化局部朗兰兹对应可交换。通过模空间的统一化态射，作者将半简化对应唯一地提升为非半简化形式，并证明 Fargues–Scholze 的构造与 Genestier–Lafforgue 的构造一致，从而解决了该领域长期存在的一个问题。

ABSTRACT

We prove that V. Lafforgue's global Langlands correspondence is compatible with Fargues-Scholze's semisimplified local Langlands correspondence. As a consequence, we canonically lift Fargues-Scholze's construction to a non-semisimplified local Langlands correspondence for positive characteristic local fields. We also deduce that Fargues-Scholze's construction agrees with that of Genestier-Lafforgue, answering a question of Fargues-Scholze, Hansen, Harris, and Kaletha. The proof relies on a uniformization morphism for moduli spaces of shtukas.

研究动机与目标

• 在正特征函数域上，建立 Lafforgue 的全局朗兰兹对应与 Fargues–Scholze 的半简化局部朗兰兹对应之间的局部-全局相容性。
• 为正特征局部域的 Fargues–Scholze 半简化局部朗兰兹对应提供一个自然的非半简化形式的提升。
• 通过证明 Fargues–Scholze 与 Genestier–Lafforgue 的构造在正特征下一致，解决 Fargues–Scholze、Hansen、Harris 与 Kaletha 提出的问题。
• 验证半简化局部朗兰兹对应在正特征设定下与局部 Jacquet–Langlands 对应的相容性。

提出的方法

• 利用全局 shtuka 模空间的统一化态射，关联局部与全局几何结构。
• 依赖于穿越全局与局部设定的穿越上同调的穿越算子及其相容性。
• 应用 Xue 关于 shtuka 模空间紧支上同调上韦伊群作用的结果。
• 通过 Beuzart-Plessis 的方法以及 Heinloth–Ngô–Yun 和 Xu–Zhu 的 ℓ-进 Kloosterman 层及其 p-进伴影，实现全局化技术。
• 应用 Deligne 的纯性定理，推导出伽罗瓦表示的不可约性与纯性，从而实现 L-参数的比较。
• 应用 Bernstein 中心理论与 Hecke 特征层技术，通过 Satake 同构与特征值匹配，在自守侧与伽罗瓦侧进行比较。

实验结果

研究问题

• RQ1 Lafforgue 的全局朗兰兹对应是否在正特征函数域中与 Fargues–Scholze 的半简化局部朗兰兹对应可交换？
• RQ2 Fargues–Scholze 的半简化局部朗兰兹对应能否被自然地提升为非半简化形式？
• RQ3 在正特征下，Fargues–Scholze 与 Genestier–Lafforgue 的局部朗兰兹对应构造是否一致？
• RQ4 在正特征下，半简化局部朗兰兹对应是否与局部 Jacquet–Langlands 对应相容？

主要发现

• 定理 A 建立了 Lafforgue 的全局朗兰兹对应与 Fargues–Scholze 的半简化局部对应之间的相容性，其映射正方形可交换。
• 定理 B 表明，Fargues–Scholze 的半简化对应可唯一地提升为正特征局部域上的非半简化局部朗兰兹对应。
• 定理 C 确认了在正特征下，Fargues–Scholze 与 Genestier–Lafforgue 的局部朗兰兹对应构造完全一致。
• 定理 D 验证了半简化局部朗兰兹对应与正特征下中心单代数单位的局部 Jacquet–Langlands 对应可交换。
• 定理 A 的证明对所有半单群 G 是统一的，避免了以往工作中依赖群特异性论证的方法。
• 作者提供了一个抽象的唯一性论证，表明任何满足与诱导表示、特征扭动以及局部相容性性质相容的局部朗兰兹对应必然是唯一的，从而确认了 Fargues–Scholze 与 Genestier–Lafforgue 构造的一致性。