[论文解读] Pencils and Infinite Dihedral covers of P^2

Enrique Artal Bartolo, Cogolludo, Jose Ignacio+1 more|arXiv (Cornell University)|Nov 23, 2004

Mathematics and Applications被引用 4

一句话总结

本文建立了有限二面体覆叠（$D_{2n}$-covers）在射影平面 $\mathbb{P}^2$ 上沿曲线 $C = 2C_1 + nC_2$ 分支的存在性、无限二面体覆叠的存在性，以及包含 $C_1 \cup C_2$ 的曲线族（pencils）之间的深刻联系。证明了若对无穷多个奇数 $n$ 存在这样的 $D_{2n}$-覆叠，则对所有 $n$ 都存在，且当且仅当 $F_2 = G_1^2 - G_2^2 F_1$ 对齐次多项式 $G_1, G_2$ 成立时成立，这表明补集的基本群存在到无限二面体群 $\mathbb{Z}_2 * \mathbb{Z}_2$ 的满射。该研究将拓扑学、代数几何与伽罗瓦覆叠联系在一起。

ABSTRACT

In this work we study the connection between the existence of finite dihedral covers of the projective plane ramified along an algebraic curve C, infinite dihedral covers, and pencils of curves containing C.

研究动机与目标

• 研究在 $C_1$ 与 $C_2$ 为不可约分支时，沿 $2C_1 + nC_2$ 分支的 $\mathbb{P}^2$ 上有限二面体覆叠 $D_{2n}$ 存在的条件。
• 将此类有限二面体覆叠的存在性与包含 $C_1 \cup C_2$ 的曲线族的存在性联系起来。
• 建立此类覆叠与 $\mathbb{P}^2$ 上无限二面体覆叠存在性之间的联系，特别是通过补集的基本群。
• 推导出此类覆叠存在的必要且充分代数条件（以定义多项式表示），尤其当 $n$ 取遍奇数时。

提出的方法

• 使用伽罗瓦理论与域扩张：$D_{2n}$-覆叠对应于伽罗瓦扩张 $\mathbb{C}(X)/\mathbb{C}(Y)$，其伽罗瓦群为 $D_{2n}$，其中 $Y = \mathbb{P}^2$。
• 分析沿 $C_1$ 分支的双覆叠 $\delta: Z \to \mathbb{P}^2$，并研究 $C_2$ 在此覆叠下的原像，其分裂为 $C_2^+ \cup C_2^-$。
• 应用拓扑与代数条件：在类群中 $C_2^+ - C_2^-$ 被 $n$ 整除是 $D_{2n}$-覆叠存在的关键条件。
• 利用补集 $\mathbb{P}^2 \setminus (C_1 \cup C_2)$ 的基本群及其到 $\mathbb{Z}_2 * \mathbb{Z}_2$ 的满射，该满射源于曲线族的存在性。
• 通过齐次多项式 $G_1, G_2$ 构造一个曲线族，使得 $F_2 = G_1^2 - G_2^2 F_1$，从而确保所需覆叠的存在性。
• 利用 Zariski 等人关于曲线补集基本群及其到循环群自由积的满射结果。

实验结果

研究问题

• RQ1 当 $n$ 取无穷多个奇数时，沿 $2C_1 + nC_2$ 分支的 $\mathbb{P}^2$ 上的 $D_{2n}$-覆叠存在的代数条件是什么？
• RQ2 此类有限二面体覆叠的存在性如何与包含 $C_1$ 和 $C_2$ 的曲线族的存在性相关？
• RQ3 定义 $C_1$ 与 $C_2$ 的多项式 $F_1, F_2$ 的精确代数条件是什么，以确保对所有 $n$ 都存在 $D_{2n}$-覆叠？
• RQ4 $\mathbb{P}^2 \setminus (C_1 \cup C_2)$ 的基本群如何与无限二面体群 $\mathbb{Z}_2 * \mathbb{Z}_2$ 相关联？
• RQ5 $C_2^+ - C_2^-$ 的自交数在决定 $D_{2n}$-覆叠存在性中起什么作用？

主要发现

• 若沿 $2C_1 + nC_2$ 的 $D_{2n}$-覆叠对无穷多个奇数 $n$ 存在，则对所有 $n \in \mathbb{N}$ 都存在，这确立了一个强的有限性条件。
• 曲线 $C_1$ 与 $C_2$ 的定义方程 $F_1, F_2$ 必须满足 $F_2 = G_1^2 - G_2^2 F_1$，其中 $G_1, G_2$ 为齐次多项式，这是此类覆叠存在的必要且充分条件。
• 此类覆叠的存在性意味着 $\pi_1(\mathbb{P}^2 \setminus (C_1 \cup C_2))$ 存在到无限二面体群 $\mathbb{Z}_2 * \mathbb{Z}_2$ 的满射，如推论 2 所述。
• 若 $C_2^+ - C_2^-$ 的自交数为偶数（即 $\nu \neq 0$），则当 $n^2 \nmid \nu$ 时，存在单个此类覆叠即足以保证整个族的存在。
• $C_1 \cup C_2$ 补集的基本群满射到 $\mathbb{F}_{1;(2,2,n_3,\dots,n_r)}$，从而也满射到 $\mathbb{Z}_2 * \mathbb{Z}_2$，这是由于曲线族结构所致。
• 在特殊情形下，如三尖点四次曲线或具有多个交点的有理排列，基本群满射到 $\mathbb{Z}_2 * \mathbb{Z}_2$ 或 $\mathbb{Z}_n * \mathbb{Z}_n$，从而验证了普遍结果。