[论文解读] Stabilisation de la formule des traces tordue VII: descente globale

Jean-Loup Waldspurger|arXiv (Cornell University)|Sep 3, 2014

Advanced Algebra and Geometry参考文献 1被引用 4

一句话总结

本文在数域上重化李群的重化内丛理论背景下，建立了扭曲迹公式的全局下降，证明了对拟分裂、内重化群，稳定迹公式在全局下降下的稳定性。其方法依赖于稳定共轭类的参数化、哈里什-钱德拉的下降方法，以及科特维茨消去论证的扭曲版本，关键结果依赖于扭曲基本引理的有效性及该系列前期工作中得出的辅助定理。

ABSTRACT

We begin the proof of the stabilization of the twisted trace formula. Here we prove that almost all "coefficients" appearing in this formula are equal to their endoscopic counterpart. It is the generalization to the twisted case of the result proved by Arthur in his second article on the stabilization of the trace formula.

研究动机与目标

• 证明对数域上拟分裂、内重化半单群，稳定迹公式在全局下降下的稳定性。
• 建立稳定迹公式中扭曲与非扭曲分布之间的等式，除有限个例外共轭类外均成立。
• 通过一个绕过直接识别共轭类需求的参数空间，扩展稳定共轭的框架。
• 通过哈里什-钱德拉下降将全局问题约化为幂零分布，利用拉贝斯关于扭曲环的上同调控制。
• 通过逆转逻辑依赖关系，以扭曲内丛转移定理作为基础情形，完成证明。

提出的方法

• 引入参数空间 $\mathbf{Stab}(\tilde{G}(F))$ 以分类稳定半单共轭类，实现不依赖于直接共轭类识别的全局参数化。
• 应用全局哈里什-钱德拉下降，将问题约化为幂零分布，其控制由扭曲环的上同调决定，详见拉贝斯的工作。
• 利用扭曲内丛理论的加权基本引理（周道-劳蒙）及科特维茨消去论证的扭曲版本，处理扭曲情形下的下降问题。
• 通过使用非标准内丛三元组，将证明约化为非扭曲内丛转移问题，从而消除扭曲障碍。
• 基于系列中前期结果（特别是定理 [VI] 5.6）的递归论证，解决剩余情形。
• 在第9节中逆转逻辑流程，以定理 [VI] 5.4 作为基础情形，证明定理 [VI] 5.6，从而完成归纳循环。

实验结果

研究问题

• RQ1 在何种条件下，稳定迹公式对扭曲内丛群在全局下降下保持不变？
• RQ2 如何定义一个全局参数空间，以分类稳定半单共轭类，而无需依赖显式共轭类数据？
• RQ3 非标准内丛三元组在稳定化扭曲迹公式中起何种作用？
• RQ4 在何种情况下等式 $A^{{\tilde{G}},{\cal E}}(V,{\cal O}_V,\omega) = A^{{\tilde{G}}}(V,{\cal O}_V,\omega)$ 失效，是否可通过有限次修正恢复？
• RQ5 如何将扭曲基本引理与科特维茨的消去原理适应于全局、扭曲情形？

主要发现

• 定理 [VI] 5.2 得证：当 $\mathcal{O}_V$ 为稳定半单共轭类时，对拟分裂、内重化群，$SA^{\tilde{G}}(V,{\cal O}_V)$ 是稳定的。
• 定理 [VI] 5.4 对所有但有限个稳定半单共轭类 $\mathcal{O}_V$ 成立，剩余情形由定理 [VI] 5.6 解决。
• 参数空间 $\mathbf{Stab}(\tilde{G}(F))$ 在扭曲情形下提供了稳定半单共轭类的全局、单射（通常也是满射）分类。
• 通过哈里什-钱德拉方法的全局下降将问题约化为幂零分布，其上同调控制由拉贝斯关于扭曲环的结果提供。
• 证明依赖于递归结构：定理 [VI] 5.4 蕴含定理 [VI] 5.6，反之亦然，一旦所有递归步骤验证完毕，完整循环即告完成。
• 最终等式 $I^{\tilde{G}}(\underline{A}^{\tilde{G},{\cal E}}(V,\mu,\omega_{\bar{G}}),f) = I^{\tilde{G}}(A^{\tilde{G}}(V,{\cal X}),f)$ 得证，由此推出 $X(f) = 0$，从而证明了所需的分布等式。