[论文解读] Stable logarithmic maps to Deligne--Faltings pairs II

Dan Abramovich, Qile Chen|arXiv (Cornell University)|Feb 22, 2011

Algebraic Geometry and Number Theory参考文献 32被引用 42

一句话总结

本文通过范畴框架，建立了广义 Deligne–Faltings 对的稳定对数映射模堆栈的代数性与固有性。通过将一般情形约化至由单群 $\mathbb{N}^k$ 生成的对数结构这一基础情形，作者提供了一种‘纯粹思想’的证明方法，该方法可推广至简单横截相交除子及其退化情形，借助对数几何中的下降性与极小性。

ABSTRACT

We make an observation which enables one to deduce the existence of an algebraic stack of log maps for all generalized Deligne--Faltings log structures (in particular simple normal crossings divisor) from the simplest case with log structures given by a Cartier divisor (essentially the smooth divisor case).

研究动机与目标

• 建立广义 Deligne–Faltings 对数结构下稳定对数映射模堆栈 $\mathcal{K}_\Gamma(Y)$ 的代数性与固有性。
• 表明该模堆栈的存在性可从更简单的 $\mathbb{N}$-生成对数结构情形，借助范畴框架推导而出。
• 通过下降性与极小性，将理论推广至具有简单横截相交除子及退化情形的目标空间。
• 为对数 Gromov–Witten 理论中的取值映射提供基础，其应用超出主要结果本身。

提出的方法

• 使用范畴框架，通过在对数概型范畴上的纤维积，将稳定对数映射堆栈与底层预稳定映射堆栈关联起来。
• 通过一种‘纯粹思想’的证明策略，将广义 Deligne–Faltings 对数结构的一般情形约化至 $\mathbb{N}^k$-生成单群的基情形。
• 通过从极小参数化堆栈的严格拉回定义稳定对数映射的极小性，确保唯一性与相容性。
• 在 fs 对数概型范畴中构造上推图，以分析基变换下对数结构的行为。
• 利用退化情形下接触阶的消失，证明特征态射 $\bar{k}$ 是同构，从而推出严格性。
• 借助对数结构的组合结构及边/顶点单群，证明总空间中的极小性蕴含退化中的极小性。

实验结果

研究问题

• RQ1 广义 Deligne–Faltings 对数结构下，堆栈 $\mathcal{K}_\Gamma(Y)$ 的代数性与固有性能否从更简单的 $\mathbb{N}$-生成情形推导而出？
• RQ2 稳定对数映射的极小性在基变换与退化情形下如何表现？
• RQ3 稳定对数映射堆栈是否与对数概型范畴上的纤维积相容？
• RQ4 总空间中的极小性与对数映射退化中的极小性之间存在何种关系？
• RQ5 能否通过下降技术将该理论推广至非简单横截相交除子的情形？

主要发现

• 对于任意广义 Deligne–Faltings 对数结构 $Y$，稳定对数映射堆栈 $\mathcal{K}_\Gamma(Y)$ 均为代数且固有，推广了 $\mathbb{N}^k$-情形的结果。
• 稳定对数映射的极小性等价于其为从极小参数化堆栈的严格拉回，且其底层映射为恒等映射。
• 当所有接触阶消失时，特征单群上的诱导映射 $\bar{k}: \overline{\mathcal{M}}_{S'} \to \overline{\mathcal{M}}_S$ 是同构，从而保证严格性。
• 在退化情形中，总映射的极小性蕴含其在总空间上的映射的极小性，这是由于对数结构在上推下的相容性。
• 该构造与 $\mathfrak{LogSch}$ 上的纤维积相容，将经典稳定映射结果推广至对数情形。
• 该框架使得对数 Gromov–Witten 理论中取值映射的系统构造成为可能，已在后续工作 [ACGM] 中得到应用。