2025-11-21T17:40:15.253983

A higher rank shifted convolution problem with applications to L-functions

Blomer, Li

While several instances of shifted convolution problems for GL(3) x GL(2) have been solved, the case where one factor is the classical divisor function and one factor is a GL(3) Fourier coefficient has remained open. We solve this case in the present paper. The proof involves two intertwined applications of different types of delta symbol methods. As an application we establish an asymptotic formula for central values of L-functions for a GL(3) automorphic form twisted by Dirichlet characters to moduli q < Q.

academic

A higher rank shifted convolution problem with applications to L-functions

基本信息

论文ID: 2511.03294
标题: A higher rank shifted convolution problem with applications to L-functions
作者: Valentin Blomer, Junxian Li
分类: math.NT (Number Theory)
发表时间: 2025年11月5日
论文链接: https://arxiv.org/abs/2511.03294v1

摘要

本文解决了GL(3) × GL(2)移位卷积问题中的一个长期悬而未决的情形：一个因子是经典除数函数，另一个因子是GL(3) Fourier系数。证明方法涉及两种不同类型的delta符号方法的交织应用。作为应用，建立了GL(3)自守形式被Dirichlet特征扭曲后L-函数中心值的渐近公式（模为q ≤ Q）。

研究背景与动机

研究问题

移位卷积问题（shifted convolution problem）研究两个（通常是乘性的）算术函数在参数相差一个加性偏移时的乘积的渐近公式，是衡量两个函数相关性的重要工具。

问题重要性

经典背景：最经典的除数函数情形 $\sum_{n≤x} τ(n)τ(n+1)$ 已被研究一个世纪
理论意义：移位卷积问题与L-函数的矩、筛法理论、Titchmarsh除数问题等核心数论问题密切相关
技术挑战：高秩自守形式的移位卷积问题极具挑战性，大多数情形的非平凡结果尚未知晓

现有方法的局限性

对于GL(3) × GL(2)的情形，已有以下进展：

情形(1.1)： $\sum_{n≤x} τ_3(n)τ(n+1)$ - Hooley获得主项，Deshouillers给出幂次节省误差项，Topacogullari达到当前最佳 $O(x^{5/6+θ/3+ε})$
情形(1.2)： $\sum_{n≤x} τ_3(n)λ(n+1)$ - Pitt建立幂次节省界，Tang达到 $O(x^{5/6+θ/3+ε})$
情形(1.3)： $\sum_{n≤x} A(n,1)λ(n+1)$ - Munshi获得幂次节省界，Xi达到 $O(x^{21/22+ε})$

但情形(1.4)： $\sum_{n≤x} A(n,1)τ(n+1)$ 一直悬而未决，无法用处理前述情形的任何方法攻克。

研究动机

填补理论空白：情形(1.4)是GL(3) × GL(2)移位卷积问题的最后一个未解决情形
方法论突破：除数函数的指数和在主弧上表现很差（L²意义上），不能直接应用Jutila的圆法或Kloosterman方法
应用价值：解决此问题可建立GL(3) L-函数扭曲矩的渐近公式，这是20多年来首次突破

核心贡献

解决长期未决问题：首次建立了GL(3) Fourier系数与除数函数的移位卷积问题的幂次节省界
创新性方法论：首次将Jutila方法和Kloosterman精炼的圆法交织应用，突破了各自的局限性
完全一致性：在双线性移位方程中对所有参数 h, λ₁, λ₂ 达到完全一致性
L-函数矩的渐近公式：建立了GL(3)自守形式被Dirichlet特征扭曲的L-函数中心值的渐近公式，包含约Q²项但导子约为Q³

方法详解

核心定理

定理1：设 h, λ₁, λ₂ ∈ ℤ{0}, x ≥ 1。设 W, W₀ 为紧支撑在1,2上的光滑函数。设 A(n,1) 为SL₃(ℤ)群上尖点形式F的Hecke特征值。则 $\sum_{λ₁m-λ₂n=h} A(n,1)τ(m)W_0\left(\frac{|λ₁|m}{x}\right)W\left(\frac{|λ₂|n}{x}\right) \ll_{F,W,W_0,ε} x^{41/42+ε}$ 对任意 ε > 0 一致成立，对 h, λ₁, λ₂ 一致。

定理2：更灵活的变体，将 τ(m) 替换为 $τ_{A,B}(m) := \sum_{ab=m} v_1(a/A)v_2(b/B)$ ，在 AB ≍ x/|λ₁| 条件下得到相同界。

技术架构

1. Delta符号方法的双重应用

本文创新性地结合两种delta符号方法：

Jutila方法（引理1）：

提供灵活的模选择，创建双线性结构
仅在L²意义上近似delta函数
定义周期函数： $χ(α) = \frac{1}{δL}\sum_q ω(q)\sum_{a\bmod q, (a,q)=1}\sum_{k∈ℤ} ψ\left(\frac{1}{δ}\left(α-\frac{a}{q}+k\right)\right)$
关键性质： $\int_0^1 (1-χ(α))^2 dα \ll ψ \frac{Q^2\|ω\|_∞|\log δ|^3}{L^2δ}$

Kloosterman精炼方法（引理2）：

对除数函数的指数和在主弧上敏感
利用Farey分数分解0,1区间
提供平方根节省的b/c估计（对模c的b）

2. 方法的交织应用

步骤1：初步分解 将和式写为 S₁ + S₂，其中：

S₁：使用χ(α)的贡献
S₂：使用(1-χ(α))的贡献

步骤2：S₂的估计（次要弧）

选择参数 C₀ < C，logC ≍ log x
将c ≤ C的和式分为主弧（c ≤ C₀）和次要弧（C₀ < c ≤ C）
次要弧：利用L²估计和Voronoi求和（引理3, 4）
主弧：应用Kloosterman精炼（引理2），关键观察是可以在b/c上获得非平凡（平方根节省）估计

步骤3：特殊的模选择 采用Munshi的思想，选择可因子化的模： $ω(q) = \sum_{\frac{1}{2}Q_1≤p≤Q_1, p\text{ prime}, p∤hλ_1λ_2} \sum_{t∈ℕ, pt=q} ρ\left(\frac{t}{Q_2}\right)$ 其中 Q = Q₁Q₂。这创建了双线性结构。

步骤4：S₁的估计

应用Voronoi求和（引理3, 5）对τ(m)和A(n,1)进行对偶化
关键：保持m和p求和都在绝对值内（不同于Mu, Xi）
应用Cauchy-Schwarz不等式
利用Poisson求和和特征和估计（引理7, 8）

3. 特征和的精细估计

引理7：对超Kloosterman和的改进界 $Σ_{h,d,n_1,n_2}(c) \ll_ε c^{1+ε}c_2^{1/2}\frac{\sqrt{(n_1,c_1,d,h)}}{\sqrt{n_1}}$ 其中c = c₁c₂，c₁无平方因子，c₂为全幂，(c₁,c₂)=1。

引理8：双素数情形的特征和估计 $T(h,d_1,d_2,n_1,n_2,p_1,p_2,t) \ll_ε \begin{cases} p_1^{3/2}p_2^{3/2}t^{5/2+ε}(hn_2,t_1)^{1/2}t_2^{1/2}, & p_1≠p_2\\ p_1^3t^{5/2+ε}(hn_2p_1,t_1)^{1/2}t_2^{1/2}, & p_1=p_2 \end{cases}$

参数优化

最终选择（对应指数41/42）： $C_0 = x^{19/42-η}, \quad C = x^{23/42+η}, \quad Q_1 = x^{4/21}, \quad Q_2 = x^{8/21}, \quad δ = x^{-1+ε}$

应用：L-函数的扭曲矩

定理3的陈述

设Q ≥ 1，F为SL₃(ℤ)群上的尖点形式。设W为紧支撑在1,2上的光滑函数，Mellin变换为W̃。则 $\sum_q W\left(\frac{q}{Q}\right)\sum_{\substack{χ\bmod q\\ χ\text{ primitive, even}}} L(1/2, F×χ) = \frac{W̃(2)}{2ζ(2)^2}Q^2 + O_{F,W,ε}(Q^{2-1/41+ε})$

证明策略

不平衡近似函数方程：
- 第一项长度Q^{2+δ}
- 根数项长度Q^{1-δ}（可平凡估计）
特征正交性：应用Dirichlet特征的正交关系，问题归结为 $\sum_{q≍Q}\sum_{\substack{n≍Q^{2+δ}\\ n≡1\bmod q}} A(n,1) ≈ \sum_{q≍Q}\sum_{r≍Q^{1+δ}} A(1+rq,1)$
除数转换技巧：这正是移位卷积问题(1.4)的形式
技术细节：
- 选择X = Q^{45/82}平衡各项
- 处理Möbius反演和诱导特征
- Gauß和的立方带来超Kloosterman和
- 主项来自n=1的贡献

实验结果

主要结果

定理1的界： $O(x^{41/42+ε})$

指数41/42 ≈ 0.9762
相比平凡界x有显著改进（节省x^{1/42}）
对所有参数h, λ₁, λ₂一致

定理3的误差项： $O(Q^{2-1/41+ε})$

包含约Q²项（原始特征）
L-函数导子约Q³
这是该问题20年来首次渐近公式（Luo 2005仅得到下界）

与已有结果的比较

情形	算术函数对	最佳已知界	方法	作者/年份
(1.1)	τ₃(n)τ(n+1)	x^{5/6+θ/3+ε}	Kuznetsov公式	Topacogullari 2016
(1.2)	τ₃(n)λ(n+1)	x^{5/6+θ/3+ε}	同上	Tang 2020
(1.3)	A(n,1)λ(n+1)	x^{21/22+ε}	Jutila圆法	Xi 2018
(1.4)	A(n,1)τ(n+1)	x^{41/42+ε}	双重delta符号	本文 2025

技术突破

方法论创新：首次成功结合两种圆法
一致性：对移位参数完全一致
应用广度：定理2的灵活变体扩展了适用范围

技术细节分析

Voronoi求和公式

除数函数（引理3）： $\sum_n τ(n)e\left(\frac{bn}{c}\right)w(n) = \frac{1}{c}\int_0^∞ w(ξ)\left(\log\frac{ξ}{c^2}+2γ\right)dξ + \frac{1}{c}\sum_±\sum_n τ(n)e\left(±\frac{b̄n}{c}\right)\int_0^∞ w(ξ)J^±\left(\frac{\sqrt{nξ}}{c}\right)dξ$

GL(3) Fourier系数（引理5）： $\sum_n A(n,1)e\left(\frac{bn}{c}\right)w(n) = \frac{1}{c^2}\sum_±\sum_{n_2}\sum_{n_1|c} n_1A(n_1,n_2)S\left(b̄,±n_2,\frac{c}{n_1}\right)\int_0^∞ w(y)V^±\left(\frac{n_1^2n_2y}{c^3}\right)dy$