[论文解读] Mixed quasi-étale surfaces, new surfaces of general type with $p_g=0$ and their fundamental group

Davide Frapporti|arXiv (Cornell University)|May 6, 2011

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

一句话总结

本文提出了一类新的双有理构造方法——混合准平展曲面，用于构造 $p_g = 0$ 的一般型曲面，其核心是利用有限群 $G$ 在 $C \times C$ 上的非自由作用，其中 $C$ 是亏格 $\geq 2$ 的曲线。在 $(C \times C)/G^0$ 仅有节点作为奇点的条件下，作者分类出13类此类曲面，首次构造出基本群为 $\mathbb{Z}_4$ 的数值型卡姆佩德利曲面，并实现了两种此前未知的拓扑类型的一般型曲面。

ABSTRACT

We call a projective surface $X$ mixed quasi-étale quotient if there exists a curve $C$ of genus $g(C)\geq 2$ and a finite group $G$ that acts on $C imes C$ exchanging the factors such that $X=(C imes C)/G$ and the map $C imes C ightarrow X$ has finite branch locus. The minimal resolution of its singularities is called mixed quasi-étale surface. We study the mixed quasi-étale surfaces under the assumption that $(C imes C)/G^0$ has only nodes as singularities, where $G^0 riangleleft G$ is the index two subgroup of the elements that do not exchange the factors. We classify the minimal regular surfaces with $p_g=0$ whose canonical model is a mixed quasi-étale quotient as above. All these surfaces are of general type and as an important byproduct, we provide an example of a numerical Campedelli surface with topological fundamental group $\bbZ_4$, and we realize 2 new topological types of surfaces of general type. Three of the families we construct are $\bbQ$-homology projective planes.

研究动机与目标

• 通过研究 $C \times C$ 上非自由的混合群作用，将 $p_g = 0$ 的一般型曲面分类工作从自由作用情形推广至更一般的情形。
• 分析混合准平展商 $X = (C \times C)/G$，其中 $G$ 以混合方式作用于 $C \times C$ 交换因子，且商映射具有有限分支点。
• 在 $(C \times C)/G^0$ 仅有节点奇点的假设下，分类最小化、正则且满足 $p_g = 0$ 的曲面，其 canonical 模型为混合准平展商。
• 通过此类构造，生成 $p_g = 0$ 的新一般型曲面实例，包括一个基本群为 $\mathbb{Z}_4$ 的数值型卡姆佩德利曲面，并实现此前未知的拓扑类型。

提出的方法

• 将混合准平展商定义为 $X = (C \times C)/G$，其中 $G$ 在 $C \times C$ 上以混合方式作用，交换两个因子，且商映射具有有限分支点。
• 聚焦于 $G^0 \triangleleft G$ 为固定因子的指数2子群的情形，且要求 $(C \times C)/G^0$ 仅有 $A_1$-奇点（即节点）。
• 利用奇异曲面基本群的类型为 $(a,b,c)$ 的球面生成元系统对可能的群作用进行分类。
• 应用 Reidemeister–Schreier 方法并借助 MAGMA 计算，分析阶数不超过 256 的有限群是否存在指定类型的球面生成元系统。
• 通过最小化奇点解析构造光滑的混合准平展曲面，并计算 $K^2$、贝蒂数以及基本群等不变量。
• 通过显式的群论与几何分析验证商曲面 $X = (C \times C)/G$ 的奇点性质，包括在 MAGMA 中使用奇点判别测试。

实验结果

研究问题

• RQ1 哪些在 $C \times C$ 上具有混合作用且分支点有限的有限群作用，能产生 $p_g = 0$ 的最小一般型曲面？
• RQ2 在 $(C \times C)/G^0$ 仅有节点奇点的条件下，最小化正则曲面且 $p_g = 0$、其 canonical 模型为混合准平展商的曲面，其基本群可能有哪些？
• RQ3 能否通过非自由的混合群作用实现此前未知的一般型曲面（$p_g = 0$）的拓扑类型？
• RQ4 是否存在一个由该构造方法产生的、基本群为 $\mathbb{Z}_4$ 的数值型卡姆佩德利曲面？
• RQ5 阶数不超过 256 的哪些有限群具有指定类型的球面生成元系统，使得其商曲面产生预期的奇点？

主要发现

• 本文分类出13类最小化、正则且满足 $p_g = 0$ 的曲面，其 canonical 模型为混合准平展商，且 $(C \times C)/G^0$ 仅有节点奇点。
• 所构造的某一族曲面首次实现了基本群为 $\mathbb{Z}_4$ 的数值型卡姆佩德利曲面，是该基本群的首个实例。
• 实现了两种此前文献中未见的 $p_g = 0$ 一般型曲面的拓扑类型。
• 所构造的三族曲面为 $\mathbb{Q}$-同调射影平面，即满足 $b_2 = 1$ 且 $K^2 = 9$。
• 在一种情形下，$G^0$ 同构于 $D_4 \times \mathbb{Z}_2$，在另一情形下同构于 $G(64,82)$，对应的 $G$ 群阶数分别为 128 和 256。
• 本文给出证明：不存在阶数为 4032 的群具有类型为 $(2,3,8)$ 的球面生成元系统，该系统本应产生预期奇点，从而排除了某一潜在族的存在。