[论文解读] Bilinear forms with Kloosterman sums and applications

Emmanuel Kowalski, Ph. Michel+1 more|arXiv (Cornell University)|Nov 5, 2015

Analytic Number Theory Research参考文献 30被引用 11

一句话总结

本文利用ℓ-进上同调和有限域上的黎曼猜想等高级工具，建立了当变量范围低于经典Pólya-Vinogradov阈值时，双线性型与超Kloosterman和之间的非平凡界。关键贡献是获得了一项新界，当 $ M = N = q^{1/2} $ 时，实现了 $ q^{-1/64 + \varepsilon} $ 的节省，从而可应用于扭曲L-函数的矩问题以及大模数下Eisenstein-Hecke系数在算术级数中的分布。

ABSTRACT

We prove non-trivial bounds for general bilinear forms in hyper-Kloosterman sums when the sizes of both variables may be below the Pólya-Vinogradov range. We then derive applications to the second moment of holomorphic cusp forms twisted by characters modulo primes, and to the distribution in arithmetic progressions to large moduli of certain Eisenstein-Hecke coefficients on $\GL_3$. Our main tools are new bounds for certain complete sums in three variables over finite fields, proved using methods from algebraic geometry, especially $\ell$-adic cohomology and the Riemann Hypothesis.

研究动机与目标

• 在支持大小 $ M $ 与 $ N $ 低于Pólya-Vinogradov范围时，建立关于超Kloosterman和的双线性型的非平凡界。
• 将双线性和估计的应用范围扩展至经典傅里叶分析方法之外，特别是针对短区间。
• 将这些界应用于模素数的狄利克雷特征扭曲的尖点形式的二阶矩。
• 研究$ \mathrm{GL}_3 $上Eisenstein-Hecke系数在大模数算术级数中的分布。

提出的方法

• 通过代数几何技术将双线性型约化为有限域上的完全指数和。
• 利用$ \ell $-进上同调和有限域上的黎曼猜想，对三变量的完全和进行有界。
• 分析和积变换层的单连通性与不可约性，以控制局部单连通表示。
• 应用邻近周期与消失周期函子，关联$ \ell $-进层在一般纤维与特殊纤维上的上同调。
• 使用光滑二元划分及傅里叶/Bessel变换衰减估计，对和进行局部化与截断。
• 结合多个界(5.2)–(5.5)，推导出对数尺度下的最优衰减估计。

实验结果

研究问题

• RQ1 当 $ M, N \ll q^{1/2} $ 时，能否在Pólya-Vinogradov范围之外，对超Kloosterman和的双线性型获得非平凡界？
• RQ2 对于模素数 $ q $ 的狄利克雷特征扭曲的尖点形式L-函数矩问题，可实现的最优节省因子为何？
• RQ3 在大模数下，$ \mathrm{GL}_3 $上的Eisenstein-Hecke系数在算术级数中如何分布？
• RQ4 能否证明与和积变换相关的层的单连通性为不可约，以确保强上同调界？

主要发现

• 当 $ M = N = q^{1/2} $ 时，双线性型 $ B([\times c]^*\mathrm{Kl}_k, \alpha, \beta) $ 满足 $ \ll q^{-1/64 + \varepsilon} \|\alpha\|_2\|\beta\|_2 (MN)^{1/2} $，实现了超越Pólya-Vinogradov范围的非平凡节省。
• 当 $ \beta $ 为区间的特征函数时，界可改进为 $ \ll q^{-1/24 + \varepsilon} \|\alpha\|_1^{1/2}\|\alpha\|_2^{1/2} M^{1/4}N $，且在 $ M = N \geq q^{3/7} $ 时成立。
• 对尖点形式的扭曲L-函数的二阶矩满足 $ \frac{1}{\phi(q)} \sum_{\chi \mod q} L(f \otimes \chi, 1/2)L(g \otimes \chi, 1/2) = 2L(f \otimes g, 1)/\zeta(2) + O(q^{-\delta}) $，其中 $ \delta < 1/144 $，且隐含常数仅依赖于 $ f, g, \delta $。
• 在大模数下，$ \mathrm{GL}_3 $的Eisenstein-Hecke系数在算术级数中的分布被证明是等分布的，误差项满足 $ \ll q^{-\delta} $，其中 $ \delta < 1/26 $。
• 通过$ \ell $-进上同调建立了三变量完全和的界，关键输入来自邻近周期形式化与单连通性分析。
• 该证明依赖于一种新颖的上同调技术组合，包括邻近周期与消失周期的使用，以控制来自和积构造的层的单连通性。