[论文解读] Decomposition of degenerate Gromov-Witten invariants

Dan Abramovich, Qile Chen+2 more|arXiv (Cornell University)|Sep 28, 2017

Algebraic Geometry and Number Theory参考文献 33被引用 28

一句话总结

本文建立了对数退化情形下退化 Gromov-Witten 不变量的虚拟分解公式，表明在奇异纤维上，稳定对数映射模空间的虚拟基本类可分解为退化对数化图的刚性热带映射的贡献之和。关键结果通过热带几何与 Artin 簇，将经典分解定理推广至任意简单对数结构的情形。

ABSTRACT

We prove a decomposition formula of logarithmic Gromov-Witten invariants in a degeneration setting. A one-parameter log smooth family X->B with singular fibre over b_0 \in B yields a family M(X/B,β) -> B of moduli stacks of stable logarithmic maps. We give a virtual decomposition of the fibre of this family over b_0 in terms of rigid tropical curves. This generalizes one aspect of known results in the case that the fibre X_{b_0} is a normal crossings union of two divisors. We exhibit our formulas in explicit examples.

研究动机与目标

• 将退化族中 Gromov-Witten 不变量的分解推广至非横截相交情形之外。
• 建立以刚性热带映射表示的对数 Gromov-Witten 不变量的虚拟分解公式。
• 通过 Artin 簇与对数变换，将奇异纤维上模空间的虚拟基本类与热带数据关联起来。
• 为利用热带几何与虚拟周期理论在退化情形下计算不变量提供一个框架。

提出的方法

• 作者利用对数稳定映射及其模栈来定义退化族中的虚拟基本类。
• 通过关联退化 X → B 的对数化图 Δ(X₀) 到其多面体复形，应用热带几何。
• 刚性热带映射 τ 按其组合类型与权重 mτ 分类，其中 mτ 反映边长的整数缩放。
• 分解公式将虚拟类表示为对所有刚性热带类型的求和，权重为 mτ / |Aut(τ)|，并通过包含映射 jτ 的推出实现。
• 该方法依赖于对数变换与横截映射，以构造预对数映射的增强结构，确保模空间结构的正确性。
• 通过障碍理论与特征类计算，在具体例子（包括 Fano 曲面中曲线的爆破与退化）中计算虚拟周期。

实验结果

研究问题

• RQ1 在非横截相交情形之外，如何对退化对数族中的 Gromov-Witten 不变量进行分解？
• RQ2 在以热带数据表示时，奇异纤维上稳定对数映射模空间的虚拟基本类的精确虚拟分解是什么？
• RQ3 刚性热带映射如何编码退化纤维中每个分量对虚拟基本类的贡献？
• RQ4 该分解公式能否通过总空间的对数变换与爆破实现几何化？
• RQ5 当对数化图对应非基本或退化热带类型时，稳定对数映射的虚拟计数是多少？

主要发现

• 奇异纤维上模空间的虚拟基本类可分解为所有刚性热带映射 τ 的和，权重为 mτ / |Aut(τ)|，从而证明了定理 3.11。
• 在一组三次曲线的线性系中，有理曲线的虚拟计数为零，原因在于障碍丛平凡且陈类为零。
• 当 n₃ = 2 且 n₁ = n₂ = 0 时，刚性热带映射并非源自基本稳定对数映射，而是在爆破后于细化模空间中作为退化出现。
• 在对 X 进行四分量爆破后，中心纤维上稳定映射的模空间有两个同构于 ℙ¹ × ℙ¹ 的分支，每个分支的虚拟类等于 𝒪(1) ⊕ 𝒪(1) 的上层陈类，其度数为 1。
• 当 n₁ = n₂ = 1 或 n₁ + n₂ = 1 时，热带类型的虚拟类同样为零，原因在于障碍空间同构且陈类平凡。
• 当 n₁ = 2 或 n₂ = 2 时，该情形不可能发生，因为同调约束使得不存在稳定对数曲线能实现此类热带类型。