[论文解读] Gromov-Witten theory via roots and logarithms

Luca Battistella, Navid Nabijou+1 more|arXiv (Cornell University)|Mar 31, 2022

Polynomial and algebraic computation被引用 4

一句话总结

本文通过多根叠（multi-root stacks）将轨道丛 Gromov–Witten 理论与对数 Gromov–Witten 理论在 genus zero 情形下统一，针对简单横截对 $(X|D)$。通过引入一个 $\backslash$Lambda$-敏感爆破条件，并以一种朴素的 Gromov–Witten 理论作为中介，作者证明了足够精细的 strata 爆破会使得轨道丛不变量同构于对数不变量，从而揭示了双有理不变性是区分这两种理论的关键机制。

ABSTRACT

Orbifold and logarithmic structures provide independent routes to the virtual enumeration of curves with tangency orders for a simple normal crossings pair $(X|D)$. The theories do not coincide and their relationship has remained mysterious. We prove that the genus zero orbifold theories of multi-root stacks of strata blowups of $(X|D)$ converge to the corresponding logarithmic theory of $(X|D)$. With fixed numerical data, there is an explicit combinatorial criterion that guarantees when a blowup is sufficiently refined for the theories to coincide. There are two key ideas in the proof. The first is the construction of a naive Gromov-Witten theory, which serves as an intermediary between roots and logarithms. The second is a smoothing theorem for tropical stable maps; the geometric theorem then follows via virtual intersection theory relative to the universal target. The results import new computational tools into logarithmic Gromov-Witten theory. As an application, we show that the genus zero logarithmic Gromov-Witten theory of a pair is determined by the absolute Gromov-Witten theories of its strata.

研究动机与目标

• 解决关于简单横截对 $(X|D)$ 的对数与轨道丛 Gromov–Witten 理论之间长期存在的关系之谜。
• 确定轨道丛不变量在何种精确几何条件下，从多根叠的 strata 爆破中收敛至对数不变量。
• 建立基于 $D$ 的 strata 的绝对不变量的 genus zero 对数 Gromov–Witten 不变量的重构原理。
• 通过一种新的中间理论——朴素 Gromov–Witten 理论——为从对数理论到轨道丛理论提供计算桥梁。
• 证明双有理不变性是区分对数理论与轨道丛理论的本质属性。

提出的方法

• 引入一种新的‘朴素’Gromov–Witten 理论，作为轨道丛与对数理论之间的桥梁。
• 定义一种组合条件——$\backslash$Lambda$-敏感性——于 $(X|D)$ 沿 strata 的迭代爆破上，以确保轨道丛与对数不变量的收敛。
• 构建一个热带稳定映射的光滑化定理，以关联朴素理论与对数理论的虚拟周期。
• 使用相对于通用目标的虚拟交点理论，将热带结果提升至几何设定。
• 应用轨道丛的量子 Lefschetz 定理，将多根叠的受限 Gromov–Witten 理论约化为 strata 的不变量。
• 通过在射影丛上的 torus 作用进行局部化，利用不动点局部化与虚拟上推导定理计算贡献。

实验结果

研究问题

• RQ1 在何种条件下，$(X|D)$ 的 strata 爆破的多根叠的 genus zero 轨道丛 Gromov–Witten 不变量与 $(X|D)$ 的对数不变量一致？
• RQ2 何种几何性质解释了 genus zero 情形下对数与轨道丛 Gromov–Witten 理论之间的差异？
• RQ3 $(X|D)$ 的 genus zero 对数 Gromov–Witten 理论能否从其 strata 的绝对 Gromov–Witten 理论中重构？
• RQ4 朴素 Gromov–Witten 理论如何在轨道丛与对数方法之间起到中介作用？
• RQ5 双有理不变性在统一两种理论中扮演何种角色？

主要发现

• 对于具有数值数据 $\backslash$Lambda$ 的 genus zero 对数 Gromov–Witten 不变量 $(X|D)$，其同构于任意 $\backslash$Lambda$-敏感爆破 $(X^{\backslash$dagger$}|D^{\backslash$dagger$})\to(X|D)$ 的轨道丛不变量。
• 在 $\backslash$Lambda$-敏感性条件下，strata 爆破的多根轨道丛理论稳定收敛至对数理论，这是收敛结果的一个非平凡推论。
• $(X|D)$ 的 genus zero 对数 Gromov–Witten 理论可唯一地从 $D$ 的所有 strata 的绝对 Gromov–Witten 理论中重构，推广了 Maulik 与 Pandharipande 的结果。
• 通过局部化与虚拟上推导，多根叠 $\backslash$mathcal{X}$ 的受限 genus zero Gromov–Witten 理论可算法地由 $(X|D)$ 的 strata 的绝对理论确定。
• 局部化计算中的欧拉类项与 strata 交集 $\cap_{i\in I}D_i$ 的虚拟基本类一致，证实了向绝对不变量的约化。
• 根 gerbe 的虚拟上推导定理使得轨道丛积分 $\backslash$mathsf{Orb}$\backslash$Lambda$}(ackslash$mathcal{Z}$ackslash$mathrm{I}$)$ 可转化为在粗模空间 $\backslash$mathsf{M}$\backslash$Lambda$}(X)$ 上的积分，且插入项从 $X$ 拉回。