[论文解读] Moments and Non-vanishing of central values of Quadratic Hecke $L$-functions in the Gaussian Field

Peng Gao|arXiv (Cornell University)|Feb 27, 2020

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

一句话总结

本文在高斯域中评估了二次 Hecke L 函数中心值的前三个矩，误差项具有幂次节省形式，实现了 $ O(X^{1/2+\theta}) $ 的误差界。通过使用截断光滑函数的矩和柯西-施瓦茨分析，证明了该族中至少 87.5% 的 L 函数具有非零中心值，将经典结果推广至数域，并改进了误差估计。

ABSTRACT

We evaluate the first three moments of central values of a family of qudratic Hecke $L$-functions in the Gaussian field with power saving error terms. In particular, we obtain asymptotic formulas for the first two moments with error terms of size $O(X^{1/2+\varepsilon})$. We also study the first and second mollified moments of the same family of $L$-functions to show that at least $87.5\%$ of the members of this family have non-vanishing central values.

研究动机与目标

• 将经典结果从狄利克雷 L 函数推广至高斯域上的二次 Hecke L 函数，涵盖中心 L 值的矩与非零性。
• 为二次 Hecke L 函数中心值的前三个矩推导渐近公式，误差项大小为 $ O(X^{1/2+\theta}) $，优于先前的界限。
• 应用截断矩方法，建立具有正密度的 L 函数族，其中心值非零，类比于声音拉拉詹在经典情形下的工作。
• 将解析数论中的技术（包括递归误差缩减与泊松求和）适配至虚二次域的语境。
• 为平滑矩提供显式的渐近主项与误差估计，使用了 Hecke 特征 $ \chi_{(1+i)^5 d} $，其中 $ d $ 为 $ \mathcal{O}_K $ 中的奇且无平方因子的整数。

提出的方法

• 通过紧支集光滑函数 $ \Phi $ 使用平滑矩，以控制 $ d $ 的和，其中 $ N(d) \sim X $。
• 应用递归技术，将初始较大的误差项减少至第一、二矩的 $ O(X^{1/2 + \varepsilon}) $，第三矩的 $ O(X^{3/4 + \varepsilon}) $。
• 采用截断矩方法，利用由 Hecke 特征性质导出的系数 $ \mu_{[i]}(d) $，以控制非零中心值的比例。
• 对涉及 $ \lambda(a\alpha)/h(a) $、$ d_{[i]}(a)/\sigma_{[i]}(a) $ 和对数幂的辅助项进行复杂分析，以控制误差增长。
• 利用 Hecke L 函数的函数方程与近似函数方程，将 $ L(1/2, \chi) $ 表示为理想与特征和的形式。
• 应用部分求和与对数项的渐近展开，将主项表示为 $ \log X $ 的多项式，其系数依赖于 $ \Phi $。

实验结果

研究问题

• RQ1 在高斯域中，二次 Hecke L 函数中心值的前三个矩的渐近公式是什么？
• RQ2 这些矩公式的误差项能否改进为 $ O(X^{1/2 + \varepsilon}) $，以匹配目前已知的经典界限？
• RQ3 该族中具有非零中心值的二次 Hecke L 函数所占比例是多少？
• RQ4 截断矩技术能否在数域中适配，以建立中心 L 值非零的正密度结果？
• RQ5 矩的主项如何依赖于光滑权函数 $ \Phi $ 与高斯整数的算术结构？

主要发现

• 二次 Hecke L 函数 $ L(1/2, \chi_{(1+i)^5 d}) $ 的前两个矩具有渐近公式，误差项为 $ O(X^{1/2 + \varepsilon}) $，与目前已知的经典误差界一致。
• 第三矩具有渐近公式，误差项为 $ O(X^{3/4 + \varepsilon}) $，与经典情形下在 GRH 假设下的已知结果一致。
• 该族中至少 87.5% 的 L 函数具有非零中心值，通过第二阶截断矩与柯西-施瓦茨不等式建立。
• 第一矩的主项是 $ \log X $ 的一次多项式，第二与第三矩的主项分别为三次与六次多项式，与矩猜想所预期的增长一致。
• 第二阶截断矩的渐近主项为 $ \sim \left(\frac{\pi}{4}\right)^4 \left( \frac{4}{81} + \frac{8}{27\theta} + \cdots \right) \frac{2\pi \widehat{\Phi}(1)}{3\zeta_K(2)} X $，其中 $ \theta = 1 $。
• 在 $ X \leq N(d) \leq 2X $ 范围内，截断器系数平方和的渐近行为为 $ \sim \frac{2\pi}{3\zeta_K(2)} X $，确认了非零密度论证中所用归一化方法的正确性。