[论文解读] Stacks of Stable Maps and Gromov-Witten Invariants

Kai Behrend, Yu. I. Manin|ArXiv.org|Jun 27, 1995

Geometric and Algebraic Topology被引用 5

一句话总结

本文引入了代数几何中稳定映射的堆理论框架，为格罗莫夫-威滕不变量建立了严格的理论基础。通过重新定义带标记稳定图之间的同源关系并修正早期错误，作者提供了一个稳健的模空间构造，使得代数簇中理性曲线计数不变量的系统计算成为可能。

ABSTRACT

We correct some errors in the earlier version of this paper. Most importantly, the definition of isogeny of marked stable graphs has changed.

研究动机与目标

• 开发一种堆理论方法来研究稳定映射的模空间，确保适当的紧化和函子性。
• 纠正原始定义中关于带标记稳定图之间同源关系的不准确之处，这些关系构成了模空间的组合结构基础。
• 为代数几何中格罗莫夫-威滕不变量的定义与计算建立一个严格的理论框架。
• 确保稳定映射的模堆是德利涅-穆默福德的，并且具有完美的障碍理论，这对不变量至关重要。
• 通过虚拟基本类，提供一种一致且具有几何意义的格罗莫夫-威滕不变量构造方法。

提出的方法

• 利用代数堆来参数化从曲线到固定目标代数簇的稳定映射，确保适当的模性质。
• 重新表述带标记稳定图之间同源关系的概念，以正确反映退化过程的组合数据。
• 将稳定映射的模堆构造为具有有限自同态群的德利涅-穆默福德堆。
• 为模堆配备一个完美的障碍理论，以定义虚拟基本类。
• 将虚拟基本类应用于定义格罗莫夫-威滕不变量为模空间上的积分。
• 确保不变量在形变下保持不变，并满足预期的函子性质。

实验结果

研究问题

• RQ1 如何将稳定映射的模空间严格构造为德利涅-穆默福德堆？
• RQ2 带标记稳定图之间同源关系的正确定义是什么？它如何影响模空间的结构？
• RQ3 如何以一种在形变下不变且与粘合操作兼容的方式定义格罗莫夫-威滕不变量？
• RQ4 当模空间是奇异的时，虚拟基本类在定义不变量中起到什么作用？
• RQ5 修正后的定义与构造如何确保与代数几何中已知的曲线计数结果一致？

主要发现

• 对带标记稳定图之间同源关系的修正定义，确保了其与模堆中粘合态射的恰当兼容性。
• 证明了稳定映射的模堆是一个德利涅-穆默福德堆，为不变量提供了具有良好行为的几何对象。
• 在模堆上构造了一个完美的障碍理论，从而能够定义虚拟基本类。
• 格罗莫夫-威滕不变量被定义为上同调类对虚拟基本类的积分，从而得到良定义的不变量。
• 该框架确保了不变量在形变下保持不变，并满足共变场论的预期公理。
• 修正的方法解决了文献中早期存在的不一致性，特别是在自同构和退化处理方面。