[论文解读] Plane sextics with a type $\bold E_8$ singular point

Alex Degtyarev|arXiv (Cornell University)|Feb 13, 2009

Algebraic Geometry and Number Theory参考文献 9被引用 4

一句话总结

本文利用赫尔茨布吕赫曲面中的三行模型和格罗滕迪克的dessins d'enfants，对具有单个E8奇点和简单奇点的全部极大平面六次曲线进行分类。计算了它们的基本群，识别出四个新的六次曲线，其基本群为非交换群——其中两个不可约曲线的基本群同构于Z₁₂ ⋊ SL(2, F₅)——并证明了其余所有此类六次曲线的基本群均为阿贝尔群。

ABSTRACT

We construct explicit geometric models for and compute the fundamental groups of all plane sextics with simple singularities only and with at least one type $\bold E_8$ singular point. In particular, we discover four new sextics with nonabelian fundamental groups; two of them are irreducible. The groups of the two irreducible sextics found are finite. The principal tool used is the reduction to trigonal curves and Grothendieck's {\it dessins d'enfants}

研究动机与目标

• 在等奇点形变等价关系下，对所有具有E8型奇点和简单奇点的极大平面六次曲线进行分类。
• 计算所有此类六次曲线的fundamental group π₁(P² ∖ B)，特别是识别非阿贝尔情形。
• 通过几何与组合方法研究曲线在射影平面上的补集的拓扑性质。
• 探讨六次曲线的几何与其基本群之间的联系，尤其关注刚性与退化情形。
• 验证并拓展关于非环面型六次曲线基本群有限性的猜想。

提出的方法

• 通过涉及骨架的几何技巧，将平面六次曲线约化为赫尔茨布吕赫曲面Σ₂中的三行曲线。
• 应用格罗滕迪克的dessins d'enfants，对三行模型的单值性与拓扑进行分类与分析。
• 在三行模型中使用初等变换与退化方法，系统地构造所有可能的六次曲线。
• 通过dessin不变量导出的单值表示与群表示，计算基本群。
• 利用K3曲面的全局Torelli定理及极大六次曲线的刚性，确保形变类的唯一性。
• 分析扰动与退化过程，以确定基本群何时保持非阿贝尔性质。

实验结果

研究问题

• RQ1 在等奇点形变等价关系下，具有E8型奇点和简单奇点的极大平面六次曲线共有多少条？
• RQ2 其中哪些六次曲线具有非阿贝尔基本群？这些群的结构如何？
• RQ3 具有简单奇点的非环面型不可约六次曲线的基本群是否可能为有限群？
• RQ4 哪些可能的扰动可保持此类六次曲线的非阿贝尔基本群？
• RQ5 六次曲线的退化过程如何与它们的等奇点形变类的极大性与刚性相关联？

主要发现

• 共有39条具有E8型奇点和简单奇点的极大不可约平面六次曲线，对应26种不同的奇点集合。
• 共有18条具有E8型奇点和简单奇点的极大可约平面六次曲线，对应17种不同的奇点集合。
• 仅有两条六次曲线具有非阿贝尔基本群：一条奇点为E8 ⊕ A₄ ⊕ A₃ ⊕ 2A₂，另一条为E8 ⊕ D₆ ⊕ A₃ ⊕ A₂。
• 奇点为E8 ⊕ A₄ ⊕ A₃ ⊕ 2A₂的六次曲线的基本群同构于G₆ = Z₁₂ ⋊ SL(2, F₅)，为阶为1440的有限群。
• 奇点为E8 ⊕ D₆ ⊕ A₃ ⊕ A₂的六次曲线的基本群同构于G∞ = Z × SL(2, F₅)，为无限群（阶为∞）。
• 对这些具有非阿贝尔基本群的六次曲线的所有真扰动，其基本群均为阿贝尔群，唯独两种特定扰动例外，能保持非阿贝尔结构。