[论文解读] An algorithm to compute plane algebraic curves

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

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

一句话总结

本文提出了一种使用 Magma 实现的算法，用于计算具有非典型奇点的平面代数曲线，重点关注具有非典型奇点的线性系统以及支持具有指定奇点的曲线的点的概形。该方法成功构建了一个新的常规型曲面，其 pg = 0 且 K² = 7，展示了其在代数几何研究中的实用性。

ABSTRACT

This paper contains an algorithm, implemented in Magma, to compute singular plane algebraic curves. Two Magma functions are given: one computes linear systems of curves with non-ordinary singularities and the other computes a scheme of points such that there is a given degree plane curve with given singularities at these points. Some examples are presented so that the reader can quickly learn how to use the algorithm. One of them provides the construction of a new surface of general type with pg = 0 and K 2 = 7.

研究动机与目标

• 开发一种算法，用于计算具有指定奇点（尤其是非典型奇点）的平面代数曲线。
• 在 Magma 中实现两个函数：一个用于具有非典型奇点的曲线线性系统，另一个用于支持此类曲线的点的概形。
• 通过实际例子说明算法的应用，包括构建一个新的常规型曲面。
• 为从事奇异平面曲线及其模空间研究的代数几何学家提供一种计算工具。

提出的方法

• 该算法使用计算代数几何技术，计算具有指定非典型奇点的平面曲线线性系统。
• 构造一个点的概形，使得给定次数的平面曲线可在这些点处具有指定的奇点。
• 该方法依赖于 Magma 在理想理论和 Gröbner 基计算方面的计算能力，以算法化地处理奇点。
• 通过示例验证了该算法，包括构建一个具有 pg = 0 和 K² = 7 的常规型曲面。
• 通过 Magma 中的符号计算，整合奇点分类与线性系统计算。

实验结果

研究问题

• RQ1 如何利用计算代数系统算法化地计算具有非典型奇点的平面代数曲线？
• RQ2 支持具有给定奇点的 d 次平面曲线的点的概形具有何种结构？
• RQ3 该算法能否用于构建具有特定不变量（如 pg = 0 和 K² = 7）的新常规型曲面？
• RQ4 Magma 中哪些计算技术能够高效处理奇异平面曲线？

主要发现

• 该算法成功利用 Magma 的计算框架计算了具有非典型奇点的平面曲线线性系统。
• 计算出一个点的概形，使得 d 次平面曲线可在这些点处具有指定奇点。
• 该方法使得构建一个具有几何亏格 pg = 0 和自交数 K² = 7 的新常规型曲面成为可能。
• 通过实际示例展示了实现过程，表明该算法在高级代数几何时问题中的可用性。