[论文解读] A survey on the bicanonical map of surfaces with $p_g=0$ and $K^2\ge 2$

Margarida Mendes Lopes, Rita Pardini|ArXiv.org|Feb 19, 2002

Algebraic Geometry and Number Theory参考文献 17被引用 4

一句话总结

本综述全面概述了极小复代数曲面中 $p_g=0$ 且 $K^2 \geq 2$ 的双 canonical 映射，证明了双 canonical 图像是一个曲面，分析了基点与次数界，并将 $K^2=6$ 且双 canonical 映射次数为 4 的曲面表征为 Burniat 曲面。关键结果包括：当 $K^2 \geq 5$ 时映射为态射，次数界的确定，以及在 $K^2=6$ 时次数为 4 的映射存在一个 4 维的有理曲面模空间不可约分支。论文还列出了关于 $K^2=3,4,5,7$ 时基点与次数实现性的开放问题。该工作整合了 Xiao、Reider、Langer、Catanese、Kotschick 等人的成果，重点运用了几何与上同调技术研究双 canonical 系统与阿贝尔覆盖。

ABSTRACT

We give an up-to-date overview of the known results on the bicanonical map of surfaces of general type with $p_g=0$ and $K^2\ge 2$.

研究动机与目标

• 总结关于极小一般型曲面的双 canonical 映射在 $p_g=0$ 且 $K^2 \geq 2$ 情况下的现有知识。
• 分析双 canonical 图像的维数、$|2K_S|$ 的基点，以及双 canonical 映射的次数。
• 将 $K^2=6$ 且双 canonical 映射次数为 4 的曲面表征为 Burniat 曲面。
• 提出关于双 canonical 映射的态射性质与次数实现性在 $K^2=3,4,5,7$ 时的开放问题。
• 统一 Xiao、Reider、Langer、Catanese、Kotschick 等人关于双 canonical 系统与模空间的研究成果。

提出的方法

• 利用 Xiao Gang 定理，通过反证法证明当 $K^2 \geq 2$ 时双 canonical 图像是一个曲面，假设该系统由一个线性系统构成。
• 应用 Reider 关于伴随系统的结果，证明当 $K^2 \geq 5$ 时双 canonical 映射是态射，依赖于条件 $K_S^2 \geq 5$。
• 采用 Langer 的结果：当 $K^2=4$ 时 $|2K_S|$ 无固定分量；并结合 Catanese-Tovena 与 Kotschick 的结果，利用 $H^2(\pi_1(S), \mathbb{Z}_2)=0$ 将基点与基本群联系起来。
• 通过阿贝尔覆盖（特别是 $\mathbb{Z}_2^3$-覆盖）分析双 canonical 映射，证明在 $K^2=6$ 时次数为 4 的映射对应于 Burniat 曲面。
• 运用几何推理证明当 $K^2=6$ 时双 canonical 图像 $\Sigma$ 是一个非奇异的度为 6 的 Del Pezzo 曲面，且分支 locus 包含六边形的边与额外的曲线。
• 构造一个基空间 $B$ 上的光滑 $\mathbb{Z}_2^2$-覆盖族，证明 Burniat 曲面构成模空间中一个 4 维的有理曲面不可约分支。

实验结果

研究问题

• RQ1 对于 $p_g=0$ 且 $2 \leq K^2 \leq 4$ 的曲面，双 canonical 映射是否为态射？
• RQ2 是否存在 $p_g=0$、$K^2=3$ 或 $K^2=4$ 的曲面，其双 canonical 映射次数为 5？
• RQ3 是否存在 $p_g=0$、$K^2=6$ 的曲面，其双 canonical 映射次数为 3？
• RQ4 能否表征 $p_g=0$、$K^2=5$ 且双 canonical 映射次数为 4 的曲面？
• RQ5 Inoue 曲面是否是唯一满足 $p_g=0$、$K^2=7$ 且双 canonical 映射非双有理的曲面？

主要发现

• 当 $K^2 \geq 2$ 时，极小曲面满足 $p_g=0$ 的双 canonical 图像为一个曲面，此结论由 Xiao Gang 定理确立。
• 当 $K^2 \geq 5$ 时，双 canonical 映射为态射，此结论由 Reider 关于伴随系统的结果得出。
• 当 $K^2=4$ 时，双 canonical 系无固定分量（Langer），且基点由基本群控制（Catanese-Tovena，Kotschick）。
• 当 $K^2=6$ 时，双 canonical 映射次数为 4 当且仅当曲面为 Burniat 曲面，且此类曲面构成模空间中一个 4 维的有理曲面不可约分支。
• 当 $K^2=2$ 时，双 canonical 映射非态射，但所有已知例子的次数均为 8，且图像为 $\mathbb{P}^2$。当 $K^2=8$ 时，次数为 2，且 canonical 类为 ample。
• 极限情况 $K^2=6$（次数 4）、$K^2=8$（次数 2）与 $K^2=7$（Inoue 曲面）均具有 ample canonical 类，并存在于正维数族中，尽管预期模空间维数为零。