[论文解读] Higher-genus Gromov-Witten invariants as genus 0 invariants of symmetric products

Kevin Costello|ArXiv.org|Mar 31, 2003

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

一句话总结

本文建立了一条精确公式，将光滑射影代数簇 $X$ 的高亏格 Gromov-Witten 不变量用其对称积堆 $S^{g+1}(X)$ 的亏格零不变量表达出来。通过利用扭曲线的模堆和 étale 覆盖，作者推导出虚拟基本类的上推公式，将亏格 $g$ 的不变量约化为对称积上的亏格零不变量，其在点情形的显式应用给出了 $̅\overline{\mathcal{M}}_{g,n}$ 上塔罗逻辑积分的新公式，通过对称群结构常数实现。

ABSTRACT

I prove a formula expressing the descendent genus g Gromov-Witten invariants of a projective variety X in terms of genus 0 invariants of its symmetric product stack S^{g+1}(X). When X is a point, the latter are structure constants of the symmetric group, and we obtain a new way of calculating the Gromov-Witten invariants of a point.

研究动机与目标

• 建立一个通用公式，将光滑射影代数簇 $X$ 的亏格 $g$ 递降 Gromov-Witten 不变量用其对称积堆 $S^{g+1}(X)$ 的亏格零不变量表达出来。
• 证明 $X$ 的全量子上同调（在所有亏格下）被编码为 Fock 空间 $\mathcal{F} = \bigoplus_{d \geq 0} H^{\ast}_{\text{orb}}(S^d(X), \mathbb{C})$ 上的一系列 Frobenius 流形结构。
• 为点的 Gromov-Witten 不变量提供一种新的计算框架，通过将它们表达为对称群代数 $\mathbb{C}[S_d]^{S_d}$ 的中心的结构常数。
• 证明一个虚拟上推公式 $p_*[\overline{\mathcal{M}}_\eta(X)]_{\text{virt}} = k[\overline{\mathcal{M}}_{g,r}(X)]_{\text{virt}}$，其中 $p$ 是从 étale 对应关系的模堆到标准稳定映射模空间的有限度映射。

提出的方法

• 该方法构建了一个模堆 $\overline{\mathcal{M}}_\eta(X)$，参数化度为 $d$ 的 étale 对应关系 $\mathcal{C}' \to \mathcal{C} \to X$，其中 $\mathcal{C}$ 是一个亏格零的扭曲线，$\mathcal{C}'$ 是一个高亏格曲线，并带有 $G$-作用。
• 它引入了一个通用设定，使用带有 $C(X)$-值标记的曲线模堆 $\mathfrak{M}_{g,n,\beta}$，这些堆是光滑的，并且具有适当的收缩映射，从而在虚拟范畴中支持基变换论证。
• 关键技术步骤是通过从一个通用堆 $\overline{\mathcal{M}}_{g,\beta}(X)$ 进行基变换，证明虚拟上推公式 (1.0.1)，利用 Mori 锥 $C(X)$ 的结构和稳定图分解。
• 该方法应用主公式 (8.0.2)，将 $\overline{\mathcal{M}}_{g,r}(X)$ 上的积分展开为图 $f: \rho \to \eta$ 的和，贡献来自边界层和自同构因子 $\|f\|^{-1}$。
• 它使用公式 (9.1.1) 将 $\overline{\mathcal{M}}_\eta$ 和 $\overline{\mathcal{M}}_{\rho_i}$ 上的积分分解为对目标图顶点的乘积，利用 $\overline{\mathcal{M}}_{0,n}$ 上的已知结果。
• 该方法通过分析扭曲线及其评估映射的几何结构，将复杂的亏格-$g$ 积分化约为对称积上的亏格零不变量，最终将 $\int_{\overline{\mathcal{M}}_{2,1}} \psi^4$ 用对称群数据表达出来。

实验结果

研究问题

• RQ1 能否将光滑射影代数簇 $X$ 的高亏格 Gromov-Witten 不变量完全用其对称积堆 $S^{g+1}(X)$ 的亏格零不变量表达？
• RQ2 模堆 $\overline{\mathcal{M}}_\eta(X)$ 与标准模空间 $\overline{\mathcal{M}}_{g,r}(X)$ 之间的精确虚拟上推公式是什么？
• RQ3 对称群代数 $\mathbb{C}[S_d]^{S_d}$ 的结构常数如何用于计算 $\overline{\mathcal{M}}_{g,n}$ 上的塔罗逻辑积分？
• RQ4 带有半群值标记的曲线模堆在支持基变换和虚拟上推论证中起到什么作用？
• RQ5 在多大程度上可以通过 Frobenius 流形结构从 $X$ 的量子上同调重构 $S^dX$ 的大量子上同调？

主要发现

• 本文证明了 $X$ 的亏格 $g$ 递降 Gromov-Witten 不变量由 $S^{g+1}(X)$ 的亏格零不变量决定，后者被编码在 $H^{\ast}_{\text{orb}}(S^{g+1}(X), \mathbb{C})$ 上的 Frobenius 流形结构中。
• 当 $X = \ast$（即点）时，不变量 $\int_{\overline{\mathcal{M}}_{g,n}} \psi_1^{a_1} \cdots \psi_n^{a_n}$ 被表达为 $\mathbb{C}[S_d]$ 中心的结构常数的有理线性组合，从而给出一个全新的组合公式。
• 虚拟上推公式 $p_*[\overline{\mathcal{M}}_\eta(X)]_{\text{virt}} = k[\overline{\mathcal{M}}_{g,r}(X)]_{\text{virt}}$ 成立，其中 $k \in \mathbb{Q}^\times$，通过从一个通用堆进行基变换建立，并在一个具体例子中得到验证。
• 在 $\int_{\overline{\mathcal{M}}_{2,1}} \psi^4$ 的情形，计算得出精确值 $2^{-7} \cdot 3^{-2}$，证实了公式的自洽性。
• 该方法成功计算出 $\int_{\overline{\mathcal{M}}_\eta} \psi_1^4 = 2^{-6} \cdot 3^{-1}$ 和 $\int_{\overline{\mathcal{M}}_{\rho_i}} \psi_e^3 = 2^{-12} \cdot 3^{-1}$，后者通过顶点分解和 $\overline{\mathcal{M}}_{0,n}$ 上的已知积分推导得出。
• 本文表明，$S^dX$ 的小量子上同调完全由 $X$ 的小量子上同调通过 Lehn-Sorger 构造决定，但大量子上同调一般并非如此。