[论文解读] Bilinear Forms with Kloosterman and Gauss Sums

Igor E. Shparlinski|arXiv (Cornell University)|Aug 22, 2016

Analytic Number Theory Research参考文献 19被引用 7

一句话总结

本文通过组合与特征和技巧，不依赖代数几何，改进了任意模数下涉及 Kloosterman 和 Gauss 和的双线性型的界限。关键贡献在于，对与 Hecke 特征形式相关的 L 函数混合矩的渐近公式中的误差项实现了幂次改进，从而细化了 Blomer、Fouvry、Kowalski、Michel 和 Milićević 的先前结果。

ABSTRACT

We obtain several estimates for bilinear form with Kloosterman sums. Such results can be interpreted as a measure of cancellations amongst with parameters from short intervals. In particular, for certain ranges of parameters we improve some recent results of Blomer, Fouvry, Kowalski, Michel and Milićević and also of Fouvry, Kowalski and Michel. In particular, we improve the bound on the error term in the asymptotic formula for mixed moments of $L$-series associated with Hecke eigenforms.

研究动机与目标

• 改进涉及任意模数下 Kloosterman 和 Gauss 和的双线性和的现有估计，扩展至非素数模数和区间支持之外的范围。
• 在不依赖深层代数几何工具的前提下，为 Kloosterman 和 Gauss 和的加权和提供更强的抵消估计。
• 改进与 Hecke 特征形式相关的 L 函数混合矩渐近公式中的误差项，超越 Blomer 等人近期的工作。
• 将双线性型在结构集合上的指数和界限进行推广与加强，包括在加法组合论和平方自由数分布问题中的应用。

提出的方法

• 采用并扩展了 Shparlinski 和 Zhang（2024）的方法，利用 dyadic 分解和特征和估计，以控制乘法群子集上的指数和。
• 采用组合分解与特征和矩估计相结合的混合方法，利用指数方程解数的有界性。
• 利用 Dirichlet 特征的正交性以及区间上指数和的矩估计，推导双线性型中的抵消效应。
• 应用 Heath-Brown 和 Pierce 对高次单项式（如 $x^{-k}$）指数和的有界性，将结果推广至标准 Kloosterman 和情形之外。
• 将新界限整合进 Blomer 等人（2021）的框架中，以改进 L 函数混合矩渐近公式中的误差项。
• 利用将和分解为 dyadic 区间并应用 $L^r$-范数估计的方法，控制每一部分的贡献。

实验结果

研究问题

• RQ1 在不使用代数几何的前提下，能否在任意合数模数上为 Kloosterman 和的双线性型建立非平凡抵消？
• RQ2 当权重在 $\mathbb{Z}_q^*$ 的任意子集上支持时，Kloosterman 和的加权双线性和的最优界限是什么？
• RQ3 对 Gauss 和的双线性型改进界限，如何提升 L 函数混合矩渐近公式中的误差项？
• RQ4 该方法在多大程度上可推广至其他指数和，如涉及 $x^{-k}$ 或乘法子群上的指数和？
• RQ5 能否将 Hecke 特征形式 L 函数混合矩渐近公式中的误差项改进至 Blomer 等人提出的 $p^{-1/64+o(1)}$ 边界之外？

主要发现

• 本文为包含 Kloosterman 和的双线性型 $\mathcal{S}_q(\mathcal{A}; \mathcal{M}, \mathcal{J})$ 建立了新界限，得到 $\ll \|\mathcal{A}\|_1^{1-1/r} \|\mathcal{A}\|_2^{1/r} (q + N^{1/2} q^{3/4}) q^{o(1)}$，当 $r=2$ 时，优于先前结果。
• 在常数权重的特殊情形下，界限加强为 $\ll (q + N^{1/2} q^{3/4}) q^{o(1)}$，从而改进了 L 函数混合矩渐近公式中的误差项。
• 与 Hecke 特征形式相关的 L 函数混合矩渐近公式的误差项被改进为 $p^{-1/52 + o(1)}$，优于 Blomer 等人先前的 $p^{-1/64 + o(1)}$ 边界。
• 该方法避免使用代数几何时，可适用于合数模数和一般子集 $\mathcal{M} \subseteq \mathbb{Z}_q^*$，而此前方法依赖于 étale 上同调。
• 该方法可推广至其他双线性和，如 $\sum_{m,n} \alpha_m \sum_x e_q(mx^{-k} + nx)$，利用 Heath-Brown 和 Pierce 对高 $k$ 的有界性。
• 该方法也适用于乘法子群上的和，如 $\sum_{m,n} \alpha_m \sum_x e_p(mg^x) e_t(nx)$，利用 Roche-Newton、Rudnev 和 Shkredov 对乘法子群加法能量的有界性。