Rank 2 vector bundles and degrees of points of del Pezzo surfaces

技术摘要：del Pezzo 曲面上秩 2 向量丛与点之度

问题陈述
本文研究了定义在特征为 0 的域 $K$ 上的 del Pezzo 曲面的点的算术性质以及 0-循环的度，重点关注三次曲面（次数 3）、次数为 2 的 del Pezzo 曲面以及次数为 1 的 del Pezzo 曲面。核心问题在于 $K$-点的存在性以及特定度的 0-循环的有效性。

具体而言，本文解决了以下问题：

1. Coray 数： 如果三次曲面 $S$ 拥有一个度为 1 的 0-循环（或在次数与 3 互素的扩张 $L/K$ 上的点），那么 $S$ 上闭点的最小度是多少？Coray 此前已经确定该最小度可能为 1、4 或 10。本文旨在排除 10 这一可能性。
2. 0-循环的有效性： 确定最小度 $d$，使得任何度 $\ge d$ 的 del Pezzo 曲面上的 0-循环都是有效的（即线性等价于一个有效循环）。之前的研究（如 Colliot-Thélène）提供了界限（例如，对于次数为 1 的 del Pezzo 曲面，度为 21），但通常需要假设存在一个 $K$-点。
3. 对称乘积的有理性： 三次超曲面 $X$ 的第三对称乘积（或点式 Hilbert 纲模）$X[3]$ 是否是无理的（unirational）或稳定有理的（stably rational）。

方法论
本文结合了几何构造与向量丛理论：

• 秩 2 向量丛（Schwarzenberger 构造）： 核心技术工具是从光滑（或 lci）长度为 2 的子方案出发，在 del Pezzo 曲面上构造秩 2 向量丛。给定一个长度为 $d$ 的子方案 $Z$ 和一个满足特定上同调不等式的整数 $l$，作者构造了一个扩张：
  $$0 \to \mathcal{O}_S \to E \to \mathcal{I}_Z(l+1) \to 0$$
  这些丛的截面允许作者“移动”循环。通过分析截面的零点集，作者证明了某些循环之差（例如 $Z_d - Z_s$）是有效的。
• 泛性与特化： 为了处理可能导致退化行为（例如截面沿曲线而非点消失）的特定子方案，作者在 Hilbert 纲模的函数域上使用泛型子方案，并应用 Fulton 的特化理论回到原始域。
• 有理自映射： 对于 $X[3]$ 的无理性，作者利用了通过向 $\mathbb{P}^{n-2}$ 投影以及椭圆曲线（投影的纤维）上的群律所导出的三次超曲面的有理自映射构造。
• 归纳缩减： 证明有效性界限的过程依赖于归纳论证，通过减去已知有效循环（例如 $h_d$，即正则 0-循环）来降低给定 0-循环的度，直到其度降至可计算的阈值以下。

主要贡献与结果

1. 消除 Coray 数 10：
   本文证明，对于特征为 0 的域上的光滑三次曲面 $S$，如果 $S$ 拥有一个 0-循环的度为 1，那么 $S$ 要么拥有一个 $K$-点，要么拥有一个定义在次数为 4 的扩张域上的点。这排除了最小度与 3 互素为 10 的可能性，改进了 Coray 允许度为 1、4 或 10 的结论。

2. 改进 0-循环有效性的界限：
   作者为 del Pezzo 曲面上的 0-循环的有效性建立了新的、更低的界限，且通常不再要求存在 $K$-点：

   • 三次曲面（次数 3）： 任何度 $\ge 18$ 的 0-循环都是有效的。如果存在一个度为 1 的 0-循环，则任何度 $\ge 8$ 的 0-循环都是有效的。
   • 次数为 2 的 del Pezzo 曲面： 任何度 $\ge 13$ 的 0-循环都是有效的。如果没有奇数度的 0-循环存在，该界限改进为 $\ge 12$。
   • 次数为 1 的 del Pezzo 曲面： 任何度 $\ge 15$ 的 0-循环都是有效的。
     这些结果推广并改进了 Colliot-Thélène 的先前界限（例如，将次数为 1 的曲面的界限从 21 降至 15）。

3. $X[3]$ 的无理性与稳定有理性：

   • 无理性： 维数 $\ge 2$ 的光滑三次超曲面 $X$ 的第三点式 Hilbert 纲模 $X[3]$ 在任何域 $K$ 上都是无理的。这意味着 $X[3]$ 的 $K$-点在 Zariski 意义下是稠密的。
   • 稳定有理性： 与此相反，本文证明了 $X[3]$ 通常不是稳定有理的。具体而言，对于 $\mathbb{C}$ 上的非常一般的（very general）三次三维超曲面，以及关于通用族函数域上的泛型三次曲面，$X[3]$ 不是稳定有理的。这依赖于关于通用 $\text{CH}_0$ 群非平凡性的最新结果。

4. 0-循环的结构分解：
   本文为 Chow 群 $\text{CH}_0(S)$ 中的 0-循环提供了显式分解。对于三次曲面，任何有效 0-循环 $z$ 都可以写为 $z = \pm z' + \gamma h_3$，其中 $z'$ 是度 $\le 18$ 的有效循环。如果存在度为 1 的循环，则 $z$ 可以使用度为 4 的点 $x_4$ 和 $h_3$ 进行分解，余项度 $\le 4$。

意义
本文声称通过收紧关于点和有效循环存在的数值界限，精细化了对 del Pezzo 曲面算术性质的理解。通过消除三次曲面的度 10 情况，它解决了一个关于“Coray 数”的具体开放问题。此外，关于 0-循环有效性的结果提供了一个更完整的 $\text{CH}_0(S)$ 结构图景，而无需像以往定理那样要求存在有理点。关于 $X[3]$ 的无理性与缺乏稳定有理性之间的区别，突出了三次超曲面的一种微妙几何性质：虽然它们在第三对称乘积中拥有许多有理点，但该乘积本身仍保留了非平凡的位似不变量（birational invariants）。