[论文解读] An explicit formula for Hecke $L$-functions

Xian‐Jin Li|arXiv (Cornell University)|Mar 6, 2004

Advanced Algebra and Geometry参考文献 10被引用 6

一句话总结

本文推导出序列 $\tau_N(n)$ 的显式公式，该公式确定了与尖点形式相关的 Hecke $L$-函数非平凡零点的位置。利用 Eichler-Selberg 跟踪公式及 Hecke 特征形式的性质，作者证明了在临界带内，完整 $L$-函数 $\xi_N(s)$ 的所有零点位于临界线 $\Re(s) = 1/2$ 当且仅当对所有 $n \geq 1$ 有 $\tau_N(n) \geq 0$，从而为这些 $L$-函数的广义黎曼猜想提供了一个判别准则。

ABSTRACT

In this paper an explicit formula is given for a sequence of numbers. The positivity of this sequence of numbers implies that zeros in the critical strip of the Euler product of Hecke polynomials, which are associated with the space of cusp forms of weight $k$ for Hecke congruence subgroups, lie on the critical line.

研究动机与目标

• 为与权 $k$ 和水平 $N$ 的尖点形式相关的 Hecke $L$-函数的广义黎曼猜想建立判别准则。
• 推导出通过完整 $L$-函数 $\xi_N(s)$ 的零点求和定义的序列 $\tau_N(n)$ 的显式公式，该公式控制这些零点的位置。
• 将 $\tau_N(n)$ 的非负性与 $S_k(N,\chi)$ 中新形式的 $L$-函数的临界线假设联系起来。
• 利用 Eichler-Selberg 跟踪公式，将 $\tau_N(n)$ 表示为 Hecke 算子的迹数据与模形式算术不变量的组合。

提出的方法

• 定义 $\tau_N(n) = \sum_{\rho} \left[1 - \left(1 - \frac{1}{\rho}\right)^{-n}\right]$，其中求和范围为 $\xi_N(s)$ 在临界带内的非平凡零点 $\rho$。
• 利用 Eichler-Selberg 跟踪公式计算 Hecke 算子在 $S_k(N,\chi)$ 上的 $\operatorname{tr}(T(p^m))$，从而实现特征值迹的显式计算。
• 引入一个辅助算子 $S(p^m)$，其通过递推关系定义：$S(p^m) = T(p^m) - \chi(p)p^{k-1}T(p^{m-2})$，其迹与特征值和 $\sum_j b_{g_j}(p^m)$ 一致。
• 应用 Bombieri-Lagarias 判别准则，将 $\tau_N(n)$ 的非负性与零点位于临界线 $\Re(s) = 1/2$ 的位置联系起来。
• 利用迹公式与新形式的算术数据，推导出 $\tau_N(n)$ 关于 $N$、$k$、$\chi$、类数 $h(f)$ 以及除数函数的显式代数表达式。
• 利用 $\xi_N(s)$ 的函数方程及 $\xi_N(s)$ 为整函数的事实，确保零点关于 $\Re(s) = 1/2$ 对称，从而将问题简化为对 $\tau_N(n)$ 的符号控制。

实验结果

研究问题

• RQ1 在何种条件下，完整 $L$-函数 $\xi_N(s)$ 的所有非平凡零点都位于临界线 $\Re(s) = 1/2$？
• RQ2 序列 $\tau_N(n)$ 的非负性是否可作为 Hecke $L$-函数临界线假设的充分必要条件？
• RQ3 如何用模形式不变量与 Hecke 算子的迹数据显式表达 $\tau_N(n)$？
• RQ4 如何利用 Eichler-Selberg 跟踪公式计算任意水平与权的尖点形式 $L$-函数的 $\tau_N(n)$？
• RQ5 新形式及其相关 $L$-函数在 $\xi_N(s)$ 全局零点分布中起什么作用？

主要发现

• 序列 $\tau_N(n)$ 被显式计算为算术函数、Hecke 算子迹与涉及 $\Lambda(m)$ 和 $\ln m$ 的 zeta 型和的组合。
• 根据推论 1.2，$S_k(N,\chi)$ 中尖点形式的 $L$-函数的广义黎曼猜想成立当且仅当对所有正整数 $n$ 有 $\tau_N(n) \geq 0$。
• 完整 $L$-函数 $\xi_N(s)$ 是整函数，且满足函数方程 $\xi_N(s) = w \overline{\xi_N(1 - \overline{s})}$，从而保证了零点关于 $\Re(s) = 1/2$ 的对称性。
• $S_k(N,\chi)$ 上 Hecke 算子 $T(p^m)$ 的迹通过 Eichler-Selberg 公式显式给出，涉及类数 $h(f)$ 与高斯和。
• $\tau_N(n)$ 的表达式包含一项 $\sum_{l=1}^\infty \frac{k+1}{l(2l + k + 1)}$，该级数收敛，并对公式中的常数项有贡献。
• $\tau_N(n)$ 的公式考虑了 $S_k(N,\chi)$ 中所有新形式的贡献，其水平 $N_j$ 的乘积通过 $\prod_{\mathfrak{f}|m|m|N} m^{\nu_m d(N/m)}$ 因子化，从而将全局 $L$-函数与局部数据联系起来。