[论文解读] The first non-vanishing quadratic twist of an automorphic L-series

Jeffrey Hoffstein, Alex Kontorovich|arXiv (Cornell University)|Aug 4, 2010

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

一句话总结

本文建立了有效界限，针对在 $ \mathrm{GL}(r,\mathbb{A}_\mathbb{Q}) $ 上的自守 $ L $-函数（$ r=1,2,3 $）的二次扭结在中心点处非零的最小基本判别式 $ d $。利用多重狄利克雷级数与函数方程，证明了在 $ \mathrm{GL}(1) $ 情况下 $ |d| \ll_\varepsilon N^{1/2+\varepsilon} $，在 $ \mathrm{GL}(2) $ 情况下 $ |d| \ll_\varepsilon N^{1+\varepsilon} $，在 $ \mathrm{GL}(3) $ 情况下 $ |d| \ll_\varepsilon N^{2+\varepsilon} $（假设 $ \mathrm{GL}(3) $ 情况下满足二次特征条件）。结果在无西格尔零点的假设下成立，依赖于逆梅林变换与积分路径的平移。

ABSTRACT

Let pi be an automorphic representation on GL(r, A_Q) for r=1, 2, or 3. Let d be a fundamental discriminant and chi_d the corresponding quadratic Dirichlet character. We consider the question of the least d, relative to the data (level, weight or eigenvalue) of pi, such that the central value of the twisted L-series is nonzero, i.e. L(1/2, pi x chi_d) != 0. For example, let N be the level of pi. Using multiple Dirichlet series, we prove the nonvanishing of a central twisted $L$-value with d << N^{1/2} for GL(1), d << N^1 for GL(2), and d << N^2 for GL(3), the last case assuming that a certain character is quadratic (see Theorem 1.13). We work over Q for simplicity but the method generalizes to arbitrary number fields. We conjecture that in all cases there should be such a twist with d << N^epsilon. This would follow from a Lindelof-type bound for a multiple Dirichlet series which does not have an Euler product, but is constructed from a Rankin-Selberg integral applied to automorphic forms which are eigenfunctions of Hecke operators.

研究动机与目标

• 确定最小的基本判别式 $ d $，使得在 $ \mathrm{GL}(r, \mathbb{A}_\mathbb{Q}) $ 上的自守表示 $ \pi $ 满足中心扭结 $ L $-值 $ L(1/2, \pi \otimes \chi_d) $ 非零，其中 $ r=1,2,3 $。
• 在 $ \pi $ 的导子数 $ N $ 的范围内，为 $ |d| $ 提供有效且多项式类型的界限，优于凸性界限。
• 将多重狄利克雷级数方法扩展至通过朗金-塞尔伯格积分构造的非欧拉乘积 $ L $-函数。
• 分析界限对有限与阿基米德位分支的依赖性，区分导子数与谱参数。
• 推测 $ |d| \ll_\varepsilon N^\varepsilon $ 应普遍成立，这将由此类多重狄利克雷级数的林德洛夫型界限推出。

提出的方法

• 作者使用由自守形式的朗金-塞尔伯格积分构造的多重狄利克雷级数 $ Z(s,w;1,1;\pi) $，这些自守形式是赫克算子的特征函数。
• 应用逆梅林变换，将扭结 $ L $-值与含 $ \Gamma $ 因子 $ G_r(w) $ 的积分联系起来，得到表达式 $ \mathcal{I} = \sum_d L(1/2, \pi \otimes \chi_d) V(d/X) $。
• 将积分路径从 $ \mathrm{Re}(w) = 2 $ 平移至 $ \mathrm{Re}(w) = -1 $，在 $ w=1, 0, 3/4, 1/4 $ 处捕获极点，其中 $ w=1 $ 处的留数占主导地位。
• 利用多重狄利克雷级数的函数方程，将积分反射至绝对收敛区域，得到包含新衰减函数 $ \tilde{V} $ 的对偶表达式。
• 该方法依赖于对极点残余项的有界性估计，并假设无西格尔零点，以确保主项大小为 $ \gg N^{-\varepsilon} X $。
• 在特征值方面，应用斯特林公式处理 $ \Gamma $ 因子，保持相同的渐近结构。

实验结果

研究问题

• RQ1 对于给定的 $ \mathrm{GL}(r, \mathbb{A}_\mathbb{Q}) $ 上的自守表示 $ \pi $，最小的基本判别式 $ d $ 是什么，使得 $ L(1/2, \pi \otimes \chi_d) \neq 0 $？
• RQ2 能否在不依赖阿基米德参数的情况下，基于 $ \pi $ 的导子数 $ N $，为 $ |d| $ 建立有效界限？
• RQ3 在非零问题中，对导子数 $ N $ 和谱参数（如特征值 $ \lambda $）的依赖性有何不同？
• RQ4 能否将多重狄利克雷级数方法扩展至无欧拉乘积的 $ L $-函数，以获得非零结果？
• RQ5 是否可能将当前界限改进为 $ |d| \ll_\varepsilon N^\varepsilon $，这将对这类级数的林德洛夫假设意味着什么？

主要发现

• 在 $ \mathrm{GL}(1) $ 情况下，首个非零二次扭结出现在 $ |d| \ll_\varepsilon N^{1/2+\varepsilon} $，其中 $ N $ 是赫克特征的导子数。
• 在 $ \mathrm{GL}(2) $ 情况下，界限改善为 $ |d| \ll_\varepsilon N^{1+\varepsilon} $，与瓦尔德斯普格定理及黎曼-罗赫论证一致。
• 在 $ \mathrm{GL}(3) $ 情况下，假设相关特征为二次特征，则界限为 $ |d| \ll_\varepsilon N^{2+\varepsilon} $，该结果源自对称平方与外平方 $ L $-函数。
• 证明依赖于多重狄利克雷级数中的路径平移，主要贡献来自 $ w=1 $ 处的极点，其余项通过斯特林公式与 $ \Gamma $ 因子估计进行有界。
• 作者表明，若所有此类 $ L $-值在 $ |d| \ll N^{\theta_r + \varepsilon} $ 范围内均消失，将因留数大小为 $ \gg N^{-A} $ 而导致矛盾，从而证明非零性。
• 该方法可推广至任意数域，且表明若非欧拉乘积多重狄利克雷级数具有林德洛夫型界限，则可推出最优猜想界限 $ |d| \ll_\varepsilon N^\varepsilon $。