[论文解读] Low-lying Zeros of Cuspidal Maass Forms

Nadine Amersi, Geoffrey Iyer+3 more|arXiv (Cornell University)|Nov 28, 2011

Analytic Number Theory Research参考文献 27被引用 4

一句话总结

该论文证明了在 $σ\mathrm{SL}_2(\mathbb{Z})$ 上的权 1 余规Maass形式的低能零点在中心点附近的分布行为与正交矩阵的特征值相同，验证了该族 $σ\mathrm{GL}_2$ $L$-函数的 Katz-Sarnak 密度猜想。通过使用光滑权函数的显式公式与库兹涅措夫迹公式，作者利用对 Kloosterman 和及特殊函数的界控制贝塞尔-克鲁斯滕项，证明了对合适的测试函数，1-阶密度收敛至正交系综极限。

ABSTRACT

The Katz-Sarnak Density Conjecture states that the behavior of zeros of a family of $L$-functions near the central point (as the conductors tend to zero) agree with the behavior of eigenvalues near 1 of a classical compact group (as the matrix size tends to infinity). Using the Petersson formula, Iwaniec, Luo and Sarnak \cite{ILS} proved that the behavior of zeros near the central point of holomorphic cusp forms agree with the behavior of eigenvalues of orthogonal matrices for suitably restricted test functions. We prove a similar result for level 1 cuspidal Maass forms, the other natural family of ${ m GL}_2$ $L$-functions. We use the explicit formula to relate sums of our test function at scaled zeros to sums of the Fourier transform at the primes weighted by the $L$-function coefficients, and then use the Kuznetsov trace formula to average the Fourier coefficients over the family. There are numerous technical obstructions in handling the terms in the trace formula, which are surmounted through the use of smooth weight functions for the Maass eigenvalues and results on Kloosterman sums and Bessel and hyperbolic functions.

研究动机与目标

• 验证权1余规Maass形式族的Katz-Sarnak密度猜想，该族是与全纯尖点形式互补的自然 $σ\mathrm{GL}_2$ $L$-函数族。
• 将已知的全纯尖点形式1-阶密度结果推广至Maass形式，采用显式公式与迹公式技术。
• 克服由库兹涅措夫迹公式中Maass形式产生的贝塞尔-克鲁斯滕项与谱和分析中的技术挑战。
• 确立该族中低能零点的1-阶密度在合适测试函数下收敛至正交系综极限，从而确认其对称类型为正交。

提出的方法

• 应用显式公式，将测试函数在缩放零点处的和与权重为Maass形式傅里叶系数的素数和联系起来。
• 使用库兹涅措夫迹公式，对权1余规Maass形式族的傅里叶系数进行平均。
• 引入Maass特征值的光滑权函数，以控制谱和并避免围道移动中的极点。
• 利用 $c \geq T^{2013}$ 的衰减性、伽马函数的性质及双曲函数与贝塞尔函数的估计，控制贝塞尔-克鲁斯滕项。
• 在复积分中移动围道，通过取 $k=3/4$ 避免极点并增强对 $c$ 的依赖性，获得指数衰减。
• 应用傅里叶反演与分部积分，控制谱和中权函数的支集与衰减性。

实验结果

研究问题

• RQ1 权1余规Maass形式的低能零点是否如Katz-Sarnak密度猜想所预测的那样，在中心点附近表现出与正交矩阵特征值相同的分布行为？
• RQ2 尽管Maass形式缺乏Petersson型公式，是否仍可证明该族的1-阶密度对合适测试函数收敛至正交系综极限？
• RQ3 在库兹涅措夫迹公式中分析Maass形式的贝塞尔-克鲁斯滕和时会遇到哪些技术挑战，如何克服？
• RQ4 在平均下，Maass形式的谱和如何表现？光滑权函数在控制误差项中起什么作用？
• RQ5 1-阶密度展开中的主项的渐近行为是什么？其是否与正交预测一致？

主要发现

• 当导子趋于无穷时，权1余规Maass形式的低能零点的1-阶密度收敛至正交系综极限，验证了该族的Katz-Sarnak密度猜想。
• 1-阶密度展开中的主项与正交预测一致，误差项被控制在 $O\left(\frac{(mn)^{3/8}L^2T^{\frac{3}{2}(1-η)}}{c^{3/4}}\right)$ 范围内，其中 $c \geq T^{2013}$。
• 库兹涅措夫迹公式中的贝塞尔-克鲁斯滕项对1-阶密度的贡献可忽略不计，原因在于 $c^{-3/4}$ 因子带来的强 $c$-衰减及对 $T$ 依赖的界。
• 通过使用光滑权函数与复平面中的围道移动，有效控制了谱和并避免了极点，从而推导出主项。
• 该分析确认了权1余规Maass形式族的对称类型为正交，与Katz-Sarnak框架一致。
• 该结果将已知的 $σ\mathrm{GL}_2$ $L$-函数族中密度猜想成立的范围扩展至Maass形式，完整覆盖了全纯与Maass形式的情形。