[论文解读] Existence of log canonical closures

Christopher D. Hacon, Chenyang Xu|arXiv (Cornell University)|May 5, 2011

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

一句话总结

本文在基流形上于弱条件下建立了对极对数对（dlt pairs）良好极小模型的存在性，证明了若一个 dlt 对在基的稠密开子集上具有良好极小模型，且所有非 klt 中心均与该子集相交，则其在整个基上亦存在良好极小模型。核心贡献是一项基础性结果，使对数极小紧化成为可能，并验证了稳定概形模函子的良态性之赋值准则。

ABSTRACT

Let $f:X o U$ be a projective morphism of normal varieties and $(X,Δ)$ a dlt pair. We prove that if there is an open set $U^0\subset U$, such that $(X,Δ) imes_U U^0$ has a good minimal model over $U^0$ and the images of all the non-klt centers intersect $U^0$, then $(X,Δ)$ has a good minimal model over $U$. As consequences we show the existence of log canonical compactifications for open log canonical pairs, and the fact that the moduli functor of stable schemes satisfies the valuative criterion for properness.

研究动机与目标

• 在确保在稠密开子集上具有良好行为的条件下，建立对基流形上 dlt 对良好极小模型的存在性。
• 证明对开对数极小对可紧化为在更大基上投影的对数极小对，即实现对数极小紧化。
• 通过极小模型程序验证稳定概形模函子的良态性之赋值准则。
• 确认对数极小态态射与对数极小情形下翻转的基变换紧化猜想。
• 为研究 $ε$-lc 中心及对数极小范畴中翻转的存在性提供基础工具。

提出的方法

• 通过维数归纳法，将问题约化至非 klt 轨迹 $S = \lfloor \Delta \rfloor$，将其视为 sdlt 对处理。
• 应用 Kollár 的粘合理论，将非 klt 轨迹各分量上的极小模型结果推广至整个非 klt 轨迹。
• 利用 Fujino 对 Kawamata 基点自由定理的推广，证明在给定条件下极小模型自动为良好模型。
• 应用典范丛公式分析 Iitaka 纤维化，并控制基变换下对数极小除子的行为。
• 利用在 $U^0$ 上良好极小模型的存在性及非 klt 中心的交集条件，将良好模型结构传播至整个基 $U$。
• 应用粘合理论将曲线芽上的对数极小模型扩展，并通过对合扩张与商构造方法构造紧化族。

实验结果

研究问题

• RQ1 当一个 dlt 对在基流形上具有稠密开子集上的良好极小模型时，其在基上何时存在良好极小模型？
• RQ2 每个开对数极小对是否都能紧化为在投影基上对数极小对？
• RQ3 稳定概形的模函子是否满足良态性的赋值准则？
• RQ4 在稠密开集上存在良好极小模型的假设下，对数极小对的翻转是否存在？
• RQ5 能否通过基变换与粘合技术将对数极小对的极小模型程序推广？

主要发现

• 若基 $U$ 上的 dlt 对 $(X, \Delta)$ 在稠密开子集 $U^0 \subset U$ 上具有良好极小模型，且所有非 klt 中心均与 $X^0 = X \times_U U^0$ 相交，则 $(X, \Delta)$ 在整个基 $U$ 上存在良好极小模型。
• 每个开对数极小对 $(X^0, \Delta^0) \to U^0$ 均可紧化为在正常准射影概形 $U$ 上的投影对数极小对 $(X, \Delta) \to U$。
• 对任意仿射有限型的 lc 态射 $f^0: X^0 \to U$，其中 $U$ 为光滑曲线，存在一个有限支配的基变换 $\widetilde{U} \to U$，以及一个扩张 $f: X \to \widetilde{U}$ 的投影 lc 态射。
• 半对数极小模型的模函子满足良态性的赋值准则，此结论通过基变换与对数极小模型的粘合方法得以证明。
• 当 $K_X + \Delta' + \Delta'' \sim_{\mathbb{Q}, U} 0$ 且 $(X, \Delta'')$ 为 dlt 时，$(K_X + \Delta'')$-MMP 带缩放在 $U$ 上终止于良好极小模型或 Mori 纤维化。
• 在所述条件下，翻转的存在性由带缩放的 MMP 终止性推出，因此对数极小对的翻转存在。