[论文解读] Décomposition au-dessus des paramètres de Langlands elliptiques

Vincent Lafforgue, Xinwen Zhu|arXiv (Cornell University)|Nov 19, 2018

Advanced Algebra and Geometry被引用 5

一句话总结

本文将自守形式的朗兰兹参数分解推广至函数域上的非分裂半单群，证明了希图卡叠的尖形式上同调按椭圆朗兰兹参数分解。通过使用Hecke-等变上同调与行军算子，建立了表示$L$-群与自守形式之间的谱分解，通过几何与伽罗瓦理论方法，将早期在分裂情形的结果推广至一般情形。

ABSTRACT

We prove that, over any elliptic global Langlands parameter $σ$, the cuspidal cohomology groups of moduli stacks of shtukas are given by a formula involving a finite dimensional representation of the centralizer of $σ$. It is a first step in the direction of Arthur-Kottwitz conjectures.

研究动机与目标

• 将自守形式的谱分解通过朗兰兹参数推广至全局函数域上的非分裂半单群。
• 在非分裂情形下验证[Laf19]中的启发式公式(8.3)的有效性，确认其在椭圆朗兰兹参数下的成立。
• 建立尖形式上同调的典范分解，其分量由$L$-参数索引，推广[Xue18a]中分裂情形的结果。
• 证明行军代数在尖形式上同调上的作用精确对应于$L$-群表示数据，通过几何构造实现。
• 证明在$Z_k$上的中心化子条件与轨道结构迫使行军代数为域，从而每个分量对应唯一的$L$-参数。

提出的方法

• 通过希图卡叠的紧支上同调，构造从$\tilde{G} \times {}^L G^I$表示到$\tilde{T}_N$-模（带伽罗瓦作用）的$\natural$-函子$H^{\text{cusp}}$。
• 应用行军算子理论，定义代数$\frak{B}^{\text{cusp}}$在$H^{\text{cusp}}_{I,W}$上的作用，该作用与$\tilde{T}_N$及伽罗瓦作用相容。
• 使用谱分解$H^{\text{cusp}}_{I,W} \bigotimes \bar{\bbQ}_\bl \to \bigoplus (H^{\text{cusp}}_{I,W})_\rho$，其中索引为$L$-参数$\rho$。
• 分析${}^L G^n$中$n$元组$(\rho(\tilde{\tau}_1), \rho(\tilde{\tau}_2), \text{...})$的中心化子，若其轨道与中心截面$Z_k$相交于唯一点，则$\rho$被唯一确定。
• 证明与固定$\rho$相关的行军代数$\frak{C}$是$\bar{\bbQ}_\bl$上的局部阿廷代数，若轨道在$Z_k$中孤立，则$\frak{C} \to \bar{\bbQ}_\bl$是同构。
• 利用共轭条件与轨道单射性，得出$\beta = \rho$，故$\frak{C}$的唯一特征标为$\rho$，从而证明$\frak{A}_\rho = (H^{\text{cusp}}_{\text{reg}})_{\rho,Z}$。

实验结果

研究问题

• RQ1 在函数域上的非分裂半单群中，[Laf19]中的启发式分解(8.3)是否成立？
• RQ2 希图卡叠的尖形式上同调能否分解为由椭圆朗兰兹参数索引的分量？
• RQ3 行军代数在尖形式上同调上的作用是否与$L$-群表示数据相容？
• RQ4 与固定$L$-参数$\rho$相关的行军代数的结构如何？它是否能对应该分量进行分类？
• RQ5 在$({}^L G)^n$中，$n$元组$(\rho(\tau_1), ..., \rho(\tau_n))$的轨道在何种条件下能唯一确定$\rho$？

主要发现

• 尖形式上同调$H^{\text{cusp}}_{\text{reg}}$可分解为$L$-参数$\rho$的直和，每个分量$(H^{\text{cusp}}_{\text{reg}})_{\rho}$同构于行军代数$\frak{A}_\rho$。
• 对任意$L$-参数$\rho$，其关联的行军代数$\frak{C}$是$\bar{\bbQ}_\bl$上的局部阿廷代数；若$(\rho(\tau_1), ..., \rho(\tau_n))$的轨道与中心截面$Z_k$相交于唯一点，则$\frak{C} \to \bar{\bbQ}_\bl$是同构。
• $\frak{C}$的唯一特征标为$\rho$，故$\frak{A}_\rho = (H^{\text{cusp}}_{\text{reg}})_{\rho,Z}$，证明该分量由$\rho$控制。
• $\frak{B}^{\text{cusp}}$在$H^{\text{cusp}}_{I,W}$上的作用与$\tilde{T}_N$-作用及伽罗瓦作用相容，且在$W$上是函子性的。
• ${}^L G$中$(\rho(\tau_1), ..., \rho(\tau_n))$的中心化子同构于$\rho$的中心化子，这确保了在轨道条件下$\rho$的唯一性。
• 结果确认，即使在非分裂情形下，通过行军算子实现的尖形式上同调谱分解仍与朗兰兹参数化一致。