[论文解读] Subconvexity for $ m{GL}(3)$ L-functions

Ramon M. Nunes|arXiv (Cornell University)|Mar 13, 2017

Analytic Number Theory Research参考文献 13被引用 4

一句话总结

本文在 $ t $-方面建立了自对偶 $ \mathrm{GL}(3) $ $ L $-函数的次凸界，将此前最佳指数从 $ t^{2/3 + \epsilon} $ 改进至 $ t^{5/8 + \epsilon} $。该方法将杨氏的混合大筛法适配至阿基米德设置，利用 $ \mathrm{GL}(3) \times \mathrm{GL}(2) $ $ L $-函数的非负性及通过库兹涅佐夫公式实现的谱平均，最终通过细致的二分分解和指数和的 $ \ell^2 $-界，获得尖锐的次凸界。

ABSTRACT

We improve on the subconvexity bound for self-dual $ m{GL}(3)$ $L$-functions in the $t$-aspect. Previous results were obtained by Li and by Mckee, Sun and Ye.

研究动机与目标

• 在 $ t $-方面将自对偶 $ \mathrm{GL}(3) $ $ L $-函数的次凸界改进至超越先前结果的水平。
• 建立 $ \mathrm{SL}(2,\mathbb{Z}) $ 的谱参数的尖锐平均估计，同时包含毛形式与 Eisenstein 系列的贡献。
• 将杨氏的混合大筛法适配至阿基米德设置，以控制近似函数方程中出现的振荡积分。
• 利用自对偶 $ \mathrm{GL}(3) $ 形式 $ \phi $ 的 $ L(1/2, \phi \times f_j) $ 的非负性，从而从谱平均中提取出单个 $ L $-值的界。
• 通过构建布洛默在 $ q $-方面的二次扭转变量的阿基米德类比，弥合 $ t $-方面与 $ q $-方面次凸界之间的差距。

提出的方法

• 推导出 $ \mathrm{SL}(2,\mathbb{Z}) $-毛形式在 $ t_j \in [T - \Delta, T + \Delta] $ 上的谱平均，包含 Eisenstein 系列，以证明 $ \sum L(1/2, \phi \times f_j) + \int |L(1/2 + it, \phi)|^2 dt \ll \Delta T^{5/4 + \epsilon} $。
• 应用近似函数方程将 $ L(1/2, \phi \times f_j) $ 表示为系数 $ A(n,m) $ 的和，从而导出关于 $ \lambda_j(n) $ 的双线性型。
• 利用库兹涅佐夫公式将谱和转化为 Kloosterman 和的和，引入具有相位 $ e(\pm \sigma \overline{d} n / c) $ 的指数和。
• 对变量 $ d_2', n_2' $ 进行二分分解，并应用大筛法以 $ \ell^2 $-界控制系数和 Gauss 和估计，从而控制 $ t $ 上的振荡积分。
• 应用引理 6.1，通过系数的 $ \ell^2 $-范数与 Gauss 和的界，控制指数和在 $ t $ 上的积分，最终获得 $ \ell^2 $-型估计。
• 将所有界结合，并利用 $ L(1/2, \phi \times f_j) $ 的非负性，推导出单个次凸界 $ L(1/2 + it, \phi) \ll t^{5/8 + \epsilon} $。

实验结果

研究问题

• RQ1 自对偶 $ \mathrm{GL}(3) $ $ L $-函数在 $ t $-方面的次凸界指数能否超越 $ t^{2/3 + \epsilon} $？
• RQ2 杨氏的混合大筛法在 $ t $-与 $ q $-方面有效，能否适配至 $ \mathrm{GL}(3) $ 的阿基米德设置？
• RQ3 当与谱平均结合时，$ \mathrm{GL}(3) \times \mathrm{GL}(2) $ $ L $-函数的非负性是否能导致更强的次凸界？
• RQ4 用于 $ t $-方面谱平均的方法能否扩展以获得 $ t $ 与 $ q $ 的混合次凸界？
• RQ5 为何以往依赖广义 Lindel€¶f 假设的方法无法将指数改进至 $ 2/3 $ 以上？

主要发现

• 本文对自对偶 $ \mathrm{GL}(3) $ Hecke-Maass 形式 $ \phi $ 获得了次凸界 $ L(1/2 + it, \phi) \ll_{\phi} t^{5/8 + \epsilon} $，优于此前最佳指数 $ t^{2/3 + \epsilon} $。
• 定理 1.1 中的谱平均满足 $ \sum_{|t_j - T| \leq \Delta} L(1/2, \phi \times f_j) + \int_{T - \Delta}^{T + \Delta} |L(1/2 + it, \phi)|^2 dt \ll \Delta T^{5/4 + \epsilon} $，其中 $ \Delta = T^{\epsilon} $。
• 通过谱平均与 $ L(1/2, \phi \times f_j) $ 的非负性，导出 $ L(1/2, \phi \times f_j) \ll_{\phi} t_j^{5/4 + \epsilon} $ 的界。
• 该方法被证明是布洛默在 $ q $-方面的界之阿基米德类比，具有相同的指数 $ 5/8 $，暗示可能获得混合界 $ L(1/2 + it, \phi \times \chi_q) \ll (tq)^{5/8 + \epsilon} $。
• 证明依赖于对具有 $ \left( \frac{n}{d} \right)^{it} $ 的指数和的新颖大筛法应用，通过 $ \ell^2 $-范数与 Gauss 和估计进行控制。
• 最终界通过二分分解与对范围 $ D_2 \ll T^{1/2 + \epsilon}/r $、$ N_2 \ll T^{3/2 + \epsilon}/r $ 与 $ U \ll T $ 的细致估计获得，确保收敛性与最优指数。