[论文解读] R\'eduction stable en dimension sup\'erieure [d'apr\`es Koll\'ar, Hacon-Xu...]

Olivier Benoist|arXiv (Cornell University)|Apr 6, 2019

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文提出了一类高维代数簇族在反 canonical 线丛 ample 时的稳定化简定理，将 Deligne-Mumford 对曲线的稳定化简定理推广至高维情形。通过极小模型程序与模理论，本文建立了任意维数下稳定代数簇的模空间存在性，证明了任意一般型代数簇族在基变换与爆破后，均存在具有 canonical 奇点与 ample 反 canonical 线丛的稳定、双有理模型。

ABSTRACT

The moduli space of stable curves of Deligne and Mumford is a compactification of the moduli space of smooth curves of genus >=2 that parametrizes certain nodal curves. It is a powerful tool for the study of algebraic curves. Higher-dimensional analogues were constructed by Koll\'ar, Shepherd-Barron and Alexeev in dimension 2, and by Viehweg in the case of smooth varieties. We will explain the recent ideas allowing for the construction of these moduli spaces in general, including the stable reduction theorem in higher dimension, which reflects their compactness. L'espace de modules des courbes stables de Deligne et Mumford est une compactification de l'espace de modules des courbes lisses de genre >=2, param\'etrant certaines courbes nodales. C'est un outil puissant pour l'\'etude des courbes alg\'ebriques. Des analogues en dimension sup\'erieure ont \'et\'e construits par Koll\'ar, Shepherd-Barron et Alexeev en dimension 2, et par Viehweg dans le cas des vari\'et\'es lisses. Nous expliquerons les id\'ees r\'ecentes ayant permis la construction de ces espaces de modules en g\'en\'eral, notamment le th\'eor\`eme de r\'eduction stable en dimension sup\'erieure, qui refl\`ete leur compacit\'e.

研究动机与目标

• 将曲线的稳定化简定理推广至反 canonical 线丛 ample 的高维代数簇族。
• 在任意维数下，建立一般型稳定代数簇的投影模空间存在性。
• 提供一般型代数簇模空间的模式紧化，类比 Deligne-Mumford 的 Mg。
• 通过引入稳定模型，解决半稳定化简中的非唯一性与几何不稳定性问题。
• 统一利用极小模型程序与 canonical 模型构造高维代数簇的模空间。

提出的方法

• 应用极小模型程序（MMP）构造反 canonical 线丛 ample 的代数簇族的 canonical 模型。
• 利用对数 canonical 与 Du Bois 奇点理论，控制全空间与纤维的奇点。
• 通过基变换与双有理变换实现稳定化简，确保纤维为具有 canonical 奇点的稳定代数簇。
• 通过稳定代数簇的函子构造模空间，并利用普遍族的存在性证明其可表示性。
• 利用模空间的完备性与分离性，推导出任意基维数下的稳定化简定理。
• 利用基的有限覆盖存在性，实现具有稳定纤维的族，依赖于模函子的有界性与开性。

实验结果

研究问题

• RQ1 曲线的稳定化简定理能否推广至一般型高维代数簇族？
• RQ2 在维数 ≥2 时，何种条件可保证稳定代数簇模空间的存在性？
• RQ3 如何在高维中为反 canonical 线丛 ample 的代数簇族构造 canonical 模型？
• RQ4 在高维族的稳定化简中，纤维的奇点与几何性质为何？
• RQ5 稳定代数簇的模空间在多大程度上继承了曲线情形下的几何与函子性质？

主要发现

• 稳定化简定理在任意基维数下成立：任意一般型代数簇族经基变换与双有理变换后，可得到具有稳定纤维的族。
• 一般型稳定代数簇的模空间作为投影代数堆栈存在，且为分离的、有限型的。
• 稳定代数簇被定义为具有至多 canonical 奇点与 ample 反 canonical 线丛的射影代数簇，推广了稳定曲线。
• 模空间的存在性通过模函子的有界性与开性建立，借助极小模型程序与 canonical 模型。
• 该构造依赖于存在一个基的有限覆盖，使得拉回族具有具有 canonical 奇点的稳定模型。
• 模空间为完备且投影的，确保了一般型代数簇族的退化仍由稳定代数簇参数化。