[论文解读] Localization in Gromov-Witten Theory and Orbifold Gromov-Witten Theory

Chiu-Chu Melissa Liu|arXiv (Cornell University)|Jul 23, 2011

Algebraic Geometry and Number Theory参考文献 57被引用 44

一句话总结

本文提出了一种系统方法，利用等变局部化计算光滑射影环族簇的 Gromov-Witten 不变量以及光滑射影环族 Deligne-Mumford 堆栈的轨道 Gromov-Witten 不变量。通过利用虚拟局部化和固定点的图论分解，该方法将虚拟不变量的计算归约为具有轨道结构的稳定曲线模空间上的积分，从而得到以 Hodge 积分和等变类表示的显式公式。

ABSTRACT

In this expository article, we explain how to use localization to compute Gromov-Witten invariants of smooth toric varieties and orbifold Gromov-Witten invariants of smooth toric Deligne-Mumford stacks.

研究动机与目标

• 开发一种通用算法，利用环作用局部化计算光滑射影环族簇的 Gromov-Witten 不变量。
• 将局部化技术推广至光滑射影环族 Deligne-Mumford 堆栈的轨道 Gromov-Witten 不变量。
• 通过将不变量约化为稳定曲线模空间上的交点数，建立统一框架以计算所有亏格和度数的不变量。
• 在图模型中建立处理不稳定顶点（特别是轨道情形）的一致约定。
• 利用等变上同调和虚拟法丛，推导每个固定点的贡献的显式公式。

提出的方法

• 使用等变上同调中的虚拟局部化，将稳定映射模空间的虚拟基本类分解为环作用固定分量的贡献之和。
• 将固定点建模为带有装饰图的稳定曲线模空间的乘积，图中编码了顶点类型、边数据和标记点分配。
• 应用等变 Riemann-Roch 定理和虚拟法丛计算，将每个固定点的贡献表示为等变欧拉类和局部化被积函数的组合。
• 通过轨道模空间上的积分恒等式（如 ∫_{Mbar_{0,(c,c^{-1})}(BG)} ψ₂^a / (w₁ - ψ₁) = (-w₁)^a / |G|）引入对不稳定顶点（如亏格 0 且有两个特殊点）的一致处理约定。
• 采用图记号统一处理稳定与不稳定顶点，使所有顶点类型的被积函数表达一致。
• 推导出总不变量的闭式公式（定理 143），其形式为对装饰图的求和，每一项包含等变类、Hodge 积分和轨道群的结构常数的乘积。

实验结果

研究问题

• RQ1 如何利用环作用局部化和等变技术高效计算光滑环族簇的 Gromov-Witten 不变量？
• RQ2 局部化技术应如何正确推广至环族 Deligne-Mumford 堆栈的轨道 Gromov-Witten 不变量？
• RQ3 在轨道不变量的图模型中，应如何一致处理不稳定顶点（如亏格 0 且有两个标记点）？
• RQ4 在轨道情形下，虚拟法丛及其等变欧拉类的精确形式是什么？
• RQ5 能否推导出一个统一公式，使局部化求和中的稳定与不稳定顶点贡献得以统一表达？

主要发现

• 本文建立了计算光滑环族簇在所有亏格和度数下 Gromov-Witten 不变量的完整计算算法，基于虚拟局部化。
• 给出了一个公式（定理 143），将环族 DM 堆栈的轨道 Gromov-Witten 不变量表示为对装饰图的求和，每一项涉及对扭曲稳定映射模空间的等变积分。
• 对于类型为 (0, (c, c^{-1})) 的不稳定顶点，积分 ∫_{Mbar_{0,(c,c^{-1})}(BG)} ψ₂^a / (w₁ - ψ₁) 的值为 (-w₁)^a / |G|，从而实现了对所有顶点类型的统一处理。
• 每个固定点的贡献由顶点贡献、边因子和轨道模空间上的 Hodge 积分的乘积给出，其中 h(e)、h(e,v) 和 h(v) 有显式表达式。
• 虚拟法丛的贡献通过虚拟法丛的等变欧拉类计算得出，这对局部化公式至关重要。
• 通过一致的约定，该框架统一处理了稳定与不稳定顶点，使得同一公式适用于所有图类型。