[论文解读] Tropical enumeration of curves in blowups of the projective plane

Brett Parker|arXiv (Cornell University)|Nov 20, 2014

Polynomial and algebraic computation参考文献 18被引用 3

一句话总结

本文提出了一种基于热带几何与相对于法向交除子的相对不变量的递归方法，用于计算 ℂP² 的任意亏格 Gromov–Witten 不变量。关键贡献在于推导出一个统一的递归公式，该公式适用于任意数量的爆破，其基础是简化的热带粘合公式，并通过 Mathematica 程序实现验证，从而能够计算高亏格曲线及多个爆破情形下的不变量，超越了以往方法的限制。

ABSTRACT

We describe a method for recursively calculating Gromov-Witten invariants of all blowups of the projective plane. This recursive formula is different from the recursive formulas due to Göttsche and Pandharipande in the zero genus case, and Caporaso and Harris in the case of no blowups. We use tropical curves and a recursive computation of Gromov-Witten invariants relative a normal crossing divisor.

研究动机与目标

• 开发一个统一的递归公式，用于计算在任意点数处爆破的 ℂP² 的 Gromov–Witten 不变量，包括任意亏格。
• 将现有的递归方法（如 Caporaso–Harris 和 Göttsche–Pandharipande 的方法）从零亏格和无爆破的情形扩展到一般亏格和任意爆破数量的情形。
• 建立一个基于热带几何和相对不变量的框架，以系统化地从相对数据计算绝对不变量。
• 提供一种可计算实现的方法，通过 Mathematica 程序验证，能够生成高达 12 次及以上的不变量。

提出的方法

• 该方法使用爆破流形 M 相对于由一条直线和例外球面的严格提升构成的法向交除子 N 的相对 Gromov–Witten 不变量。
• 应用简化的热带粘合公式（定理 2.1）递归计算 M 的相对不变量，然后通过线性映射 Ψ 重建绝对不变量。
• 生成函数 Fₙ 编码了按接触数据的自同构加权的相对不变量，其中接触数据以 (1,1) 和 (1,1−n) 张成的锥内的整数向量表示。
• 关键组成部分是基本相对不变量的递归计算，例如 n_{(a,b);(a,b+d)} =  {a  choose  d}，其来源于热带曲线粘合与一致性条件。
• 通过建模具有导数 (0,d) 的边对例外除子交点的贡献，处理例外除子的交点，得到公式 n_{;(0,d)} = (−1)^{d+1}/d²（d ≠ 0）。
• 通过将映射 Ψ 应用于 Fₙ 以恢复绝对不变量，该映射通过 x 和 q 的生成函数将接触数据转换为同调类和亏格。

实验结果

研究问题

• RQ1 是否存在一个单一的递归公式，能够计算在任意点数处爆破的 ℂP² 的任意亏格 Gromov–Witten 不变量？
• RQ2 如何利用热带几何与相对不变量统一处理不同数量爆破情形下的不变量计算？
• RQ3 具有指定接触阶数的曲线相对于例外除子链的相对不变量具有何种结构？
• RQ4 能否利用热带曲线的递归结构推导出类似 Bryan 和 Leung 所得不变量的闭式表达？
• RQ5 具有垂直导数 (0,d) 的边的贡献如何影响总 Gromov–Witten 不变量及同调类的交点？

主要发现

• 本文推导出一个统一的递归公式，适用于在任意点数处爆破的 ℂP² 的 Gromov–Witten 不变量，对任意亏格和任意 n ≥ 0 均有效。
• 相对不变量 n_{(a,b);(a,b+d)} 的计算结果为 {a  choose  d}，为递归提供了关键构建模块。
• 对于约束为与单个例外除子相交 d 次的曲线，不变量 n_{;(0,d)} 的结果为 (−1)^{d+1}/d²，对所有 d ≠ 0 成立。
• 由相对不变量构建的生成函数 Fₙ 允许通过映射 Ψ 重建绝对不变量，该映射编码了亏格和同调类数据。
• 一个 Mathematica 程序成功计算了高达 12 次的不变量，与 Göttsche–Pandharipande 和 Brugallè 的已知结果一致。
• 尽管已通过验证，该方法尚未能重现 Bryan 和 Leung 对在 9 个点处爆破的 ℂP² 中通过 g 个点的亏格-g 曲线的闭式公式，表明在实现完全闭式解方面仍存在开放挑战。