[论文解读] Simultaneous nonvanishing of Dirichlet $L$-functions and twists of Hecke-Maass L-functions

Soumya Das, Rizwanur Khan|arXiv (Cornell University)|Nov 17, 2014

Analytic Number Theory Research参考文献 7被引用 8

一句话总结

该论文通过使用复共轭的均值方法，避免了处理复杂的高斯指数和，证明了对于固定的赫cke-梅斯尖形式 $ f $ 和模为素数 $ q $ 的本原狄利克雷特征 $ \chi $，中心 L-值 $ L(1/2, f \otimes \chi) $ 与 $ L(1/2, \chi) $ 同时非零。关键结果表明，当素数 $ q $ 足够大时，存在这样的特征 $ \chi $，使得两个中心 L-值均非零。

ABSTRACT

We prove that given a Hecke-Maass form $f$ for $ ext{SL}(2, \mathbb{Z})$ and a sufficiently large prime $q$, there exists a primitive Dirichlet character $χ$ of conductor $q$ such that the $L$-values $L( frac{1}{2}, f \otimes χ)$ and $L( frac{1}{2}, χ)$ do not vanish. We expect the same method to work for any large integer $q$.

研究动机与目标

• 建立存在一个模为素数 $ q $ 的本原狄利克雷特征 $ \chi $，使得 $ L(1/2, f \otimes \chi) $ 与 $ L(1/2, \chi) $ 均非零。
• 提供一个无需假设条件的结果，并明确给出模 $ q $，克服了先前工作中未指定导子的局限性。
• 通过使用包含复共轭的均值而非模的平均，避免了高斯和带来的技术困难。
• 将方法推广至任意大整数 $ q $，尽管本文为简化起见仅聚焦于素数模。

提出的方法

• 作者在大素数 $ q $ 的模下，对本原偶狄利克雷特征 $ \chi $ 计算了乘积 $ L(1/2, f \otimes \chi) \overline{L(1/2, \chi)} $ 的均值。
• 他们使用冯·科诺伊（Voronoi）求和公式对 $ n $ 的和进行变换，从而能够处理谱系数 $ \lambda_f(n) $ 和特征扭结。
• 该方法避免了如刘（Liu）的工作中对模 $ r $ 的平均，而是固定 $ q $ 为素数，从而实现了对导子的显式控制。
• 通过应用近似函数方程，并利用重复分部积分估计振荡和，他们得到了具有幂次节省的误差项。
• 关键创新在于在均值中使用复共轭，与以往方法相比，简化了对高斯和的处理。
• 最终的界为 $ \frac{q-2}{2}L(1,f) + O(q^{7/8 + \theta + \epsilon}) $，其中 $ \theta $ 是当前关于罗曼纽琼-彼得森猜想的最佳界。

实验结果

研究问题

• RQ1 是否存在一个模为素数 $ q $ 的本原狄利克雷特征 $ \chi $，使得对于固定的赫克-梅斯形式 $ f $，有 $ L(1/2, f \otimes \chi) $ 与 $ L(1/2, \chi) $ 均非零？
• RQ2 能否在指定模 $ q $ 的前提下，无条件地证明两个中心 L-值的非零性？
• RQ3 能否将用于素数模的方法推广至所有大整数 $ q $？
• RQ4 在均值中使用复共轭如何相较于以往涉及高斯和的工作简化分析？

主要发现

• 对于每个足够大的素数 $ q $，存在一个导子为 $ q $ 的本原狄利克雷特征 $ \chi $，使得 $ L(1/2, f \otimes \chi) $ 与 $ L(1/2, \chi) $ 均非零。
• 在模 $ q $ 的本原偶特征上，$ L(1/2, f \otimes \chi) \overline{L(1/2, \chi)} $ 的均值为 $ \frac{q-2}{2}L(1,f) + O(q^{7/8 + \theta + \epsilon}) $，其中 $ \theta = 7/64 $ 当前为最优。
• 由于 $ L(1,f) \neq 0 $，主项非零，因此均值中的至少一个项非零，从而推出此类 $ \chi $ 的存在性。
• 该方法避免了如刘的工作中对模的平均，且提供了具体的模 $ q $，而此前的结果未明确给出。
• 具有幂次节省的误差项 $ O(q^{7/8 + \theta + \epsilon}) $ 暗示该方法可推广至所有大整数 $ q $，而不仅限于素数。
• 结果为无条件成立，且不依赖于罗曼纽琼-彼得森猜想，与某些相关渐近结果不同。