[论文解读] A boundary divisor in the moduli space of stable quintic surfaces

Julie Rana|arXiv (Cornell University)|Jul 26, 2014

Algebraic Geometry and Number Theory参考文献 15被引用 3

一句话总结

本文证明了具有唯一非杜瓦勒奇点的稳定数值五次曲面（满足 $K^2 = \chi = 5$）必须是 $\frac{1}{4}(1,1)$ 或 $\frac{1}{9}(1,2)$ 威尔奇点，且在附加诺特线条件下方，唯一可能的是 $\frac{1}{4}(1,1)$ 奇点。通过在对数设定下的扩展形变理论，作者在 KSBA 紧化空间 $\overline{\mathcal{M}}_{5,5}$ 中识别出一个 39 维的边界除子，其来源于通过对 $\mathbb{P}^1 \times \mathbb{P}^1$ 或一个二次锥面进行特定分支轨迹的双重覆盖所得到的曲面。

ABSTRACT

We give a bound on which singularities may appear on Kollár--Shepherd-Barron--Alexeev stable surfaces for a wide range of topological invariants and use this result to describe all stable numerical quintic surfaces (KSBA-stable surfaces with $K^2=χ=5$) whose unique non Du Val singularity is a Wahl singularity. We then extend the deformation theory of Horikawa to the log setting in order to describe the boundary divisor of the moduli space $\overline{\mathcal{M}}_{5,5}$ corresponding to these surfaces. Quintic surfaces are the simplest examples of surfaces of general type and the question of describing their moduli is a long-standing question in algebraic geometry.

研究动机与目标

• 对具有唯一非杜瓦勒奇点的稳定数值五次曲面进行分类。
• 在 $K_W^2 = K_S^2 + 1$ 的约束下，确定此类曲面上可能出现的威尔奇奇点类型，其中 $S$ 是其最小模型。
• 使用扩展形变理论，描述对应于这些曲面的 KSBA 紧化空间 $\overline{\mathcal{M}}_{5,5}$ 中的边界除子。
• 通过 $\mathbb{P}^1 \times \mathbb{P}^1$ 或有理曲面的双重覆盖，明确构造稳定曲面，从而刻画模空间 $\mathcal{M}_{5,5}$ 的结构。

提出的方法

• 在 $K_W^2 = K_S^2 + 1$ 条件下，应用对威尔奇奇点长度的精细估计，证明仅可能为长度 1 或 2。
• 利用贺来卡对诺特线上曲面的分类，当 $K_W^2 = 2p_g - 3$ 时，限制可能的奇点类型，表明仅会出现 $\frac{1}{4}(1,1)$ 奇点。
• 将贺来卡的形变理论扩展至对数设定，分析 $H^1(X, T_X(\log C))$ 上的库兰希映射与肖陶恩括号，研究障碍与可形变性。
• 通过在 $\mathbb{P}^1 \times \mathbb{P}^1$ 或二次锥面上的双重覆盖构造稳定曲面，其分支曲线以特定方式与直纹相交（例如相切或节点）。
• 分析 $H^1(X, T_X(\log C)) \otimes H^1(X, T_X(\log C))$ 上的李括号，证明肖陶恩括号的满射性，从而表明形变空间非平凡。
• 利用 $\mathbb{Z}/2\mathbb{Z}$-等变性与上同调的不变性，证明存在某个 $i > 1$ 使得 $[\rho_1, \rho_i] \neq 0$，从而确认库兰希映射的二次部分非零。

实验结果

研究问题

• RQ1 在满足 $K^2 = \chi = 5$ 且具有唯一非杜瓦勒奇点的稳定数值五次曲面上，可能出现哪些威尔奇奇点？
• RQ2 在 $K_W^2 = K_S^2 + 1$ 条件下，此类曲面上威尔奇奇点的最大可能长度是多少？
• RQ3 如何从几何与形变理论角度描述 $\overline{\mathcal{M}}_{5,5}$ 中的边界除子？
• RQ4 在具有指定分支曲线的双重覆盖背景下，对数切丛的库兰希映射具有何种结构？
• RQ5 模空间 $\mathcal{M}_{5,5}$ 是否可按涉及有理曲面双重覆盖且具有特定相交类型的几何构造进行分层？

主要发现

• 在满足 $K_W^2 = K_S^2 + 1$ 的稳定数值五次曲面上，仅可能出现长度为 1 或 2 的威尔奇奇点，分别对应于 $\frac{1}{4}(1,1)$ 或 $\frac{1}{9}(1,2)$ 奇点。
• 当 $K_W^2 = 2p_g - 3$ 时，唯一非杜瓦勒奇点必为 $\frac{1}{4}(1,1)$ 奇点；若 $K_W^2 > 3$，则其最小模型 $S$ 为一般型。
• $\overline{\mathcal{M}}_{5,5}$ 中的边界除子为 39 维，对应于通过对 $\mathbb{P}^1 \times \mathbb{P}^1$ 或一个二次锥面进行双重覆盖所得到的曲面，其分支曲线以特定方式与直纹相交。
• $H^1(X, T_X(\log C))$ 上的肖陶恩括号是满射的，表明形变空间非平凡，模空间具有光滑的边界分支。
• 由于存在某个 $i > 1$ 使得 $[\rho_1, \rho_i] \neq 0$，库兰希映射的二次部分非零，从而确认存在非平凡的一阶形变。
• 类型 1 曲面的最小解消来自 $\mathbb{P}^1 \times \mathbb{P}^1$ 上的双重覆盖，分支曲线为与对角线在六个点处相切的六次曲线，其对角线的原像为两条在六点相交的 $(-4)$-曲线。