Trilinear Kloosterman fractions I: partially fixed moduli and unbalanced convolutions

以下是 Thomas Wright 所著论文《三线性 Kloosterman 分数 I：部分固定模与非平衡卷积》的详细技术总结。

1. 问题陈述

本文解决了解析数论中的一个核心问题，即算术函数在算术级数中的分布，特别是关注非平衡卷积。

给定两个复数序列 $\alpha_m$（支撑在 $m \sim M$ 上）和 $\beta_n$（支撑在 $n \sim N$ 上），目标是估计其乘积 $mn$模$q$ 分布中的误差项。具体而言，作者研究了以下量：
$$\Delta(\alpha, \beta, M, N, Q, a) = \sum_{q \sim Q} \left| \sum_{\substack{mn \equiv a \pmod q \\ m \sim M, n \sim N}} \alpha_m \beta_n - \frac{1}{\phi(q)} \sum_{\substack{mn \equiv a \pmod q \\ (mn,q)=1}} \alpha_m \beta_n \right|$$
目标是建立形如 $\ll X (\log X)^{-A}$ 的界，其中模数 $Q$ 可达 $X^{1/2 + \delta}$，且 $X \approx MN$。

挑战：
虽然广义的 Bombieri-Vinogradov 定理处理了 $\delta < 0$ 的情况，但证明 $\delta > 0$ 的结果（即扩展模数范围至超过导数的平方根）要困难得多。Fouvry 和 Radziwiłł (2018) 之前的工作为小的 $\delta > 0$ 建立了此类界，但仅在限制性条件下成立，即较短序列的长度 $N$ 相对于 $X$ 非常小（具体为 $N \le X^{1/72}$）。本文旨在放宽对 $N$ 和 $Q$ 的这些限制。

2. 方法论

本文的核心创新在于改进了对涉及 Kloosterman 分数的三线性形式的估计。

2.1. Bettin-Chandee 框架

该方法建立在 Bettin 和 Chandee (2011) 关于含 Kloosterman 分数的三线性形式的著名结果之上。分析的标准形式为：
$$B(M, N, A) = \sum_{a \sim A, m \sim M, n \sim N} \alpha_m \beta_n \nu_a e\left( \frac{\vartheta am}{n} \right)$$
Fouvry 和 Radziwiłł 通过将分母中的固定因子有效地视为变量 $n$ 的一部分来应用该定理，但这导致了效率的损失（在界中将 $N$ 替换为 $NQ$）。

2.2. “部分固定模”的改进

Wright 引入了一种新颖的变体，其中分母包含一个固定因子 $R$。他定义了一个修正的三线性形式：
$$B(M, N, A; R) = \sum_{a \in A, m \in M, n \in N} \alpha_m \beta_n \nu_a e\left( \frac{\vartheta am}{nR} \right)$$
其中 $R$ 是一个满足 $R \ll M A$ 的参数。

关键技术步骤：

1. 互补因子： Wright 调整了 Bettin 和 Chandee 使用的“互补因子”机制。他没有引入辅助变量 $b$ 来处理分母，而是利用了分母中现有的固定因子 $R$。
2. 改进的界： 通过显式分析带有固定因子 $R$ 的和，他推导出了 $B(M, N, A; R)$ 的新界，该界优于在原始 Bettin-Chandee 定理中简单地将 $N$ 替换为 $NR$ 的结果。
3. 弥散法： 三线性形式的改进界随后被输入到弥散法（具体为 Fouvry 和 Radziwiłł 使用的 Linnik 弥散技术）中以界定误差项 $\Delta$。这涉及将误差分解为主项和误差项，其中新的三线性界专门改进了误差项 $\tilde{W}_{Err1}$ 的估计。

3. 主要贡献

本文做出了两项主要的技术贡献：

1. 定理 2.1（改进的三线性界）：
   Wright 证明了分母中含有固定因子 $R$ 的三线性形式的新界。
   $$B(M, N, A; R) \ll M^\epsilon \|\alpha\| \|\nu\| \|\beta\| (AMN)^{1/2} R^{1/4} \left( 1 + \frac{|\vartheta|A}{MN} \right)^{1/4} \times (\text{关于 } M, N, A, R \text{ 的多项式项})$$
   关键在于，当 $R$ 较大时，该界比原始 Bettin-Chandee 定理的朴素应用要紧致得多。

2. 定理 2.3（改进的弥散界）：
   通过将定理 2.1 应用于弥散法，Wright 推导出了弥散 $\Delta$ 的更锐利界。

   • 先前结果 (Fouvry-Radziwiłł)： 误差项包含类似 $Q^{15/8} N^{23/8}$ 的分量。
   • 新结果： 误差项被降低为 $Q^{15/8} N^{11/4}$。
   • 节省： 这代表了在误差估计的第一项中节省了 $N^{1/8}$ 因子，在第二项中节省了 $N^{2/5}$ 因子。

4. 主要结果

改进后的误差界使得非平衡卷积估计（推论 2.2）的有效范围显著扩大。

推论 2.2 确立了在以下条件（其中 $MN \approx X$）下，所需的界 $\ll X (\log X)^{-A}$ 成立：

• 情形 (i) - $N$ 的改进范围：
  如果 $Q \le X^{1/2 + 1/66 - \delta}$，则 $N$ 的允许范围从 $N \le X^{1/72}$（先前）改进为：
  $$N \le Q^{-33/28} X^{17/28 - \epsilon}$$
  具体而言，如果 $Q = X^{1/2 + \epsilon}$，这允许 $N \le X^{1/56 - \epsilon'}$，相比 $X^{1/72}$ 有了实质性改进。

• 情形 (ii) 和 (iii) - $Q$ 的改进范围：
  对于固定 $N$ 在范围 $X^{1/89} \le N \le X^{7/90}$ 内，允许的模数 $Q$ 从 $X^{53/105}$ 改进为：
  $$Q \le X^{45/89 - \epsilon}$$
  （注：$45/89 \approx 0.5056$，而 $53/105 \approx 0.5047$）。

此外，推论 2.4 将这些改进扩展到除数和的分布（与除数函数相关），改进了在此背景下 Bombieri-Vinogradov 定理成立的模数 $Q$ 的范围。

5. 意义

• 突破壁垒： 本文推动了 Bombieri-Vinogradov 定理中“非平衡”情形的边界。在解析数论中，处理更大模数 $Q$（更接近 $X^{1/2}$）或更长序列 $N$ 的能力对于涉及素数的问题（如 Elliott-Halberstam 猜想）至关重要。
• 方法论改进： 这项工作表明，Kloosterman 和分母中的“固定因子”（通常被视为干扰项或被吸收到变量中）可以在结构上被利用以获得节省。这为改进指数和估计提供了一条新途径。
• 未来工作的基础： 作为系列论文的第一部分（“第 I 部分”），本文为进一步的改进奠定了基础。此处发展的技术很可能被应用于更复杂的卷积问题，或将指数 $\delta$ 推向猜想极限。

总之，Thomas Wright 成功通过利用部分固定模改进了三线性 Kloosterman 分数的分析，得出了更紧致的误差界，从而扩展了解析数论中非平衡卷积估计的已知有效范围。