2025-11-20T13:46:15.714084

On the zeros of linear combinations of L-functions of degree two on the critical line. Selberg's approach

Rezvyakova

This is an article, published in Izvestiya: Mathematics, 2016, Volume 80, Issue 3, which complements arxiv:2411.18492

academic

On the zeros of linear combinations of L-functions of degree two on the critical line. Selberg's approach

基本信息

论文ID: 2501.00551
标题: On the zeros of linear combinations of L-functions of degree two on the critical line. Selberg's approach
作者: I.S. Rezvyakova (Steklov Mathematical Institute of RAS, Moscow)
分类: math.NT (Number Theory)
发表信息: Published in Izvestiya: Mathematics, 2016, Volume 80, Issue 3
论文链接: https://arxiv.org/abs/2501.00551
数学主题分类: 11M41, 11M26

摘要

本文详细研究了A. Selberg的方法，该方法在特定自然条件下能够证明Selberg类中L函数线性组合的非平凡零点有正比例位于临界线上。作者提供了在二次L函数（附着于自守形式）线性组合情况下证明此结果所需的所有必要成分。

研究背景与动机

核心问题

本研究要解决的核心问题是证明二次L函数线性组合的非平凡零点有正比例位于临界线Re(s) = 1/2上，这是黎曼假设在更广泛L函数类别中的推广。

研究重要性

理论意义: 这是黎曼假设的重要推广，对理解L函数的零点分布具有根本意义
历史价值: 继承并发展了Selberg在1942年对黎曼ζ函数的开创性工作
技术挑战: L函数的线性组合通常不具有欧拉乘积分解，使得问题更加复杂

现有方法局限性

一般的L函数线性组合在临界线外有许多零点，违反黎曼假设
Hardy-Littlewood方法在此类问题上效果有限
缺乏对二次L函数线性组合的系统性处理

研究动机

Selberg注意到他的方法可以扩展到二次L函数的线性组合，但缺乏详细的证明。本文填补了这一理论空白。

核心贡献

方法统一: 提供了Selberg方法在二次L函数线性组合中的完整实现
技术创新: 引入新的"mollifier"构造，适用于复Hecke特征
理论完善: 建立了必要的均值估计和值分布结果
应用拓展: 为一般Selberg类L函数的线性组合提供了框架

方法详解

任务定义

设 $F(s) = \sum_{j=1}^m c_j L_j(s)$ 是m个不同Hecke L函数的线性组合，其中 $c_j$ 为实系数， $L_j(s)$ 对应复理想类群特征。目标是证明 $F(s)$ 有正比例的非平凡零点位于临界线上。

核心方法架构

1. Mollifier构造

对于 $L_j(s) := L_{\psi_j}(s)$ ，定义系数 $\alpha_j(\nu)$ ： $\sum_{\nu=1}^{\infty} \frac{\alpha_j(\nu)}{\nu^s} = L_j(s)^{-1/2}$

mollifier定义为： $\eta_j(s) = \sum_{\nu \leq X} \frac{\beta_j(\nu)}{\nu^s}$

其中 $\beta_j(\nu) = \alpha_j(\nu)L(\nu)$ ， $L(\nu)$ 是权重函数。

2. 关键估计

需要建立三个核心估计：

估计(3): $\int_T^{2T} |I_j(t,H)|^2 dt = O\left(\frac{T}{H}\log T\right)$

估计(4): $\int_T^{2T} |L_j(1/2+it)\eta_j^2(1/2+it)|^2 dt = O(T)$

估计(5): $\int_T^{2T} |M_j(t,H)|^2 dt = O\left(\frac{T}{H}\log T\right)$

对于不同的Hecke L函数 $L_j$ 和 $L_{j'}$ ，需要证明： $\int_T^{2T} \kappa_{a,b}\left(\frac{\log|L_j(1/2+it)| - \log|L_{j'}(1/2+it)|}{\sqrt{(n_j+n_{j'})\pi\log\log T}}\right) dt = T\int_a^b e^{-\pi u^2} du + O(T\phi(T))$

其中 $\phi(T) \to 0$ 当 $T \to +\infty$ 。

技术创新点

1. 新的Mollifier设计

与传统方法相比，本文的mollifier具有：

更好的解析性质
适应复Hecke特征的特殊结构
统一处理估计(5)和Selberg密度定理

2. Selberg求和估计

建立了关键的Selberg求和估计： $S(\theta) = \sum_{\nu_1,\ldots,\nu_4 \leq X} \frac{\beta(\nu_1)\beta(\nu_2)\beta(\nu_3)\beta(\nu_4)}{\nu_2\nu_4} \left(\frac{q}{\nu_1\nu_3}\right)^{1-\theta} K\left(\frac{\nu_1\nu_4}{q}, 1-\theta\right) K\left(\frac{\nu_2\nu_3}{q}, 1-\theta\right) \ll \frac{X^{2\theta}}{\log X}$