[论文解读] Stable varieties with a twist

Dan Abramovich, Brendan Hassett|ArXiv.org|Apr 17, 2009

Algebraic Geometry and Number Theory参考文献 37被引用 20

一句话总结

本文通过引入基于canonical ring的商叠框架，解决了Kollár族稳定概形的模问题。证明了半对数典范奇点的闭包在族中是开的，从而通过分圆与加权射影叠，建立了稳定概形的良好模空间。

ABSTRACT

We describe a new approach to the definition of the moduli functor of stable varieties. While there is wide agreement as to what classes of varieties should appear, the notion of a family of stable surfaces is quite subtle, as key numerical invariants may fail to be constant in flat families. Our approach is to add natural stack structure to stable varieties. For example, given a canonical model we take the global-quotient stack structure arising from its realization as Proj of the canonical ring. Deformations of the stack structure preserve key numerical invariants of the stable variety, including the top self-intersection of the canonical divisor. This approach yields a transparent construction of the moduli stack of stable varieties as a global quotient of a suitable Hilbert scheme of weighted projective stacks.

研究动机与目标

• 通过处理对偶化层非可逆的Kollár族，解决稳定概形模空间中的非平坦性问题。
• 证明用商叠替代canonical模型可保持几何与模理论性质，从而实现良好模空间。
• 证明半对数典范奇点的闭包在族中是开的，这是构建恰当模紧化的关键步骤。
• 建立具有叠结构的稳定概形族的良模空间，扩展Viehweg与Kollár的结果。
• 通过canonical ring的叠结构控制奇点与基变换行为，将极小模型程序与模理论统一。

提出的方法

• 引入商叠 $\mathcal{X}^{\operatorname{can}} = \operatorname{Proj} R(X) = [ (\operatorname{Spec} R(X) \setminus 0)/\mathbb{G}_m ]$ 作为编码稳定概形canonical ring的精细几何对象。
• 使用分圆与加权射影叠来建模 $\omega_X^{[n]}$ 不可逆的点处的叠结构。
• 应用奇异性的同步良好解析，对基进行分层并分析族中的分歧。
• 利用Adjunction定理与Adjunction反演定理，将全空间的对数典范性质与纤维关联。
• 借助诺特归纳法与奇点闭包的构造性，证明基中半对数典范闭包的开性。
• 证明 $\omega_{\pi}^{[n]}$ 的基变换行为与叠结构的良态性等价，符合Kollár的定义。

实验结果

研究问题

• RQ1 Kollár族的稳定概形能否以保持对偶化层基变换行为的方式进行紧化？
• RQ2 在模问题中，用商叠替代canonical模型是否能解决对偶化层非可逆的问题？
• RQ3 在稳定概形的平坦族中，半对数典范奇点的闭包是否是开的？
• RQ4 能否通过canonical ring的叠理论紧化来构造稳定概形的模空间？
• RQ5 在具有奇点的稳定概形族中，对数分歧度在基变换下的行为如何？

主要发现

• 在稳定概形的平坦族中，半对数典范奇点的闭包在基中是开的，这是模紧化的基础性结果。
• 商叠 $\mathcal{X}^{\operatorname{can}} = \operatorname{Proj} R(X)$ 提供了canonical模型的自然紧化，保留了概形的代数起源。
• 具有叠结构的稳定概形族具有良好模空间，当对偶化层不可逆时，其与Kollár族等价。
• 使用同步良好解析使分歧分析在各层上保持恒定，从而证明SLC闭包的开性。
• 利用Adjunction反演定理与Adjunction定理，将纤维的对数典范性质传播至全空间，确保族间的一致性。
• 该构造表明，具有叠结构的稳定概形模空间是良态的，扩展了对偶化层可逆情形的结果。