[论文解读] Projectivity of the moduli space of stable log-varieties and subadditvity of log-Kodaira dimension

Sándor J. Kovács, Zsolt Patakfalvi|arXiv (Cornell University)|Mar 10, 2015

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

一句话总结

该论文通过证明一个强化的充分性引理，并利用行列式线丛与对数-Kodaira维度的次可加性，建立了广义型稳定对数代数簇的粗模空间的投影性。关键结果为：在固定体积、维度和系数集的前提下，任意此类模空间在特征零的代数闭域上均为投影代数簇。

ABSTRACT

We prove a strengthening of Kollár's Ampleness Lemma and use it to prove that any proper coarse moduli space of stable log-varieties of general type is projective. We also prove subadditivity of log-Kodaira dimension for fiber spaces whose general fiber is of log general type.

研究动机与目标

• 建立广义型稳定对数代数簇的粗模空间的投影性，解决高维模理论中的关键空白。
• 解决在传统GIT方法失效的高维情形下构造模投影紧化的挑战。
• 将模空间理论从曲线推广至具有分式边界系数的高维对数代数簇。
• 为同时容纳嵌入点与非约化基的模函子提供一个框架，澄清该领域中的基础性问题。
• 证明纤维空间中对数一般型纤维的对数-Kodaira维度的次可加性，推广双有理几何中的已知结果。

提出的方法

• 发展了Kollár充分性引理的强化版本，以处理几乎完备代数簇上的大线丛。
• 利用对数canonical层的直接像的行列式线丛，在模空间上构造充分除子。
• 应用半稳定化与基变换理论，控制对数canonical除子在形变下的行为。
• 运用Stein分解与双有理几何，关联不同总空间模型之间的Kodaira维度。
• 利用向量丛对称幂的通用全局生成性，证明直接像的“大”性质。
• 应用最大变异性与几乎完备基的概念，将结果推广至非射影基的情形。

实验结果

研究问题

• RQ1 在何种条件下，广义型稳定对数代数簇的粗模空间是投影的？
• RQ2 当一般纤维为对数一般型时，纤维空间的对数-Kodaira维度是否满足次可加性？
• RQ3 是否可在不依赖GIT的前提下，建立模空间上行列式线丛的充分性？
• RQ4 当边界除子出现嵌入点时，对数canonical除子在退化下的行为如何变化？
• RQ5 在几乎完备情形下，何种条件可保证对数canonical层的直接像在基上为“大”？

主要发现

• 任何作为固定体积、维度与系数集的稳定对数代数簇模函子的粗模空间的代数空间，均在特征零的代数闭域上为投影代数簇。
• 对充分可除的 q > 0，对数canonical层的直接像的行列式为“大”除子，从而确保模空间的投影性。
• 对纤维空间 f: (X, D) → Y，若一般纤维为klt且变异性最大，则对数-Kodaira维度满足次可加性，即存在 M 使得 κ(KX/Y + D) ≥ κ(KXη + Dη) + max{Var fcan, κ(M)}。
• 在几乎射影基上的稳定对数代数簇族中，对所有充分可除的 q > 0，有 f∗OX(q(KX/Y + D)) 为“大”层。
• 对数canonical层的直接像的“大”性质在基变换与Stein分解下保持不变，从而可将结果推广至非射影基。
• 几乎完备基理论允许将充分性与“大”性质结果推广至非射影基，借助新的充分性引理与通用全局生成性论证。