[论文解读] Existence of log canonical flips and a special LMMP

Caucher Birkar|arXiv (Cornell University)|Apr 26, 2011

Algebraic Geometry and Number Theory参考文献 25被引用 6

一句话总结

该论文在假设 $K_X + B + A \sim_{\mathbb{Q}} 0/Z$ 且 $A$ 在 $Z$ 上为非常 ample 的条件下，证明了 $\mathbb{Q}$-因子化 dlt 对的对数极小模型程序（LMMP）带缩放的终止性，并确立了对数卡坦诺翻转的存在性。关键贡献在于证明了任意关于 $K_X + B$ 的带缩放的 LMMP 均会终止，从而得到一个好对数极小模型或一个 Mori 纤维空间，进而确认了对数卡坦诺对的对数翻转存在性。

ABSTRACT

Let $(X/Z,B+A)$ be a $\Q$-factorial dlt pair where $B,A\ge 0$ are $\Q$-divisors and $K_X+B+A\sim_\Q 0/Z$. We prove that any LMMP$/Z$ on $K_X+B$ with scaling of an ample$/Z$ divisor terminates with a good log minimal model or a Mori fibre space. We show that a more general statement follows from the ACC for lc thresholds. An immediate corollary of these results is that log flips exist for log canonical pairs.

研究动机与目标

• 通过在数值平凡的对数卡坦诺对数除子条件下，证明 $\mathbb{Q}$-因子化 dlt 对的带缩放 LMMP 终止性，来确立对数卡坦诺翻转的存在性。
• 证明任意关于 $K_X + B$ 的带缩放的 LMMP（在 $Z$ 上关于一个非常 ample 的除子）会终止，从而得到一个好对数极小模型或一个 Mori 纤维空间。
• 在 dlt 假设下，证明 $K_Y + B_Y$ 在 $Z$ 上的半正则性可由其在边界分量及某些子簇上的半正则性推出。
• 通过有限生成性与 lc 阈值的 ACC 假设，将 lc 对的 LMMP 一般情形约化至 dlt 情形。
• 证明 lc 对的对数翻转存在性可作为主终止结果的推论，从而完成极小模型程序中的关键步骤。

提出的方法

• 利用 $\mathbb{Q}$-因子化 dlt 性质来控制奇点，并在 LMMP 中启用归纳论证。
• 应用注入定理与半卡坦诺对上的半正则性结果，将 $K_X + B$ 的半正则性约化为 $\lfloor B \rfloor$ 各分量上的行为。
• 通过将边界除子 $B$ 与一个极小倍数的例外除子 $A$ 相加，使 $K_X + \Delta$ 成为 klt，从而将问题约化至 klt 情形。
• 将 lc 阈值的 ACC 猜想作为关键假设，以将结果推广至 dlt 之外的情形。
• 通过一系列翻转与除子收缩构造好对数极小模型，利用 $K_X + B \sim_{\mathbb{Q}} 0$ 在 $Z$ 的一个稠密开子集上的事实。
• 利用对数 canonical 环的相对有限生成性，确保在适当假设下 generic fibre 上的 LMMP 终止。

实验结果

研究问题

• RQ1 当 $(X/Z, B + A)$ 是 $\mathbb{Q}$-因子化 dlt 对且 $K_X + B + A \sim_{\mathbb{Q}} 0/Z$ 时，关于 $K_X + B$ 的带缩放 LMMP 是否在 $\mathbb{Q}$-因子化 dlt 对上终止？
• RQ2 在相同数值条件下，是否可由 LMMP 的终止性推出对数卡坦诺对的对数翻转存在性？
• RQ3 当 $K_Y + B_Y$ 在 $Z$ 上为 nef 且在 $\lfloor B_Y \rfloor$ 的各分量上半正则时，其在 $Z$ 上何时成为半正则？
• RQ4 lc 阈值的 ACC 猜想如何在高维中推出 lc 对的 LMMP 终止性？
• RQ5 当 $K_X + B \sim_{\mathbb{Q}} 0$ 在 $Z$ 的一个稠密开子集上成立，且每个 lc 中心的通用点映射到该子集时，能否保证存在一个好对数极小模型？

主要发现

• 当 $(X/Z, B + A)$ 是 $\mathbb{Q}$-因子化 dlt 对且 $K_X + B + A \sim_{\mathbb{Q}} 0/Z$ 时，关于 $K_X + B$ 的任意 $/Z$ 带缩放 LMMP 会终止。
• 此类对的极小模型或 Mori 纤维空间存在，且该极小模型在 $Z$ 上为半正则。
• 对数卡坦诺对的对数翻转存在：若 $X \to Y/Z$ 是一个 $K_X + B$-负的极小极化翻转收缩，则该翻转存在。
• 在维度 $d$ 中，若 lc 阈值的 ACC 猜想成立，则对 $K_X + B \sim_{\mathbb{Q}} 0$ 在 $Z$ 的一个稠密开子集上的 lc 对，LMMP 会终止。
• 若 $\mathcal{R}(X/Z, K_X + B)$ 有限生成，且 $K_X + B \sim_{\mathbb{Q}} 0$ 在 generic fibre 上成立，则任意带缩放的 LMMP 会终止于一个好对数极小模型。
• 在 dlt 假设下，$K_X + B$ 在 $Z$ 上的半正则性可由其在 $\lfloor B \rfloor$ 各分量上以及边界的小扰动上的半正则性推出。