[论文解读] The degeneration formula for logarithmic expanded degenerations

Qile Chen|arXiv (Cornell University)|Sep 22, 2010

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

一句话总结

本文通过结合Abramovich-Fantechi的轨道丛技术与Kim的对数稳定映射，为对数展开奇点建立了一个退化公式，同时纳入了来自标记点和除子的对数结构。关键贡献在于构建了一个虚拟基本类，使得退化公式与[AF]的结构相匹配，证明了在此背景下横截映射与对数稳定映射的等价性。

ABSTRACT

We define a notion of logarithmic stable maps based on Bumsig Kim's construction. Then we prove a degeneration formula under this setting by applying the method develeoped by Dan Abramovich and Barbara Fantechi for transversal maps.

研究动机与目标

• 通过使用对数结构将格罗莫夫-威滕理论推广至退化族中的奇异纤维。
• 通过引入对数结构与虚拟基本类，解决在展开奇点中预形变性并非开集的问题。
• 为带有来自标记点与除子的额外对数结构的对数稳定映射构造一个完美障碍理论。
• 为对偶对(X_i, D_i)的相对不变量证明一个退化公式，其结构与Abramovich-Fantechi的公式一致。
• 在退化背景下，建立横截映射与对数稳定映射之间的概念与技术桥梁。

提出的方法

• 采用Kim的对数稳定映射概念，但将对数结构丰富化，以包含来自标记点与光滑除子的贡献。
• 使用与[Kim09]相同的方法构造对数稳定映射的模堆栈，确保与[Ols05]中对数余切复形的兼容性。
• 通过对其数余切复形构造虚拟基本类，借鉴[AF]的方法以确保横截性与完美障碍理论。
• 通过在除子上构造根堆栈来构造横截映射，实现开条件并简化障碍理论的构造。
• 证明本文中对数稳定映射的模堆栈与[AF]中的模堆栈同构或等价，从而实现分裂结果的转移。
• 通过线丛的同构元组分析对数映射的粘合，避免使用推出图，从而实现虚拟基本类的比较。

实验结果

研究问题

• RQ1 能否通过使用增强对数结构的对数稳定映射，为对数展开奇点建立退化公式？
• RQ2 将来自标记点与除子的对数结构纳入后，对稳定映射的形变理论与障碍理论有何影响？
• RQ3 对数稳定映射的虚拟基本类是否与[AF]中通过横截映射构造的虚拟基本类相容？
• RQ4 能否以线丛同构的元组而非推出图来描述对数映射的粘合？
• RQ5 本文中[AF]的横截映射理论与本文的对数稳定映射理论之间存在何种关系？

主要发现

• 定理7.1.3建立了对数展开奇点的退化公式，其结构与[AF]中的公式一致。
• 通过对数余切复形构造了对数稳定映射堆栈的虚拟基本类，确保了完美障碍理论。
• 本文中对数稳定映射的模堆栈与[AF]中的模堆栈同构或等价，从而实现了分裂结果的转移。
• 对数映射的粘合由线丛同构的元组表征，为比较虚拟基本类提供了具体方法。
• 本文提供了强有力的证据，表明[AF]中的横截映射理论与本设定下的对数稳定映射理论等价，该等价性预计将在未来工作中得到证明。