[论文解读] Sums of Hecke eigenvalues over quadratic polynomials

Valentin Blomer|ArXiv.org|Mar 30, 2008

Analytic Number Theory Research参考文献 12被引用 3

一句话总结

本文为二次多项式 $ q(n) = n^2 + sn + t $ 上的 Hecke 特征值之和建立了渐近公式，表明 $ \sum_{n \leq X} a(q(n)) = cX + O_{f,q,\varepsilon}(X^{6/7+\varepsilon}) $，其中常数 $ c $ 在 $ k $ 为偶数或判别式 $ \Delta > 0 $ 时消失。该结果依赖于一种新型的半整权 Kuznetsov 公式，其包含符号混合的 Kloosterman 和，从而实现了对模形式中稀疏序列的谱分析。

ABSTRACT

Let f(z) = sum_n a(n) n^{(k-1)/2} e(nz) be a cusp form for Gamma_0(N), character chi and weight k geq 4. Let q(x) = x^2 + sx + t be a polynomial with integral coefficients. It is shown that sum_{n \leq X} a(q(n)) = cX + O(X^{6/7+eps}) for some constant c depending on f and q. The constant vanishes in many cases, for example if k is even. On the way a Kuznetsov formula for half-integral weight and entries having different sign is derived.

研究动机与目标

• 为二次多项式 $ q(n) = n^2 + sn + t $ 的 Hecke 特征值之和 $ a(q(n)) $ 建立渐近公式，将已知的除数型和结果推广至尖点形式。
• 通过开发一种包含不同符号项的半整权 Kuznetsov 公式，解决模形式中稀疏序列的挑战。
• 精确确定主项常数 $ c = c(f,q) $ 的结构，特别是其在何时为零或非零，并在 Poincaré 系列的谱数据下给出显式公式。
• 将谱方法的应用范围扩展至平移卷积和及相关涉及二次多项式的算术问题。

提出的方法

• 推导出一种适用于半整权模形式的新型 Kuznetsov 公式，其包含符号相反的 Kloosterman 和，从而实现自守 L-函数的谱分解。
• 将 Kuznetsov 公式应用于光滑和 $ \sum_n a(q(n)) w(n) $，其中 $ w $ 为光滑紧supp 函数，将其与谱项和算术项关联。
• 利用展开技巧和积分变换（如 Kontorovich-Lebedev 逆变换），将包含贝塞尔函数和 Kloosterman 和的谱侧与算术侧表达式等价化。
• 利用 Weil 对 Kloosterman 和的估计以及对贝塞尔函数的估计，控制误差项，从而达到 $ O(X^{6/7+\varepsilon}) $ 的界。
• 证明当 $ k $ 为偶数或 $ \Delta > 0 $ 时主项 $ c $ 消失，并在 $ f $ 为 Poincaré 系列且 $ \Delta < 0 $ 时，给出 $ c $ 的显式公式，涉及 Hecke 特征值和切比雪夫多项式 $ T_{k-1}(h/(2\sqrt{m})) $。
• 将主定理的光滑版本应用于恢复平移卷积和的最佳可能界：$ \sum_n a(n)a(n+h)w(n) \ll_{h,f,P,\varepsilon} X^{1/2+\theta+\varepsilon} $，其中 $ \theta \geq 7/64 $ 是 Selberg 特征值猜想的下界。

实验结果

研究问题

• RQ1 当 $ a(n) $ 为尖点形式的 Hecke 特征值且 $ q(n) $ 为二次多项式时，$ \sum_{n \leq X} a(q(n)) $ 的渐近行为是什么？
• RQ2 主项常数 $ c(f,q) $ 在何种条件下消失？当其非零时，其显式结构如何？
• RQ3 能否发展一种适用于半整权的 Kuznetsov 公式，以处理符号不同的 Kloosterman 和，从而实现对稀疏序列的谱分析？
• RQ4 半整权形式的谱理论如何揭示关于二次多项式取值的算术信息？
• RQ5 此类和的最优误差项是什么？能否将 $ X^{6/7+\varepsilon} $ 的界进一步改进？

主要发现

• 和 $ \sum_{n \leq X} a(q(n)) $ 满足 $ \sum_{n \leq X} a(q(n)) = cX + O_{f,q,\varepsilon}(X^{6/7+\varepsilon}) $，对任意 $ \varepsilon > 0 $ 成立，其中隐含常数依赖于 $ f $、$ q $ 和 $ \varepsilon $。
• 当 $ k $ 为偶数或 $ \Delta = s^2 - 4t > 0 $ 时，主项常数 $ c $ 消失；在 $ k $ 为奇数且 $ \Delta < 0 $ 的某些情况下，$ c $ 非零。
• 当 $ f = P_m $，即 $ m $ 不是完全平方数且 $ k $ 为奇数的 Poincaré 系列时，常数 $ c $ 显式由涉及 $ a_j(|\Delta|) $、$ \bar{a}_j(4m - h^2) $ 和切比雪夫多项式 $ T_{k-1}(h/(2\sqrt{m})) $ 的谱和给出。
• 本文推导出一种包含符号混合 Kloosterman 和的半整权新型 Kuznetsov 公式，这对谱分析和误差项控制至关重要。
• 该方法恢复了平移卷积和的最佳可能界：$ \sum_n a(n)a(n+h)w(n) \ll_{h,f,P,\varepsilon} X^{1/2+\theta+\varepsilon} $，其中 $ \theta \geq 7/64 $ 是 Selberg 特征值猜想的下界。
• Kuznetsov 公式的谱侧揭示了与半整权拉普拉斯算子的异常特征值（特别是 $ \lambda = i/4 $）的深刻联系，该特征值影响了和的算术结构。