[论文解读] Perturbations of L-functions with or without non-trivial zeros off the critical line

P. M. Gauthier, Xavier Xarles|ArXiv.org|Nov 26, 2009

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

一句话总结

本文表明，满足标准函数方程的小扰动L-函数可能违反或满足广义黎曼猜想，具体取决于扰动方式。论文证明，在此类L-函数的空间中，违反广义黎曼猜想的函数是典型的，同时亦表明满足广义黎曼猜想的函数可通过扰动近似，从而确立了广义黎曼猜想在小变形下既可能失效，也可能保持成立。

ABSTRACT

There exist small perturbations of L-functions, satisfying the appropriate functional equation, for which the analogue of the Riemann hypothesis fails radically. Moreover, this phenomenon is generic. However, there also exist small perturbations, for which the analogue of the Riemann hypothesis holds.

研究动机与目标

• 研究满足标准函数方程的L-函数的小扰动是否可能不满足广义黎曼猜想。
• 确定是否存在保持广义黎曼猜想的此类扰动。
• 确立在满足函数方程的亚纯函数与全纯函数空间中，违反广义黎曼猜想的扰动的典型性。
• 将关于黎曼ζ-函数已知的结果推广至更广泛的L-函数类，包括涉及Γ-因子和导子项的函数方程。
• 证明即使满足广义黎曼猜想的函数在完整扰动L-函数空间中不稠密，仍可通过对这些函数进行近似。

提出的方法

• 作者通过乘以关于s = 1/2对称的亚纯函数ν(s)，对L-函数施加扰动，从而保持函数方程的结构。
• 他们定义了满足函数方程ΛQ(f,s) = ΛQ(f,1−s)的亚纯函数f的集合MQ，以及MQ中全纯函数的子集HQ。
• 利用紧致集上一致收敛的拓扑，分析MQ与HQ中满足广义黎曼猜想的子集RMQ与RHQ的稠密性与开性。
• 他们应用广义版本的Walsh引理，实现同时逼近与插值，构造出或保持或破坏广义黎曼猜想的扰动。
• 他们验证了原始L-函数的对称性（例如实值性或复共轭下的对称性）可在逼近函数中得以保持。
• 他们提供了L-函数的显式例子（例如与模形式、椭圆曲线及函数域上的Zeta函数相关联的L-函数），证明广义黎曼猜想成立，并表明可构造出保持或破坏该性质的扰动。

实验结果

研究问题

• RQ1 满足标准函数方程的L-函数的小扰动是否可能不满足广义黎曼猜想？
• RQ2 在满足函数方程的亚纯函数与全纯函数空间中，违反广义黎曼猜想的扰动集合是否具有典型性？
• RQ3 能否构造出扰动，使得扰动后的L-函数仍满足广义黎曼猜想？
• RQ4 是否存在显式类别的L-函数，其广义黎曼猜想已被证明成立，且这些函数能否通过保持或破坏猜想的扰动实现逼近？
• RQ5 原始L-函数的对称性（例如实值性或共轭对称性）是否可在逼近扰动中得以保持？

主要发现

• MQ中违反广义黎曼猜想的亚纯函数集合既是开集又是稠密集，表明此类失败在扰动空间中具有典型性。
• 类似地，HQ中违反广义黎曼猜想的全纯函数集合也是开集与稠密集，确认了在全纯情形下广义黎曼猜想失败的典型性。
• 存在保持函数方程并满足广义黎曼猜想的小扰动，表明广义黎曼猜想保持的逼近是可构造的。
• 结果可推广至与狄利克雷特征、赫克特征、模形式及自守形式相关的L-函数，前提是函数方程具有包含Γ-因子与导子项的标准形式。
• 对于根数W(ρ) = 1且表示为实的L-函数，或来自Q上椭圆曲线且满足L(1/2) ≠ 0的L-函数，广义黎曼猜想成立，且这些函数可被保持或破坏猜想的扰动逼近。
• 逼近函数的构造尊重对称性：若原始L-函数关于复共轭对称或为实值，可选择逼近函数保持这些性质。