[论文解读] Twisted L-functions over number fields and Hilbert's eleventh problem

Valentin Blomer, Gergely Harcos|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|Apr 16, 2009

Advanced Algebra and Geometry参考文献 36被引用 5

一句话总结

本文通过谱分解和广义Kuznetsov公式，建立了在全实数域上扭曲L函数的次凸界。证明了 $ L(1/2, \pi \otimes \chi) \ll (\mathcal{N}\mathfrak{q})^{1/2 - \frac{1}{8}(1 - 2\theta) + \varepsilon} $，其中 $ \theta $ 是Ramanujan–Petersson猜想的指数逼近参数，该结果在导子方面改进了希尔伯特模形式的先前结果。

ABSTRACT

We prove a Burgess-like subconvex bound for twisted L-functions of a fixed irreducible cuspidal automorphic representation of GL(2) over a totally real number field. The proof is based on a spectral decomposition of shifted convolution sums and a generalized Kuznetsov formula.

研究动机与目标

• 在导子方面，为全实数域上扭曲L函数 $ L(1/2, \pi \otimes \chi) $ 建立一个强次凸界。
• 将 $ \mathrm{GL}_2(\mathbb{Q}) $ 上的平移卷积和方法推广至全实域上的希尔伯特模形式。
• 实现一种Burgess型次凸界，其指数显式依赖于Ramanujan–Petersson逼近参数 $ \theta $。
• 证明该方法在指数上实现了非平凡的改进，超越了Michel–Venkatesh与Venkatesh的早期结果。

提出的方法

• 证明依赖于与希尔伯特模形式的Hecke特征值相关的平移卷积和的谱分解。
• 采用广义Kuznetsov公式，将自守形式的和与谱数据联系起来，从而估计非对角项。
• 作者使用Kirillov模型和归一化的Whittaker函数来表达自守形式及其傅里叶展开。
• 通过使用 $ \check{G}_\gamma(z) $ 和 $ G_\gamma(t) $ 核，应用Sobolev范数和Mellin变换来控制谱积分。
• 该方法涉及通过近似函数方程和Mellin-Barnes积分变换推导出的谱恒等式，从而得到对 $ H_{\varpi,\mathfrak{t}}(y) $ 的界。
• 最终通过将谱项与测试函数相乘并在谱参数空间中应用 $ L^2 $-估计，获得最终界。

实验结果

研究问题

• RQ1 能否在导子方面，为全实数域上的 $ L(1/2, \pi \otimes \chi) $ 建立一个强次凸界？
• RQ2 次凸界中的指数如何依赖于Ramanujan–Petersson参数 $ \theta $？
• RQ3 在 $ \mathrm{GL}_2(\mathbb{Q}) $ 上使用的平移卷积和方法能否推广至数域上的希尔伯特模形式？
• RQ4 在扭曲L函数的数域背景下，谱方法可实现的最佳指数是多少？
• RQ5 广义Kuznetsov公式在此设定下是否能提供比三重积或几何方法更优的界？

主要发现

• 本文建立了次凸界 $ L(1/2, \pi \otimes \chi) \ll (\mathcal{N}\mathfrak{q})^{1/2 - \frac{1}{8}(1 - 2\theta) + \varepsilon} $，这是主要结果。
• 该界对任意 $ \theta \in [0, 1/2] $ 有效，当 $ \theta = 1/9 $ 时，实现了超越凸性界限的非平凡改进。
• 隐含常数关于 $ \pi $ 的解析导子和 $ \chi $ 的阿基米德参数是多项式有界，其指数依赖于 $ \varepsilon $。
• 该方法超越了Cogdell–Piatetski-Shapiro–Sarnak与Venkatesh的早期结果，在导子方面提供了更强的指数。
• 一旦建立了谱背景，该证明过程相对简洁，主要依赖于谱分解和广义Kuznetsov技术。
• 通过扭转，该界可推广至 $ L(1/2 + it, \pi \otimes \chi) $，因为 $ t $-平移被吸收进Hecke特征。