[论文解读] Recursive Formulas for the Characteristic Numbers of Rational Plane Curves

Lars Ernström, Gary J. Kennedy|arXiv (Cornell University)|Apr 28, 1996

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

一句话总结

本文推导出具有至多一个尖点的有理平面曲线的特征数的递归公式，结合了点、切线和旗条件。通过将康采维奇的稳定映射框架适配到射影平面中点与直线的关联对应关系，作者定义了稳定提升的模空间，并利用边界除子的线性等价性，推导出确定所有此类特征数的递归关系，包括在指定直线上或指定点处有尖点的曲线的特征数。

ABSTRACT

We derive recursive equations for the characteristic numbers of rational nodal plane curves with at most one cusp, subject to point conditions, tangent conditions and flag conditions, developing techniques akin to quantum cohomology on a moduli space of stable lifts.

研究动机与目标

• 将康采维奇关于有理平面曲线的递归公式扩展至包含至多一个尖点的曲线。
• 枚举满足指定点条件、切线条件和旗条件（点-线关联）的有理平面曲线。
• 通过有理曲面在射影平面的切丛上的稳定提升框架，处理高阶接触条件。
• 利用代数堆上的交集理论，计算在指定直线上或指定点处有尖点的曲线的特征数。

提出的方法

• 构建一个稳定提升的模空间，记为 $\overline{M}^1_{0,n}(\mathbf{P}^2,d)$，作为射影平面 $\mathbf{P}^2$ 中点与直线关联对应关系 $I$ 上的稳定映射的子空间。
• 利用该空间上特殊边界除子的线性等价性，推导出类似于量子上同调中的递归恒等式。
• 通过代数堆 $\overline{M}^1_{0,n}(\mathbf{P}^2,d)$ 上的交集理论定义一阶格罗莫夫-威滕不变量，由于自同构群的存在，允许使用有理系数。
• 引入不变量的生成函数，并推导出一个基本恒等式（公式6.6），该恒等式类似于量子上同调的结合性条件。
• 将基本恒等式应用于特定情形，推导出 $C_d(a,b,c;1)$、$C_d(a,b,c;h)$ 和 $C_d(a,b,c;h^2)$ 的显式递归公式。
• 利用递归公式计算度数至10的特征数，其中度数3至5提供了完整表格。

实验结果

研究问题

• RQ1 如何为满足点、切线和旗条件的度数为 $d$ 的有理平面曲线（至多一个尖点）推导出递归公式？
• RQ2 稳定提升模空间中边界除子的结构是什么？它如何支持递归计算？
• RQ3 特征数 $C_d(a,b,c;1)$、$C_d(a,b,c;h)$ 和 $C_d(a,b,c;h^2)$ 之间以及与标准 $N_d(a,b,c)$ 数值之间有何关系？
• RQ4 能否利用稳定提升框架与堆上的交集理论来计算涉及尖点有理曲线的枚举不变量？
• RQ5 当存在自同构时，分数阶交集数（如 $1/2$）在不变量计算中起什么作用？

主要发现

• 本文推导出 $C_d(a,b,c;1)$ 的递归公式（公式1133），即通过 $a$ 个点、与 $b$ 条直线相切、且在 $c$ 个指定直线上点处相切的度数为 $d$ 的有理1-尖点曲线的数量，其中 $a+b+2c=3d-2$。
• 对于度数3，特征数 $C_3(a,b,c;1)$ 已计算，并与舒伯特、克利曼和阿鲁菲的已知结果一致，验证了结果的一致性。
• 在指定直线上有尖点的有理四次1-尖点曲线的数量为 $C_5(a,b,c;h)$，其值如 $C_5(0,6,0;h) = 239546016$ 和 $C_5(0,0,6;h) = 1800$，见表7.10。
• 在指定直线上有尖点的有理五次1-尖点曲线的数量为 $C_5(a,b,c;h)$，其值如 $C_5(0,0,6;h) = 7560$、$C_5(0,0,5;h) = 58680$ 和 $C_5(0,0,4;h) = 417528$，见表7.13。
• 特征数 $C_d(a,b,c;h^2)$（计数在指定点处有尖点的曲线）被证明等于在指定点处有拐点的对偶尖点三次曲线的数量，反映出三次曲线枚举几何中的对偶性。
• 作者计算并列出了度数至10的所有四类特征数，其中度数3、4和5提供了完整表格，源代码可应要求提供。