[论文解读] Ampleness of the CM line bundle on the moduli space of canonically polarized varieties

Zsolt Patakfalvi, Chenyang Xu|arXiv (Cornell University)|Mar 30, 2015

Geometry and complex manifolds参考文献 19被引用 4

一句话总结

本文利用代数几何技巧证明了在KSBA模空间上，CM线丛是正的，从而确立了模空间紧化中至关重要的正性性质。证明依赖于Nakai-Moishezon判别法与维数归纳法，表明KSBA稳定族的相对对数canonical丛的$(n+1)$次幂的直接像为正。

ABSTRACT

We prove that the CM line bundle is ample on the proper moduli space which parametrizes KSBA stable varieties.

研究动机与目标

• 确立KSBA模空间上极化为正的代数簇的CM线丛的正性。
• 提供CM线丛正性的纯代数证明，避免使用分析方法。
• 通过极小模型程序（MMP）与KSBA稳定性，深化对模空间紧化的理解。
• 验证CM线丛是否诱导KSBA稳定代数簇模空间的射影嵌入。

提出的方法

• 使用Nakai-Moishezon判别法，将正性问题转化为顶阶交数的正性问题。
• 应用KSBA族中相对canonical层的反射幂的基变换相容性。
• 通过将基空间$T$进行通用有限基变换至光滑射影簇$T'$，将问题约化为对数canonical一般纤维的情形。
• 应用注入性定理与Grauert判别法，在$T'$上构造相对对数canonical模型。
• 利用弱稳定化减少的存在性与相对MMP，获得相对良好极小模型。
• 借助维数归纳法，并利用在基空间$T_i$上，$(K_{Y/T}+E)^{n+1}$的直接像为正的性质。

实验结果

研究问题

• RQ1 CM线丛在KSBA模空间上极化为正的代数簇上是否为正？
• RQ2 能否仅通过代数几何方法，不依赖分析曲率方法，确立CM线丛的正性？
• RQ3 在KSBA族中，相对对数canonical丛的$(n+1)$次幂的直接像在基变换下是否仍为正？
• RQ4 能否通过CM线丛证明KSBA稳定代数簇的模空间为射影空间？

主要发现

• CM线丛在KSBA模空间$M^{ m ksba}$上为正，证实了模理论中的一个关键猜想。
• 对于任意$n$维KSBA稳定对族，其直接像$f_*((K_{Z/T}+ar{ abla})^{n+1})$在基空间$T$上为正。
• 该证明通过Nakai-Moishezon判别法，结合基变换与相对MMP技术，确立了CM线丛的正性。
• 该结果在有限纤维同构等价类与对数对数奇点的假设下成立。
• 通过弱稳定化减少与相对MMP，论证可推广至具有对数canonical一般纤维的族。