Explicit desingularisation of Kummer surfaces in characteristic two via specialisation

技术摘要：通过特化法实现特征 2 下 Kummer 曲面的显式解奇异化

问题陈述
Kummer 曲面定义为阿贝尔曲面对对合 $P \mapsto -P$ 的商，是经典的 K3 曲面实例。在特征不等于 2 的域中，其几何性质已有深入研究——具体而言，其作为 $\mathbb{P}^5$ 中三个二次型交集的解奇异化模型存在显式模型——但在特征 2 的情况下，情况要复杂得多。在特征 2 中，阿贝尔曲面的 2-阶扭元子群较小（同构于 $(\mathbb{Z}/2\mathbb{Z})^r$，其中 $r \le 2$），导致奇异点数量较少但复杂度更高（例如 $D_4$、$D_8$ 或椭圆奇异性）。以往尝试构建特征 2 下 Kummer 曲面显式模型的尝试（如 Müller 的工作）未能通过标准的二次型交集生成光滑的解奇异化模型。此外，特征 2 下 Kummer 曲面的行为与其它特征有着本质的不同，这引发了关于能否调整经典构造，以及是否存在在数域上具有处处良还原（everywhere good reduction）的 Kummer 曲面实例的问题。

方法论
作者采用了从特征 0 到特征 2 的特化策略。核心方法论包括：

1. 显式嵌入： 计算亏格为 2 的曲线 $C$ 的雅可比簇 $J$ 作为 $\mathbb{P}^{15}$ 中 72 个二次型的交集的射影嵌入。这是通过构造线性系统 $|2(\Theta_+ + \Theta_-)|$ 的一组基来实现的，其中 $\Theta$ 代表西塔除子（theta divisors）。
2. 通过 Smith 标准型进行基构造： 为了处理模 2 还原，作者改编了特征 0 下奇函数的基。由于直接还原往往会因为特征值 $\pm 1$ 坍缩为 $1$ 而导致线性相关，因此使用了一种算法（算法 1）来计算关系矩阵的 Smith 标准型。这产生了一个改进的基，使其在特征 2 下还原良好，确保所得元素保持线性无关。
3. 部分解奇异化： 利用还原后的基，作者构造了一个从奇异 Kummer 曲面 $X \subset \mathbb{P}^3$ 到曲面 $Y \subset \mathbb{P}^5$ 的有理映射。该曲面 $Y$ 被定义为三个二次型的完全交集。该映射在 $X$ 的奇异点之外是同构的，并起到部分解奇异化的作用。
4. 基于 p-秩的几何分析： 根据雅可比簇的 p-秩（$r=2$ 为普通型，$r=1$ 为几乎普通型，$r=0$ 为超奇异型）分别分析 $Y$ 的几何性质和奇异性。作者利用“trope”（Kummer 曲面上的特殊圆锥曲线）理论及其在特化过程中的行为，来描述例外除子及由此产生的 $Y$ 的奇异结构。
5. 良还原判别准则： 为了解决具有处处良还原 Kummer 曲面的存在性问题，本文应用了 Lazda 和 Skorobogatov 的判别准则。这涉及分析绝对伽罗瓦群在二次数域上的 2-阶扭元点上的作用，特别是检查 2-阶扭元模在还原时是否分裂。

主要贡献与结果

• 特征 2 下的显式模型： 本文提供了特征 2 下一般亏格 2 曲线的雅可比簇作为 $\mathbb{P}^{15}$ 中 72 个二次型交集的第一个显式方程（定理 4.1）。
• 部分解奇异化： 它构造了一个作为 $\mathbb{P}^5$ 中三个二次型交集的 Kummer 曲面部分解奇异化模型（定理 3.1）。论文根据 p-秩对该模型的奇异性进行了分类：
  • 普通型： $Y$ 具有 12 个 $A_1$ 型奇异点。
  • 几乎普通型： $Y$ 具有 2 个 $D_4^0$ 型和 2 个 $A_3$ 型奇异点。
  • 超奇异型： $Y$ 具有椭圆奇异性，类型为 $A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0}$（采用 Laufer 符号）。
• Trope 的几何描述： 本文扩展了特征 2 下 trope 的经典描述，详细说明了它们如何特化以及它们的交集如何决定解奇异化模型的奇异结构。
• 处处良还原的存在性： 本文证明了在数域上存在具有处处良还原的 Kummer 曲面（定理 1.2）。具体而言，它构造了一个在二次域 $\mathbb{Q}(\sqrt{353})$ 上的显式实例，其中相关的 Kummer 曲面在所有素数（包括 2 之上的素数）处都具有良还原。这是通过验证 2-阶扭元点上的伽罗瓦作用与还原的兼容性，从而允许在不要求针对该特定实例进行域扩张的情况下实现相关序列的分裂。
• 局限性与扩展： 文中指出，虽然在特征 2 下实现良还原是可能的，但并非所有具有处处良还原的曲线都能保证这一点。对于“几乎普通”的情况，实现良还原所需的最小扩张可能是更高阶的（例如 12 次），而对于超奇异情况，虽然 Matsumoto 定理保证了良还原模型的存在，但并未提供显式的扩张方式。

意义
本文证明了传统的 Kummer 曲面及其解奇异化几何构造（传统上仅限于特征 0 或奇特征）可以通过特化法成功应用于特征 2。这弥补了对正特征下 K3 曲面理解的空白，对于涉及同源协议（如 SIDH）的密码学应用尤为重要，因为这些协议在特征 2 下往往面临困难。通过提供显式方程和完整的奇异性分类，这项工作为这些曲面的计算验证和进一步研究提供了可能。此外，在二次域上构造具有处处良还原的 Kummer 曲面，解决了关于此类 K3 曲面存在性的特定开放问题，这与在 $\mathbb{Q}$ 上不存在处处良还原的阿贝尔簇形成了对比。本文强调这些结果是建设性的，并由支持计算所述变体的代码提供支撑。