[论文解读] On the GL(3) Kuznetsov Formula with applications to Symmetry Types of families of $L$-functions

Dorian Goldfeld, Alex Kontorovich|arXiv (Cornell University)|Mar 29, 2012

Advanced Algebra and Geometry参考文献 22被引用 12

一句话总结

该论文首次构建了显式的 GL(3) Kuznetsov 公式，并将其应用于确定 L-函数族的对称类型。通过谱理论与 Kloosterman 和估计，论文计算了三类族的低阶零点密度：GL(3) 陈数 Maass 形式、其对称平方提升至 GL(6) 的族，以及伴随提升至 GL(8) 的族，结果表明在 Ramanujan 与 Riemann 猜想成立的前提下，它们的对称类型分别为酉型、酉型与辛型。

ABSTRACT

We present an explicit approach to the GL(3) Kuznetsov formula. As an application, for a restricted class of test functions, we obtain the low-lying zero densities for the following three families: cuspidal GL(3) Maass forms phi, the symmetric square family sym^2 phi on GL(6), and the adjoint family Ad phi on GL(8). Hence we can identify their symmetry types; they are: unitary, unitary, and symplectic, respectively.

研究动机与目标

• 开发适用于分析 L-函数族的显式 GL(3) Kuznetsov 公式，并精确给出谱权函数。
• 计算 GL(3) 陈数 Maass 形式族、其对称平方提升至 GL(6) 的族，以及伴随提升至 GL(8) 的族的低阶零点密度。
• 基于低阶零点密度与傅里叶支撑分析，确定这些族的对称类型。
• 将 Katz-Sarnak 对称类型分类框架从 GL(2) 扩展至高阶 L-函数。
• 为使用谱方法分析 n ≥ 2 的 GL(n) 族对称类型奠定基础。

提出的方法

• 推导出带有权函数 h_{T,R}(ν) 的 GL(3) Kuznetsov 公式，该函数可局部化谱参数，并通过围道移动确保收敛性。
• 利用 Stirling 公式估计权函数 h_{T,R}(ν)，表明其在 λ < T² 上基本有紧支集，且对摄动形式，其行为类似于 (1+|ν|)^R。
• 将 Kuznetsov 公式应用于三类族：φ（GL(3)）、sym²φ（GL(6)）与 Adφ（GL(8)），并给出谱参数与 L-函数留数。
• 通过 Bessel 函数与指数和的界估计 Kloosterman 项与 Eisenstein 项，依赖于 Ramanujan 猜想。
• 通过显式公式分析低阶零点密度，计算谱侧贡献与误差项。
• 利用测试函数傅里叶变换的支集控制误差项，并通过首项 ψ̂(0) 确定对称类型。

实验结果

研究问题

• RQ1 GL(3) Kuznetsov 公式的显式形式为何？其谱权函数如何用于 L-函数族分析？
• RQ2 GL(3) 陈数 Maass 形式族、其对称平方提升族与伴随提升族的低阶零点密度是多少？
• RQ3 基于低阶零点密度，这些族表现出何种对称类型？
• RQ4 测试函数傅里叶变换的支集如何影响零点密度计算中的误差项？
• RQ5 GL(3) Kuznetsov 公式能否用于分类高阶 L-函数族的对称类型？

主要发现

• GL(3) 陈数 Maass 形式族的低阶零点密度渐近为 ∫ψ̂(0) dμ，误差项为 O((log log T)/(log T))，表明其为酉型对称类型。
• 对称平方族 sym²φ 在 GL(6) 上的零点密度为 ∫ψ̂(0) dμ + o(1)，确认其为酉型对称类型。
• 伴随族 Adφ 在 GL(8) 上的零点密度为 ∫ψ̂(0) dμ + o(1)，表明其为辛型对称类型。
• 为控制误差项，φ×φ̄ 族的傅里叶变换支集需在 (−δ, δ) 内，且 δ < 2/27；φ 族则需 δ < 4/15。
• 对称平方与伴随提升在谱和中因自对偶形式稀少，其贡献可忽略为误差项。
• 该方法表明，族的对称类型由零点密度公式首项决定，误差项通过谱与算术估计得以控制。