[论文解读] Computer aided Unirationality Proofs of Moduli Spaces

Frank–Olaf Schreyer|arXiv (Cornell University)|Sep 21, 2011

Algebraic Geometry and Number Theory参考文献 24被引用 8

一句话总结

本论文提出一种基于 Macaulay2 的计算机辅助方法，通过在有限域上构造随机节点平面曲线，实验验证了亏格 g=10、12 和 14 的曲线模空间的有理连通性。通过利用有限域算术避免在 Gröbner 基计算中出现系数溢出，该方法以概率方式确认了所构造族对模空间的支配性；结合半连续性论证，实现了有效除子的检测，并验证了小亏格情况下的 syzygy 猜想。

ABSTRACT

We illustrate the use of the computer algebra system Macaulay2 for simplifications of classical unirationality proofs. We explicitly treat the moduli spaces of curves of genus g=10, 12 and 14.

研究动机与目标

• 开发一种计算框架，通过有限域实验验证曲线模空间的有理连通性。
• 通过用有限域上的随机元素替代通用参数，克服构造显式支配族时的理论挑战。
• 通过有限域中随机选择诱导的概率测度，实现对模空间的实验性研究。
• 利用有限域上的半连续性与 Gröbner 基计算，检测模空间上的有效除子。
• 通过在有限域上构造曲线与除子，计算验证 Farkas 的 syzygy 猜想在小亏格（如 g=7 和 g=10）下的正确性。

提出的方法

• 使用 Macaulay2 计算代数系统，实现构造指定亏格与次数的有限域上随机节点平面曲线的算法。
• 计算最小次数 d，使得 Brill-Noether 数 ρ(g,2,d) ≥ 0，以确保存在具有 δ = (d−1 choose 2) − g 个节点的平面模型。
• 通过随机理想或 Hilbert-Burch 矩阵，在有限域 FF = Z/pZ 上生成 P² 中 δ 个不同的点，以定义奇点集。
• 通过选取在 δ 个点处二阶零点的随机截面，在 H⁰(P², I²_Δ(d)) 中构造一条随机曲线，然后验证其绝对不可约性与 δ 个节点奇点。
• 通过有限域上的随机线性截面寻找曲线上有理点，从而构造指定次数的有效除子。
• 应用半连续性与模 p 约化，推断数域上的性质，例如验证亏格 7 和 10 时 Farkas 的 syzygy 猜想的有效性。

实验结果

研究问题

• RQ1 能否利用有限域上的随机构造来实验验证曲线模空间的有理连通性？
• RQ2 在 Gröbner 基计算中使用有限域是否能实现有效且系数稳定的模空间族支配性验证？
• RQ3 能否利用有限域上的半连续性论证推断模空间上除子的有效性？
• RQ4 在有限域上曲线的随机有理点在多大程度上可用于构造与验证完整线性系统及 syzygy 性质？
• RQ5 通过 Macaulay2 在有限域上的实验方法，是否能为小亏格（如 g=7 和 g=10）下的 Farkas syzygy 猜想提供证据？

主要发现

• 对于亏格 g=10，采用最小次数 d=9 与 δ=18 个节点，在 FF=Z/10007Z 上构造随机节点平面曲线，并成功验证了其绝对不可约性与节点奇点。
• 在有限域上对亏格 7 曲线构造随机有效除子（次数 14）确认了 g⁷₁₄ 的存在，支持了该情况下的 Farkas 猜想。
• 计算亏格 7 曲线在具有次数 14 除子时的 canonical 嵌入的分次 Betti 表，得到纯分解的 Betti 数 (1,14,28,56,70,36,7)，证实了 N₂ 性质。
• 该方法成功验证了重嵌入曲线的理想具有次数 14、维数 2 与几何亏格 7，与预期的 canonical 模型一致。
• 通过线性截面实现的随机有理点寻找方法，可构造所有点均定义在有限域上的除子，从而实现有效的 syzygy 计算。
• 在数域上的计算模 p 约化表明，Farkas 的 syzygy 猜想对特征为零的域上亏格 7 与次数 14 的曲线成立。