[论文解读] Parameter spaces for curves on surfaces and enumeration of rational curves

Lucia Caporaso, Joe Harris|ArXiv.org|Aug 22, 1996

Advanced Numerical Analysis Techniques被引用 17

一句话总结

本文提出一种递归方法，利用在有理曲线上退化族上的交比函数，计算参数化有理曲面（特别是Hirzebruch曲面$ℓ_n$）上有理曲线的Severi簇的次数。关键结果是得到线性系统$|2C|$中通过$2n+3$个一般点的不可约有理曲线数量$N(2C)$的闭式公式，表达为$\sum_{k=0}^{n-1}(n-k)^2\binom{2n+2}{k}$，并给出了生成函数解释及$n=2,3,4$时的显式值。该方法通过变形理论和族的正规化，将Kontsevich公式推广至可展曲面。

ABSTRACT

We answer some enumerative questions about irreducible rational curves on Hirzebruch surfaces, by combining an idea of Kontsevich with the study of the geometry of certain natural parameter spaces. Our formulas generalize Kontsevich's formula for rational plane curves of given degree.

研究动机与目标

• 计算有理曲面$S$上线性系统$|D|$参数化不可约有理曲线的Severi簇的次数$N(D)$，特别关注$S = \mathbb{F}_n$的情况。
• 将Kontsevich在$\mathbb{P}^2$中关于有理曲线的公式推广至可展曲面$\mathbb{F}_n$，其中曲线分量的几何约束使计数变得复杂。
• 基于退化和交比函数，发展一种递归方法，以枚举$\mathbb{F}_n$上通过一般点的有理曲线。
• 为$\mathbb{F}_n$上的$N(2C)$推导闭式公式，并通过二项式系数和生成函数表达。

提出的方法

• 使用交比方法：在基空间$\Gamma$上构造有理曲线的平坦族，于每个纤维上标记四个点，以在正规化$\Gamma^\nu$上定义交比函数。
• 分析交比函数的零点与极点，将通过最后一个点的$N(D)$条曲线识别为零点，而其他零点与极点则来自可约纤维。
• 应用变形理论研究Severi簇的几何结构，重点关注尖点和子簇$\Delta_{m-1}$等奇点。
• 通过归纳计算$N(D')$（其中$D' < D$），将有理曲线的计数归约为可约曲线在除子类$D'$中的贡献。
• 引入函数$\gamma_{i_1,\dots,i_t}(D_{i_1},\dots,D_{i_t})$，以编码具有指定接触阶的曲线分解对例外除子$E$的贡献。
• 推导主公式：$nN(D) = \sum_{D_1+D_2=D}(D_1\cdot D_2)\gamma_{1,1}(D_1,D_2) + \sum_{t=2}^n \sum_{\text{decompositions}} \prod (E\cdot D_j)\gamma_{i_1,\dots,i_t}$，该公式在$\mathbb{F}_n$上的除子$D$上成立。

实验结果

研究问题

• RQ1 Kontsevich的交比方法如何被调整以计算可展曲面（如$\mathbb{F}_n$）上通过一般点的有理曲线数量，其中曲线分量需满足额外的几何约束？
• RQ2 在$\mathbb{F}_n$上枚举有理曲线时，具有指定接触阶的可约曲线分量对例外除子$E$的精确贡献是什么？
• RQ3 能否为$N(2C)$（即线性系统$|2C|$中通过$2n+3$个一般点的不可约有理曲线数量）推导出闭式公式？
• RQ4 如何将$\mathbb{F}_n$上枚举有理曲线的方法表达为生成函数的系数？其背后的组合结构是什么？

主要发现

• 对于$\mathbb{F}_2$，通过7个一般点的$|2C|$中不可约有理曲线数量为$N(2C) = 10$，计算为$\binom{6}{1} + 4\binom{6}{0}$。
• 对于$\mathbb{F}_3$，$N(2C) = 69$，计算为$\binom{8}{2} + 4\binom{8}{1} + 9\binom{8}{0}$。
• 对于$\mathbb{F}_4$，$N(2C) = 406$，计算为$\binom{10}{3} + 4\binom{10}{2} + 9\binom{10}{1} + 16\binom{10}{0}$。
• 一般公式为$\mathbb{F}_n$上$N(2C)$的$\sum_{k=0}^{n-1}(n-k)^2\binom{2n+2}{k}$，通过望远镜式二项式恒等式推导得出。
• 该公式可重写为$(1+t)^{2n+3}/(1-t)^3$中$t^n$的系数，从而获得生成函数解释。
• 本文在$\mathbb{F}_n$上建立了$N(D)$的主公式，涉及对曲线分解的加权和，其系数由交集理论和接触阶导出。