[论文解读] New recursions for genus-zero Gromov-Witten invariants

Aaron Bertram, Holger P. Kley|ArXiv.org|Jul 13, 2000

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

一句话总结

本文通过在图空间构造上使用等变上同调与局部化方法，引入了用于亏格零 Gromov-Witten 不变量的新递归关系，使得在上同调由除子类生成时，可完全从一阶不变量计算多点不变量。关键贡献是一个递归公式，将混合两阶不变量表示为一阶不变量，尤其适用于法诺完全交（如五次三fold），可计算此前未知的量子乘积与枚举不变量，例如通过两点的 2,088,000 条扭曲三次曲线。

ABSTRACT

New relations among the genus-zero Gromov-Witten invariants of a complex projective manifold $X$ are exhibited. When the cohomology of $X$ is generated by divisor classes and classes ``with vanishing one-point invariants,'' the relations determine many-point invariants in terms of one-point invariants.

研究动机与目标

• 推导任意标记点数下亏格零 Gromov-Witten 不变量之间的递归关系。
• 在上同调条件满足时（特别是上同调由除子类生成），将 m 阶不变量的计算简化为一阶不变量。
• 提出一种算法性方法，仅使用一阶不变量即可计算法诺完全交上的小量子乘积结构常数。
• 将该递归关系应用于计算此前未知的枚举不变量，如通过一般点的高次有理曲线计数。

提出的方法

• 通过在稳定映射的每个标记点处附加一个 ℙ¹，构造图空间，将 m 点映射的模空间嵌入一个具有参数化分量的更大空间中。
• 在图空间上对等变上同调类应用局部化定理，重点关注对应于原始模空间的不动点支集。
• 利用等变遗忘态射与不动点支集之间的留数比较，推导出多变量 J 函数之间的递归恒等式。
• 将上同调分解为由除子类生成的子环及其正交补，利用交积矩阵分离贡献项。
• 制定一个关于一阶不变量与移位矩阵的混合两阶不变量递归算法，并对非物理 ψ-度数进行截断。
• 通过不变量矩阵 M(d) 实现递归，其中元素为带 ψ-类的加权 Gromov-Witten 不变量，并利用 S(d) 矩阵编码乘以 (H + dt) 的作用。

实验结果

研究问题

• RQ1 亏格零 Gromov-Witten 不变量在任意标记点数下，能否从一阶不变量递归确定？
• RQ2 在何种上同调条件下，一变量 J 函数可确定所有多点不变量？
• RQ3 在法诺完全交中，如何从一阶不变量计算混合两阶不变量？
• RQ4 当仅知一阶不变量时，法诺完全交的小量子乘积结构是怎样的？
• RQ5 从该递归关系中可提取哪些枚举不变量，如高次有理曲线的计数？

主要发现

• 本文为法诺完全交中混合两阶不变量建立了完整的递归公式，其表达形式完全基于一阶不变量，且在上同调由除子类生成时成立。
• 对于 ℙ⁶ 中的五次三fold，该递归公式可显式计算小量子乘积，得出 H*H⁵ = 120qH⁴ + 211,200q²H² + 31,320,000q³。
• 在 ℙ⁶ 中的五次五fold 上，通过两个一般点的扭曲三次曲线（度数为 3 的有理曲线）的期望数量为 2,088,000。
• 该算法高效且可实现，使用移位矩阵 S(d) 与不变量矩阵 M(d)，并通过负 ψ-度数截断处理。
• 该方法原则上适用于一般型完全交，尽管在这些情形下一阶不变量仍未知。
• 该递归避免了图空间中边界分析，相比一阶不变量计算更为简化。