[论文解读] A simply connected numerical Godeaux surface with ample canonical class

Igor Dolgachev, C. Werner|ArXiv.org|Apr 25, 1997

Algebraic Geometry and Number Theory参考文献 6被引用 27

一句话总结

本论文通过在 $\mathbb{P}^3$ 中构造一个具有四个简单椭圆奇点的 $\sigma$-不变五次曲面，首次构建出已知的、具有丰沛 canonical 线丛的单连通数值 Godeaux 曲面。通过奇点的极小解析和双平面对模型的分析，作者证明该曲面不包含 $(-2)$-曲线，从而确认其单连通性及 canonical 线丛的丰沛性。

ABSTRACT

We prove that a recent construction of a numerical Godeaux surface due to P. Craighero and R. Gattazzo is simply connected, and show how to realize their construction as a double plane. By proving that the surface contains no (-2)-curves, we obtain that this is the first example of a simply connected surface with vanishing geometric genus and ample canonical class.

研究动机与目标

• 构造一个具有丰沛 canonical 线丛的单连通数值 Godeaux 曲面的新例子。
• 通过证明其不包含 $(-2)$-曲线，从而证明 Craighero-Gattazzo 曲面是单连通的。
• 提供该曲面作为一条具有特定奇点的十次曲线为分支的双平面模型的双有理模型。
• 将该曲面与此前已知的各类例子（包括具有挠换向基本群的 Barlow 曲面与经典 Godeaux 曲面）区分开来。
• 探究该曲面是否与 Barlow 曲面在形变等价类中，或是否属于一类新的单连通数值 Godeaux 曲面家族。

提出的方法

• 构造一个在 $\mathbb{P}^3$ 中关于四阶投影自同构 $\sigma$ 不变的五次曲面，其不动点具有指定结构。
• 使用特定形式的五次齐次多项式 $F_5$，其中参数满足 $u^3 + u^2 - 1 = 0$，以确保在四个坐标点处形成 $z^2 + x^3 + y^6 = 0$ 型奇点。
• 通过极小解析 $\pi: V \to S$ 解析奇点，得到一个极小的一般型曲面 $V$，满足 $p_g = 0$，$K_V^2 = 1$。
• 识别一条光滑有理曲线 $R = \pi^{-1}(r)$，其中 $r$ 是 $\sigma^2$-不变直线，满足 $R^2 = -3$，$K_V \cdot R = 1$。
• 在 $V$ 上的 $\sigma^2$ 的五个不动点 $Q_0, \dots, Q_4$ 处进行吹破，得到 $V'$，然后构造商曲面 $F = V' / \sigma^2$，以形成双平面模型。
• 分析线性系统 $|3K_V - R|$ 以识别四条不相交的 $(-2)$-曲线，并通过 Picard 群与挠结构的矛盾分析，利用双重覆盖技巧排除其存在性。

实验结果

研究问题

• RQ1 能否显式构造出一个具有丰沛 canonical 线丛的单连通数值 Godeaux 曲面？
• RQ2 若曲面中不包含 $(-2)$-曲线，是否意味着其基本群为平凡？
• RQ3 该曲面的双平面模型是否以一条不可约十次曲线为分支，且具有五个 $(3,3)$-型奇点与一个普通四重奇点？
• RQ4 Craighero-Gattazzo 曲面是否与 Barlow 曲面形变等价？
• RQ5 该曲面能否被实现为某个有理曲面的双重覆盖，且分支位于特定的支集上？

主要发现

• 所构造的曲面是单连通的，因其不包含 $(-2)$-曲线，这与包含四条此类曲线的 Barlow 曲面形成鲜明对比。
• canonical 线丛 $K_V$ 是丰沛的，由其双 canonical 系中无固定部分且 $V$ 的极小性所确认。
• 该曲面允许一个双平面模型，其分支位于一条不可约十次曲线上，具有五个 $(3,3)$-型奇点与一个普通四重奇点。
• 该曲面的基本群为平凡，从而与具有基本群 $\mathbb{Z}/2\mathbb{Z}, \mathbb{Z}/3\mathbb{Z}, \mathbb{Z}/4\mathbb{Z}, \mathbb{Z}/5\mathbb{Z}$ 的经典 Godeaux 曲面相区别。
• 该曲面与 Barlow 曲面不构同，因为 Barlow 曲面包含四条 $(-2)$-曲线，而本构造中这些曲线不存在。
• 通过 Picard 群与挠结构的矛盾分析，排除了四条不相交 $(-2)$-曲线的存在性，从而确认了该曲面的单连通性。