[论文解读] Weak Zariski decompositions and log terminal models for generalized polarized pairs

Jingjun Han, Zhan Li|arXiv (Cornell University)|Jun 4, 2018

Algebraic Geometry and Number Theory参考文献 21被引用 18

一句话总结

本文在NQC（拟有效Q-柯里埃组合）条件下，建立了伪有效广义极化对的双有理弱Zariski分解存在性与广义对数终端模型存在性之间的等价性。通过证明在弱Zariski分解假设下，广义极小模型程序（带缩放）可终止，作者解决了双有理几何中一个关键的猜想性联系，将经典极小模型程序的结果推广至广义对框架。

ABSTRACT

We show that the existence of a birational weak Zariski decomposition for a pseudo-effective generalized polarized lc pair is equivalent to the existence of a generalized polarized log terminal model.

研究动机与目标

• 建立伪有效广义极化对的双有理弱Zariski分解存在性与广义对数终端模型存在性之间的等价性。
• 将极小模型程序（MMP）扩展至满足NQC（拟有效Q-柯里埃组合）条件的广义极化对范畴。
• 在广义对框架下，解决弱Zariski分解与极小模型猜想之间的猜想性联系。
• 在弱Zariski分解假设下，证明广义MMP带缩放的终止性，从而推导出对数终端模型的存在性。

提出的方法

• 引入并形式化了广义极化对的双有理NQC弱Zariski分解概念。
• 应用一种特殊的g-MMP带缩放，通过一个足够ample的除子，旨在将拟有效阈值ν_i逐步降低至1。
• 通过维数归纳法和g-MMP带缩放的特殊终止性，借鉴[5]中的论证方法，将其适应至广义对设定。
• 利用负性引理和双有理变换，控制例外除子的支集，并保持拟有效阈值的最小性。
• 依赖于klt逼近的存在性，将问题约化为dlt对，从而利用已知的dlt对终止性结果。
• 利用g-对极小模型蕴含弱Zariski分解（通过命题5.1），反之亦然，从而完成等价性循环。

实验结果

研究问题

• RQ1 伪有效广义极化对的双有理弱Zariski分解存在性是否蕴含广义对数终端模型的存在性？
• RQ2 在弱Zariski分解假设下，能否证明广义极小模型程序带缩放的终止性？
• RQ3 在NQC条件下，广义极化对的极小模型猜想是否与双有理弱Zariski分解猜想等价？
• RQ4 Q-因子dlt对的翻转终止性是否蕴含伪有效NQC g-dlt对存在g-对数终端模型？
• RQ5 能否通过g-MMP带缩放，利用g-对极小模型的存在性构造出g-对数终端模型？

主要发现

• 伪有效广义极化对存在双有理NQC弱Zariski分解，当且仅当存在广义对数终端模型。
• 若弱Zariski分解猜想成立，则任意伪有效NQC g-dlt对的g-MMP带缩放均终止。
• 广义极化对的极小模型猜想（猜想1.2）蕴含双有理弱Zariski分解猜想（猜想1.3），反之亦然。
• 假设Q-因子dlt对的翻转终止，则每个伪有效NQC g-dlt对均存在g-对数终端模型。
• g-对极小模型的存在性蕴含弱Zariski分解的存在性，进而g-MMP带缩放终止，从而产生g-对数终端模型。
• 在NQC条件下，g-MMP带缩放的特殊终止性成立，从而支持基于维数的归纳论证。