[论文解读] Differential forms on singular spaces, the minimal model program, and hyperbolicity of moduli stacks

Stefan Kebekus|arXiv (Cornell University)|Jul 21, 2011

Algebraic Geometry and Number Theory参考文献 29被引用 8

一句话总结

该论文通过将模理论与极小模型程序（MMP）联系起来，将Shafarevich双曲性猜想推广到高维族的代数簇。它证明了：若一个三叉面基上的代数簇族具有平凡canonical类且为最大变差族，则该族必为等变族，其证明基于可微微分形式与Viehweg-Zuo层构造，通过Bogomolov-Sommese消去定理与对数极小对的性质导出矛盾。

ABSTRACT

This survey discusses hyperbolicity properties of moduli stacks and generalisations of the Shafarevich Hyperbolicity Conjecture to higher dimensions. It concentrates on methods and results that relate moduli theory with recent progress in higher dimensional birational geometry.

研究动机与目标

• 将Shafarevich双曲性猜想从曲线族推广至高维基上的高维代数簇族。
• 研究仅允许常值映射到高维代数簇模堆栈的代数簇所受的几何约束。
• 建立基空间的极小模型程序（MMP）与到模堆栈的态射行为之间的联系。
• 通过分析可微微分形式与对数极小对的结构，证明三叉面上族的Viehweg猜想。
• 证明：在具有平凡canonical类的三叉面上，若族为最大变差族，则其必为等变族，通过线丛的正性与消去定理导出矛盾。

提出的方法

• 利用Viehweg-Zuo构造在基空间上构造一个秩为一的反射层，其Kodaira-Iitaka维数达到最大。
• 对对数极小对 $(Y_ u, (1- u)D_ u)$ 应用对数极小模型程序（log MMP），在基空间上获得Mori纤维化结构。
• 运用Harder-Narasimhan技巧，证明最小模型 $Y_ u$ 的Picard数大于一，从而蕴含非平凡纤维化结构。
• 对对数极小对应用Bogomolov-Sommese消去定理，排除对数微分形式的不稳定子层上存在$Q$-ample线丛的可能性。
• 通过纤维维数的归纳法，假设猜想在曲面上成立，若族为最大变差族则导出矛盾。
• 分析族在纤维化一般纤维上的限制，表明此类限制不可能为最大变差族，从而与初始假设矛盾。

实验结果

研究问题

• RQ1 哪些拟射影代数簇仅允许常值态射到高维代数簇模堆栈？
• RQ2 基空间的极小模型程序如何约束非等变族的存在性？
• RQ3 基空间需满足何种条件，才能确保任何最大变差族必为等变族？
• RQ4 在奇点空间上存在可微全纯多价微分形式，是否可用于推导模堆栈的双曲性性质？
• RQ5 对数极小对与dlt结构在高维模理论中控制族变差性的角色为何？

主要发现

• 在具有平凡canonical类的三叉面基上，若族为最大变差族，则其存在性将导致线丛正性矛盾，故不可能存在。
• 若存在一个秩为一的反射层 $ olimits_{ u}$ 满足 $ olimits( olimits_{ u}) = ext{dim } Y_{ u}$，则其意味着对数微分形式层的非半稳定。
• 最小模型 $Y_ u$ 的Picard数大于一，故存在非平凡纤维化结构 $ olimits_{ u} o Z$。
• 纤维化的一般纤维 $F$ 是一个$Q$-因子化的对数极小对 $(F, D_F)$，满足 $ olimits(K_F + D_F) = 0$，因此 $F$ 的Kodaira维数为零。
• 族在一般纤维严格变换上的限制不可能为最大变差族，与原始基上假设的变差性矛盾。
• 结果证实了Viehweg猜想在三叉面上的一个特例：若 $ olimits(Y^{ullet}) = 0$，则族为等变族。