[论文解读] Enumeration of $n$-fold tangent hyperplanes to a surface

Israel Vainsencher|ArXiv.org|Dec 21, 1993

Advanced Combinatorial Mathematics参考文献 16被引用 87

一句话总结

本文提出了一套显式公式，用于计算在光滑射影曲面上的 $n$-维线性系统中 $n$-节点曲线的数量，其中 $1 \leq n \leq 6$，采用基于迭代爆破的策略来检测超越节点的奇点。主要贡献在于精确计算出在一般五次三复形中存在 17,601,000 条有理（奇异）平面五次曲线，从而解决了代数几何中一个长期存在的枚举问题。

ABSTRACT

For each $1\leq n\leq6$ we present formulas for the number of $n-$nodal curves in an $n-$dimensional linear system on a smooth, projective surface. This yields in particular the numbers of rational curves in the system of hyperplane sections of a generic $K3-$surface imbedded in \p{n} by a complete system of curves of genus $n$ as well as the number {\bf17,601,000} of rational ({\em singular}) plane quintic curves in a generic quintic threefold.

研究动机与目标

• 推导出在光滑射影曲面上的 $n$-维线性系统中 $n$-节点曲线数量的显式公式，其中 $1 \leq n \leq 6$。
• 解决在一般五次三复形中枚举有理（奇异）平面五次曲线的枚举问题。
• 开发一种方法，用于检测比节点更严重的奇点的贡献，从而修正经典多重点公式在这些情况下的失效问题。
• 通过细化奇点检测的有效性条件，将现有公式的适用范围从 $n \leq 3$ 扩展至 $n=4,5,6$。
• 提供一个计算框架，利用 Schubert 包进行验证，特别是针对 $n=4,5,6$ 的情形。

提出的方法

• 使用迭代爆破过程来追踪奇点的深度：从曲线 $C$ 开始，依次在奇点 $y_1, y_2, \dots$ 处进行爆破，每次检查是否存在更高重数的奇点。
• 通过序列 $\underline{m} = (m_1, \dots, m_r)$ 定义奇点类型，其中 $m_i$ 表示第 $i$ 个无穷远邻点处的重数。
• 在序列空间 $(C, y_1, \dots, y_n)$ 上进行零维循环度的计算，其中每个 $y_i$ 是 $C$ 在第 $i$ 次爆破后的奇点，且满足精确的重数条件。
• 引入一种新方法，用于隔离并计算非节点奇点（如三重点、更高阶奇点）的贡献，这些奇点会破坏标准多重点公式的有效性。
• 通过仅要求相关奇点簇为有限集，而非必须光滑或横截，来严格化有效条件。
• 利用符号计算（通过 Schubert 包）验证关键示例，并计算陈类和格拉斯曼流形上的积分等不变量。

实验结果

研究问题

• RQ1 在 $\mathbb{P}^4$ 中嵌入的通用五次三复形中，有理（奇异）平面五次曲线的数量是多少？
• RQ2 如何计算在光滑射影曲面上的 $n$-维线性系统中 $n$-节点曲线的数量，其中 $n = 4,5,6$？
• RQ3 在多重切超平面的背景下，为何经典多重点公式在 $n \geq 4$ 时会失效？
• RQ4 非节点奇点（如三重点）对 $n$-节点曲线总数的贡献是什么？
• RQ5 是否可以使用迭代爆破与零维循环度的方法，来计算 $n \geq 4$ 时 Severi 度，且在奇点簇为有限且定义良好的前提下？

主要发现

• 在通用五次三复形中，有理（奇异）平面五次曲线的数量恰好为 17,601,000。
• 当 $n=4$ 时，通过 genus 4 完全线性系统嵌入 $\mathbb{P}^4$ 的 $K3$ 曲面的 4-节点超平面截痕数量为 1,760,100。
• 当 $n=5$ 时，嵌入 $\mathbb{P}^5$ 的 $K3$ 曲面的 5-节点超平面截痕数量为 176,010。
• 当 $n=6$ 时，嵌入 $\mathbb{P}^6$ 的 $K3$ 曲面的 6-节点超平面截痕数量为 17,601。
• 该方法成功计算出 $\Delta_{3,3} = 17601$，$\Delta_{2,5} = 176010$，以及 $\Delta_{3,4} = 1760100$，对应于指定双次数与点条件下的二次曲面上有理曲线的 Severi 度。
• 通过 Schubert 包进行符号计算验证了公式，发现与 Lopez 和 Ciliberto 等人先前猜想在 $n=4,5,6$ 时存在差异。