[论文解读] Relative MMP without Q-factoriality

Janós Kollár|arXiv (Cornell University)|Dec 9, 2020

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

一句话总结

本文在不假定 Q-因子性的情况下建立了相对极小模型程序（MMP），表明翻转是 1-补全的，且步骤比预期更简单。它从关于 dlt 奇点、对偶复形、dlt 变换和代数空间的 Q-因子性关键定理中去除了 Q-因子性假设，通过在具有受控例外除子的非 Q-因子性代数簇上使用带缩放的 MMP 实现这一目标。

ABSTRACT

We consider the minimal model program for varieties that are not Q-factorial. We show that, in many cases, its steps are simpler than expected. In particular, all flips are 1-complemented. The main applications are to log terminal singularities, removing the earlier Q-factoriality assumption from several theorems of Hacon--Witaszek and de~Fernex--Kollár--Xu. Version 2: many small changes.

研究动机与目标

• 将极小模型程序（MMP）推广至非 Q-因子性代数簇，且无需假设 Q-因子性。
• 表明在某些情况下，MMP 的步骤——尤其是翻转——比预期更简单，具体而言是 1-补全的。
• 从关于 dlt 奇点、有理奇点和对偶复形的定理中去除 Q-因子性假设。
• 证明在无 Q-因子性条件下，正常代数空间上 dlt 变换的存在性与唯一性。
• 将关于对偶复形可收缩性及层的 CM 性质的结果推广至非 Q-因子性情形。

提出的方法

• 在射影态射 g:X→S 上使用带缩放的相对 MMP，其中 H 是一个 R-柯里尔除子。
• 将 MMP 应用于 dlt 对 (X,Θ)，其中例外除子 E 支持在 Q-柯里尔除子上，且 H 是一个 g-ample 的 R-除子，其系数线性无关。
• 施加条件 (i)–(v)，以确保 MMP 步骤行为良好：Ex(φj) ⊂ Supp(Ej)，且步骤为除子型或小型，具有特定的放大性条件。
• 证明每个 MMP 步骤保持例外除子的 Q-柯里尔结构，并维持 EΘ + (rj−ε)H 的放大性。
• 利用在这些条件下 MMP 步骤的唯一性，使代数空间的粘合成为可能。
• 将该理论应用于对偶复形和 CM 层，表明其可收缩性与 CM 性质在无 Q-因子性条件下依然保持。

实验结果

研究问题

• RQ1 是否可以在不假设 Q-因子性的情况下，在非 Q-因子性代数簇上运行并终止 MMP？
• RQ2 当代数簇非 Q-因子性时，MMP 中的翻转是否更简单，特别是 1-补全的？
• RQ3 是否可以从关于 dlt 奇点对偶复形和有理奇点的定理中去除 Q-因子性假设？
• RQ4 在非 Q-因子性代数簇上使用带缩放的 MMP 是否仍能产生受控的极小模型，并保持关键几何性质？
• RQ5 是否可以为无 Q-因子性要求的代数空间构造 dlt 变换？

主要发现

• 在非 Q-因子性代数簇上使用带缩放的 MMP 时，其步骤要么是除子型收缩，要么是具有两个 Q-柯里尔除子的翻转，从而确保了简洁性。
• MMP 中的所有翻转均为 1-补全的，即 canonical 除子在数值等价意义下等于一个 Q-柯里尔除子加上一个充分小的放大除子的倍数。
• 例外除子在整个 MMP 过程中始终保持 Q-柯里尔结构，从而保持了关键的代数几何性质。
• 若例外集支撑一个 g-ample 除子，则在 dlt 对中某点的纤维的对偶复形可收缩为一点，即使在无 Q-因子性条件下亦然。
• 带缩放的 MMP 终止于一个极小模型，其中 −EΘm 是有效除子，且其支撑在态射下是饱和的，从而实现了良好控制。
• 对于特征 0 域上的正常代数空间，即使无 Q-因子性，dlt 变换也存在，且可选择为 Q-因子性或具有放大例外除子。