[论文解读] Minimal models and boundedness of stable varieties

Kalle Karu|ArXiv.org|Apr 8, 1998

Algebraic Geometry and Number Theory参考文献 11被引用 52

一句话总结

该论文在假设 n+1 维的极小模型程序成立的前提下，建立了具有对数极小奇点和 ample canonical bundle 的稳定、可光滑化 n- fold 的模函子的有界性。通过应用弱稳定化减少和基于 MMP(n+1) 的相对 canonical 模型，证明了此类代数簇的项目化粗模空间的存在性，将 Matsusaka 的有界性定理推广至奇异稳定簇。

ABSTRACT

We consider a class of stable smoothable n-dimensional varieties, the analogs of stable curves. Assuming the minimal model program in dimension n+1, we prove that this class is bounded. From Kollar's method of constructing projective moduli spaces we get as a corollary that minimal model program in dimension n+1 implies the existence of a projective coarse moduli space for stable smoothable n-folds.

研究动机与目标

• 建立具有固定 Hilbert 函数、对数极小奇点和 ample canonical bundle 的稳定、可光滑化 n- fold 的模函子有界性。
• 将 Matsusaka 对具有 ample canonical bundle 的光滑簇的有界性结果推广至奇异稳定情形。
• 在假设 n+1 维极小模型程序成立的前提下，证明模函子由一个项目化概形粗略表示。
• 将 Alexeev 对于表面的有界性结果推广至高维稳定簇。
• 将方法适配至具有对数极小奇点和 ample K_X + D 的稳定对 (X, D)，在假设 log-MMP(n+1) 成立的前提下。

提出的方法

• 在参数化具有有理 Gorenstein 奇点和 ample canonical bundle 的正规簇的紧化 Hilbert 概形上构造一个普遍族。
• 对普遍族应用弱稳定化减少，得到具有对数极小奇点和良好退化性质的族。
• 利用 n+1 维的极小模型程序（MMP(n+1)）构造弱稳定化族的相对 canonical 模型。
• 借助 plurigenera 的不变性（通过 Siu–Kawamata 定理）证明相对 canonical 环在基上是有限生成的。
• 证明在项目化基 B 上构造的族参数化了所有具有给定 Hilbert 函数的稳定、可光滑化 n- fold。
• 通过考虑对数极小奇点和 log-MMP(n+1)，将方法适配至稳定对 (Y₀, D₀)，假设 plurigenera 不变性与对数极小对的半正性成立。

实验结果

研究问题

• RQ1 在假设 n+1 维极小模型程序成立的前提下，具有对数极小奇点和固定 Hilbert 函数的稳定、可光滑化 n- fold 的模函子是否具有有界性？
• RQ2 此类 n- fold 的粗模空间构造是否可归约为通过 MMP(n+1) 实现的族有界性？
• RQ3 具有对数极小奇点和 ample K_Y₀ + D₀ 的稳定对 (Y₀, D₀) 的有界性结果在多大程度上依赖于 log-MMP(n+1) 和 plurigenera 不变性？
• RQ4 半正性和 plurigenera 不变性假设在多大程度上可被更高维的 MMP 假设所替代？
• RQ5 模函子是否局部闭、分离且完备，从而使得有界性可推出项目化粗模空间的存在性？

主要发现

• 在假设 n+1 维极小模型程序成立的前提下，具有固定 Hilbert 函数 H 的稳定、可光滑化 n- fold 的模函子 M_H^sm 是有界的。
• 有界性蕴含项目化粗模空间 M_H^sm 的存在性，该空间粗略表示模函子。
• 由于 plurigenera 的不变性与 MMP(n+1) 的作用，弱稳定化族的相对 canonical 环是基上有限生成的代数层。
• 在项目化基上构造的族的纤维包含了所有具有给定 Hilbert 函数 H 的稳定、可光滑化 n- fold。
• 该证明简化并推广了 Alexeev 对对数极小奇点表面的有界性结果至高维 n- fold。
• 在 log-MMP(n+1) 和 plurigenera 不变性成立的前提下，该方法可适配至具有对数极小奇点和 ample K_Y₀ + D₀ 的稳定对 (Y₀, D₀)。