[论文解读] Formalism for Relative Gromov-Witten Invariants

Eric Katz|arXiv (Cornell University)|Jul 15, 2005

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

一句话总结

本文通过类同辛几何场论的方式对相对 Gromov-Witten 不变量建立生成函数形式体系，实现对退化公式的系统推导。通过在除子上关于投影丛的稳定映射模空间上引入虚拟周期，定义了橡胶不变量，并利用 $\bmod\bmod\bmod$ 局域化方法，重新推导出 Caporaso-Harris、Ran 和 Vakil 的经典公式。

ABSTRACT

We develop a formalism for relative Gromov-Witten invariants of Li that is analogous to the Symplectic Field Theory of Eliashberg, Givental, and Hofer. This formalism allows us to express natural degeneration formulae in terms of generating functions and re-derive the formulae of Caporaso-Harris, Ran, and Vakil. In addition, our framework gives a homology theory analogous to SFT Homology.

研究动机与目标

• 建立类似于辛几何场论的相对 Gromov-Witten 不变量的形式结构。
• 将交数组织为生成函数——相对势函数 $ F $ 与橡胶势函数 $ A $，以实现系统的计算。
• 通过所提出的框架重新推导 Caporaso-Harris、Ran 和 Vakil 的经典退化公式。
• 通过线丛与模堆栈上的虚拟周期，构造类似于 SFT 同调的同调理论。
• 通过固定点分析，为相对 Gromov-Witten 理论中的 $\bmod\bmod\bmod$ 局域化提供一个框架。

提出的方法

• 分别构造相对映射与橡胶映射的模堆栈 $ \newcommand{\cM}{{\mathcal{M}}} \cM({\mathcal{Z}}, \Gamma) $ 与 $ \cM({\mathcal{A}}, \Gamma) $，并赋予其虚拟基本周期。
• 引入关键线丛：$ \operatorname{L}_{i,\text{ext}} $、$ \operatorname{Split} $、$ \operatorname{L^0} $、$ \operatorname{L^\infty} $ 与 $ \operatorname{L}_{i,\text{not top/bot}} $，并通过零点集给出其几何解释。
• 将相对势函数 $ F $ 与橡胶势函数 $ A $ 定义为在分次代数 $ \mathcal{F} $ 与 $ \mathcal{R} $ 中对虚拟周期的交数生成函数。
• 利用虚拟局域化方法，计算 $ \bmod\bmod\bmod $-等变上同调中三类固定点的贡献。
• 建立关系式如 $ \operatorname{L^0} \otimes \operatorname{L^\infty} = \operatorname{Split} $ 与 $ \operatorname{L^0} \otimes \operatorname{ev}_i^*L^\vee = \operatorname{L}_{i,\text{not top}} $，以编码几何约束。
• 应用虚拟局域化公式，推导出一个主方程，涉及 $ \deg((\operatorname{ev}_i^*c_1(L) + c_1(\operatorname{L^\infty})) \operatorname{Ev}^*c \cap [\cM({\mathcal{A}}, \Gamma)]^{\text{vir}}) $，从而得出主要结果。

实验结果

研究问题

• RQ1 如何构建一个类似于辛几何场论结构的相对 Gromov-Witten 不变量形式体系？
• RQ2 何种生成函数能以促进退化公式推导的方式编码相对不变量与橡胶不变量的交点理论？
• RQ3 模堆栈上相对映射的线丛如何编码诸如不映射到中心分量或分裂行为等几何约束？
• RQ4 $ \bmod\bmod\bmod $-局域化在通过固定点贡献计算相对不变量时起到何种作用？
• RQ5 能否从统一的虚拟周期与生成函数框架出发，系统地重新推导出 Caporaso-Harris、Ran 与 Vakil 的经典退化公式？

主要发现

• 本文通过相对势函数 $ F $ 与橡胶势函数 $ A $，在分次代数 $ \mathcal{F} $ 与 $ \mathcal{R} $ 中分别构建了相对 Gromov-Witten 不变量的生成函数形式体系。
• 证明了代数 $ \mathcal{R} $ 作用于 $ \mathcal{F} $，对应于将 $ \cM({\mathcal{Z}}, \Gamma_Z) $ 与 $ \cM({\mathcal{A}}, \Gamma_A) $ 中的曲线连接，形成 $ \cM({\mathcal{Z}}, \Gamma_Z * \Gamma_A) $ 中的分裂映射。
• 虚拟局域化公式导出主方程：$ \deg((\operatorname{ev}_i^*c_1(L) + c_1(\operatorname{L^\infty})) \operatorname{Ev}^*c \cap [\cM({\mathcal{A}}, \Gamma)]^{\text{vir}}) = \frac{1}{|\operatorname{Aut}|} \sum \deg(\operatorname{Ev}^*c \cap [\cM({\mathcal{A}}, \Gamma_{A_t}) \times_{D^r} \cM({\mathcal{A}}, \Gamma_{A_b})]^{\text{vir}}) $，该式对第 $ i $ 个标记点映射至 $ D_0 $ 的固定点贡献有效。
• 第一类固定点通过 $ \frac{\hbar(\hbar + \operatorname{ev}_i^*c_1(L))}{\hbar - c_1(\operatorname{L^\infty})} $ 贡献，简化后即为 $ \deg((\operatorname{ev}_i^*c_1(L) + c_1(\operatorname{L^\infty})) \operatorname{Ev}^*c \cap [\cM({\mathcal{A}}, \Gamma)]^{\text{vir}}) $。
• 第二类固定点不贡献，因为 $ i_\infty^*(c_1(\mathcal{O}(1)) + c_1(L)) = 0 $，即求值因子通过 $ P $ 中的 $ D_\infty \subset P $。
• 第三类固定点贡献的欧拉类为 $ e(N) = (\hbar - p_t^*c_1(\operatorname{L^\infty}))\cdot(-\hbar - p_b^*c_1(\operatorname{L^0})) $，且自同构因子 $ \operatorname{Aut} $ 考虑了图连接中的对称性。