[论文解读] The classification of surfaces with p_g = q = 0 isogenous to a product of curves

Ingrid Bauer, Fabrizio Catanese+1 more|ArXiv.org|Oct 8, 2006

Algebraic Geometry and Number Theory参考文献 10被引用 19

一句话总结

本文对几何亏格 $p_g = 0$ 且不规则性 $q = 0$ 的光滑射影曲面进行分类，证明此类曲面均为两个亏格 $\geq 2$ 的曲线的乘积 $C_1 \times C_2$ 关于有限群 $G$ 的商，其中 $G$ 在乘积上自由且忠实地作用。关键贡献在于对所有此类群 $G$ 及其对应的分歧结构进行了完整分类，得出有限的群列表及曲面不变量。

ABSTRACT

We classify all the surfaces with p_g = q = 0 which admit an unramified covering which is isomorphic to a product of curves. Beyond the trivial case \PP^1 x \PP^1 we find 17 families which we explicitly describe. We reduce the problem to a combinatorial description of certain generating systems for finite groups which we solve using also MAGMA's library of groups of small order.

研究动机与目标

• 对所有几何亏格 $p_g = q = 0$ 的光滑射影曲面进行分类，这些曲面为一般型，且非有理曲面或可展曲面。
• 确定可自由作用于两个亏格 $\geq 2$ 的曲线的乘积 $C_1 \times C_2$ 上的有限群 $G$，使得商曲面 $S = (C_1 \times C_2)/G$ 满足 $p_g(S) = q(S) = 0$。
• 根据 $G$ 是否保持或交换乘积 $C_1 \times C_2$ 的因子，区分未混合情形与混合情形。
• 为所有此类曲面提供显式的分歧结构与群表示，包括阶数不超过 256 的非交换群。
• 为每类群构造具体模型，并证明此类曲面的模空间具有有限多个同维数的不可约分支。

提出的方法

• 利用曲面与高阶乘积的商的理论，其中 $S \cong (C_1 \times C_2)/G$，且 $G$ 自由作用并保持乘积结构。
• 通过群在曲线 $C_1$ 与 $C_2$ 上的作用对群 $G$ 进行分类，区分未混合情形（$G$ 对角作用）与混合情形（$G$ 包含交换 $C_1$ 与 $C_2$ 的元素）。
• 应用组合群论对对应于分歧数据的群元素元组进行分类，利用商映射的型与Riemann-Hurwitz公式。
• 显式构造 $G$ 的群表示，形式为半直积 $\mathbb{Z}_2^n \rtimes \mathbb{Z}_2^k$，其中同态 $\Phi$ 与双线性映射 $\Theta$ 分别编码作用与换位子关系。
• 通过定义 1.2 中的条件验证分歧结构的相容性，确保三元组元组构成有效的混合或未混合分歧结构。
• 利用模空间理论证明：对于固定的 $G$ 与亏格 $g_1, g_2$，此类曲面形成有限多个不可约分支，且所有分支维数相同，记为 $D$。

实验结果

研究问题

• RQ1 哪些有限群 $G$ 可以自由作用于两个亏格 $\geq 2$ 的曲线的乘积 $C_1 \times C_2$ 上，使得商曲面 $S = (C_1 \times C_2)/G$ 满足 $p_g(S) = q(S) = 0$？
• RQ2 哪些群 $G$ 与对应的曲线亏格 $g_1, g_2$ 的完整列表可产生与乘积曲面双有理等价且满足 $p_g = q = 0$ 的曲面？
• RQ3 分歧结构（群元素的元组）如何在未混合与混合情形下对可能的商曲面进行分类？
• RQ4 产生此类曲面的群 $G$ 的显式群表示与实现方式（如半直积形式）为何？
• RQ5 此类曲面的模空间有多少个不可约分支，其维数是多少？

主要发现

• 唯一满足 $p_g = q = 0$ 的与乘积曲面双有理等价的曲面为 $\mathbb{P}^1 \times \mathbb{P}^1$，或为 $g(C_1), g(C_2) \geq 2$ 且 $G$ 自由作用的 $(C_1 \times C_2)/G$ 商曲面。
• 所有此类群 $G$ 被分类为 11 个同构类型：$\mathfrak{A}_5$，$\mathfrak{S}_4$，$\mathfrak{D}_4 \times \mathbb{Z}_2$，$\mathfrak{S}_4 \times \mathbb{Z}_2$，$G(16)$，$G(32)$，$G(256,1)$，$G(256,2)$，以及来自族 $\mathcal{N}_3, \mathcal{N}_4, \mathcal{N}_5, \mathcal{N}_6, \mathcal{M}_3, \mathcal{M}_4, \mathcal{M}_5, \mathcal{M}_6, \mathcal{M}_8$ 的其他群。
• 对每个群 $G$，本文提供了显式的分歧结构：例如，$G(32)$ 具有类型为 $([2,2,2,4]_8, [2,2,4,4]_4)$ 的未混合分歧结构，而 $G(256,1)$ 具有三种类型为 $[4,4,4]_{16}$ 的混合分歧结构。
• 群 $G(256,1)$ 被实现为半直积 $\mathbb{Z}_2^5 \rtimes_\Phi \mathbb{Z}_2^3$，其中特定矩阵 $\Phi_{e_1}, \Phi_{e_2}, \Phi_{e_3}$ 与定义在 6 个非零对上的双线性映射 $\Theta$ 编码其作用与换位子关系。
• 群 $G(256,2)$ 同构于 $\mathbb{Z}_2^5 \rtimes_\Phi \mathbb{Z}_2^3$，其中 $\Phi$ 与 $\Theta$ 不同，且仅具有一个类型为 $[4,4,4]_{16}$ 的混合分歧结构。
• 对每个此类 $G$，曲面 $S = (C_1 \times C_2)/G$ 的模空间具有有限多个不可约分支，且所有分支维数相同，记为 $D$，且对每个 $G$，分支数 $N$ 为有限。