[论文解读] Boundedness of families of canonically polarized manifolds: A higher dimensional analogue of Shafarevich's conjecture

Sándor J. Kovács, Max Lieblich|arXiv (Cornell University)|Nov 22, 2006

Algebraic Geometry and Number Theory参考文献 17被引用 13

一句话总结

本文通过堆论方法，绕过模堆栈紧化带来的问题，建立了在奇点为闭合的基流形上，具有极化结构的典范线丛的形变类型的有界性。关键结果是：在任意有限型族中，此类形变类型的数量是有限且一致有界的，将沙法列维奇猜想推广至高维。

ABSTRACT

We show that the number of deformation types of canonically polarized manifolds over an arbitrary variety with proper singular locus is finite, and that this number is uniformly bounded in any finite type family of base varieties. As a corollary we show that a direct generalization of the geometric version of Shafarevich's original conjecture holds for infinitesimally rigid families of canonically polarized varieties.

研究动机与目标

• 建立典范极化流形的沙法列维奇猜想在高维的类比。
• 通过证明尽管在开基上不存在有限型模堆栈，形变类型的有限性仍成立，从而解决帕尔欣-阿罗凯洛夫重述中的有界性问题（B）。
• 通过堆论提升技术，证明典范体积的弱有界性（WB）蕴含粗有界性（B）。
• 证明典范极化代数簇的无穷小刚性族在数量上是有限的，从而确认沙法列维奇猜想的直接高维推广。
• 提供一个高维有界性结果的框架，避免依赖于 canonical ring 的有限生成性或完整的模堆栈紧化。

提出的方法

• 构建典范极化流形模空间的堆论代理，以绕过在开基上模堆栈非有限型的问题。
• 应用半稳定化定理以在基的有限覆盖上解析奇点并延拓族，从而支持有界性论证。
• 利用贝杜列夫与维赫韦格（2000）关于全 canonical 线丛直像的度数的弱有界性结果，推导出数值界。
• 将粗模映射提升至典范极化簇的堆，以恢复构造性与形变类型的有限性。
• 运用维赫格-佐正性结果控制在基变换下 canonical 体积线丛的度数。
• 应用相对 canonical 模型与堆论紧化理论，证明数值不变量的有界性蕴含形变类型的有限性。

实验结果

研究问题

• RQ1 尽管在开基上模堆栈紧化失败，能否在高维建立典范极化流形形变类型的有界性？
• RQ2 典范体积的弱有界性（即 $f_* ar{ heta}^m$ 的有界度数）是否在高维蕴含粗有界性（形变类型的有限性）？
• RQ3 是否存在典范极化流形族在开流形上的高维沙法列维奇猜想类比？
• RQ4 能否证明典范极化簇的无穷小刚性族在数量上是有限的，从而推广沙法列维奇猜想的几何版本？
• RQ5 在有界性论证中，堆论方法在多大程度上可替代有限型模堆栈的存在？

主要发现

• 在奇点为闭合的基流形上，典范极化流形的形变类型数量是有限的。
• 此有限性在任意有限型基流形族中是一致有界的。
• 即使模堆栈非有限型，通过堆论提升，典范体积的弱有界性（如 [BV00] 所示）仍蕴含粗有界性（B）。
• 典范极化簇的无穷小刚性族在数量上是有限的，从而确认了沙法列维奇猜想的直接高维推广。
• 该有界性结果对任意奇点为闭合的基流形成立，不仅限于曲线。
• 该证明避免了对 canonical ring 有限生成性的依赖，为基于极小模型程序的近期结果提供了替代路径。