[论文解读] On the Existence and Temperedness of Cusp Forms for SL(3,Z)

Stephen D. Miller|ArXiv.org|Jun 8, 2000

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

一句话总结

该论文通过一种新颖的截断迹公式，避开了塞尔伯格迹公式中的技术障碍，建立了 $SL_3(\mathbb{Z})\backslash SL_3(\mathbb{R})/SO_3(\mathbb{R})$ 上离散拉普拉斯谱的外尔渐近律。证明了几乎所有尖形式在无穷远处均为弱化形式，并确认了非提升、非自对偶尖形式的存在，从而解决了萨尔纳克关于尖形式谱渐近行为的猜想。

ABSTRACT

We develop a partial trace formula which circumvents some technical difficulties in computing the Selberg trace formula for the quotient $SL_3({\Z})\backslash SL_3({\R})/SO_3({\R})$. As applications, we establish the Weyl asymptotic law for the discrete Laplace spectrum and prove that almost all of its cusp forms are tempered at infinity. The technique shows there are non-lifted cusp forms on $SL_3({\Z})\backslash SL_3({\R})/SO_3({\R})$ as well as non-self-dual ones. A self-contained description of our proof for $SL_2({\Z})\backslash \U$ is included to convey the main new ideas. Heavy use is made of truncation and the Maass-Selberg relations.

研究动机与目标

• 在 $SL_3(\mathbb{Z})\backslash SL_3(\mathbb{R})/SO_3(\mathbb{R})$ 上建立离散拉普拉斯谱的外尔渐近律，该空间为非紧商，谱解耦高度非平凡。
• 证明该空间上几乎所有离散谱特征函数（尖形式）在无穷远处均为弱化形式，这是朗兰兹纲领中的关键性质。
• 证明 $SL_3(\mathbb{Z})\backslash SL_3(\mathbb{R})/SO_3(\mathbb{R})$ 上存在非提升尖形式，超越于格耳巴特-贾奎特从 $SL_2(\mathbb{Z})$ 马斯形式提升而来的形式。
• 开发并应用一种新的部分迹公式，以规避高秩情形下完整塞尔伯格迹公式的技术困难，特别是处理 Eisenstein 系列与截断的问题。

提出的方法

• 通过截断与马斯-塞尔伯格关系，发展一种部分迹公式，将离散谱从连续谱中分离。
• 通过函数 $\hat{g}_{t\Sigma}(\lambda)$ 应用一种新颖的谱截断技术，将谱局部化于不变微分算子的联合谱上。
• 利用黎曼 zeta 函数与 $L$-函数的函数方程与凸性界，控制 Eisenstein 系列及其留数的增长。
• 利用 $R(s)$-函数及其性质分析谱密度，并推导出截断 Eisenstein 系列的 $L^2$-范数的界。
• 在基本域上建立 Eisenstein 系列的 $L^2$-范数的多项式增长界，对极大抛物 Eisenstein 系列通过 $SL_2(\mathbb{Z})\backslash\mathbb{H}$ 上的求和进行特殊处理。
• 将 $SL_2(\mathbb{Z})\backslash\mathbb{H}$ 的外尔律作为基案例，用于指导高秩分析并验证方法的有效性。

实验结果

研究问题

• RQ1 萨尔纳克猜想：$SL_3(\mathbb{Z})\backslash SL_3(\mathbb{R})/SO_3(\mathbb{R})$ 上拉普拉斯算子的尖形式谱是否满足外尔律？
• RQ2 是否几乎所有 $SL_3(\mathbb{Z})\backslash SL_3(\mathbb{R})/SO_3(\mathbb{R})$ 上的尖形式在无穷远处均为弱化形式？
• RQ3 $SL_3(\mathbb{Z})\backslash SL_3(\mathbb{R})/SO_3(\mathbb{R})$ 上是否存在非提升尖形式，超越于 $SL_2(\mathbb{Z})$ 马斯形式的提升？
• RQ4 能否构造一种避免完整塞尔伯格迹公式在高秩情形下技术陷阱的部分迹公式？
• RQ5 在该商空间上，低于 $T$ 的离散拉普拉斯特征值数量的精确渐近增长率为多少？

主要发现

• 尖形式谱的外尔律成立：当 $T \to \infty$ 时，$N(T) \sim \frac{\mathrm{vol}(SL_3(\mathbb{Z})\backslash\mathcal{H})}{\Gamma(7/2)} \left(\frac{T}{4\pi}\right)^{5/2}$，证实了萨尔纳克的猜想。
• 几乎所有 $SL_3(\mathbb{Z})\backslash SL_3(\mathbb{R})/SO_3(\mathbb{R})$ 上的尖形式在无穷远处均为弱化形式，这是通过 Eisenstein 系列的 $L^2$-范数界与谱局部化所证明。
• 非提升尖形式存在于 $SL_3(\mathbb{Z})\backslash SL_3(\mathbb{R})/SO_3(\mathbb{R})$ 上，谱中包含非自对偶形式，由联合谱分析所证实。
• 该方法通过控制 Eisenstein 系列的贡献成功分离出离散谱，表明 $\int_{\mathcal{F}_C} \mathrm{Eis}_{g_{t\Sigma}}(x,x)\,dx = o\left(\int_{t\Sigma} \beta(\lambda)\,d\lambda\right)$，从而蕴含外尔律。
• 截断 Eisenstein 系列的 $L^2$-范数增长慢于任意多项式，其极大抛物部分的贡献被控制在 $O_\epsilon(\|\lambda\|^{1+\epsilon})$ 以内，从而实现谱解耦。
• 证明了 $R(\frac{1}{2}+it) \ll 1$，$|R(-\frac{1}{2}+it)R(\frac{1}{2}+it)| = 1$，且 $\frac{d}{d\epsilon}\left.\frac{Z(\frac{3}{2}+it+\epsilon)}{Z(\frac{3}{2}+it-\epsilon)}\right|_{\epsilon=0} = O(\log t)$，这些结果对谱界至关重要。