[论文解读] Gromov-Witten invariants of P^2-stacks

Charles Cadman|ArXiv.org|May 1, 2005

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

一句话总结

本文建立了显式的递推关系，用于计算$\pi^2_{D,2}$堆栈的所有亏格0 Gromov-Witten不变量——该堆栈被定义为在平面上光滑曲线$D$上取$\mathbb{Z}/2$-商堆栈——仅依赖于一组初始不变量。关键贡献在于，系统性地完全确定了这些不变量的算法，这些不变量通常并非可枚举的，因为存在来自具有幽灵自同构的扭稳定映射的贡献。

ABSTRACT

The Gromov-Witten theory of Deligne-Mumford stacks is a recent development, and hardly any computations have been done beyond 3-point genus 0 invariants. This paper provides explicit recursions which, together with some invariants computed by hand, determine all genus 0 invariants of the stack P^2_{D,2}. Here D is a smooth plane curve and P^2_{D,2} is locally isomorphic to the stack quotient [U/(Z/(2))], where U -> V \subset P^2 is a double cover branched along D \cap V. The introduction discusses an enumerative application of these invariants.

研究动机与目标

• 开发一种系统化方法，用于计算作为$\mathbb{P}^2$上沿光滑平面曲线$D$分支的$\mathbb{Z}/2$-商堆栈的Deligne-Mumford堆栈$\mathbb{P}^2_{D,2}$的所有亏格0 Gromov-Witten不变量。
• 研究在光滑代数簇中常见的重构定理是否可推广至堆栈，特别是在$\mathbb{P}^2_{D,2}$的背景下。
• 通过识别Gromov-Witten计数与实际曲线计数之间的差异，澄清这些不变量的可枚举意义，特别是在多重覆盖或扭组件贡献的情况下。
• 提供一个完整的算法框架，利用来自量子乘积结合性与扭稳定映射几何约束所导出的递推关系，来计算不变量。

提出的方法

• 基于量子乘积和到$\mathbb{P}^2_{D,2}$的扭稳定映射结构，推导出亏格0 Gromov-Witten不变量$I_d(n_2, n_3, n_4)$的递推关系式(5.5.5)–(5.5.8)。
• 利用惰性堆栈的粗模空间，识别出关键类：$T_2$（$\mathbb{P}^2$中的点），$T_3$（$D$的基本类），以及$T_4$（$D$上的点）。
• 应用扭稳定映射理论，其中到$\mathbb{P}^2_{D,2}$的态射要求在未扭点处与$D$的接触阶数为偶数，在扭点处为奇数。
• 采用虚拟基本类技术与幽灵自同构修正（例如，乘数$1/2$），以考虑具有扭节点的可约曲线的贡献。
• 建立一个算法(5.5.9)，通过基于$n_2, n_3, n_4$和$d$的取值的五种不同递推规则，递归地将不变量约化，其终止性由$n_4 - n_3$的有界下降保证。
• 通过与已知不变量的一致性检验，并借助对多重覆盖和扭组件的几何分析，验证了该算法，识别出非可枚举贡献。

实验结果

研究问题

• RQ1 能否使用有限组初始不变量与递推关系，算法化地计算$\mathbb{P}^2_{D,2}$的所有亏格0 Gromov-Witten不变量？
• RQ2 为何$\mathbb{P}^2_{D,2}$的Gromov-Witten不变量通常不可枚举？其几何机制是什么？
• RQ3 幽灵自同构与具有多个分量的扭稳定映射如何影响堆栈的Gromov-Witten理论中的虚拟计数？
• RQ4 当曲线$D$的度数$\delta$满足何种条件时，多重覆盖或扭组件的贡献会消失或持续存在？
• RQ5 是否存在类似于光滑代数簇的重构定理，适用于Deligne-Mumford堆栈的亏格0 Gromov-Witten不变量？

主要发现

• 亏格0 Gromov-Witten不变量$\mathbb{P}^2_{D,2}$完全由一个递归算法（算法5.5.9）确定，该算法通过五种不同的递推规则将任意不变量约化为初始值。
• 当$\deg(D) \geq 3$时，有理曲线无法映射到$D$，从而消除了映射到$D$的分量的贡献；但当$\deg(D) \geq 4$时，多重覆盖仍会贡献，例如$I_2(T_2)$计数与$D$相切的直线的双重覆盖。
• 不变量$I_4(T_2^7 T_4^4) = 416$超过实际通过7个一般点和$D$上4个点的有理四次曲线的计数398，这是由于具有幽灵自同构（乘数$1/2$）和奇扭节点分量的可约扭曲线的贡献所致。
• 当$D$为三次曲线时，扭稳定映射的模空间包含多重覆盖分量，但它们对不变量无贡献，因此在此情况下所有正度数的亏格0不变量均为可枚举的。
• 该算法能终止，因为$n_4 - n_3$的下降是有界的，且$(n_3, n_4)$平面上的允许移动是有限且无环的，从而确保递归约化至基例。
• 基例为$I_1(2, \delta, 0) = \delta!$和$I_1(1, \delta-1, 1) = (\delta-1)!$，这些值可直接由度数1映射的几何约束计算得出。