[论文解读] Quelques conséquences des travaux d'Arthur pour le spectre et la topologie des variétés hyperboliques

Nicolas Bergeron, Laurent Clozel|arXiv (Cornell University)|Apr 7, 2010

Advanced Algebra and Geometry参考文献 16被引用 5

一句话总结

本文利用亚瑟迹公式与基本引理，证明了双曲流形上拉普拉斯算子谱间隙的 Burger-Li-Sarnak 猜想的非三重化情形。证明了在 k-形式上拉普拉斯算子的首个非零特征值在所有此类流形上被一个仅依赖于维数与形式次数的正的绝对常数下界控制，从而确认了自守 Lefschetz 性质及对全测地子流形的上同调的拓扑有限性结果，适用于同余双曲流形。

ABSTRACT

En nous basant sur les résultats d'Arthur annoncés dans \cite[§30]{Arthur} nous démontrons les conjectures énoncées dans \cite{IMRN,BC,SMF} dans le cas des groupes orthogonaux à l'exclusion des groupes de type ${}^6 - D_4$. En ce qui concerne ces derniers, nous annonçons la démonstration -- encore en préparation - que leur réseaux de congruences ont toujours un $H^1$ trivial. Les démonstrations d'Arthur devraient para\^ıtre prochainement.

研究动机与目标

• 证明同余双曲流形上拉普拉斯算子谱间隙的 Burger-Li-Sarnak 猜想的非三重化情形。
• 建立自守 Lefschetz 性质，将算术双曲流形的上同调与其全测地子流形联系起来。
• 证明在所有此类流形上，k-形式上拉普拉斯算子的首个非零特征值被一个正的绝对常数下界控制。
• 通过迹公式近期进展，将谱与拓扑有限性结果从猜想框架推广为无条件结果。
• 宣布即将证明三重化情形（6D4 型群），其中同余格的 H¹ 为平凡。

提出的方法

• 利用亚瑟迹公式及在全实域上正交群上的自守表示的稳定化技术。
• 应用基本引理及其扭曲/加权变体（由 Ngô、Waldspurger、Laumon、Chaudouard 推出），使此前依赖条件的结果变为无条件结果。
• 使用迹公式的稳定化与去稳定化分析自守形式的谱分解。
• 应用特征无穷小理论对自守表示进行分类并控制其谱参数。
• 将谱间隙猜想归约为某些自守 L-函数的非零性以及某些残余表示的不存在性。
• 运用 L²-上同调与上同调表示理论，将谱数据与商流形的拓扑不变量联系起来。

实验结果

研究问题

• RQ1 Burger、Li 与 Sarnak 的谱间隙猜想是否对非三重化同余双曲流形成立？
• RQ2 能否利用迹公式无条件地建立算术双曲流形的自守 Lefschetz 性质？
• RQ3 在固定维数的所有同余双曲流形上，k-形式上拉普拉斯算子的首个非零特征值是否被一个正的绝对常数下界控制？
• RQ4 在实双曲空间的同余商的 L²-谱中，k-形式上拉普拉斯算子的谱结构如何？
• RQ5 6D4 型正交群的同余格是否具有平凡的一阶上同调？

主要发现

• 在非三重化同余双曲流形上，函数上拉普拉斯算子的 L²-谱包含于有限个离散点与一个从 ((n−1)/2)² − (1/2 − 1/((n+1)²+1))² 开始的区间之并中。
• 对于 0 ≤ k ≤ n/2 − 1，k-形式上拉普拉斯算子的首个非零特征值 λ₁ᵏ 满足 λ₁ᵏ ≥ ε(n,k) > 0，其中 ε(n,k) 为仅依赖于 n 与 k 的正的绝对常数。
• 谱间隙结果确认了 Burger-Li-Sarnak 猜想的非三重化情形，离散谱与预测的“纯”谱一致。
• 该证明依赖于基本引理及其变体证明后亚瑟结果的无条件有效性。
• 作者宣布，剩余的三重化情形（6D4 型群）将很快得到证明，表明此类同余格的 H¹ 为平凡。
• 结果意味着强拓扑有限性性质，包括某些上同调类的消失，以及在算术商的上同调中平凡表示的孤立性。