[论文解读] Topological recursion relations in genus 2

Ezra Getzler|ArXiv.org|Jan 1, 1998

Algebraic Geometry and Number Theory参考文献 15被引用 107

一句话总结

本文通过在模空间 $\overline{\mathcal{M}}_{2,2}$ 上使用交集理论，建立了在亏格 2 下重力下旋的相关关系的拓扑递归关系。通过计算 $\overline{\mathcal{M}}_{2,2}$ 的 Hodge 多项式并分析典型类，证明了 $\psi_i$ 类的二次多项式为边界循环，从而导出亏格 2 关联函数的显式递归关系。关键结果为：$\overline{\mathcal{M}}_{2,2}$ 的有理上同调环由六个除子生成：$\psi_1$、$\psi_2$、$\delta_1$、$\delta_{1,1}$、$\delta_{1,2}$ 和 $\delta_0$。该工作将低亏格的递归关系推广至亏格 2，并通过显式交集计算与多余交集定理验证了其结构。

ABSTRACT

In Part 1 of this paper, we study gravitational descendents of Gromov-Witten invariants for general projective manifolds, applying the Behrend-Fantechi construction of the virtual fundamental classes. In Part 2, we calculate the topological recursion relations in genus 2. There are two of these, one for the second descendent of a field, and one for the first descendents of two fields. The proof uses the results of Part 1 together with a thorough study of intersection theory on the moduli space $\bar{M}_{2,2}$.

研究动机与目标

• 推导亏格 2 下重力下旋关联函数的拓扑递归关系，将已知的亏格 0 和 1 的关系推广至该情形。
• 使用混合 Hodge 模块和典型类的已知结果，计算 $\overline{\mathcal{M}}_{2,2}$ 的 Hodge 多项式。
• 确定 $\overline{\mathcal{M}}_{2,2}$ 中典型类的结构，特别证明 $\psi_i$ 类的二次多项式为边界循环。
• 证明 $\overline{\mathcal{M}}_{2,2}$ 的有理上同调环由六个特定除子生成，从而确认该情形下典型环的代数结构。
• 通过 Behrend-Fantechi 构造和虚拟基本类，为亏格 2 下的重力下旋提供严格的理论基础。

提出的方法

• 利用混合 Hodge 模块和交集理论的结果，计算出 $\overline{\mathcal{M}}_{2,2}$ 的 Hodge 多项式为 $1 + 6uv + 14u^2v^2 + 14u^3v^3 + 6u^4v^4 + u^5v^5$。
• 应用多余交集定理，计算 $\psi_1^2$ 与边界除子 $\delta_{1,1}$ 和 $\delta_{1,2}$ 的交集，得出显式的循环表达式。
• 使用典型类中立方单项式的基，并通过求解线性系统，将 $\psi_1\psi_2$ 表示为边界循环的有理组合。
• 使用 Faber 的 Maple 程序，计算 $\overline{\mathcal{M}}_{2,2}$ 的典型环中不同次数单项式之间的交集数。
• 分析典型类中二次与四次单项式之间的交集矩阵，以确定由六个除子生成的上同调子代数的秩。
• 验证在度数 6 时交集矩阵的秩为 14，在度数 4 时秩为 6，从而确认上同调环由指定的六个除子生成。

实验结果

研究问题

• RQ1 在 $\mathcal{M}_{2,n}$ 中 $\psi_i$ 类非平凡，那么亏格 2 下重力下旋的拓扑递归关系与亏格 0 和 1 的关系有何不同？
• RQ2 在 $\overline{\mathcal{M}}_{2,n}$ 上，$\psi_i$ 类的二次多项式是否可表示为边界循环，如同在低亏格情形一样？
• RQ3 $\overline{\mathcal{M}}_{2,2}$ 的有理上同调环结构如何？哪些除子生成该环？
• RQ4 $\overline{\mathcal{M}}_{2,2}$ 的典型环是否由六个除子 $\psi_1$、$\psi_2$、$\delta_1$、$\delta_{1,1}$、$\delta_{1,2}$ 和 $\delta_0$ 生成？
• RQ5 典型类中单项式的交集数在多大程度上决定了 $\overline{\mathcal{M}}_{2,2}$ 的上同调结构？

主要发现

• 计算得出 $\overline{\mathcal{M}}_{2,2}$ 的 Hodge 多项式为 $1 + 6uv + 14u^2v^2 + 14u^3v^3 + 6u^4v^4 + u^5v^5$，确认了该空间的 Hodge Betti 数。
• 类 $\psi_1^2$ 被表示为边界循环的有理组合：$\psi_1^2 = \frac{7}{5}\delta_{1,1} + \frac{1}{5}\delta_{1,2} - \frac{1}{120}\delta_0 + \frac{13}{120}\delta_{1,1}^{(2)} + \frac{1}{120}\delta_{1,2}^{(2)}$，表明在亏格 2 中二次 $\psi$-类为边界类。
• $\delta_{1,1}$ 与循环 $\psi_1^2$ 的交集为零，且 $\delta_{1,2} \cdot \psi_1^2 = -\frac{1}{48}$，提供了上同调环的关键数值不变量。
• 典型类中二次与四次单项式之间的交集矩阵的秩为 6，而度数 5 与 1 的单项式之间的矩阵秩为 14，确认上同调环由指定的六个除子生成。
• $\overline{\mathcal{M}}_{2,2}$ 的有理上同调环由 $\psi_1$、$\psi_2$、$\delta_1$、$\delta_{1,1}$、$\delta_{1,2}$ 和 $\delta_0$ 生成，由度数 6 时交集矩阵满秩得到验证。
• 本文证实，尽管 $H^\bullet(\overline{\mathcal{M}}_{2,3},\mathbb{Q})$ 不由 $H^2$ 生成，但其完整的上同调是代数的，暗示了更高点数模空间中存在更深层次的结构。