[论文解读] Compactifying the space of stable maps

Dan Abramovich, Angelo Vistoli|ArXiv.org|Aug 30, 1999

Algebraic Geometry and Number Theory参考文献 8被引用 16

一句话总结

本文引入了从轨道曲线到温和 Deligne-Mumford 堆栈的扭曲稳定映射，解决了堆栈上稳定映射模空间中的紧致化缺口问题。通过在节点处通过根堆栈赋予源曲线轨道空间结构，作者构建了一个合适的代数堆栈 $ackslash mathcal extless{}K extless extgreater extless{}_{g,n}( extless{}mathcal extless{}M extless extgreater,d)$，该堆栈对稳定映射空间进行了紧致化，并在适当条件下证明其为具有投影粗模空间的合适 Deligne-Mumford 堆栈。

ABSTRACT

We define two equivalent notions of twisted stable map from a curve to a Deligne-Mumford stack with projective moduli space, and we prove that twisted stable maps of fixed degree form a complete Deligne-Mumford stack with projective moduli space.

研究动机与目标

• 为解决当源曲线退化时，映射到 Deligne-Mumford 堆栈的稳定映射模空间的紧致化失败问题。
• 将 Kontsevich 的稳定映射模空间推广到映射到堆栈的情形，特别是当堆栈不是概形时。
• 定义一类新映射——扭曲稳定映射，其中源曲线在节点处获得轨道空间结构，从而实现紧致化。
• 在温和性和投影性假设下，证明扭曲稳定映射堆栈是一个合适的 Deligne-Mumford 堆栈，并具有投影粗模空间。
• 建立一个包含极限映射的紧致化，即使粗模空间映射无法延拓。

提出的方法

• 引入扭曲曲线作为通过在节点处取根堆栈得到的 Deligne-Mumford 堆栈，使用 $\mu_m$-作用来解析奇点。
• 使用 Abhyankar 引理和一个纯度引理，在基变换后将映射从曲线的光滑部分延拓到堆栈 $\mathcal{M}$。
• 将扭曲稳定映射定义为从扭曲曲线到 $\mathcal{M}$ 的态射 $\mathcal{C} \to \mathcal{M}$，满足类似于经典稳定映射的稳定性条件。
• 通过图册和轨道空间图册，将模堆栈 $\mathcal{K}_{g,n}(\mathcal{M},d)$ 构造为概形上的纤维范畴。
• 通过验证弱赋值准则和有界性，并利用温和堆栈的 Grothendieck 存在性定理，证明该堆栈是代数堆栈。
• 应用形式完成和下降技术，证明温和堆栈的形式完成上的凝聚层是代数化的，从而确保合适性。

实验结果

研究问题

• RQ1 为何经典稳定映射的定义在映射到像 $\mathcal{B}G$ 这类 Deligne-Mumford 堆栈时无法实现紧致化？
• RQ2 当粗模空间映射可延拓但堆栈映射不可延拓时，如何将稳定映射从曲线的通用纤维延拓到堆栈？
• RQ3 源曲线的何种几何结构允许在退化极限下将映射延拓到堆栈？
• RQ4 对具有投影粗模空间的温和 Deligne-Mumford 堆栈，其扭曲稳定映射的模堆栈本身是否为合适的 Deligne-Mumford 堆栈？
• RQ5 对温和堆栈的完成上的形式凝聚层是否可代数化，从而确保紧致化的存在？

主要发现

• 当 $\mathcal{M}$ 是具有投影粗模空间的温和 Deligne-Mumford 堆栈时，扭曲稳定映射堆栈 $\mathcal{K}_{g,n}(\mathcal{M},d)$ 是一个合适的 Deligne-Mumford 堆栈。
• 该堆栈具有投影粗模空间 $\mathbf{K}_{g,n}(\mathcal{M},d)$，将 Kontsevich 的构造推广到了堆栈情形。
• 扭曲稳定映射解决了 $\mathcal{B}G$ 情形下紧致化失败的问题：当 $G = (\mathbb{Z}/3\mathbb{Z})^4$ 时，即使粗模空间映射无法延拓，稳定映射仍可延拓到扭曲曲线。
• 该构造通过根堆栈在节点处赋予源曲线轨道空间结构，借助纯度和下降原理实现映射的延拓。
• Grothendieck 的温和堆栈存在性定理确保了完成上的形式凝聚层是代数化的，这是证明合适性的关键。
• 范畴 $\mathcal{K}_{g,n}(\mathcal{M},d)$ 满足弱赋值准则和有界性，确认其为代数堆栈。