A lower bound for classical Kloosterman sums and an application

技术摘要：经典克洛斯特曼和（Kloosterman Sums）的一个下界及其应用

问题陈述
本文探讨了解析数论中两个相互关联的问题。首先，研究旨在为经典的克洛斯特erman 和 $S(a, b; c)$ 建立一个非平凡的下界，其中 $S(a, b; c)$ 定义为 $\sum_{x \pmod c, (x,c)=1} e^{2\pi i (ax + bx^{-1})/c}$，在满足 $(ab, c) = 1$且$c$为奇整数的条件下。虽然这些和的非零性已被近期的文献用于研究特征值分布，但此前文献中尚未建立关于$|S(a, b; c)|$ 的显式下界。其次，作者旨在应用这一新界限，为 Petersson 迹公式中的偏差项推导出一个显式下界，特别是在权重 $k$ 和能级 $N$ 允许独立变化的空间 $S_k(N)$ 中。

方法论
其方法论主要分为两个阶段：

1. 推导 Kloosterman 和的下界：
   作者将模数 $c$ 分解为 $c = du$，其中$u$ 是无平方因子部分（squarefree），$d$ 是强数（powerful number）（且满足 $(d, u)=1$）。他们分别处理这两个部分：

   • 无平方因子情况： 对于无平方因子部分 $u$，他们利用 Kloosterman 和在分圆域中的代数性质。通过考虑在伽罗瓦群上的和的范数并应用 Weil 界，他们推导出了一个涉及除数函数 $\tau(u)$ 和欧拉函数 $\phi(u)$ 的下界。
   • 奇素数幂情况： 对于由素数幂 $p^\beta$ 组成的强数部分 $d$，他们采用了标准教材（如 Iwaniec 和 Kowalski）中给出的 $S(a, b; p^\beta)$ 的显式求值公式。通过分析所得表达式的实部并利用三角不等式，他们建立了阶为 $2/\sqrt{q}$ 的下界（前提是 $ab$ 模素数是二次剩余）。
   • 一般情况： 利用 Kloosterman 和的积性，他们结合了无平方因子部分和强数部分的界限，从而获得了一个全局下界 $|S(a, b; c)|$。

2. 应用于 Petersson 迹公式：
   作者将推导出的 Kloosterman 和下界应用于 Petersson 迹公式中的误差项，记作 $\Delta_{k,N}(m, n) - \delta(m, n)$。该公式将此差值表示为包含 Kloosterman 和与第一类贝塞尔函数 $J_{k-1}$ 的求和。

   • 他们将对能级 $c$ 的求和拆分为 $c=N$ 的项以及 $c > N$ 的尾项。
   • 尾项通过积分判别法和贝塞尔函数的指数衰减估计进行上界控制。
   • 主项（$c=N$）通过新建立的 Kloosterman 和下界以及贝塞尔函数 $J_{k-1}$ 在过渡区间（特别是当参数接近函数阶数时）的显式估计来建立下界。
   • 作者利用了关于 $J_\nu(\nu)$ 和 $J_\nu(\nu + t\nu^{1/3})$ 行为的特定引理（源自 Kraus 的工作），以处理贝塞尔函数的渐近行为。

核心贡献与结果

• 定理 1： 本文建立了第一个对于 $c$ 为奇数且 $(ab, c)=1$时$|S(a, b; c)|$的显式下界。该界限取决于$c$在无平方因子部分和强数部分的分解，具体涉及$\omega(d)$、$\tau(u)$和$\phi(u)$。结果还明确了若$ab$模任何整除强数部分$c$ 的素数为二次非剩余，则该和为零。
• 定理 2： 作者推导了对于偶权重 $k$ 和奇能级 $N$ 的 $|\Delta_{k,N}(m, n) - \delta(m, n)|$ 的显式下界。不同于以往固定能级 $N$ 并令 $k \to \infty$ 的渐近结果（例如 [JS20, 定理 1.7]），本定理允许 $k$ 和 $N$ 独立变化，只要它们满足涉及常数 $D_0 \in (e^{H_0}, 1)$ 的特定不等式。该下界的阶为 $J_{k-1}(k-1)e^{H_0(k-1)}$。
• 定理 3： 对于较短的参数范围 $4\pi\sqrt{mn}/N$（具体为 $[(k-1), (k-1) + (k-1)^{1/3}]$），作者恢复了一个阶为 $(k-1)^{-1/3}$ 的下界，这比定理 2 中发现的指数衰减更强。
• 推论： 本文通过推论 1 和推论 3 量化了这些界限，为 Hecke 算子的加权迹提供了具体的下界常数。

意义与主张
作者声称其工作填补了文献中的空白，提供了第一个经典的 Kloosterman 和的显式下界。这一结果具有重要意义，因为它能够对 Petersson 迹公式项的非零性进行更精确的分析。

强调的主要应用是 [JS20, 定理 1.7] 的“修正版本”。该修正允许权重 $k$ 和能级 $N$ 独立变化，而以往的结果要求 $N$ 固定。作者指出，虽然他们的变量 $4\pi\sqrt{mn}/N$ 的区间比 [JS20] 中的 $k^{1/3}$ 区间更大（规模与 $k$ 成比例），但代价是得到了一个较弱的下界（指数衰减对比多项式衰减）。然而，对于较短的区间，他们成功地恢复了多项式阶的下界。

论文最后提供了一个针对特定能级 $N$ 的导出常数 $H(N)$、$k_0(N)$ 和 $k_1(N)$ 的数值表，展示了其显式界限在不同权重和能级下的实际适用性。这项工作被视为获得 Hecke 算子特征值分布偏差结果的基础性步骤，并建立在 Kloosterman 和的非零性研究之上。