[论文解读] Enumerative geometry of hyperelliptic plane curves

Tom Graber|ArXiv.org|Aug 18, 1998

Algebraic Geometry and Number Theory参考文献 8被引用 28

一句话总结

该论文通过将计数问题与平面上两个点的希尔伯特概形 $H$ 上的亏格 0 格罗莫夫-威滕不变量联系起来，开发了一种递归算法，用于计算通过 $\mathbb{P}^2$ 中 $3d+1$ 个一般点的度数为 $d$、亏格为 $g$ 的双椭圆平面曲线的数量。关键贡献在于建立了一个公式，将格罗莫夫-威滕不变量 $I(d,g)$ 与枚举计数 $E(d,h)$ 联系起来：$I(d,g) = \sum_{h \geq g} \binom{2h+2}{h-g} E(d,h)$，从而能够通过有理曲线理论有效计算经典枚举不变量。

ABSTRACT

We recursively compute the Gromov-Witten invariants of the Hilbert scheme of two points in the plane. By studying the space of stable maps and computing virtual contributions, we use these invariants to enumerate hyperelliptic plane curves of degree d and genus g passing through 3d+1 general points.

研究动机与目标

• 通过现代格罗莫夫-威滕理论解决涉及双椭圆平面曲线的经典枚举问题。
• 通过与希尔伯特概形 $H$ 的对应关系，将高亏格双椭圆曲线的计数问题转化为有理曲线问题。
• 推导出 $H$ 上格罗莫夫-威滕不变量与通过一般点的双椭圆曲线实际数量之间的闭式公式。
• 利用计算得到的不变量和量子乘积关系，显式呈现 $H$ 的小量子上同调环。

提出的方法

• 通过双椭圆对合，在 $\mathbb{P}^2$ 中的双椭圆曲线与希尔伯特概形 $H = H(2,\mathbb{P}^2)$ 中的有理曲线之间建立对应关系。
• 将曲线通过某一点的关联条件建模为与 $H$ 中与点 $p$ 关联的子概形的循环 $\Gamma(p)$ 的交点。
• 利用 $H$ 上的亏格 0 格罗莫夫-威滕不变量进行计数，同时考虑映射模空间中多余的分量。
• 应用形变理论分离非双椭圆分量的贡献，并将其与 $\mathbb{P}^2$ 的某处爆破上的曲线计数联系起来。
• 推导出关键公式 $I(d,g) = \sum_{h \geq g} \binom{2h+2}{h-g} E(d,h)$，其中 $I(d,g)$ 为格罗莫夫-威滕不变量，$E(d,h)$ 为枚举计数。
• 利用格罗莫夫-威滕不变量的正式性质，构建计算 $I(d,g)$ 的递归算法，从而计算 $E(d,g)$。

实验结果

研究问题

• RQ1 如何利用 $\mathbb{P}^2$ 中两个点的希尔伯特概形 $H$ 上的格罗莫夫-威滕理论来解决关于双椭圆曲线的经典枚举问题？
• RQ2 $H$ 上的格罗莫夫-威滕不变量与通过 $3d+1$ 个一般点的度数为 $d$、亏格为 $g$ 的双椭圆平面曲线数量之间的确切关系是什么？
• RQ3 能否利用计算得到的不变量和量子乘积结构，显式呈现 $H$ 的小量子上同调环？
• RQ4 如何识别映射到 $H$ 的模空间中的多余分量，并将其对不变量的贡献分离出来？

主要发现

• 公式 $I(d,g) = \sum_{h \geq g} \binom{2h+2}{h-g} E(d,h)$ 提供了从格罗莫夫-威滕不变量 $I(d,g)$ 直接反推枚举数 $E(d,g)$ 的方法。
• 该算法通过递归方式计算 $E(d,g)$，且当 $g=0$ 和 $g=1$ 时，$E(d,g)$ 的值与康采维奇公式和格茨勒的计算结果一致。
• 通过该算法计算的亏格 1 Severi 度数 $E^{1}(d,1)$ 与已知结果一致，包括 $E_{1,6} = 57435240$，验证了与现有方法的一致性。
• 小量子上同调环 $H$ 被显式呈现，其关系以形式幂级数形式给出，例如 $T_1*T_1*T_1 = 9f^2 T_1*T_2*T_2 - (9f^2 - 2f)T_2*T_2*T_2 + q_1q_2(q_1 - 1)$，其中 $f = q_1/(1 - q_1)$。
• $H$ 中除子的量子乘积被显式计算，结果如 $T_1*T_1 = (1 - 3f)T_3 + 3fT_5$，展示了从经典上同调到量子上同调的形变。
• 量子上同调关系可通分以得到多项式关系，尽管生成元 $T_i$ 位于局部化环中，而非除子的多项式环中。