On the density of rational lines on diagonal cubic hypersurfaces

技术摘要：关于对角三次超曲面上理性的直线密度

问题陈述
本文探讨了计数包含在对角三次超曲面中的有理直线的定量问题。具体而言，考虑由方程 $\sum_{i=1}^s c_i z_i^3 = 0$ 定义的超曲面，其中 $c_i \in \mathbb{Z} \setminus \{0\}$。该簇面上的有理直线由整数向量对 $\mathbf{x}, \mathbf{y} \in \mathbb{Z}^s$ 表示，使得直线 $\mathbf{x} + t\mathbf{y}$ 完全位于该超曲面上。这一条件转化为一个由四个齐次方程组成的系统：
$$\sum_{i=1}^s c_i x_i^3 = \sum_{i=1}^s c_i x_i^2 y_i = \sum_{i=1}^s c_i x_i y_i^2 = \sum_{i=1}^s c_i y_i^3 = 0.$$
主要目标是建立一个渐近公式，用于计算解对 $(\mathbf{x}, \mathbf{y})$ 的数量 $N_s(X)$，其中坐标被限制在 $X$ 以内（即在 $[-X, X]^{2s}$ 中）。

方法论
作者采用 Hardy-Littlewood 圆法来推导渐近公式。$N_s(X)$ 的积分表示被分解为来自“大弧”（$\mathfrak{N}_\delta$）和“小弧”（$\mathfrak{n}_\delta$）的贡献。

1. 大弧： 大弧的贡献被证明产生渐近公式的主项，该项涉及奇异级数 $\mathfrak{S}$ 和奇异积分 $\mathfrak{J}$。这部分依赖于文献中已有的结果（特别是 Zhao [Zha16] 和 Parsell [Par09]），这些结果确认了当 $s \ge 16$ 时，大弧积分提供预期的主项 $\mathfrak{S}\mathfrak{J}X^{2s-12}$。

2. 小弧： 本文的核心技术创新在于对小弧积分进行估计。作者旨在证明当 $s \ge 19$ 时，小弧的贡献阶数低于主项。该界限的证明（引理 2.2）整合了三个特定组成部分：

   • Parsell-Vinogradov 系统的精细估计： 证明利用了近期关于三次 Parsell-Vinogradov 系统的精细估计（特别是 [BDG17] 和 [GZ19]），这些估计为与对角系统相关的指数和的均值提供了强有力的界限。
   • 多维平移变量： 本文将最初由 Wooley [Woo12] 引入的“平移变量”论证推广到了多维设定。该技术涉及定义涉及 1、2、3 次 Veronese 嵌入的辅助指数和 $G(\boldsymbol{\alpha}, \boldsymbol{\beta}, \boldsymbol{\theta})$。通过平移积分变量并利用正交性，作者将原始指数和 $F(\boldsymbol{\alpha})$ 的均值与这些辅助和的均值联系起来。
   • 修剪论证（Pruning Argument）： 应用修剪论证将小弧分解为二进区间。这使得作者能够在指数和可以被有效控制的特定小弧子集上应用多维平移变量论证。

主要贡献与结果
本文确立了以下主要定理：

定理 1.1： 对于 $s \ge 19$，解的数量满足渐近公式：
$$N_s(X) = \sigma X^{2s-12} + O(X^{2s-12-\delta}),$$
其中 $\sigma > 0$ 是依赖于系数 $c_i$ 的常数，且 $\delta > 0$。

这一结果改进了此前由 Zhao [Zha16] 建立的 $s \ge 21$ 的最优界限。在此之前，Parsell [Par12] 要求 $s \ge 29$，而 Parsell [Par00] 较早期的工作则要求 $s \ge 55$ 才能获得下界。

证明过程在很大程度上依赖于 引理 3.1，该引理提供了特定大弧子集 $M_l(H)$ 上指数和均值 $|F(\boldsymbol{\alpha})|^{2s}$ 的界限。该引理作为引理 2.2 中小弧估计的引擎，证明了当 $s \ge 19$ 时，小弧积分被限制在 $O(X^{2s-12-\eta})$ 内。

意义与主张
本文声称，通过将多维平移变量论证与修剪技术相结合，并利用 Parsell-Vinogradov 系统的精细估计，实现了从 $s \ge 21$ 到 $s \ge 19$ 的改进。

作者指出，所呈现的方法论并不局限于三次超曲面。文中暗示，通过结合进一步推广的平移变量技术以及更高阶 Parsell-Vinogradov 系统的精细估计，可以改进由 $\sum_{i=1}^s c_i z_i^k = 0$ 定义的对角超曲面上线性空间的数量的现有界限（对于次数 $k \ge 3$）。然而，本文并未针对 $k > 3$ 进行此类扩展，而是仅专注于三次情形（$k=3$）。

这项工作被视为对代数簇上有理直线定量理论的完善，直接建立在 Brauer 和 Birch 发起的奠基性归纳方法，以及随后由 Brandes、Parsell、Wooley 和 Zhao 开展的定量发展基础之上。