[论文解读] Generalized Burniat type surfaces and Bagnera-de Franchis varieties

Ingrid Bauer, Fabrizio Catanese+1 more|ERef Bayreuth (University of Bayreuth)|Sep 3, 2014

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

一句话总结

本文引入广义 Burniat 型（GBT）曲面与 Bagnera-de Franchis（BdF）簇，构建了戈谢克模空间中曲面的一般型的10个新的不可约连通分支。通过利用 $(\mathbb{Z}/2\mathbb{Z})^3$ 在椭圆曲线积的超曲面上的自由作用对 GBT 曲面进行分类，并将其与 BdF 三倍体联系起来，作者实现了3个 $p_g = q = 0, K^2 = 6$ 的新族和7个 $p_g = q = 1, K^2 = 6$ 的新族，每个族具有不同的基本群，证明其模空间分支彼此非同构且在绝对伽罗瓦群下稳定。

ABSTRACT

In this article we construct three new families of surfaces of general type with p_g = q = 0,K^2 = 6, and seven new families of surfaces of general type with p_g = q = 1, K^2 = 6, realizing 10 new fundamental groups. We also show that these families correspond to pairwise distinct irreducible connected components of the Gieseker moduli space of surfaces of general type. We achieve this using two different main ingredients. First we introduce a new class of surfaces, called generalized Burniat type surfaces, and we completely classify them (and the connected com- ponents of the moduli space containing them). Second, we introduce the notion of Bagnera-de Franchis varieties: these are the free quotients of an Abelian variety by a cyclic group (not consisting only of translations). For these we develop some basic results.

研究动机与目标

• 通过基于群作用的广义构造方法，构建 $p_g = q = 0$ 与 $p_g = q = 1$，$K^2 = 6$ 的新一般型曲面族。
• 对广义 Burniat 型（GBT）曲面进行分类，并确定其在戈谢克模空间中的连通分支。
• 引入并发展 Bagnera-de Franchis（BdF）簇的基础性质，作为阿贝尔簇关于非平移循环群的自由商。
• 建立拓扑与算术不变量——尤其是基本群——以区分新模空间分支。
• 证明新族构成模空间中两两不同、不可约且伽罗瓦群不变的连通分支。

提出的方法

• 作者采用系统性的代数方法，在三个椭圆曲线的积中构造超曲面 $\hat{X}_\lambda$，作为对角二次曲面的完全交，其在 $(\mathbb{Z}/2\mathbb{Z})^9$-作用下不变。
• 他们对 $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 中多度为 $(1,1,1)$ 的德尔佩佐曲面 $Y_\lambda$ 上的子群 $H_1 \cong (\mathbb{Z}/2\mathbb{Z})^2$ 和 $H_0 \cong (\mathbb{Z}/2\mathbb{Z})^3$ 进行分类。
• 他们在 $H_1$ 或 $H_0$ 的原像中识别出子群 $G \cong (\mathbb{Z}/2\mathbb{Z})^3$，其在 $\hat{X}_\lambda$ 上作用自由，从而得到一般型的极小曲面。
• 他们将 Bagnera-de Franchis 三倍体定义为自由商 $X = A/G$，其中 $G \cong \mathbb{Z}/2\mathbb{Z}$ 在阿贝尔三倍体 $A$ 上非平凡作用，并研究其基本群与上同调性质。
• 他们利用基本群 $\Gamma$ 的分类空间 $X$，通过映射 $f: S \to X$ 来表征曲面，满足 $f_*[S]^3 = 6$。
• 他们应用群上同调与 $\Gamma$ 的同调理论，证明 $S$ 是 $K(\Gamma,1)$-空间，从而实现对曲面的拓扑分类。

实验结果

研究问题

• RQ1 能否通过广义 Burniat 型群作用构造出 $p_g = q = 0$ 与 $p_g = q = 1$，$K^2 = 6$ 的新一般型曲面族？
• RQ2 这些构造是否在戈谢克模空间中产生两两不同的不可约连通分支？
• RQ3 这些新曲面的基本群结构是什么？其与 Bagnera-de Franchis 簇有何关系？
• RQ4 能否证明这些曲面的模空间分支在绝对伽罗瓦群 $\mathrm{Gal}(\bar{\mathbb{Q}}, \mathbb{Q})$ 作用下稳定？
• RQ5 能否利用分类空间与上同调不变量对这些曲面进行拓扑表征？

主要发现

• 作者构造了3个新的 $p_g = q = 0$，$K^2 = 6$ 的一般型曲面族，以及7个新的 $p_g = q = 1$，$K^2 = 6$ 的曲面族，共实现10个新的基本群。
• 这些族对应于戈谢克模空间中一般型曲面的10个两两不同的不可约连通分支。
• 在 $p_g = q = 1$ 情况下，基本群为秩为6的几乎阿贝尔群，且同构于 $\mathbb{Z}^5$ 对 $\mathbb{Z}/2\mathbb{Z}$ 的扩张，具有非平凡的半直积作用。
• 这些 $p_g = q = 1$ 的曲面在拓扑上可表征为：其基本群 $\Gamma$ 满足正合列 $1 \to \Lambda \to \Gamma \to \mathbb{Z}/2\mathbb{Z} \to 1$，且分类映射 $f: S \to X$ 满足 $f_*[S]^3 = 6$。
• 模空间分支在绝对伽罗瓦群 $\mathrm{Gal}(\bar{\mathbb{Q}}, \mathbb{Q})$ 作用下稳定，因为其定义的拓扑与上同调条件具有伽罗瓦不变性。
• 新曲面的基本群与积商或混合准平态曲面的基本群不构同，且由于同调差异，不来源于 $p_g = 0$ 的 Kulikov 型曲面。