[论文解读] A degeneration formula of Gromov-Witten invariants with respect to a curve class for degenerations from blow-ups

Chien‐Hao Liu, Shing‐Tung Yau|ArXiv.org|Aug 11, 2004

Geometric and Algebraic Topology参考文献 28被引用 6

一句话总结

本文通过推导来自平凡族的爆破型退化中与曲线类相关的版本，精炼了Jun Li的格罗莫夫-威滕不变量退化公式。通过分析爆破几何中的交点数与莫里锥，构造了一个显式确定的可接受三元组有限集 $\Omega_{(g,k;\beta)}$，该集合编码了中心纤维上相对不变量的贡献，从而实现基于奇异纤维分量上相对数据的不变量的精确计算。

ABSTRACT

In two very detailed, technical, and fundamental works, Jun Li constructed a theory of Gromov-Witten invariants for a singular scheme of the gluing form $Y_1\cup_D Y_2$ that arises from a degeneration $W/{\Bbb A}^1$ and a theory of relative Gromov-Witten invariants for a codimension-1 relative pair $(Y,D)$. As a summit, he derived a degeneration formula that relates a finite summation of the usual Gromov-Witten invariants of a general smooth fiber $W_t$ of $W/{\Bbb A}^1$ to the Gromov-Witten invariants of the singular fiber $W_0=Y_1\cup_D Y_2$ via gluing the relative pairs $(Y_1,D)$ and $(Y_2,D)$. The finite sum mentioned above depends on a relative ample line bundle $H$ on $W/{\Bbb A}^1$. His theory has already applications to string theory and mathematics alike. For other new applications of Jun Li's theory, one needs a refined degeneration formula that depends on a curve class $β$ in $A_{\ast}(W_t)$ or $H_2(W_t;{\Bbb Z})$, rather than on the line bundle $H$. Some monodromy effect has to be taken care of to deal with this. For the simple but useful case of a degeneration $W/{\Bbb A}^1$ that arises from blowing up a trivial family $X imes{\Bbb A}^1$, we explain how the details of Jun Li's work can be employed to reach such a desired degeneration formula. The related set $Ω_{(g,k;β)}$ of admissible triples adapted to $(g,k;β)$ that appears in the formula can be obtained via an analysis on the intersection numbers of relevant cycles and a study of Mori cones that appear in the problem. This set is intrinsically determined by $(g,k;β)$ and the normal bundle ${\cal N}_{Z/X}$ of the smooth subscheme $Z$ in $X$ to be blown up.

研究动机与目标

• 将Jun Li的退化公式扩展为依赖于固定曲线类 $\beta \in A_1(X)$ 或 $H_2(X;\mathbb{Z})$，而非依赖于相对正线丛。
• 通过聚焦于 $X \times \mathbb{A}^1$ 沿 $Z \times \{0\}$ 的爆破退化这一特例，解决退化公式中的单值性效应。
• 构造一个规范的、内在的三元组集合 $\Omega_{(g,k;\beta)}$，以控制中心纤维 $Y_1 \cup_E Y_2$ 上相对不变量的粘合。
• 提供一个实用且可计算的公式，以中心纤维分量上的相对不变量表达一般纤维的格罗莫夫-威滕不变量。
• 将该框架推广至多重爆破与不连通中心的情形，同时识别出构造过程中所需的关键几何不变量。

提出的方法

• 作者使用Jun Li关于展开退化与相对稳定映射的奠基性框架，在稳定态射堆栈上定义虚拟基本类。
• 他们分析莫里锥 $\overline{\mathrm{NE}}(W_t)$ 及其在爆破下的行为，重点关注 $A_1(X)$ 中的曲线类及其在爆破分量上的上推。
• 集合 $\Omega_{(g,k;\beta)}$ 通过交点理论约束构造：其包含满足相对于例外除子 $E$ 的度数、亏格与相切条件的可接受三元组 $(\Gamma_1, \Gamma_2, I)$。
• 关键方程包括 $\beta$ 的分解形式 $p_{1*}\widetilde{\beta}_1^0 + p_{2*}\widetilde{\beta}_2^0$，其中包含涉及 $E \cdot \widetilde{\beta}_1^0$ 的校正项，以反映中心 $Z$ 的法丛。
• 公式将格罗莫夫-威滕不变量 $\Psi_{(g,k;\beta)}^X(\alpha,\zeta)$ 表示为对 $\eta \in \overline{\Omega}_{(g,k;\beta)}$ 的求和，权重为自同构因子 $\mathbf{m}(\eta)/|\mathrm{Eq}(\eta)|$，并粘合来自 $Y_1^{\mathrm{rel}}$ 与 $Y_2^\mathrm{rel}$ 的相对不变量的乘积。
• 该构造对相对正线丛的选择具有不变性，仅依赖于 $\beta$、亏格 $g$、标记点数 $k$ 以及法丛 $\mathcal{N}_{Z/X}$。

实验结果

研究问题

• RQ1 如何将Jun Li的退化公式精炼为显式依赖于固定曲线类 $\beta$，而非依赖于相对正线丛？
• RQ2 在爆破退化背景下，哪些几何与上同调数据决定了可接受三元组集合 $\Omega_{(g,k;\beta)}$？
• RQ3 爆破分量上的交点数与莫里锥结构如何约束退化公式中可能的贡献？
• RQ4 单值性在从一般纤维到中心纤维的过渡中起什么作用，且在爆破情形下如何被消除？
• RQ5 该精炼公式能否推广至爆破序列或不连通中心的情形，其分解由哪些不变量控制？

主要发现

• 集合 $\Omega_{(g,k;\beta)}$ 由法丛 $\mathcal{N}_{Z/X}$、曲线类 $\beta$ 与拓扑数据 $(g,k)$ 唯一确定，与任何辅助线丛无关。
• 当 $\beta \neq 0$ 时，集合 $\Omega_{(g,k;\beta)}$ 分解为三个互不相交的分量：(1) $Y_1$ 与 $Y_2$ 上非平凡曲线类的配对，通过 $E \cdot \widetilde{\beta}_1^0$ 进行校正；(2) $Y_1$ 上非平凡类且校正最大；(3) $Y_2$ 上非平凡类且无校正。
• 公式将格罗莫夫-威滕不变量 $\Psi_{(g,k;\beta)}^X(\alpha,\zeta)$ 表示为对 $\eta \in \overline{\Omega}_{(g,k;\beta)}$ 的有限求和，权重为 $\mathbf{m}(\eta)/|\mathrm{Eq}(\eta)|$，并由 $Y_1^\mathrm{rel}$ 与 $Y_2^\mathrm{rel}$ 的相对不变量乘积构成。
• 该公式对 $\beta \in H_2(X;\mathbb{Z})$ 也完全成立，表明其在代数循环之外具有拓扑自然性。
• 该构造对推广具有鲁棒性：可扩展至爆破序列与不连通中心，且对可接受三元组的结构约束保持不变。
• 关键洞见在于，爆破分量上的莫里锥结构与交点理论完全决定了粘合数据，消除了对辅助选择（如 $H$）的依赖。