[论文解读] The density conjecture for principal congruence subgroups

Edgar Assing, Valentin Blomer|arXiv (Cornell University)|Apr 19, 2022

Analytic Number Theory Research被引用 4

一句话总结

该论文证明了在平方自由水平下，主同余子群的球面密度猜想，为谱参数 $\leq M$ 的非温和尖点形式数量建立了多项式有界的上界。证明依赖于库兹涅措夫公式、谱理论，以及对局部 Whittaker 函数和 Kloosterman 和的新界，从而在密度估计中实现了插值于温和谱与平凡谱之间的精确指数。

ABSTRACT

We prove Sarnak's density conjecture for the principal congruence subgroup of SL_n(Z) of squarefree level and discuss various arithmetic applications. The ingredients include new bounds for local Whittaker functions and Kloosterman sums.

研究动机与目标

• 为 $\mathrm{SL}_n(\mathbb{Z})$ 的主同余子群在平方自由水平下建立球面密度猜想，将已知结果从 $n=2$ 和 Hecke 同余子群推广至完整的主同余情形。
• 量化 $L^2(\Gamma(q)\backslash\mathrm{SL}_n(\mathbb{R})/\mathrm{SO}_n(\mathbb{R}))$ 的谱分解中谱参数 $M$ 有界的非温和尖点形式的数量。
• 在密度界中实现对 $M$ 的多项式依赖，改进了以往仅限于 $n=2$ 或 Hecke 子群的结果。
• 为谱分析的关键分析工具，推导出局部 Whittaker 函数和 Kloosterman 和的新界。

提出的方法

• 作者应用库兹涅措夫公式，将 Kloosterman 和的和与自守形式的谱和联系起来，从而控制迹公式的谱侧。
• 他们使用预迹公式来估计某一自守核函数的 $L^2$-范数，该范数被分解为谱参数 $\|\mu_{\varpi}\| \leq P$ 和 $> P$ 的贡献，其中 $P = (qT)^\varepsilon$。
• 使用谱隙估计 (7.9) 来控制矩阵系数的增长，从而能够应用定理 7.1 来界定非温和形式的贡献。
• 该方法涉及对体积 $\mathcal{V}_q = [\mathrm{SL}_n(\mathbb{Z}):\Gamma(q)]$ 的细致分析，以及使用具有受控 $L^2$-范数和谱支集的测试函数 $f$。
• 证明区分了平凡表示与其余谱部分，通过减去常数贡献来隔离非平凡谱项。
• 推导出局部 Whittaker 函数和 Kloosterman 和的新界，并用于控制库兹涅措夫公式的算术侧，特别是在水平参数方面。

实验结果

研究问题

• RQ1 在 $n > 2$ 的情况下，$\mathrm{SL}_n(\mathbb{Z})$ 的主同余子群在平方自由水平下，球面密度猜想是否仍然成立？
• RQ2 能否在保持水平参数方面正确指数的同时，使密度界对谱参数 $M$ 呈多项式依赖？
• RQ3 在 $\mathrm{SL}_n$ 的库兹涅措夫公式背景下，局部 Whittaker 函数和 Kloosterman 和的最优界是什么？
• RQ4 非温和谱部分的谱隙如何影响整体密度估计？
• RQ5 库兹涅措夫公式能否被有效应用于主同余子群，以获得超越平凡和温和情形的非平凡界？

主要发现

• 在 $q$ 为平方自由数时，主同余子群 $\Gamma(q) \subset \mathrm{SL}_n(\mathbb{Z})$ 的球面密度猜想已得证，其界的形式为 $\mathcal{N}_v(\sigma,\mathcal{F}) \ll_{v,\varepsilon,n} M^K [\mathrm{SL}_n(\mathbb{Z}): \Gamma(q)]^{1 - \frac{2\sigma}{n-1} + \varepsilon}$，其中 $\sigma \geq 0$。
• 该界对 $M$ 呈多项式依赖，这对算术和量子混沌中的应用至关重要。
• 作者建立了局部 Whittaker 函数和 Kloosterman 和的新且精确的界，这些界对于控制库兹涅措夫公式的谱侧至关重要。
• 该方法可扩展至整个谱（不仅限于尖点形式），如定理 7.1 所示，通过谱分解同时处理尖点和残余贡献。
• 通过利用谱隙和 $\Gamma(q)$ 作为 $\mathrm{SL}_n(\mathbb{Z})$ 的正规子群的结构，该证明在水平参数方面实现了非平凡指数，从而能够对 $\mathrm{SL}_n(\mathbb{Z}/q\mathbb{Z})$ 进行平均。
• 结果证实，例外特征值（即 Ramanujan 猜想的违背）在 $\Gamma(q)$ 的尖点形式族中是稀少的，其数量随 $q$ 增大而衰减，符合密度假设。