[论文解读] Remarks on the abundance conjecture

Kenta Hashizume|arXiv (Cornell University)|Sep 15, 2015

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

一句话总结

该论文在假设 $(n-1)$-重叠对数极小模型猜想成立的前提下，证明了边界除子为大除子的对数极小 $n$-重叠对的相对丰度猜想。通过使用带缩放的对数极小模型程序和已知的终止结果，该研究在双极性条件下建立了对数极小除子的半正则性，从而实现对数极小模型程序的完全终止，并在四维情况下证明了伴随环的有限生成性。

ABSTRACT

We prove the abundance theorem for log canonical $n$-folds such that the boundary divisor is big assuming the abundance conjecture for log canonical $(n-1)$-folds. We also discuss the log minimal model program for log canonical $4$-folds.

研究动机与目标

• 在归纳假设对数极小 $(n-1)$-重叠对的猜想成立的前提下，证明边界除子为大除子的对数极小 $n$-重叠对的相对丰度猜想。
• 将极小模型程序（MMP）推广至边界除子为大除子的对数极小4-重叠对，证明其终止性并存在良好的极小模型。
• 在相同归纳假设下，证明边界除子为大除子的对数极小4-重叠对的伴随环的有限生成性。
• 在已知所有维度中对数翻转存在的前提下，为边界除子为大除子的对数极小4-重叠对提供完整的极小模型理论。

提出的方法

• 通过维度归纳，假设对数极小 $(n-1)$-重叠对的丰度猜想成立，从而证明 $n$-重叠对的猜想。
• 应用带缩放的对数极小模型程序，将问题约化为有限次翻转和除子收缩的序列。
• 依赖于先前工作中已确立的 $\mathbb{Q}$-因子化 dlt 4-重叠对的对数极小模型程序带缩放的终止性结果。
• 利用所有维度中对数极小对的翻转存在的事实，使对数极小模型程序得以运行。
• 利用在双极性条件下相对丰度与半正则性等价的事实，将问题约化为证明半正则性。
• 应用 [B2] 和 [F4] 中关于带缩放的对数极小模型程序终止性的结果，通过在无限情况下导出矛盾，从而证明终止性。

实验结果

研究问题

• RQ1 在假设对 $(n-1)$-重叠对的相对丰度猜想成立的前提下，边界除子为大除子的对数极小 $n$-重叠对是否满足相对丰度猜想？
• RQ2 带缩放的对数极小模型程序能否在边界除子为大除子的对数极小4-重叠对上完全终止？
• RQ3 边界除子为大除子的对数极小4-重叠对的伴随环是否有限生成？
• RQ4 在边界除子为大除子的条件下，相对丰度猜想是否蕴含四维中良好极小模型或Mori纤维空间的存在性？
• RQ5 在对数极小除子为伪有效的情况下，能否证明边界除子为大除子的对数极小4-重叠对的对数极小模型程序可终止？

主要发现

• 在假设对 $(n-1)$-重叠对的相对丰度猜想成立的前提下，边界除子为大除子的对数极小 $n$-重叠对的相对丰度猜想成立。
• 带缩放的对数极小模型程序在边界除子为大除子的对数极小4-重叠对上终止，结果为良好极小模型或Mori纤维空间。
• 若对数极小除子在基上为伪有效，则任何边界除子为大除子的对数极小4-重叠对的对数极小模型程序均终止。
• 在对数极小4-重叠对上，$n$ 个大 $\mathbb{Q}$-除子的伴随环作为 $\mathcal{O}_U$-代数是有限生成的。
• 所有维度中对数翻转的存在性使得边界除子为大除子的对数极小4-重叠对的对数极小模型程序得以完整实现。
• 该证明依赖于通过无限次翻转序列导出矛盾，而此类序列已被 $\mathbb{Q}$-因子化 dlt 4-重叠对的已知终止结果所排除。