[论文解读] Topological recursion relations and Gromov-Witten invariants in higher genus

Andreas Gathmann|ArXiv.org|May 26, 2003

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

一句话总结

本文提出了一种新的拓扑递归关系，该关系通过递归结构将具有至少 $(3g-1)$ 次幂的余切线类的亏格 $g$ Gromov-Witten 不变量表示为更简单的不变量。结合 Virasoro 约束，该方法首次提供了计算射影空间所有高亏格 Gromov-Witten 不变量的可行方法，通过显式计算非零行列式公式，证明了相关线性系统的满秩性。

ABSTRACT

We state and prove a topological recursion relation that expresses any genus-g Gromov-Witten invariant of a projective manifold with at least a (3g-1)-st power of a cotangent line class in terms of invariants with fewer cotangent line classes. For projective spaces, we prove that these relations together with the Virasoro conditions are sufficient to calculate the full Gromov-Witten potential. This gives the first computationally feasible way to determine the higher genus Gromov-Witten invariants of projective spaces.

研究动机与目标

• 开发一种适用于高亏格 Gromov-Witten 不变量的实用拓扑递归关系，将高次幂余切线类的不变量简化为更简单的形式。
• 通过聚焦于适用于任意亏格的最小化、通用形式，克服现有递归关系计算上的不可行性。
• 证明该递归关系与 Virasoro 约束的结合能够完全确定射影空间的 Gromov-Witten 母函数。
• 通过计算系数矩阵的行列式并证明其非零，建立由此线性系统可解性。
• 为枚举几何中高亏格不变量的计算提供一种构造性、算法化的框架。

提出的方法

• 通过遗忘映射将 $\overline{M}_{g,1}$ 上的典范关系 $\psi_1^{3g-1} = 0$ 拉回到 $\overline{M}_{g,n}(\mathbb{P}^r, \beta)$，仔细追踪校正项。
• 通过递归方式定义辅助相关函数 $\langle\!\langle \cdots \rangle\!\rangle^i$，以通用、与亏格无关的方式表达拉回后的校正项。
• 将 Virasoro 约束应用于所得不变量，允许在亏格和标记点数上进行递归，从而将问题简化为有限系统。
• 通过选取对应于度数 $d_0, \dots, d_{3g-2}$ 的 $3g-1$ 个不同的 Virasoro 条件，构造一个含 $3g-1$ 个未知数的 $3g-1$ 个线性方程的系统。
• 计算该系统系数矩阵的行列式，证明其非零，从而确保系统可解。
• 利用显式行列式公式 $\frac{\prod_{i>j}(d_i - d_j)}{\prod_{i=1}^{3g-2} i!} \cdot \prod_{i=1}^{3g-2} \left(i + \frac{1}{2}\right)^{3g-1-i}$ 确认系统满秩并保证解的唯一性。

实验结果

研究问题

• RQ1 能否构造一种拓扑递归关系，以计算上高效的方式将具有 $\psi^{3g-1}$ 的亏格 $g$ Gromov-Witten 不变量简化为更简单的不变量？
• RQ2 该递归关系与 Virasoro 约束的结合是否足以完全确定射影空间的 Gromov-Witten 母函数？
• RQ3 应用 Virasoro 约束与新递归关系后生成的线性系统是否具有满秩，从而确保唯一可解？
• RQ4 能否显式计算该线性系统系数矩阵的行列式，且其是否对所有度数选择均非零？
• RQ5 该框架能否用于系统性、算法化地计算 $\mathbb{P}^r$ 的具体高亏格 Gromov-Witten 不变量？

主要发现

• 本文建立了一种新的拓扑递归关系，将 $\langle\!\langle \tau_{3g-1+m}(\gamma) \rangle\!\rangle_g$ 表示为通过递归定义的辅助函数构成的低次不变量乘积之和。
• 辅助函数 $\langle\!\langle \cdots \rangle\!\rangle^i$ 具有通用性，不依赖于亏格 $g$，从而简化了其在不同亏格下的应用。
• 由 Virasoro 约束与递归关系导出的线性方程组具有非零行列式，其值被证明为 $\frac{\prod_{i>j}(d_i - d_j)}{\prod_{i=1}^{3g-2} i!} \cdot \prod_{i=1}^{3g-2} \left(i + \frac{1}{2}\right)^{3g-1-i}$，从而确保了解的唯一性。
• 尽管底层方程复杂，该行列式公式却异常简洁，暗示 Virasoro 约束与拓扑递归之间存在更深层次的结构关联。
• 该方法首次实现了对 $\mathbb{P}^r$ 所有高亏格 Gromov-Witten 不变量的构造性、可行计算，通过 $\mathbb{P}^2$ 和 $\mathbb{P}^3$ 的显式不变量表格得到验证。
• 示例包括对 $\mathbb{P}^2$ 的 $\langle \text{pt}^{3d-1+g} \rangle_{g,d}$ 以及对 $\mathbb{P}^2$ 和 $\mathbb{P}^3$ 的 $\langle \tau_m(\gamma) \rangle_{g,d}$ 的计算，结果与已知结论一致，并提供了高亏格与高次度下的新值。