[论文解读] Cone theorem and Mori hyperbolicity

Osamu Fujino|arXiv (Cornell University)|Feb 23, 2021

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

一句话总结

本文建立了拟-log概形的锥定理，并通过证明：若一个Mori双曲的极小模型对是极小奇点的，则其对数 canonical 除子是 nef 的，从而解决了 Svaldi 的问题。利用极小模型程序和混合 Hodge 理论的先进技术，作者证明了非极小点集中的有理曲线的存在性刻画了对数 canonical 除子的 nef 性，进一步证明了相对拟-log Fano 概形的纤维模非 qlc 子集是有理链连通的。

ABSTRACT

We discuss the cone theorem for quasi-log schemes and the Mori hyperbolicity. In particular, we establish that the log canonical divisor of a Mori hyperbolic projective normal pair is nef if it is nef when restricted to the non-lc locus. This answers Svaldi's question completely. We also treat the uniruledness of the degenerate locus of an extremal contraction morphism for quasi-log schemes. Furthermore, we prove that every fiber of a relative quasi-log Fano scheme is rationally chain connected modulo the non-qlc locus.

研究动机与目标

• 在 Mori 双曲性的背景下，建立拟-log概形的锥定理。
• 解决 Svaldi 关于 Mori 双曲对中对数 canonical 除子的 nef 性的问题。
• 证明相对拟-log Fano 概形的纤维模非 qlc 子集是有理链连通的。
• 通过附带和极小模型程序技术，将极小模型程序中极端收缩和有理曲线的理论推广到拟-log概形。

提出的方法

• 使用拟-log概形及其奇点的理论，特别关注非极小点集和非 qlc 子集。
• 应用带缩放的极小模型程序，以及通过 [H1] 和 [BCHM] 得到的 dlt 对的终止结果。
• 运用负性引理，比较翻转和除子收缩中的交数。
• 利用弯折与断裂技术，以及非极小点集中有理曲线的存在性，构造从 𝔸¹ 到非平凡态射。
• 应用附带和子附带，将整体对的几何与 lc strata 的几何联系起来。
• 依赖 Hironaka 的奇点解耦和 Kodaira 型消失定理，这些在 ℂ 上成立。

实验结果

研究问题

• RQ1 在什么条件下，Mori 双曲的正规对数 canonical 除子是 nef 的？
• RQ2 是否可以在一般情况下（包括非光滑和非 dlt 情况）建立拟-log概形的锥定理？
• RQ3 相对拟-log Fano 概形的纤维结构是怎样的，特别是模非 qlc 子集？
• RQ4 Kleiman–Mori 锥中的极端射与非极小点集中的有理曲线之间有何关系？
• RQ5 能否利用非极小点集中有理曲线的存在性来刻画对数 canonical 除子的 nef 性？

主要发现

• 若一个 Mori 双曲的极小模型对是极小模型对，则其对数 canonical 除子是 nef 的，这完全解决了 Svaldi 的问题。
• 相对拟-log Fano 概形的每个纤维模非 qlc 子集是有理链连通的，推广了已知的有理连通性结果。
• 对于每个 (K_X + Δ)-负极端射，若其为有理射且在无穷远处相对 ample，则存在一个非平凡态射 f: 𝔸¹ → U_j，其中 U_j 是一个开 lc stratum，且 f(𝔸¹) 的闭包张成该射。
• 极小模型对的锥定理被推广到拟-log概形，Kleiman–Mori 锥被分解为 nef、负无穷和有理极端射部分。
• 非极小点集中有理曲线的存在性等价于对数 canonical 除子的非 nef 性，提供了几何刻画。
• 证明依赖于极小模型程序和附带，终止性在适当假设下由 [H1] 和 [BCHM] 确保。