[论文解读] Stabilisation de la formule des traces tordue X: stabilisation spectrale

Colette Mœglin, Jean-Loup Waldspurger|arXiv (Cornell University)|Dec 9, 2014

Advanced Algebra and Geometry参考文献 20被引用 9

一句话总结

本文通过建立具有固定无穷小特征标和在有限个位置外未ramified的Hecke特征值的自守表示的精细谱转移恒等式，完成了扭曲迹公式的稳定性。利用几何约化与谱分析，证明了扭曲自守表示的迹等于内播群上稳定迹的加权和，其关键创新在于通过伴随群的特征标进行细化，从而消除了非平凡内播环面带来的障碍。

ABSTRACT

It is the last paper of a long series. We present the spectral side of the twisted trace formula and its stable version. Using the method of Arthur, we finish the proof of the stabilization of the two sides of this twisted trace formula.

研究动机与目标

• 为通过解决最后的谱-几何不相容性，最终完成扭曲迹公式的稳定性。
• 解决当内播数据包含非平凡未ramified环面时导致直接谱约化的障碍。
• 通过引入伴随群的自守特征标，对谱转移恒等式进行细化，确保在所有位置上的一致性。
• 证明扭曲迹公式可通过逐特征标的谱转移实现稳定，且对在某有限位置处具 cuspidal 分量为零的函数也成立。
• 建立在伴随群作用下不变且与 Langlands 的非阿基米德函子性相容的谱转移恒等式。

提出的方法

• 固定一个包含 $V_{\text{ram}}$ 的有限位置集合 $V$，并将函数限制为在 $V$ 外未ramified，以保证不变性与稳定性。
• 定义 $\pi^{\tilde{G}}_{\nu}[c^V]$ 为在离散谱中具有固定无穷小特征标 $\nu$ 且在 $V$ 外具有未ramified Hecke 特征值 $c^V$ 的 $\omega$-表示之和。
• 证明一个精细谱转移恒等式（公式 3），其中左侧的迹通过 $(G/Z(G)^\theta)(\mathbb{A}_F)$ 的作用，与具有匹配自守特征标 $\chi_\sharp$ 的内播数据 $\mathbf{G}'$ 的迹之和对应。
• 利用群作用将问题约化为某一分量 $f_v$ 具有平凡 cuspidal 分量的情形，从而可应用 Paley-Wiener 理论。
• 在某处 $v \in V$ 处改变函数，使得 $\chi_\sharp$ 为平凡，将 $1_{\tilde{K}_v}$ 替换为关于 $g_\sharp$ 的扭曲和，保持迹不变并确保 cuspidal 分量消失。
• 利用前期论文中的几何约化，将问题简化为稳定加权局部积分与轨道积分的内播转移。

实验结果

研究问题

• RQ1 当内播数据包含非平凡未ramified 环面时，如何稳定扭曲迹公式的谱侧？
• RQ2 为解决离散谱分布与几何项之间的不相容性，谱转移恒等式需要何种细化？
• RQ3 谱转移能否与伴随群 $ (G/Z(G)^\theta)(\mathbb{A}_F) $ 的作用相容？这如何消除障碍？
• RQ4 谱转移恒等式是否对在某有限位置处 cuspidal 分量为零的函数成立？如何利用这一点证明一般情形？
• RQ5 伴随群上的特征标 $\chi_\sharp$ 如何细化谱转移？其在稳定化公式中的作用是什么？

主要发现

• 本文证明了公式 (3)，即逐特征标的谱转移恒等式：$ \text{tr}\, \pi^{\tilde{G}}_{\nu,\chi_\sharp}[c^V](f) = \sum_{\mathbf{G}'; \omega_\sharp^{\mathbf{G}'} = \chi_\sharp} i(\tilde{G}, \mathbf{G}') \text{tr}\, \pi^{G'}_{\nu,\text{st}}[c^V](f^{\mathbf{G}'}) $，该恒等式稳定了扭曲迹公式。
• 该精细转移对所有函数 $ f = f_V \cdot 1_{\tilde{K}^V} $ 成立，且通过约化到某一分量 $ f_v $ 具有零 cuspidal 分量的情形得以证明，从而可应用 Paley-Wiener 理论。
• $ (G/Z(G)^\theta)(\mathbb{A}_F) $ 在谱侧的作用将谱分解为有限个自守特征标 $ \chi_\sharp $，每个对应唯一的内播数据 $ \mathbf{G}' $，从而保证了兼容性。
• 通过将 $ f_v $ 替换为扭曲和 $ \gamma \mapsto \sum_{g_\sharp} 1_{\tilde{K}_v}(\text{ad}(g_\sharp)\gamma) \chi_\sharp^{-1}(g_\sharp) $，新函数在 $ v $ 处具有消失的 cuspidal 分量，从而可验证转移成立。
• 该证明表明公式 (3) 左右两边的差为 $ \omega $-表示的离散和，从而确认谱转移是稳定且几何一致的。
• 该方法通过结合谱细化与几何约化，消除了稳定性过程中的最后障碍，完成了 Langlands 与 Arthur 启动的程序。