[论文解读] On the computation of singular plane curves and quartic surfaces

Carlos Rito|arXiv (Cornell University)|Jun 18, 2009

Algebraic Geometry and Number Theory参考文献 10被引用 6

一句话总结

本文提出了两个 Magma 函数 LinSys 和 ParSch，用于计算具有非典型奇点的平面曲线，并参数化具有指定奇点的线性系统。该方法被应用于构造 ℂℙ³ 中 9 个正常四次 K3 表面的显式方程，这些表面的总 Milnor 数为 19 且不包含 Aₙ 奇点，从而填补了此类曲面分类中的一个空白。

ABSTRACT

Two Magma functions are given: one computes linear systems of plane curves with non-ordinary singularities and the other computes a scheme which parametrizes given degree plane curves with given singularities. These functions provide an efficient tool to construct explicit equations of singular plane algebraic curves. By computing singular branch curves, we obtain equations of normal quartic surfaces in $\mathbb C\mathbb P^3$ having the following combinations of rational double points: $\mathsf D_5\mathsf E_7\mathsf E_7,$ $\mathsf D_7\mathsf D_6\mathsf D_6,$ $\mathsf E_6\mathsf D_8\mathsf D_5,$ $\mathsf E_6\mathsf D_{13},$ $\mathsf E_6\mathsf E_6\mathsf D_7,$ $\mathsf E_6\mathsf E_8\mathsf D_5,$ $\mathsf E_7\mathsf D_6\mathsf D_6,$ $\mathsf E_7\mathsf D_{12},$ $\mathsf E_7\mathsf E_6\mathsf D_6.$ These are all possible cases with total Milnor number 19 which have no point of type $\mathsf A_n.$

研究动机与目标

• 开发计算工具以构造具有非典型奇点的平面代数曲线，克服现有系统仅能处理典型奇点的局限性。
• 提供一种构造 ℂℙ³ 中具有有理双曲奇点的正常四次曲面方程的构造性方法。
• 显式实现所有 9 种总 Milnor 数为 19 且不包含 Aₙ 有理双曲奇点的配置，这些配置此前仅以抽象形式存在。
• 在 Magma 中实现高效算法，用于计算具有指定奇点的线性系统，包括无穷远点和切线方向。
• 通过构造 9 个特定 K3 曲面配置的显式方程来演示该方法，扩展了以往非构造性分类的结果。

提出的方法

• 引入 LinSys 函数，通过迭代的爆破和反爆破操作处理复杂奇点，计算具有指定非典型奇点的平面曲线线性系统。
• 使用 ParSch 函数计算参数化具有给定奇点的曲线的概形，包括无穷远点和切线方向。
• 利用几何构造：具有双重点的四次曲面是 ℂℙ² 的双覆盖，分支位于一条奇异平面曲线上，从而将曲面与曲线的计算联系起来。
• 在 Magma 中实现这些函数，利用其代数几何能力，仔细处理爆破和反爆破过程中的坐标变换。
• 将函数应用于计算双覆盖的分支点（奇异平面曲线），然后通过双覆盖构造将结果提升为曲面方程。
• 通过检查维数约束并利用概形参数化来检测奇点是否处于特殊位置或无法存在，从而验证结果。

实验结果

研究问题

• RQ1 在 ℂℙ³ 中的正常四次曲面上，总 Milnor 数为 19 且不包含 Aₙ 奇点的有理双曲奇点配置中，哪些是可能的？
• RQ2 能否开发一种算法化且构造性的方法，以计算此类奇异四次曲面的显式方程？
• RQ3 计算代数系统（如 Magma）如何扩展以处理平面曲线线性系统中的非典型奇点？
• RQ4 参数化具有指定奇点（包括无穷远点和切线方向）的曲线的概形具有怎样的结构？
• RQ5 该方法能否推广以构造其他 K3 曲面配置（包括含 Aₙ 奇点的配置）的方程？

主要发现

• 本文构造了 ℂℙ³ 中 9 个正常四次 K3 表面的显式方程，其总 Milnor 数为 19 且不包含 Aₙ 奇点：D₅E₇E₇、D₇D₆D₆、E₆D₈D₅、E₆D₁₃、E₆E₆D₇、E₆E₈D₅、E₇D₆D₆、E₇D₁₂、E₇E₆D₆。
• 这 9 种配置是唯一总 Milnor 数为 19 且不包含 Aₙ 奇点的配置，确认了此类曲面的精细化分类。
• Magma 函数 LinSys 和 ParSch 成功计算了具有非典型奇点的曲线，包括无穷远点和指定切线方向。
• 该方法可通过双覆盖构造，利用奇异平面曲线作为分支点，实现四次曲面方程的构造。
• 该方法具有通用性，可推广至其他配置（如 A₁₇A₁A₁ 情况），尽管本文未计算所有情况。
• 该实现克服了以往非构造性方法（如 Urabe 的方法）的局限，提供了此前未知的显式方程。