[论文解读] Remarks on special kinds of the relative log minimal model program

Kenta Hashizume|arXiv (Cornell University)|Apr 4, 2017

Algebraic Geometry and Number Theory参考文献 12被引用 4

一句话总结

本文建立了相对对数极小模型程序（MMP）中关键结果的 $\mathbb{R}$-除子版本，证明在某些数值与几何条件下，具有 $\mathbb{R}$-边界除子的对数典范对 admits 良好极小模型。通过使用弱半稳定化与典范丛公式，克服了 $\mathbb{R}$-除子对数典范环缺乏有限生成性的问题，从而将 $\mathbb{Q}$-除子情形下的结果推广至 $\mathbb{R}$-除子设置。

ABSTRACT

We prove $\mathbb{R}$-boundary divisor versions of results proved by Birkar or Hacon-Xu on special kinds of the relative log minimal model program.

研究动机与目标

• 将相对对数MMP中关于良好极小模型存在的已知结果，从 $\mathbb{Q}$-除子对推广至 $\mathbb{R}$-除子对。
• 克服 $\mathbb{R}$-除子情形下对数典范环缺乏有限生成性的问题，该问题阻碍了在 $\mathbb{Q}$-除子设置中所用标准方法的应用。
• 在 $B$ 与 $A$ 均为 $\mathbb{R}$-除子时，证明当 $K_X + B + A \sim_{\mathbb{R},Z} 0$ 且 $K_X + B$ 在 $Z$ 上为拟有效时，对数典范对 $(X,B)$ 在 $Z$ 上存在良好极小模型。
• 将如对数典范翻转、对数典范闭包以及在有界数值维数或大数假设下的良好极小模型存在性等结果，推广至 $\mathbb{R}$-除子情形。

提出的方法

• 利用 Abramovich 与 Karu 的弱半稳定化定理，分析相对 $K_X + \Delta$ 数值维数为零的纤维空间。
• 应用 Ambro 的对数典范对典范丛公式，将问题约化为对所有对数典范中心都映射到基空间的纤维空间进行归纳论证。
• 通过紧化代数簇来保持假设，并应用 [FG2] 中的相对丰沛定理，从而避免对数典范环有限生成性的需求。
• 利用 $\mathbb{R}$-除子的有理多面体表示 $B$ 与 $A$ 为 $\mathbb{Q}$-除子对的有理凸组合，使 [FG2] 中的半正则性结果得以应用。
• 应用点上对 $\mathbb{Q}$-除子情形的相对丰沛定理（即 $Z = \operatorname{Spec} \mathbb{C}$）来推出 $K_X + B$ 在 $Z$ 上的半正则性。
• 利用 $K_X + B$ 在 $Z$ 上为 nef 且对数丰沛，且 $X$ 与 $Z$ 均为射影概型的事实，通过 [FG2, 定理 4.12] 推出其半正则性。

实验结果

研究问题

• RQ1 能否将相对对数MMP中良好极小模型存在的结果，从 $\mathbb{Q}$-除子对推广至 $\mathbb{R}$-除子对？
• RQ2 当对数典范环缺乏有限生成性时，如何证明 $\mathbb{R}$-除子对数典范对的丰沛定理？
• RQ3 能否利用典范丛公式与弱半稳定化，在 $\mathbb{R}$-除子设置中建立终止性与极小模型的存在性？
• RQ4 在不依赖有限生成性的情况下，能否将如对数典范翻转与对数典范闭包等结果推广至 $\mathbb{R}$-除子情形？
• RQ5 在何种条件下，具有 $\mathbb{R}$-边界除子的对数典范对会存在良好极小模型或 Mori 纤维空间？

主要发现

• 定理 1.1 建立了：若 $\pi: X \to Z$ 是正常准射影簇之间的射影态射，$(X, B + A)$ 为对数典范对，其中 $B \geq 0$ 为 $\mathbb{R}$-除子，$A \geq 0$ 为 $\mathbb{R}$-Cartier 除子，且满足 $K_X + B + A \sim_{\mathbb{R}, Z} 0$，同时 $K_X + B$ 在 $Z$ 上为拟有效，则 $(X, B)$ 在 $Z$ 上存在良好极小模型。
• 定理 1.2 证明了：若 $\pi: X \to Z$ 是射影态射，$(X, \Delta)$ 为具有 $\mathbb{R}$-边界除子 $\Delta$ 的对数典范对，且存在开子集 $U \subset Z$，使得 $(\pi^{-1}(U), \Delta|_{\pi^{-1}(U)})$ 在 $U$ 上存在良好极小模型，且 $(X, \Delta)$ 的所有对数典范中心均与 $\pi^{-1}(U)$ 相交，则 $(X, \Delta)$ 在 $Z$ 上存在良好极小模型。
• 推论 1.3 表明，在基空间的某个开子集上，对数典范对存在对数典范闭包，推广了 $\mathbb{Q}$-除子情形下的结果。
• 定理 1.4 建立了在不需相对 Picard 数为 1 的条件下，$\mathbb{R}$-边界除子的对数典范翻转的存在性。
• 定理 1.5 将在有界数值维数或大数假设下良好极小模型或 Mori 纤维空间存在性的结果，推广至 $\mathbb{R}$-除子情形。
• 推论 1.6 证明了：若射影对数典范对 $(X, \Delta)$ 满足 $K_X + \Delta$ 为丰沛，且 $0 \leq \nu(X, K_X + \Delta) \leq 4$，则其存在良好极小模型，扩展了 $\mathbb{Q}$-除子情形下的结果。