[论文解读] Some new surfaces with $p_g = q = 0$

Ingrid Bauer, Fabrizio Catanese|ERef Bayreuth (University of Bayreuth)|Oct 10, 2003

Algebraic Geometry and Number Theory参考文献 7被引用 33

一句话总结

本文分类了具有 $p_g = q = 0$ 的代数曲面，这些曲面是曲线高阶乘积的商，重点研究有限交换群的作用。证明了对于此类曲面，群 $G$ 必须是 $(\mathbb{Z}/2\mathbb{Z})^3$、$(\mathbb{Z}/2\mathbb{Z})^4$、$(\mathbb{Z}/3\mathbb{Z})^2$ 或 $(\mathbb{Z}/5\mathbb{Z})^2$ 之一，并表明当 $G = (\mathbb{Z}/5\mathbb{Z})^2$ 时，会得到两个刚性且非同构的曲面，其唯一区别在于基本群。

ABSTRACT

Motivated by a question by D. Mumford : can a computer classify all surfaces with $p_g = 0$ ? we try to show the complexity of the problem. We restrict it to the classification of the minimal surfaces of general type with $p_g = 0, K^2 = 8$ which are constructed by the Beauville construction, namely, which are quotients of a product of curves by the free action of a finite group G acting separately on each component. We think that man and computer will soon solve this classification problem. In the paper we classify completely the 5 cases where the group G is abelian. For these surfaces, we describe the moduli space (sometimes it is just a real point), and the first homology group. We describe also 5 examples where the group G is non abelian. Three of the latter examples had been previously described by R. Pardini.

研究动机与目标

• 对满足 $p_g = q = 0$ 的光滑代数曲面 $S = (C_1 \times C_2)/G$ 进行分类，其中 $C_1, C_2$ 是亏格 $\geq 2$ 的曲线，$G$ 是作用自由的有限交换群。
• 确定哪些有限交换群 $G$ 可以产生满足 $p_g = q = 0$ 的此类曲面，并描述相应的模空间分量。
• 分析挠率群 $T(S) = H_1(S, \mathbb{Z})$，并与 $G$ 进行比较，尤其关注刚性曲面的情形。
• 构造使用非交换群如 $\mathfrak{A}_5$、$\mathfrak{D}_4 \times \mathbb{Z}/2\mathbb{Z}$ 和 $\mathfrak{S}_4$ 的新曲面例子，扩展至非交换情形。

提出的方法

• 利用曲线乘积上的群作用理论，通过有限交换群的自由作用构造满足 $p_g = q = 0$ 的曲面 $S = (C_1 \times C_2)/G$。
• 应用Riemann-Hurwitz公式，根据分支数据和群作用结构计算曲线 $C_1$ 和 $C_2$ 的亏格。
• 应用围绕分支点的单值群元素乘积必须为平凡且生成群 $G$ 的条件。
• 验证每个曲线上稳定子群的并集的交集为平凡，以确保作用是自由的。
• 使用群论判据：当 $G$ 为交换群时，对指定阶数的元素生成元组进行分类，其乘积为1。
• 对于非交换群如 $\mathfrak{A}_5$、$\mathfrak{D}_4 \times \mathbb{Z}/2\mathbb{Z}$ 和 $\mathfrak{S}_4$，构造满足Hurwitz条件且能生成群的显式生成系。

实验结果

研究问题

• RQ1 哪些有限交换群 $G$ 可以自由作用在两个亏格 $\geq 2$ 的曲线 $C_1 \times C_2$ 上，使得商曲面满足 $p_g = q = 0$？
• RQ2 具有 $p_g = q = 0$ 且阿贝尔群 $G$ 的曲面的模空间的连通分量是什么？
• RQ3 在这些构造中，第一同调群 $H_1(S, \mathbb{Z})$ 与 $G$ 的关系如何，特别是在刚性曲面的情况下？
• RQ4 能否使用非交换群如 $\mathfrak{A}_5$、$\mathfrak{D}_4 \times \mathbb{Z}/2\mathbb{Z}$ 和 $\mathfrak{S}_4$ 构造出新的 $p_g = q = 0$ 曲面？
• RQ5 具有 $G = (\mathbb{Z}/5\mathbb{Z})^2$ 的Beauville曲面是否是唯一满足 $p_g = q = 0$ 的刚性例子，它们之间有何区别？

主要发现

• 唯一可能自由作用在 $C_1 \times C_2$ 上并使 $p_g = q = 0$ 的有限交换群 $G$ 是 $(\mathbb{Z}/2\mathbb{Z})^3$、$(\mathbb{Z}/2\mathbb{Z})^4$、$(\mathbb{Z}/3\mathbb{Z})^2$ 和 $(\mathbb{Z}/5\mathbb{Z})^2$。
• 当 $G = (\mathbb{Z}/5\mathbb{Z})^2$ 时，恰好存在两个非同构的刚性曲面满足 $p_g = q = 0$，其唯一区别在于基本群。
• 在所有阿贝尔群 $G$ 的情形下，挠率群 $T(S) = H_1(S, \mathbb{Z})$ 都有满射到 $G$，且当 $G = (\mathbb{Z}/5\mathbb{Z})^2$ 时，$T(S) = G$ 恰好成立。
• 通过非阿贝尔群构造了新的 $p_g = q = 0$ 曲面：$\mathfrak{A}_5$、$\mathfrak{D}_4 \times \mathbb{Z}/2\mathbb{Z}$ 和 $\mathfrak{S}_4$，并给出了显式的曲线亏格和单值群数据。
• 对于 $G = \mathfrak{A}_5$，$g(C_1) = 4$，$g(C_2) = 21$ 的曲面是新的，且与Pardini先前构造的 $g(C_1) = 5$，$g(C_2) = 16$ 的曲面不同。
• 对于 $G = \mathfrak{D}_4 \times \mathbb{Z}/2\mathbb{Z}$，构造出 $g(C_1) = 9$，$g(C_2) = 3$ 的曲面；对于 $G = \mathfrak{S}_4$，构造出 $g(C_1) = 13$，$g(C_2) = 3$ 的曲面；两者均与已知例子一致，但现已被置于代数框架中。