[论文解读] Cuspidal representations of reductive groups

Dan Barbasch, Birgit Speh|ArXiv.org|Oct 4, 2008

Advanced Algebra and Geometry参考文献 15被引用 6

一句话总结

本文利用扭曲的亚瑟迹公式与局部调和分析，证明了在数域上，半单代数群的非零权 cuspidal 自守表示在有限阶外自同构作用下保持不变。关键结果表明：若 $ \mathbb{G}(/mathbb{R}) \rtimes \{1,\tau\} $ 的有限维表示 $ F $ 满足 $ \operatorname{tr}F(\tau) \neq 0 $，且 $ \tau $ 的中心化子具有相等秩，则存在一个具有相同无穷小特征标且上同调非零的温和服务 cuspidal 自守表示 $ \pi_{\mathbb{A}} $。

ABSTRACT

This paper proves the existence of cuspidal automorphic forms for a reductive group, invariant under an automorphism of finite order. The techniques used are a local analysis of orbital integrals and the Arthur-Selberg trace formula.

研究动机与目标

• 证明在有限阶外自同构作用下保持不变的半单群自守表示的存在性。
• 建立此类表示在指定无穷小特征标与非零上同调下存在的条件。
• 将关于上同调 cuspidal 形式的结论推广至涉及自同构的情形，特别是针对 $ \mathrm{GL}(n) $ 与辛群。
• 通过迹公式技术，将自守形式理论扩展至在外部自同构下稳定的表示。

提出的方法

• 利用扭曲的亚瑟迹公式关联谱侧与几何侧，从而研究在群自同构作用下的自守形式。
• 在实与 $ p $-进位置运用轨道积分与迹数的局部调和分析，以分析表示。
• 在实与 $ p $-进情形下应用 Lefschetz 函数，计算自同构在上同调上的迹。
• 将 $ \operatorname{tr}F(\tau) \neq 0 $ 作为 $ \tau $-不变 cuspidal 表示存在性的关键判据。
• 应用基底变换技术，在 $ \mathbb{Q} $ 的循环扩张上构造具有非平凡上同调的 cuspidal 表示。
• 依赖于局部对称空间上同调与自守形式在 $ F $ 系数下的相对李代数上同调之间的同构关系。

实验结果

研究问题

• RQ1 在何种条件下，半单群 $ \mathbb{G} $ 的有限阶外自同构 $ \tau $ 保持一个 cuspidal 自守表示？
• RQ2 当有限维表示 $ F $ 满足 $ \operatorname{tr}F(\tau) \neq 0 $ 时，该迹如何检测 $ \tau $-不变 cuspidal 形式的存在性？
• RQ3 如何利用扭曲的亚瑟迹公式，在自同构作用下构造具有非零上同调的 cuspidal 表示？
• RQ4 $ \tau $ 的中心化子具有相等秩在保证此类表示存在性中起何作用？
• RQ5 在存在自同构的情形下，能否通过在循环扩张上的基底变换来构造具有非平凡上同调的 cuspidal 表示？

主要发现

• 若 $ \operatorname{tr}F(\tau) \neq 0 $ 且 $ \mathfrak{g}(\mathbb{R}) $ 中 $ \tau $ 的中心化子具有相等秩，则存在一个 $ \mathbb{G}(\mathbb{A}) $ 的 cuspidal 自守表示 $ \pi_{\mathbb{A}} $，其在 $ \tau $ 作用下稳定。
• 表示 $ \pi_{\mathbb{A}} $ 与有限维表示 $ F $ 具有相同的无穷小特征标，确保其与 Langlands 程序的一致性。
• 上同调空间 $ \operatorname{H}^*({\mathfrak{g}}(\mathbb{R}), K_\infty, \pi_{\mathbb{A}} \otimes F) $ 非零，确认了非平凡的上同调支持。
• 当 $ \mathbb{G} = \mathrm{GL}(2m) $ 时，存在在辛自同构 $ \tau_c $ 作用下不变的温和服务 cuspidal 表示，且其具有整数值的非奇异无穷小特征标。
• 通过基底变换，本文在 $ \mathbb{Q} $ 的循环扩张 $ K/\mathbb{Q} $ 上构造了 $ \mathrm{GL}(n, \mathbb{A}_K) $ 的 cuspidal 表示，其具有非平凡上同调。
• 在给定条件下，对于定义在 $ \mathbb{Q} $ 上的 $ \mathbb{G} $，cuspidal 上同调 $ \mathrm{H}^*_{\mathrm{cusp}}(S(K_f), \mathbb{C}) $ 非零。