[论文解读] Geometry on nodal curves II: cycle map and intersection calculus

Ziv Ran|ArXiv.org|Oct 5, 2004

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

一句话总结

本文证明了从一族节点型曲线的相对 Hilbert 模间到其相对对称积的周期映射，是沿非约化循环的判别子簇的爆破。本文在旗-Hilbert 模间上发展了交点演算，以计算典型丛的示性数，从而通过基于除子类和纤维数据的典型环计算，实现对多重点和多割线的显式计数。

ABSTRACT

We study the relative Hilbert scheme of a family of nodal (or smooth) curves via its (birational) cycle map, going to the relative symmetric product. We show the cycle map is the blowing up of the discriminant locus, which consists of cycles with multiple points. We derive an intersection calculus for Chern classes of tautological bundles on the relative Hilbert scheme, which has applications to enumerative geometry.

研究动机与目标

• 通过其到相对对称积的周期映射，理解节点型曲线相对 Hilbert 模间的几何结构。
• 通过证明周期映射即为在具有多重点的循环所构成的判别子簇上的爆破，来解析周期映射的结构。
• 在旗-Hilbert 模间上发展交点演算，以计算相对 Hilbert 模间上典型丛的示性数。
• 通过除子类实现显式计算枚举不变量（如多重点与多割线循环计数）的方法。
• 提供一种类似于分裂原理的框架，通过将示性根表示为旗-Hilbert 模间典型除子类的多项式，实现计算。

提出的方法

• 定义从相对 Hilbert 模间到相对对称积的周期映射 $\mathfrak{c}_m: X^{[m]}_B \to X^{(m)}_B $。
• 证明 $\mathfrak{c}_m$ 是相对对称积沿判别子簇 $D^m \subset X^{(m)}_B$ 的爆破，该子簇参数化非约化循环。
• 在旗-Hilbert 模间 $W^m(X/B)$ 上工作，该模间参数化纤维中长度为 $m$ 的子概形的旗。
• 在 $W^m(X/B)$ 上构造典型环 $T^m$，其由除子类 $\Gamma^{\lceil i \rceil}$（$i=2,\dots,m$）及基面类生成。
• 将典型类表示为这些除子类的多项式，从而实现示性根与交点积的计算。
• 发展 $\Gamma^{\lceil m \rceil}$ 乘法的递归演算，利用加法生成元与线性关系，计算高阶交点数。

实验结果

研究问题

• RQ1 从相对 Hilbert 模间到相对对称积的周期映射是否为判别子簇的爆破？
• RQ2 能否在旗-Hilbert 模间上构建交点演算，以计算相对 Hilbert 模间上典型丛的示性数？
• RQ3 旗-Hilbert 模间上的典型环如何用于计算枚举不变量（如多重点与多割线循环计数）？
• RQ4 相对 Hilbert 模间上的交点数与光滑曲面全 Hilbert 模间上的交点数之间有何关系？
• RQ5 旗-Hilbert 模间上典型环的结构能否有效计算高阶交点积，尤其是在存在节点纤维的情况下？

主要发现

• 周期映射 $\mathfrak{c}_m$ 同构于相对对称积沿判别子簇 $D^m$ 的爆破，该子簇参数化具有多重点的循环。
• 旗-Hilbert 模间 $W^m(X/B)$ 上的典型环 $T^m$ 由除子类 $\Gamma^{\lceil i \rceil}$ 与基面类生成，并支持示性数计算的演算体系。
• 当 $m=3$ 时，交点数 $N_3$ 计算为 $-2\sigma + 14\omega^2$，其中 $\sigma$ 与 $\omega^2$ 由纤维亏格与典范丛数据导出。
• 该演算体系可显式计算积分 $\int_{W^3} (\Delta^{(3)})^4 = -2\sigma + 14\omega^2$，利用递归关系与纤维贡献。
• 通过除子类乘法规则，可推导出如 $\int_{W^3} L^{(3)}L^{(i)}(\Delta^{(3)})^2 = 2L^2 - \deg_\pi(L)L.\omega$ 等乘积。
• 该方法能有效计算高阶交点数，这对枚举几何至关重要，即使在生成元线性相关性被怀疑但尚未证明时亦然。