[论文解读] Extension theorems, Non-vanishing and the existence of good minimal models

Jean-Pierre Demailly, Christopher D. Hacon+1 more|arXiv (Cornell University)|Dec 2, 2010

Geometry and complex manifolds参考文献 10被引用 11

一句话总结

本文利用带有奇异Hermitian度量的精细$L^2$扩张定理，建立了在非负Kodaira维数的对数典范对上对多重对数典范除子的扩张定理。关键结果证明了纯粹对数终端（plt）对的DLT扩张猜想，从而在非零消去猜想成立的条件下，蕴含了良好极小模型的存在性，推动了高维极小模型程序的发展。

ABSTRACT

We prove an extension theorem for effective plt pairs $(X,S+B)$ of non-negative Kodaira dimension $κ(K_X+S+B)\geq 0$. The main new ingredient is a refinement of the Ohsawa-Takegoshi $L^2$ extension theorem involving singular hermitian metrics.

研究动机与目标

• 证明纯粹对数终端（plt）对的DLT扩张猜想，这是极小模型程序的核心问题。
• 在非零消去猜想下，建立klt对的良好极小模型的存在性。
• 通过精细的$L^2$扩张技术，将从除子到全纯空间的多重对数典范截面进行扩张。
• 为高维中良好极小模型的存在性提供关键的技术步骤。
• 通过扩张定理，弥合对数典范除子非零消去与良好极小模型存在性之间的鸿沟。

提出的方法

• 将Ohsawa-Takegoshi的$L^2$扩张定理精细化，以处理线丛上的奇异Hermitian度量。
• 将精细化的$L^2$扩张应用于在plt对的背景下，将多重典范截面从除子$S$扩张到全纯空间$X$。
• 利用$K_X + S + B$的非零消去性以及除子的 nef 性质，确保扩张的可行性。
• 采用对数解析化技术，分析全纯空间上的典范除子及其nef部分在拉回下的行为。
• 引入扩张障碍除子$\Xi$以度量扩张失败的程度，并在给定假设下证明其消失。
• 结合分析方法与代数几何，证明全局截面限制映射的满射性。

实验结果

研究问题

• RQ1 在何种条件下，可以将$\mathcal{O}_X(m(K_X + S + B))$的截面从$S$扩张到$X$，适用于plt对？
• RQ2 当$K_X + S + B$为拟有效但非大时，DLT扩张猜想是否对plt对成立？
• RQ3 非零消去猜想是否可通过扩张定理推出良好极小模型的存在性？
• RQ4 奇异Hermitian度量在对数典范除子的$L^2$扩张过程中起什么作用？
• RQ5 扩张障碍除子$\Xi$的消失如何确保限制映射的满射性？

主要发现

• 在$K_X + S + B$为拟有效且$S$不在稳定基点簇中的假设下，plt对的DLT扩张猜想成立。
• 对所有足够可除的$m > 0$，限制映射$H^0(X, \mathcal{O}_X(m(K_X + S + B))) \to H^0(S, \mathcal{O}_S(m(K_X + S + B)))$是满射。
• 扩张定理表明，若DLT扩张猜想成立，则非零消去猜想蕴含在维数$n$下存在良好极小模型。
• 在非零消去猜想成立且DLT扩张猜想成立的假设下，klt对的良好极小模型存在。
• 在良好极小模型猜想成立的假设下，对偶环$R(X; K_X + \Delta_1, \ldots, K_X + \Delta_r)$是有限生成的。
• 度量nef阈值的函数$\sigma_P$在拟有效锥上连续，且为分段有理仿射线性函数。