Lines on K3-sextics with simple singularities

技术摘要：具有简单奇异性的 K3-六次曲线上的直线

问题陈述
本研究旨在对低次数光滑有理曲线（具体为直线）的构型进行分类，这些曲线位于嵌入在 $\mathbb{P}^4$ 中的准极化复 K3 曲面（K3-sextics，即 K3-六次曲面）上。作者关注的是具有至多 $A$–$D$–$E$ 型奇异性的曲面。虽然之前的研究已对 K3-四次曲面和 K3-八次曲面上的直线构型进行了广泛分类，但 K3-六次曲面的几何学呈现出截然不同的挑战与现象。主要目标是确定此类曲面所能包含直线的最大数量，并对超过特定阈值（具体为至少 36 条直线）的所有构型进行分类。此外，本文还研究了由这些直线相关的“层叠平移”（deck translations）生成的双有理自同构群，并分析了特定类别的 Humbert 六次曲面的几何性质。

方法论
作者采用格理论方法，利用 K3 曲面的 Néron–Severi 格 $NS(X)$。直线的构型通过 Fano 图 $Fn X$ 进行编码，其中顶点代表直线，边代表交点数。该方法依赖于以下几个关键算法和理论工具：

1. 格构造与容许性： 研究构造了由超平面类 $h$ 和图 $\Gamma$ 中直线类生成的极化格 $F_{2n}(\Gamma)$。作者验证了 $m$-容许性（特别是针对光滑曲面的 2-容许性和针对特殊六次曲面的 3-容许性），以确保存在相应的几何 K3 曲面。
2. Vinberg 算法： 为了从给定的直线集确定完整的光滑有理曲线集（扩展 Fano 图），作者应用 Vinberg 算法来计算作用在格上的反射群的基本多面体。
3. 逐线扩展： 分类过程通过从一个基础图开始，通过逐个添加顶点（直线）或小规模集合来扩展。通过对顶点“星形”（star，即与给定直线相交的直线集合）的约束以及特定子图（如大型双四边形或特定的 Kummer 构型）的不存在性，来剪枝搜索空间。
4. 计算验证： 作者利用 GAP 软件系统及其 digraph 和 LLL 软件包来计算判别群、各向同性子群，并执行寻找几何核（geometric kernels）和扩展的穷举搜索。
5. 层叠平移分析： 在研究自同构时，作者分析了由直线 $\ell$ 诱导的投影产生的层叠平移 $\tau_\ell$ 对格的作用。他们计算这些对合（involutions）的复合，以确定它们生成的是有限二面体群还是无限二面体群。

主要贡献与结果

• 最大直线数： 本文证明了 K3-六次曲面 $X \subset \mathbb{P}^4$ 最多包含 42 条直线。如果曲面具有奇异性（$Sing X \neq \emptyset$），则最大数量降至 36 条直线。
• 大构型分类： 作者对包含至少 36 条直线的等线层（equilinear strata，即具有固定 Milnor 数的直线构型）进行了完整的分类。共有 30 个此类层，详见论文中的表 1。这些构型主要由“四边形”Fano 图（与 $\tilde{A}_3$ 型仿射 Dynkin 图相关）特征化，并伴有少量“三角形”例外。
• Kummer 构型的缺失： 与 K3-四次曲面和八次曲面不同，K3-六次曲面不能包含 Kummer 直线构型。六次曲面上两两不交（不相交）直线的最大数量为 12。这一结果（定理 2.22）显著限制了 Kummer 型曲面对六次曲面情况的相关性。
• 特殊与非特殊六次曲面： 本文引入了基于几何的“特殊”与“非特殊”六次曲面的区分，这种区分在同调上表现为 Néron–Severi 格中存在 3-各向同性向量。
  • 非特殊六次曲面最多可包含 42 条直线。
  • 特殊六次曲面最多受限于 36 条直线。
  • 两种类型都能实现的极大构型为 24 条直线（Humbert 构型）。
• 自同构群： 作者刻画了由层叠平移生成的双有理自同构群。
  • 定理 1.3： 对于光滑 K3-六次曲面，两个不同直线相关的层叠平移 $\tau_i, \tau_{ii}$ 生成一个无限二面体群，仅有极少数显式例外（在引理 6.14 和 6.16 中分类）。
  • 推论 1.4： 如果光滑 K3-六次曲面包含至少两条直线，其双有理自同构群是无限的。这为具有非平凡熵的 K3 曲面提供了超过 9,000 个显式示例。
• Humbert 六次曲面： 本文对拥有 $(126, 126)$ 直线构型的 Humbert 六次曲面的等线分层进行了完整说明。它描述了圆锥曲线分裂为直线的退化情况，导致产生最多 36 条直线的构型（具体为图 $\Theta_{36}$）。它还分析了从这些直线投影的�概分支簇，识别出 $\mathbb{P}^2$ 中两种拓扑性质不同的六次曲线族。

意义与主张
作者将这项工作定位为理解度数为 6 的 K3 曲面几何学所必需的进展，填补了此前四次和八次曲面分类留下的空白。

• 方法论的稳健性： 本文展示了为八次曲面开发的格理论技术可以适用于六次曲面，尽管它们需要处理特定的“四边形”图结构，而非在八次曲面中占主导地位的“Kummer”阻碍。
• 几何洞察： 发现 3-各向同性向量的存在（定义了特殊六次曲面）会剧烈改变最大直线数，这与八次曲面的发现相平行，但也揭示了六次曲面特有的约束，例如 Kummer 构型的不可能性。
• 自同构动力学： 本文的一个重要贡献是严格证明了光滑六次曲面上的直线对几乎总是生成无限二面体双有理自同构群。这与自同构群可能为有限的情况形成对比，为研究 K3 曲面熵的动力学提供了丰富的示例。
• 完整性： 本文声称提供了具有 $\geq 36$ 条直线的构型的完整列表，解决了该次数及奇异性类型下的分类问题。

该工作被呈现为对六次曲面上高直线计数构型的决定性分类，同时也作为一个平台，用于探索关于自同构和 Humbert 曲面特定几何学的更深层次结构问题。