[论文解读] About a Minimal Model Program without flips

Alberto Chiecchio|arXiv (Cornell University)|Oct 23, 2014

Algebraic Geometry and Number Theory参考文献 16被引用 3

一句话总结

本文引入了 Weil Néron-Severi 空间及其相关的 nef 锥和 Weil 曲线锥，适用于具有对数终端奇点的正常投影代数簇，从而实现无需翻转的极小模型程序（MMP）。通过在该框架下建立新的锥定理和扩张定理，作者构建了一个通过 Q-因子化结束的程序，避免了翻转，为 Q-因子化模型提供了与标准 MMP 相同结果的平行路径。

ABSTRACT

We introduce a new vector space associated to projective variety, the Weil Neron-Severi space, which we show is finitely generated and contains the usual Neron-Severi space as a subspace. We define the Nef cone of Weil divisor and the cone of Weil curves. We study these cones, and prove a new Cone theorem. We use this theorem to propose a Minimal Model Program without flips.

研究动机与目标

• 开发一种极小模型程序（MMP），通过在非 Q-因子化代数簇上使用 Weil 除子来避免翻转。
• 定义一个新的向量空间——Weil Néron-Severi 空间，其有限生成，并包含经典的 Néron-Severi 空间作为子空间。
• 为具有对数终端奇点的代数簇上的 Weil 除子建立锥定理和扩张定理。
• 证明该程序产生的模型具有 Q-因子化奇点和对数 Fano 纤维，与标准 MMP 的结果一致。
• 提供一个与标准 MMP 平行的框架，而非替代方案，其依赖于 [BCHM10] 和 [CU13] 的基础结果。

提出的方法

• 将 Weil Néron-Severi 空间 NS(X)W 定义为 Weil 除子模去数值平凡的 Weil 除子的空间，并证明其有限维性。
• 通过对偶性引入 Weil nef 锥 Nef(X)W 和 Weil 曲线锥 NE(X)W，其中 NE(X)W 由虚拟曲线构成。
• 证明一个关键技术结果：若 f:Y→X 是一个小的、投影的、双有理的态射，则 Y 上的 Weil R-除子 D 是 nef 的当且仅当 f-nef 且 f*D 是 nef 的。
• 在 Weil 设置下建立 Kleiman 的充分性准则：D 是 ample 的当且仅当 NE(X)W∖{0} ⊆ D>0。
• 证明一个新的锥定理：NE(X)W = NE(X)W,KX≥0 + ∑ℝ≥0·Cj，其中 Cj 不在 KX<0 的半空间中聚集。
• 将理论推广到相对情形，证明在基空间 U 上的投影态射下，相对锥定理和扩张定理成立。

实验结果

研究问题

• RQ1 能否通过在非 Q-因子化代数簇上使用 Weil 除子来构建一个无需翻转的极小模型程序？
• RQ2 是否存在一个行为良好的 Weil 除子锥理论，使得在缺乏 Q-因子化性的情况下仍能支持锥定理和扩张定理？
• RQ3 Weil Néron-Severi 空间与经典 Néron-Severi 空间有何关系？它是否有限生成？
• RQ4 能否通过该新框架在不使用翻转的情况下实现标准 MMP 的结果——即 Q-因子化模型和对数 Fano 纤维？
• RQ5 该新程序产生的模型与标准 MMP 产生的模型之间有何关系？

主要发现

• Weil Néron-Severi 空间 NS(X)W 是有限维的，并且包含经典的 Néron-Severi 空间作为子空间。
• Weil nef 锥 Nef(X)W 和 Weil 曲线锥 NE(X)W 定义良好，并满足对偶性。
• 一个新的锥定理成立：NE(X)W 可分解为 KX≥0 部分与可数个射线 Cj 之和，且 Cj 不在 KX<0 区域聚集。
• 已建立扩张定理：对任意 KX 负的极小面 F，存在一个满足 ρ(X̃) ≤ ρ(X)+1 的小的、投影的、双有理的态射 f: X̃ → X，其诱导了对 F 的扩张。
• 对于在基空间上的投影态射，锥定理和扩张定理的相对版本成立，且对 nef 性、ample 性和上推的性质有类似陈述。
• 该程序通过以 Q-因子化结束来避免翻转，从而产生具有 Q-因子化奇点和对数 Fano 纤维的模型，其结果与标准 MMP 一致。