[论文解读] Finiteness of log abundant log canonical pairs in log minimal model program with scaling

Kenta Hashizume|arXiv (Cornell University)|May 25, 2020

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

一句话总结

本文证明，在从一个极小奇点对（dlt pair）出发的极小模型程序（log MMP）中，若以一个丰沛除子为权重进行缩放，仅存在有限多个步骤产生对数丰沛的对数典范对。核心贡献在于：在 log MMP 与缩放下，对数丰沛 dlt 对的有限性结果，该结果意味着当此类对在有限多步后出现时，MMP 会终止于一个好极小模型。该结果统一并推广了特征零下对数典范对（lc pairs）的对数丰沛性与极小模型理论的先前工作。

ABSTRACT

We study relations between the property of being log abundant for lc pairs and the termination of log MMP with scaling. We prove that any log MMP with scaling of an ample divisor starting with a projective dlt pair contains only finitely many log abundant dlt pairs. We also discuss log MMP for slc pairs.

研究动机与目标

• 研究对数丰沛性与 log MMP 与缩放之间相互作用。
• 证明从一个极小奇点对（projective dlt pair）出发的任意 log MMP 与缩放，仅包含有限多个对数丰沛的 dlt 对。
• 建立在基流形上，对数典范对存在好极小模型的条件。
• 通过粘合与相对不变量，将对数丰沛性与极小模型理论的结果推广至半对数典范（slc）对。
• 将框架推广至代数闭特征零域上的代数簇，同时保持相对 Iitaka 维数与数值维数的定义。

提出的方法

• 证明采用对维数的归纳法与反证法，假设在 log MMP 与缩放中存在无限多个对数丰沛 dlt 对。
• 应用 [14, 定理 4.11.5]，并利用极小模型程序中丰沛性与好极小模型之间的已知等价性。
• 通过几何通用纤维重新定义相对不变量的 Iitaka 维数与数值维数，以处理特征零下的基变换问题。
• 论证依赖于平坦基变换定理与上同调的半连续性，以关联全局与纤维上的不变量。
• 利用稳定基簇条件控制负奇点性除子，确保对数丰沛性得以保持。
• 应用 Ambro–Kollár 对半对数典范对的研究以及 Kollár 的粘合理论，将结果推广至 slc 对。

实验结果

研究问题

• RQ1 当 log MMP 与缩放在有限多步后出现对数丰沛 dlt 对时，该程序是否终止？
• RQ2 是否能无条件地证明：从极小奇点对出发的 log MMP 与缩放中，对数丰沛 dlt 对的有限性？
• RQ3 在何种条件下，对数典范对在基流形上存在好极小模型，特别是当对数丰沛性成立时？
• RQ4 半对数典范对的极小模型程序是否可在类似 dlt 情况的条件下运行并终止？
• RQ5 在正特征或零特征下，相对不变量（如 Iitaka 维数与数值维数）在基变换下如何表现？

主要发现

• 从极小奇点对出发，以丰沛除子为权重进行缩放的 log MMP，仅包含有限多个对数丰沛的 dlt 对。
• 若在 log MMP 与缩放的有限多步后出现对数丰沛 dlt 对，则该 MMP 终止于一个好极小模型。
• 若一个对数典范对的对数典范除子为拟有效，且其稳定基簇中无负奇点性除子，则该对存在一个好极小模型。
• 通过 Ambro–Kollár 的工作与 Kollár 的粘合理论，该结果可推广至半对数典范对，从而可构造出投影的半对数典范模型。
• 通过几何通用纤维定义的相对 Iitaka 维数与数值维数，在基为 C 上的拟射影情形下，与标准定义等价。
• 该框架可推广至代数闭特征零域上的代数簇，同时保持对数丰沛性与极小模型理论的核心结果。