[论文解读] Boundedness of moduli of varieties of general type

Christopher D. Hacon, James McKernan+1 more|arXiv (Cornell University)|Dec 3, 2014

Algebraic Geometry and Number Theory参考文献 21被引用 6

一句话总结

本文建立了具有固定体积和有界系数的广义型半对数 canonical 对偶对模空间的有界性。通过证明良好极小模型在族中表现良好，并利用 plurigenera 的形变不变性，作者表明此类对偶对构成一个有界族，从而解决了在高维中构造模空间的关键一步。

ABSTRACT

We show that the family of semi log canonical pairs with ample log canonical class and with fixed volume is bounded.

研究动机与目标

• 建立具有固定体积和有界系数的广义型半对数 canonical 对偶对的模函子有界性。
• 通过正规化和双分支点技术，将对对数 canonical 对偶对的有界性结果扩展到半对数 canonical 对偶对。
• 证明良好极小模型和 ample 模型在族中表现良好，确保在基变换下兼容。
• 为使用 Kollár-Shepherd-Barron 计划构建高维稳定代数簇的模空间提供基础步骤。
• 证明当体积和系数集固定时，模空间是有界的，这意味着在双有理等价意义下系数集是有限的。

提出的方法

• 通过半对数 canonical 对偶对的正规化将问题约化为对数 canonical 对偶对，其中 $ K_Y + \Gamma = n^*(K_X + \Delta) $。
• 在族中应用 MMP，并在对数光滑性假设下证明 plurigenera 在平坦变形下的不变性。
• 证明若某纤维具有良好极小模型，则整体族在基上也具有良好极小模型。
• 利用具有良好极小模型的纤维的集合的构造性，确保族之间的兼容性。
• 应用 $ \omega_X $ 的反射幂的基变换相容性，以及 pluricanonical 系统限制映射的满射性。
• 通过 $ \lfloor \Delta \rfloor $ 中子簇的正规化上的有限个对合，将半对数 canonical 对偶对的有界性约化为对数 canonical 对偶对的有界性。

实验结果

研究问题

• RQ1 当体积和系数集固定时，广义型半对数 canonical 对偶对的模空间是否是有界的？
• RQ2 若族中某纤维存在良好极小模型，是否意味着整体族也存在良好极小模型？
• RQ3 在对数 canonical 对偶对的族中，pluricanonical 系统到纤维的限制是否与基变换兼容？
• RQ4 能否通过正规化和对合数据将对数 canonical 对偶对的有界性结果推广到半对数 canonical 对偶对？
• RQ5 当体积和维数固定时，边界除子中的系数集是否在双有理等价意义下是有限的？

主要发现

• 具有固定维数 $ n $、固定体积 $ d $ 以及系数属于 DCC 集 $ I $ 的半对数 canonical 对偶对族 $ \mathfrak{F}_{\text{slc}}(n,d,I) $ 是有界的。
• 存在一个有限集 $ I_0 $，使得 $ \mathfrak{F}_{\text{slc}}(n,d,I) = \mathfrak{F}_{\text{slc}}(n,d,I_0) $，这意味着系数类型的种类是有限的。
• 若一个光滑基上的对数光滑族的纤维具有良好极小模型，则整体族在基上也具有良好极小模型。
• 限制映射 $ \pi_*\mathcal{O}_X(m(K_X + \Delta)) \to H^0(X_u, \mathcal{O}_{X_u}(m(K_{X_u} + \Delta_u))) $ 对所有满足 $ m\Delta $ 为整除子的 $ m \in \mathbb{N} $ 都是满射。
• 整体族的 ample 模型限制到每个纤维上即为该纤维的 ample 模型，从而确保了族中 canonical 模型的一致性。
• 具有固定体积和有限系数集的对数 canonical 对偶对族的有界性，通过 $ \lfloor \Delta \rfloor $ 中子簇的正规化上的对合数据，蕴含了相应半对数 canonical 对偶对族的有界性。