[论文解读] Localization of virtual classes

T.M. Graber, Rahul Pandharipande|ArXiv.org|Aug 1, 1997

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

一句话总结

本文为代数概形上的 $\mathbb{C}^{*}$-等变完美障碍理论建立了虚拟局部化公式，将虚拟基本类表示为固定点分支的和，其权重为虚拟法丛的等变欧拉类的逆。主要贡献是在等变查尔斯理论中提出了一般性的代数局部化公式，将经典结果推广至奇异和堆栈型模空间，如 $$\overline{M}_{g,n}(\mathbf{P}^r,d)$。

ABSTRACT

We prove a localization formula for virtual fundamental classes in the context of torus equivariant perfect obstruction theories. As an application, the higher genus Gromov-Witten invariants of projective space are expressed as graph sums of tautological integrals over moduli spaces of stable pointed curves (generalizing Kontsevich's genus 0 formulas). Also, excess integrals over spaces of higher genus multiple covers are computed.

研究动机与目标

• 为代数概形上的 $\mathbb{C}^{*}$-等变完美障碍理论中的虚拟基本类建立虚拟局部化公式。
• 将局部化技术从非奇异簇推广至奇异和 Deligne-Mumford 堆栈情形，特别是稳定映射的模空间。
• 提供一种系统方法，通过固定点轨迹上的图和计算射影空间与齐性空间的 Gromov-Witten 不变量。
• 通过虚拟局部化评估 Calabi-Yau 3-fold 几何中出现的多余积分，例如在 $$\overline{M}_{g,0}(\mathbf{P}^1,d)$ 上的积分。
• 在堆栈理论设定下，建立局部化后等变查尔斯群中上推的满射性与单射性，确保局部化公式的有效性。

提出的方法

• 使用 Li-Tian 和 Behrend-Fantechi 的完美障碍理论框架，在等变查尔斯群 $A_*^{\mathbb{C}^*}(X)$ 中构造虚拟基本类 $[X]^{\text{vir}}$。
• 定义固定点概形 $X^f = \bigcup X_i$，并为每个分支 $X_i$ 赋予一个固定的完美障碍理论，从而得到 $[X_i]^{\text{vir}} \in A_*(X_i)$。
• 从虚拟切空间的移动部分构造虚拟法丛 $N_i^{\text{vir}}$，并定义其等变欧拉类 $e(N_i^{\text{vir}})$。
• 利用有理等价性和 Vistoli 公式，证明在 $A_*^{\mathbb{C}^*}(X) \otimes \mathbb{Q}[t, 1/t]$ 中有局部化公式 $[X]^{\text{vir}} = \iota_* \sum \frac{[X_i]^{\text{vir}}}{e(N_i^{\text{vir}})}$。
• 将公式应用于带有 $\mathbb{C}^{*}$-作用的环境非奇异概形 $Y$，然后通过限制和锥操作推导出 $X$ 的结果。
• 利用 $A_*^{\mathbb{C}^*}(U)$ 在 $U = Y \setminus Y^f$ 上局部化后消失的事实，证明局部化后上推 $\iota_*$ 是同构，从而确保公式的有效性。

实验结果

研究问题

• RQ1 如何将具有完美障碍理论的 $\mathbb{C}^{*}$-等变代数概形的虚拟基本类局部化到其固定点分支？
• RQ2 在奇异和堆栈型模空间的等变查尔斯理论中，虚拟局部化公式的精确形式是什么？
• RQ3 能否通过虚拟局部化导出的图和公式计算 $\mathbf{P}^r$ 的 Gromov-Witten 不变量？
• RQ4 在 $g=1$ 时，$\int_{[\overline{M}_{g,0}(\mathbf{P}^1,d)]^{\text{vir}}} c_{\text{top}}(R^1\pi_*\mu^*N)$ 的多余积分值是多少？
• RQ5 当 $V$ 允许 $\mathbb{C}^{*}$-作用时，虚拟局部化公式是否对如 $$\overline{M}_{g,n}(V,\beta)$ 这类适当的 Deligne-Mumford 堆栈成立？

主要发现

• 虚拟局部化公式 $[X]^{\text{vir}} = \iota_* \sum \frac{[X_i]^{\text{vir}}}{e(N_i^{\text{vir}})}$ 在 $A_*^{\mathbb{C}^*}(X) \otimes \mathbb{Q}[t, 1/t]$ 中对 $\mathbb{C}^{*}$-等变完美障碍理论成立。
• 对于 $$\overline{M}_{g,n}(\mathbf{P}^r,d)$，Gromov-Witten 不变量通过图和公式计算，其中顶点项为在 $$\overline{M}_{g',n'}$ 上对陈类的积分。
• 在 $g=0$ 时，$$\overline{M}_{0,0}(\mathbf{P}^1,d)$ 上的多余积分为 $1/d^3$，与 Manin 的结果一致。
• 在 $g=1$ 时，多余积分为 $1/(12d)$，与 BCOV 的物理预测一致，并验证了高亏格情形的猜想。
• 当 $V$ 为具有 $\mathbb{C}^{*}$-作用的齐性空间时，公式对 $$\overline{M}_{g,n}(V,\beta)$ 成立，使得稳定映射模空间上的局部化成为可能。
• 局部化后，上推 $\iota_*: A_*^{\mathbb{C}^*}(Y^f) \to A_*^{\mathbb{C}^*}(Y)$ 是同构，确保了在 Deligne-Mumford 堆栈上局部化框架的一致性。