[论文解读] On the absolute convergence of the spectral side of the Arthur trace formula for GL(n)

Werner Mueller, Birgit Speh+1 more|arXiv (Cornell University)|Nov 2, 2002

Advanced Algebra and Geometry参考文献 50被引用 31

一句话总结

本文建立了有理数域上 GL(n) 的阿瑟迹公式谱侧的绝对收敛性。通过分析截断的 Eisenstein 系列与互换算子，作者证明谱侧——此前仅知条件收敛——在 GL(n) 情况下是绝对收敛的，从而解决了迹公式框架中的一个关键技术障碍。

ABSTRACT

Let G be the group GL(n) over a number field E and let A be the ring of adeles of E. In this paper we prove that the spectral side of the Arthur trace formula for G is absolutely convergent for all integrable rapidly decreasing functions on $G(A)^1$.

研究动机与目标

• 解决阿瑟迹公式谱侧在 GL(n) 情况下是否绝对收敛的开放问题。
• 通过截断的 Eisenstein 系列与互换算子，分析谱侧的精细 χ-展开。
• 在诱导表示的背景下，建立 K-型与无穷小特征值范数的统一有界性。
• 通过 Langlands 分类与分阶段诱导，将问题约化至秩一与极小抛物子群情形。
• 在适当的解析条件下，证明互换算子在 K-型上的单射性，从而确保收敛性。

提出的方法

• 作者利用 Eisenstein 系列与互换算子 M_{Q|P}(λ) 的理论，通过尖形式数据 (M_P, r_B) 参数化谱分布。
• 通过算子 M_L(P,λ)（定义为留数与共特征格体积的极限）分析互换算子的广义对数导数。
• 证明依赖于 Langlands 分类，将任意表示嵌入由平方可积数据诱导的表示中，从而将问题约化为已知情形。
• 通过关联诱导表示中子商的结构，分析互换算子 J_{P'|P}(σ,ν) 在 K-型 I_σ(γ) 上的单射性。
• 通过利用平方可积表示中 ||χ_π||² ≥ ||χ_σ||² + s²||α||² 的事实，将谱参数 s 与 μ 用 K-型范数表示。
• 通过在秩一 Levi 子群上因式分解互换算子并使用归纳法，将问题约化为 G 为秩一半单群、P 为极小抛物子群、P' 为对偶抛物子群的情形。

实验结果

研究问题

• RQ1 GL(n) 的阿瑟迹公式谱侧是绝对收敛的，还是仅条件收敛？
• RQ2 能否在诱导表示中，以无穷小特征值为参数，建立 K-型范数的统一有界性？
• RQ3 在何种条件下，互换算子 J_{P'|P}(σ,ν) 在空间 I_σ(γ) 上是单射的？
• RQ4 在诱导表示 π_{σ,sα} 中，谱参数 s 与 K-型 γ 的范数有何关系？
• RQ5 谱侧的收敛性问题能否约化至秩一与极小抛物子群情形？

主要发现

• GL(n) 的阿瑟迹公式谱侧是绝对收敛的，解决了自守形式理论中长期存在的一个开放问题。
• 对于 GL(n)，由于 K-型范数的统一衰减估计，谱侧的精细 χ-展开是绝对收敛的，而非仅条件收敛。
• 在表示 π_{σ,sα} 中，任意 K-型 γ 的范数满足 ||γ||² ≥ C + s²||α||²（C 为某常数），这意味着 s 被有界于 ||γ|| 的常数倍。
• 当 Re(ν) 位于合适壁腔时，互换算子 J_{P'|P}(σ,ν) 在 I_σ(γ) 上的单射性一致成立，从而确保谱级数的收敛性。
• 通过分阶段诱导与 Weyl 群结构，约化至秩一与极小抛物子群情形是有效的，从而可利用已知的互换算子结果。
• 证明依赖于 Langlands 分类，以及诱导表示中子商的无穷小特征值可由原始数据有界这一事实，从而对谱参数实现统一控制。