[论文解读] Birational invariance in logarithmic Gromov-Witten theory

Dan Abramovich, Jonathan Wise|arXiv (Cornell University)|Jun 5, 2013

Geometric and Algebraic Topology被引用 3

一句话总结

本文在对数光滑代数簇之间的对数型态变换下，确立了对数 Gromov–Witten 不变量的双有理不变性。通过障碍理论与 Artin 风景的几何方法，作者证明了对数稳定映射模空间的虚拟基本类在该类变换下保持不变，从而表明来自基 scheme 的初等插入不变量在源与目标上完全相同。这证实了 Mark Gross 的一个猜想，并将双有理不变性推广至对数设定。

ABSTRACT

Gromov-Witten invariants have been constructed to be deformation invariant, but their behavior under other transformations is subtle. In this note we show that logarithmic Gromov-Witten invariants are also invariant under appropriately defined logarithmic modifications.

研究动机与目标

• 解决 Mark Gross 关于对数 Gromov–Witten 不变量在对数型态变换下行为的猜想。
• 确立对数 Gromov–Witten 不变量在对数光滑代数簇之间满足正规、双有理、对数 étale 的态射下的不变性。
• 证明对数稳定映射模空间的虚拟基本类在该类变换下保持不变。
• 通过障碍理论与代数栈，将经典 Gromov–Witten 理论中的双有理不变性概念推广至对数设定。

提出的方法

• 构建了对数概形 X 上对数稳定映射的模栈 M(X)，并赋予其虚拟基本类 [M(X)]vir。
• 将对数型态变换定义为正规、双有理、对数 étale 的态射 h: Y → X，并研究由此诱导的态射 π: M(Y) → M(X)。
• 利用 Artin 风景与对数代数栈理论，分析 M′(Y → X) 的几何结构，即 M(Y) 与 M(X) 在对数栈 Log(M) 上的纤维积。
• 应用障碍理论技术，证明 M(X) 相对于 Log(M) 的相对障碍理论与 M(Y) 相对于 M′(Y → X) 的障碍理论可通过拉回实现相容。
• 确立 M(X) 的完美障碍理论可拉回到 M(Y) 上，从而保证虚拟基本类的相容性。
• 应用 Costello 的虚拟拉回定理，得出结论：h∗[M(Y)]vir = [M(X)]vir。

实验结果

研究问题

• RQ1 对数稳定映射模空间的虚拟基本类在对数型态变换下是否保持不变？
• RQ2 对数 Gromov–Witten 不变量在正规、双有理、对数 étale 的态射下如何变换？
• RQ3 经典 Gromov–Witten 理论中的双有理不变性能否推广至对数设定？
• RQ4 在对数型态变换 h: Y → X 下，M(X) 与 M(Y) 的障碍理论之间有何关系？

主要发现

• 对数稳定映射模空间 M(Y) 的虚拟基本类可拉回到 M(X) 上，即 h∗[M(Y)]vir = [M(X)]vir。
• 诱导态射 π: M(Y) → M(X) 是虚拟双有理的，即在具有平凡对数结构的稠密开子栈上诱导同构。
• M(X) 相对于 Log(M) 的障碍理论可拉回到 M(Y) 相对于 M′(Y → X) 的障碍理论，从而确保虚拟周期的相容性。
• 对于 X 上任意的数值数据 ΓX，存在唯一的 ΓY 在 Y 上，使得不变量 ⟨α1⋯αn⟩XΓX 与 ⟨h∗α1⋯h∗αn⟩YΓY 完全一致，而所有其他提升均消失。
• 该结果仅对环形（对数）型态变换成立，而非对任意双有理态射，例如 P² 的非环形爆破。
• 关键技术步骤是通过在基变换 C = C ×X Y 中收缩有理曲线，识别出障碍理论的拉回。