[论文解读] Node polynomials for families: results and examples

Steven L. Kleiman, Ragni Piene|ArXiv.org|Nov 29, 2001

Algebraic Geometry and Number Theory参考文献 21被引用 7

一句话总结

本文利用代数几何方法枚举复曲面上的节点曲线，证实了戈茨奇对平面上至多八阶节点曲线的猜想，验证了万森彻对五次三复叠面上六阶节点曲线计数的结果，并将布赖恩与刘氏在 Picard 数为一的阿贝尔曲面上的枚举结果加以推广。研究建立了具有明确适用范围的节点曲线计数多项式公式，通过自包含、系统化的技术推进了先前工作，适用于各类曲面族。

ABSTRACT

We continue the development of methods for enumerating nodal curves on smooth complex surfaces, stressing the range of validity. We illustrate the new methods in three important examples. First, for up to eight nodes, we confirm Göttsche's conjecture about plane curves of low degree. Second, we justify Vainsencher's enumeration of irreducible six-nodal plane curves on a general quintic threefold in four-space. Third, we supplement Bryan and Leung's enumeration of nodal curves in a given homology class on an Abelian surface of Picard number one.

研究动机与目标

• 开发适用于光滑复曲面上节点曲线枚举的一般性、自包含的代数几何方法，尤其关注环境曲面变化的族类。
• 证实戈茨奇关于平面上次数为 $ m $、节点数 $ r \leq 8 $ 的节点多项式的猜想，提供独立于递推公式的直接验证。
• 将枚举公式的适用范围拓展至先前存在性结果之外，特别是针对三复叠面上的曲线和阿贝尔曲面上的曲线。
• 通过确保节点曲线计数在精确条件下成立且为多项式，对万森彻与布赖恩-刘氏的早期结果进行精细化与推广。
• 建立在 Picard 数为一的阿贝尔曲面上，节点曲线的节点多项式关于几何亏格 $ g $ 的次数为 $ r+1 $，且在 $ g > g_0 $ 时成立，其中 $ g_0 $ 仅依赖于 $ m $ 和 $ r $。

提出的方法

• 使用代数几何技术计算线性系统中节点曲线的类，重点在于具有 $ r $ 个节点的全族曲线类的推出。
• 应用 $ k $-充分正性的理论，控制具有非典型奇点的曲线的维数，确保枚举公式的有效性。
• 采用贝尔多项式与生成函数的形式语言，将节点曲线数 $ N_{g,r} $ 表示为 $ g $ 的多项式，该多项式由对数生成级数导出。
• 通过维数计数与余维数论证建立有效性条件，特别是确保 $ \mathop{\rm cod}\nolimits Y(\infty) > r $，以排除非约化或非典型奇点曲线的贡献。
• 利用相对对偶化丛与相对 canonical 映射分析参数空间上全族曲线的几何结构，从而实现特征类的计算。
• 应用相对过剩交公式，通过类 $ [U(r)] $ 与映射 $ p_* $ 的推出，计算具有 $ r $ 个节点的曲线的类的次数。

实验结果

研究问题

• RQ1 对于哪些 $ m $ 值，戈茨奇关于次数为 $ m $、节点数 $ r \leq 8 $ 的平面上节点多项式的猜想成立？
• RQ2 万森彻对 $ \mathbb{P}^4 $ 中一般五次三复叠面上 6 个节点平面曲线的枚举结果的精确适用范围是什么？能否超越存在性定理进行推广？
• RQ3 能否将 Picard 数为一的阿贝尔曲面上，固定同调类中不可约 $ r $-节点曲线的枚举推广为关于几何亏格 $ g $ 的多项式公式？其适用范围为何？
• RQ4 节点多项式公式的有效性条件如何依赖于环境曲面的几何结构，特别是在 $ \mathbb{P}^4 $ 中的平面族或阿贝尔曲面族中？
• RQ5 在何种条件下，具有 $ r $ 个节点的曲线的集合是良好行为的，其类可计算，从而避免非约化或高阶奇点曲线的贡献？

主要发现

• 本文证实了戈茨奇猜想对 $ r \leq 8 $ 成立，表明通过 $ \frac{m(m+3)}{2} - r $ 个一般点的次数为 $ m $ 的平面上 $ r $ 个节点曲线的数量由 $ m $ 的 $ 2r $ 次节点多项式给出，且在 $ m \geq r/2 + 1 $ 时有效。
• 当 $ m \geq 4 $ 时，$ \mathbb{P}^4 $ 中一般次数为 $ m $ 的三复叠面上，次数为 $ m $ 的 6 个节点平面曲线的数量由 $ m $ 的 18 次节点多项式给出，证实并扩展了万森彻的早期结果，且给出了明确的有效性范围。
• 通过从总数中减去可约部分贡献，恢复了在一般五次三复叠面上不可约 6 个节点曲线的数量，且该方法在 $ m \geq 4 $ 时有效，包括关键情形 $ m = 5 $。
• 在 Picard 数为一的阿贝尔曲面上，对于自交数为 $ d = 2m^2 $、且为初等类 $ m $ 倍的同调类 $ \gamma $，不可约 $ r $-节点曲线的数量 $ N_{g,r} $ 是 $ g $ 的 $ r+1 $ 次多项式，且在 $ g > g_0 $ 时成立，其中 $ g_0 $ 仅依赖于 $ m $ 和 $ r $，且对 $ r \leq 8 $ 的九个多项式均明确列出。
• 该方法表明，当 $ m > \frac{3r+5}{2} $ 时公式有效，此条件确保 $ k $-充分正性与余维数控制，且该条件是紧的，因违反时存在反例。
• 本文表明，$ N_{g,r} $ 的生成函数与贝尔多项式相关，满足 $ N_{g,r} = \frac{g}{r!} P_r(a_1, \dots, a_r) $，其中 $ a_r = (g-1)b_r $，且 $ b_1, \dots, b_8 $ 为显式计算的整数，从而建立了与对称函数理论的结构性联系。