[论文解读] New bounds for automorphic L-functions

Gergely Harcos|ArXiv.org|May 21, 2003

Analytic Number Theory Research参考文献 37被引用 14

一句话总结

该论文通过在√C项处进行光滑截断，推导出一个近似函数方程，为自守L函数建立了新的界限。它利用贝塞尔函数估计实现了参数上的多项式一致有界性，并应用哈代-利特尔伍德圆法证明了扭曲L函数的次凸界，扩展了杜克、弗里德兰纳和伊万尼克的结果。

ABSTRACT

This thesis contributes to the analytic theory of automorphic L-functions. We prove an approximate functional equation for the central value of the L-series attached to an irreducible cuspidal automorphic representation of GL(m) over a number field. We investigate the decay rate of the cutoff function and its derivatives in terms of the analytic conductor introduced by Iwaniec and Sarnak. We also see that the truncation can be made uniformly explicit at the cost of an error term. The results extend to products of central values. We establish, via the Hardy-Littlewood circle method, a nontrivial bound on shifted convolution sums of Fourier coefficients coming from classical holomorphic or Maass cusp forms of arbitrary level and nebentypus. These sums are analogous to the binary additive divisor sum which has been studied extensively. We achieve polynomial uniformity in all the parameters of the cusp forms by carefully estimating the Bessel functions that enter the analysis. As an application we derive, extending work of Duke, Friedlander and Iwaniec, a subconvex estimate on the critical line for L-functions associated to character twists of these cusp forms. We also study the shifted convolution sums via the Sarnak-Selberg spectral method. For holomorphic cusp forms this approach detects optimal cancellation over any totally real number field. For Maass cusp forms the method is burdened with complicated integral transforms. We succeed in inverting the simplest of these transforms whose kernel is built up of Gauss hypergeometric functions.

研究动机与目标

• 为数域上GL_m上的不可约的尖形式自守表示的中心L值建立精确且一致的界限。
• 将次凸性估计扩展至任意水平和新特征的全纯与马асс尖形式的特征扭曲。
• 发展一种方法，对傅里叶系数的移位卷积和实现所有参数下的多项式一致有界性。
• 研究萨尔纳克–塞尔伯格谱方法在移位卷积和中的应用，特别是针对全纯与马асс形式的情形。
• 在马асс形式情形下，反转一个涉及高斯超几何函数的积分变换，从而实现显式分析。

提出的方法

• 通过在√C项处截断狄利克雷级数，结合光滑截断函数及其导数的细致分析，推导出L(s, π)和L(s, π̃)的近似函数方程。
• 将哈代-利特尔伍德圆法应用于尖形式傅里叶系数的移位卷积和，将其处理方式类比于二元加法除数问题。
• 利用精确的贝塞尔函数估计，在水平、新特征和谱参数方面实现多项式一致有界性。
• 利用L函数的函数方程和复平面上的围道积分，将积分路径移至Re(s) = -σ/2 - ε，以分离极点并有界化超几何函数。
• 通过在最简单情形下反转涉及高斯超几何函数F(a,b;c;z)的积分变换，利用斯特林公式和Γ函数渐近展开进行分析。
• 应用卢奥–鲁德尼克–萨尔纳克关于兰兰茨参数的统一有界性结果，以控制临界带内的增长与衰减。

实验结果

研究问题

• RQ1 自守L函数中心L值的近似函数方程的最优截断长度是什么？如何使误差保持一致有界？
• RQ2 尖形式傅里叶系数的移位卷积和能否在水平、新特征和谱参数方面实现多项式一致有界性？
• RQ3 对于在临界线上扭曲的L函数，可以建立怎样的次凸界？
• RQ4 萨尔纳克–塞尔伯格谱方法在全实数域上全纯尖形式的移位卷积和中，能在多大程度上检测到最优抵消？
• RQ5 当核函数包含高斯超几何函数时，马есс形式情形下出现的积分变换能否被反转？

主要发现

• 建立了在√C项处截断的近似函数方程，其中C为解析导子，通过光滑截断和导数衰减使误差一致有界。
• 利用精确的贝塞尔函数估计，对尖形式傅里叶系数的移位卷积和实现了在水平、新特征和谱参数方面的多项式一致有界性。
• 证明了Dirichlet字符扭曲L函数的次凸界，改进了先前结果，并扩展了杜克、弗里德兰纳和伊万尼克的工作。
• 对于全纯尖形式，萨尔纳克–塞尔伯格谱方法在任意全实数域上均能检测到最优抵消。
• 在最简单情形下成功反转了由高斯超几何函数构成核的积分变换，从而实现了对马есс形式情形的显式分析。
• 最终证明了对超几何函数的有界性为O(|s|^{1/2 + ε})，结合围道积分与斯特林公式，可推出所需的次凸性估计。