[论文解读] Gorenstein stable surfaces with $K_X^2 = 1$ and $p_g>0$

Marco Franciosi, Rita Pardini+1 more|arXiv (Cornell University)|Nov 10, 2015

Algebraic Geometry and Number Theory参考文献 2被引用 5

一句话总结

该论文通过展示它们在加权射影空间中作为完全交的典范嵌入，对满足 $K_X^2 = 1$ 且 $p_g > 0$ 的 Gorenstein 稳定曲面进行了分类：当 $p_g = 2$ 时，为 $\mathbb{P}(1,1,2,5)$ 中的10次超曲面；当 $p_g = 1$ 时，为 $\mathbb{P}(1,2,2,3,3)$ 中的双次为 $(6,6)$ 的完全交。作者证明了模空间 $\mathcal{M}^{\text{Gor}}_{1,3}$ 和 $\mathcal{M}^{\text{Gor}}_{1,2}$ 的有理性和不可约性，并构造了所有 Kodaira 维数的实例，包括具有奇异奇点的非 Gorenstein 情况。

ABSTRACT

In this paper we consider Gorenstein stable surfaces with $K^2_X=1$ and positive geometric genus. Extending classical results, we show that such surfaces admit a simple description as weighted complete intersection. We exhibit a wealth of surfaces of all possible Kodaira dimensions that occur as normalisations of Gorenstein stable surfaces with $K_X^2=1$; for $p_g=2$ this leads to a rough stratification of the moduli space. Explicit non-Gorenstein examples show that we need further techniques to understand all possible degenerations.

研究动机与目标

• 通过显式嵌入对 $K_X^2 = 1$ 且几何亏格为正的 Gorenstein 稳定曲面进行分类。
• 将经典关于 canonical 模型的结果扩展到稳定曲面情形，特别是针对 $p_g = 1$ 和 $p_g = 2$ 的情况。
• 基于双 canonical 映射和分支除子对模空间 $\mathcal{M}^{\text{Gor}}_{1,3}$ 进行分层。
• 构造 $K_X^2 = 1$ 且 $p_g = 2$ 的 Gorenstein 与非 Gorenstein 稳定曲面的显式实例，包括具有任意 Kodaira 维数的曲面。
• 通过展示非 Gorenstein 实例无法嵌入 $\mathbb{P}(1,1,2,5)$，探索典范嵌入的极限。

提出的方法

• 使用加权完全交嵌入，将 Gorenstein 稳定曲面实现为加权射影空间中的超曲面或完全交。
• 应用典范环理论和多 canonical 映射分析，以控制曲面的几何结构。
• 通过在特定除子上取双覆盖来构造具有预定奇点和不变量的曲面。
• 利用 Hurwitz 公式和等变层分解分析循环和 Galois 覆盖，特别是 $\mathbb{Z}/4$-覆盖。
• 通过 $\mathbb{P}^2$ 中除子的退化实现显式几何构造，例如允许分量通过公共点以产生奇点。
• 通过导出理想与对数-极小奇点对偶曲面的正规化与奇点进行分析，适用于半对数-极小曲面。

实验结果

研究问题

• RQ1 能否通过加权射影空间嵌入统一描述 $K_X^2 = 1$ 且 $p_g > 0$ 的 Gorenstein 稳定曲面？
• RQ2 对于 $p_g = 2$，模空间 $\mathcal{M}^{\text{Gor}}_{1,3}$ 的结构是什么？能否根据双 canonical 映射的几何结构进行分层？
• RQ3 具有 $K_X^2 = 1$ 且 $p_g = 2$ 的 Gorenstein 稳定曲面的最小解析解曲面能否具有任意 Kodaira 维数？
• RQ4 具有 $K_X^2 = 1$ 且 $p_g = 2$ 的非 Gorenstein 稳定曲面可能的奇点和不变量是什么？
• RQ5 是否可能出现具有奇特 Galois 群作用（例如 $\mathbb{Z}/4$）的非 Gorenstein 实例，作为 Gorenstein 曲面的退化？

主要发现

• 具有 $K_X^2 = 1$ 且 $p_g = 2$ 的 Gorenstein 稳定曲面在 $\mathbb{P}(1,1,2,5)$ 的光滑部分中作为10次超曲面典范嵌入。
• 具有 $K_X^2 = 1$ 且 $p_g = 1$ 的 Gorenstein 稳定曲面在 $\mathbb{P}(1,2,2,3,3)$ 的光滑部分中作为双次为 $(6,6)$ 的完全交典范嵌入。
• $K_X^2 = 1$、$\chi = 3$ 的 Gorenstein 稳定曲面模空间 $\mathcal{M}^{\text{Gor}}_{1,3}$ 不可约且有理，维数为28。
• $K_X^2 = 1$、$\chi = 2$ 的 Gorenstein 稳定曲面模空间 $\mathcal{M}^{\text{Gor}}_{1,2}$ 不可约且有理，维数为18。
• 显式实例表明，具有 $K_X^2 = 1$ 且 $p_g = 2$ 的 Gorenstein 稳定曲面的最小解析解曲面可以具有任意 Kodaira 维数，包括有理曲面、Enriques 曲面和正则椭圆曲面。
• 存在不典范嵌入在 $\mathbb{P}(1,1,2,5)$ 中的非 Gorenstein 实例，包括一个具有类型 $\frac{1}{4}(1,1)$ 和 $A_1$ 点的 $\mathbb{P}^2$ 的 $\mathbb{Z}/4$-覆盖，表明非 Gorenstein 退化需要新方法。