Tropical methods for stable octic double planes

技术摘要：热带方法研究稳定的八次双平面

问题陈述
本文旨在对固定 Chern 数 $K^2=2$ 且 $p_g=3$ 的一般型曲面之 Kollár–Shepherd-Barron–Alexeev (KSBA) 模空间的分类进行研究。这些光滑曲面是八次双平面（以光滑八次曲线为分支的 $\mathbb{P}^2$ 双覆盖）。虽然 KSBA 紧化包含了奇异的“稳定”曲面，但对应于非 Gorenstein 奇异性的边界层在很大程度上仍是未知的。Anthes 此前的研究对 Gorenstein 极限进行了分类，并提供了非 Gorenstein 极限的初步实例。本文旨在系统地分类该模空间中所有能够 $\mathbb{Q}$-Gorenstein 平滑到光滑八次双平面的法向 KSBA-稳定曲面，并特别关注非 Gorenstein 情况。

研究方法
作者利用热带几何与镜像对称技术，特别是由 Gross, Hacking, Keel 和 Kontsevich (GHK) 开发的框架，来组织曲面退化的案例分析。

1. 归约为 Manetti 曲面：作者证明任何八次双平面的法向 KSBA 极限都是 $\mathbb{P}^2$ 退化的双覆盖。引用 Bădescu, Manetti, Hacking 和 Prokhorov 的工作，他们将基底曲面限制为“Manetti 曲面”——即具有至多商奇异性（具体为 Wahl 奇异性和简单椭圆奇异性）的 $\mathbb{P}^2$ 退化。他们证明了简单椭圆奇异性不会出现在对数典型（log canonical）八次双覆盖的基底中，从而仅剩下具有 Wahl 奇异性的 Manetti 曲面。
2. 镜像热带化：这些 Manetti 曲面的几何性质通过其“镜像热带化”（整仿几何流形）进行编码。作者利用 Manetti 曲面与满足 $a^2+b^2+c^2=3abc$ 的 Markov 三元组 $(a, b, c)$ 之间的对应关系，将这些曲面进行处理。托里（Toric）Manetti 曲面对应于加权射影平面 $\mathbb{P}(a^2, b^2, c^2)$，而非托里 Manetti 曲面（记作 $HP(S)$）则对应于这些平面的部分平滑。
3. 截面计数：双覆盖的支曲线对应于特定线丛的截面。在热带图像中，这些截面与镜像热带化多边形内的整点一一对应。作者针对所有相关的 Markov 三元组对这些整点进行了计数。
4. 差异计算：利用热带数据，作者计算了对 $(Y, \frac{1}{2}B)$ 的奇异性的差异（discrepancies），其中 $Y$ 是基底 Manetti 曲面，$B$ 是支曲线。双覆盖是 KSBA-稳定的必要条件是该对必须是对数典型的（差异 $\geq -1$）。
5. 变异与归纳：作者使用热带多边形的“变异”（类似于 Markov 三元组的变异）通过归纳法排除掉无穷多种情况。他们证明了对于大多数 Manetti 曲面，支曲线必然会获得一个多重分量或产生违反对数典型条件的奇异性。

核心贡献与结果

• 分类定理：本文提供了具有 $K^2=2, p_g=3$ 且允许 $\mathbb{Q}$-Gorenstein 平滑的法向 KSBA-稳定曲面的完整分类。这些稳定曲面分为四类：

  1. 以奇异八次曲线为分支的 $\mathbb{P}^2$ 双覆盖（Gorenstein 极限，此前已由 Anthes 分类）。
  2. 以加权次数为 16 的曲线为分支的 $Y = \mathbb{P}(1, 1, 4)$ 双覆盖。这些曲面可能拥有两个 $\frac{1}{4}(1,1)$ 奇异性，或源自简单椭圆或尖点（cusp）奇异性的 $\mathbb{Z}/2$-商的特定奇异性篮子（baskets）。
  3. 以加权次数为 80 的曲线为分支的 $Y = \mathbb{P}(1, 4, 25)$ 双覆盖。它们拥有一个 $\frac{1}{50}(1, 29)$ 奇异性和一个属于 $\mathbb{P}(1, 1, 4)$ 的篮子。
  4. 以非托里 Manetti 曲面 $HP(5)$（$\mathbb{P}(1, 4, 25)$的部分平滑）为基底的双覆盖。它们拥有一个$\frac{1}{50}(1, 29)$ 奇异性。

• 排除更高阶 Markov 数：一个重要的结果是，作者证明了与 Markov 数 $c \notin \{1, 2, 5, 13, 29, 34\}$（及其相关的非托里变体）相关的 Manetti 曲面不会产生对数典型双覆盖。作者表明，对于这些曲面，支曲线必须包含一个重数 $\geq 2$ 的分量，或者所得的奇异性会违反对数典型条件。

• 奇异性的详细分析：论文对非 Gorenstein 情况下的最小解析提供了显式描述。

  • 对于 $Y=\mathbb{P}(1, 1, 4)$，作者分析了支曲线经过奇异性的情况。他们确定了最小解析的对偶图，其中包括简单椭圆奇异性和尖点奇异性的 $\mathbb{Z}/2$-商。
  • 他们确定了这些奇异性的参数界限（例如，对于尖点情况，$t \leq 19$ 且 $t_1 + t_2 \leq 38$，并提出了 $t_1 + t_2 \leq 21$ 的猜想）。
  • 他们显式构造了在 $\mathbb{P}(1, 4, 25)$ 和 $HP(5)$情况中出现的$\frac{1}{50}(1, 29)$ Wahl 奇异性。

• 模空间结构：作者计算了对应于这些奇异曲面的 KSBA 边界中的层（strata）的维度。他们表明这些层是嵌套的（例如，$D^{IIc}_Y \subset D^{IIb}_Y \subset D^{IIa}_Y \subset D^I_Y$），并确定了它们相对于 36 维光滑八次双平面模空间的余维数。

意义与主张
本文声称，热带几何与镜像对称提供了一个强大且系统的框架，用于组织研究靠近 Noether 线（$2p_g = K^2 + 4$）时复杂的案例分析。通过将分类曲面退化的问题转化为统计热带多边形内整点数量以及分析其变异的组合问题，作者得以驾驭这一原本难以处理的分类问题。

这项工作将对 KSBA-稳定曲面的理解从 Gorenstein 情况扩展到了非 Gorenstein 情况，提供了关于八次双平面的首个全面的非 Gorenstein 极限列表。作者指出，尽管其技术受到 Horikawa 曲面（位于或靠近 Noether 线）研究的启发，但针对 $K^2=2, p_g=3$ 特定情况的分类是一个基础性的步骤。他们明确指出，他们并未研究所有 Gorenstein 与非 Gorenstein 奇异性的组合，也未确定所识别出的篮子中哪些特定的组合是可实现的，尽管他们证明了这些层的存在。论文还强调，虽然所识别的曲面是 KSBA-稳定的，但大多数并不具备局部到全局障碍群消失意义上的平滑性，尽管它们可以被有理地收缩为光滑 4-流形。