[论文解读] A plane sextic with finite fundamental group

Alex Degtyarev, Mutsuo Oka|arXiv (Cornell University)|Nov 20, 2007

Advanced Differential Equations and Dynamical Systems参考文献 4被引用 7

一句话总结

本文利用 $K3$-曲面技巧和 van Kampen 方法计算基本群，为具有 $π_1$ 因子分解为二面体群 $π_{14}$ 的一参数族不可约平面六次曲线构造了显式方程。关键结果是：对于具有三个 $\mathbf{A}_6$ 奇点的曲线，其基本群同构于 $\mathbb{D}_{14} \times \mathbb{Z}_3$，从而证实了关于非环面六次曲线有限基本群的 Oka 猜想的改进版本。

ABSTRACT

We analyze irreducible plane sextics whose fundamental group factors to $D_{14}$. We produce explicit equations for all curves and show that, in the simplest case of the set of singularities $3A_6$, the group is $D_{14} imes Z_3$.

研究动机与目标

• 计算具有三个 $× \mathbf{A}_6$ 奇点的 $π_{14}$-六次曲线的基本群。
• 利用 $π_3$-对称性，为所有 $π_{14}$-六次曲线构造显式射影方程。
• 验证基本群为有限群，支持关于非环面六次曲线的 Oka 猜想的修正版本。
• 通过群表示的上下界结合，证明群结构为 $\mathbb{D}_{14} \times \mathbb{Z}_3$。

提出的方法

• 利用 $K3$-曲面理论，证明任意 $π_{14}$-六次曲线均存在一个正则的 $π_3$-对称性，该对称性循环置换其三个 $× \mathbf{A}_6$ 奇点。
• 利用 $π_3$-对称性，推导出以齐次坐标表示的一参数族六次方程，参数 $t \in \mathbb{C}$，$t^3 \neq 1$，由一个六次对称多项式给出。
• 应用 van Kampen 方法于实线族，仅关注实临界值，以获得基本群的上界。
• 利用已知事实：该曲线为 $π_{14}$-六次曲线，从而获得群阶的下界。
• 通过群表示比较上下界，确认基本群同构于 $\mathbb{D}_{14} \times \mathbb{Z}_3$，并利用生成元变换匹配标准表示。

实验结果

研究问题

• RQ1 具有三个 $× \mathbf{A}_6$ 奇点的 $π_{14}$-六次曲线的基本群是什么？
• RQ2 是否存在 $π_3$-对称性会限制 $π_{14}$-六次曲线定义方程的形式？
• RQ3 非环面 $π_{14}$-六次曲线的基本群是否如修正版 Oka 猜想所预测的那样为有限群？
• RQ4 群 $\mathbb{D}_{14} \times \mathbb{Z}_3$ 是否为具有 $3\mathbf{A}_6$ 奇点的 $π_{14}$-六次曲线的正确群？

主要发现

• 定理 1.1.1 证明：具有三个 $× \mathbf{A}_6$ 奇点的 $π_{14}$-六次曲线的补集的基本群同构于 $\mathbb{D}_{14} \times \mathbb{Z}_3$。
• 所有 $π_{14}$-六次曲线构成一个一参数族 $B(t)$，其中 $t \in \mathbb{C}$，$t^3 \neq 1$，且由依赖于 $t$ 的 $z_0, z_1, z_2$ 的对称六次多项式给出。
• 这些曲线具有一个正则的 $π_3$-作用，循环置换三个 $× \mathbf{A}_6$ 奇点，如定理 2.1.2 所证。
• 通过仅使用实临界值的 van Kampen 方法导出的群表示，得到的群同构于 $\mathbb{D}_{14} \times \mathbb{Z}_3$，从而确认了上界。
• 基本群的阶恰好为 $84$，与 $|\mathbb{D}_{14}| \times |\mathbb{Z}_3| = 14 \times 6 = 84$ 一致，且无更大群满足阿贝尔化和商条件。
• 结果证实基本群为有限群，支持关于具有简单奇点的非环面六次曲线的 Oka 猜想的改进版本。