[论文解读] Spectre automorphe des variétés hyperboliques et applications topologiques

Nicolas Bergeron, Laurent Clozel|ArXiv.org|Nov 17, 2004

Advanced Algebra and Geometry参考文献 60被引用 25

一句话总结

本文研究了与 $\mathrm{SO}(n,1)$ 和 $\mathrm{SU}(n,1)$ 相关的双曲流形的同余覆盖上微分形式上的 Hodge Laplacian 的谱隙，将 Selberg 关于函数上拉普拉斯算子的第一非零特征值的猜想加以推广。本文提出了一个改进的猜想（猜想 A），预测 Hodge Laplacian 在 $i$-形式上的第一非零特征值存在与度数 $i$ 和群的秩有关的显式常数下界，并证明了该猜想在 $i=0$（即函数）的情形下成立，从而确认了在函数情形下 $L^2$-上同调的统一谱隙。

ABSTRACT

This book is made of two parts. The first is concerned with the differential form spectrum of congruence hyperbolic manifolds. We prove Selberg type theorems on the first eigenvalue of the laplacian on differential forms. The method of proof is representation theoritic, we hope the different chapters may as well serve as an introduction to the modern theory of automorphic forms and its application to spectral questions. The second part of the book is of a more differential geometric flavor, a new kind of lifting of cohomology classes is proved.

研究动机与目标

• 将 Selberg 关于函数上拉普拉斯算子的第一非零特征值的猜想推广至同余覆盖的双曲流形上所有度数的微分形式上的 Hodge Laplacian。
• 在实双曲空间和复双曲空间的同余商上，建立 Hodge Laplacian 在 $i$-形式上的第一非零特征值的统一下界。
• 研究谱隙的算术与几何性质，特别是半整数和整数作为显式下界的出现，将其与 Deligne 的纯性定理联系起来。
• 证明 $i=0$ 情形下的猜想，即对于 $L^2$-函数，确认在 $G$ 的所有同余子群上拉普拉斯算子的统一谱隙。

提出的方法

• 作者分析了在局部对称空间 $\Gamma \backslash X_G$ 上 $i$-形式上的 Hodge Laplacian 的谱，其中 $X_G$ 是与 $G = \mathrm{SO}(n,1)$ 或 $\mathrm{SU}(n,1)$ 相关的对称空间。
• 他们利用诱导表示理论，并通过将 $L^2$-形式分解为不可约 $K$-型来研究谱隙。
• 该方法依赖于从抛物子群 $P = MAN$ 诱导的表示 $\pi_{\sigma,s}$ 的 $K$-型的分类，使用 Harish-Chandra 的 $c$-函数和 Plancherel 公式。
• 作者计算了 $\Lambda^p \overline{\mathrm{Ad}}$ 和 $\Lambda^q \mathrm{Ad}$ 上表示的最高权，以确定诱导表示的 $M$-型。
• 他们应用离散系列表示理论和 Weyl 特征标公式，分析 $L^2(\Gamma \backslash G)$ 的谱分解。
• 对于 $i=0$ 的证明利用了常值函数的 $L^2$-系数属于 $L^2$ 的事实，并依赖于已知结果：函数上拉普拉斯算子的第一非零特征值被一个仅依赖于维数的正常数下界所控制。

实验结果

研究问题

• RQ1 在实双曲和复双曲流形的同余覆盖上，Hodge Laplacian 在 $i$-形式上的第一非零特征值的最优统一下界是什么？
• RQ2 在 $i$-形式上的谱隙如何与群 $G$ 及其 $\mathbb{Q}$-有理结构的算术结构相关联？
• RQ3 猜想 A 中的猜想下界是否可对所有 $i$ 和所有此类群 $G$ 证明？
• RQ4 群的秩和对称空间的维数在决定微分形式谱隙中的作用是什么？
• RQ5 为何猜想 A 中的下界涉及半整数和整数？这一现象的算术意义是什么？

主要发现

• 本文证明了对所有如定义的 $G$，猜想 A⁻(0) 成立，即在任意同余商 $\Gamma \backslash X_G$ 上，$L^2$-函数上拉普拉斯算子的第一非零特征值被一个仅依赖于维数 $d_G$ 的正常数下界所控制。
• 对于 $G^\mathrm{nc} \cong \mathrm{SO}(2n,1)$，$i$-形式上的第一非零特征值 $\lambda_1^i$ 满足 $\lambda_1^i \geq \max(2n-2i-2, \frac{1}{4}) > 0$。
• 对于 $G^\mathrm{nc} \cong \mathrm{SO}(2n+1,1)$，当 $i \leq n-1$ 时，有 $\lambda_1^i \geq 2n-2i-1 > 0$，表明其谱隙强于偶数秩情形。
• 对于 $G^\mathrm{nc} \cong \mathrm{SU}(n,1)$，有 $\lambda_1^i \geq \max(4(n-i-1), 1) > 0$，表明复双曲空间的谱隙更为精细。
• 本文表明，$i=0$ 情形下的猜想等价于 Clozel 关于 $L^2$-函数统一谱隙的已知结果。
• 作者证明了当 $i=n$ 时，对于 $G^\mathrm{nc} \cong \mathrm{SO}(2n+1,1)$，猜想不成立，因为 $\lambda_1^n$ 可趋近于零，表明奇维实双曲空间与偶维实双曲空间在谱行为上存在根本性差异。