[论文解读] Tsuji's Numerically Trivial Fibrations and Abundance

Shigetaka Fukuda|ArXiv.org|Aug 6, 2001

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

一句话总结

本文利用Tsuiji的数值平凡纤维化理论，对klt对的对数丰沛猜想给出了一个条件性证明。在假设三个关键问题成立的前提下——对数极小模型存在性、相对线性等价猜想以及在数值平凡性下的半正则性——证明了 nef 的对数 canonical 除子是半正则的，从而推出终端簇的完整丰沛猜想。

ABSTRACT

We apply Tsuji's theory of numerically trivial fibrations to the abundance problem.

研究动机与目标

• 在最小模型理论中三个基本问题为真的假设下，证明klt对的对数丰沛猜想。
• 将Tsuiji的数值平凡纤维化理论应用扩展至高维代数几何中的丰沛问题。
• 建立一个条件性框架，使得 nef 的对数 canonical 除子的半正则性可由其数值维数与纤维化行为的结构性质推出。
• 通过基于由数值平凡除子定义的纤维化的维数归纳法，提供丰沛猜想的约化策略。
• 证明对数丰沛猜想蕴含了具有 nef canonical 除子的终端簇的古典丰沛猜想。

提出的方法

• 利用Tsuiji的数值平凡纤维化理论，通过一个态射 f:X₁ → Y 将簇分解，使得在Y的非常一般点上，nef 除子的拉回在纤维上是数值平凡的。
• 应用 N(D,X)（即在通过一个非常一般点的子簇中，D 限制为数值平凡除子的最大维数）来按数值维数对问题进行分层。
• 使用Nakayama的σ-维数与Iitaka维数，比较在双有理映射与有限态射下除子的数值性质与线性性质。
• 采用维数归纳法，将问题约化至低维情形，其中假设对数极小模型与丰沛猜想成立。
• 应用Stein分解与相对线性等价性，将X上的除子与基底簇上的拉回联系起来，利用在低维情形下数值平凡除子是Q-线性平凡的假设。
• 依赖Iitaka维数与数值Iitaka维数在双有理映射与拉回下的不变性，特别是通过共同的解析解。

实验结果

研究问题

• RQ1 在何种条件下，klt对上的 nef 对数 canonical 除子是半正则的？
• RQ2 对数丰沛猜想能否约化为 N(K_X + Δ, X) = 0 的除子的半正则性问题？
• RQ3 若存在数值平凡纤维化，是否在附加假设下可推出原除子的半正则性？
• RQ4 数值维数 N(D,X) 在多大程度上控制了 nef Q-除子 D 的线性系统？
• RQ5 对数丰沛猜想是否可在最小模型理论中三个基础问题为真的条件下得到证明？

主要发现

• 若对数极小模型猜想、相对线性等价问题（问题0.6）以及在 N(D,X)=0 下的半正则性（问题0.7）全部成立，则对数丰沛猜想（猜想0.2）成立。
• 当 N(K_X, X) = 1 且在维数n下极小模型猜想成立时，canonical 除子 K_X 是半正则的，如定理3.1所示。
• 对于具有终端奇点且 N(K_X, X) = 1 的四倍体，若在维数四下极小模型猜想成立，则 canonical 除子是半正则的，如推论3.2所述。
• 若 K_X + Δ 是数值平凡的，且相对线性等价问题成立，则其为Q-线性平凡的，如定理3.3所示。
• 当 N(K_X + Δ, X) = n−1 且在维数n−1下数值平凡性蕴含Q-线性平凡性时，则 K_X + Δ 是半正则的，如定理3.4所示。
• 对于满足 N(K_X + Δ, X) = 3 的klt四倍体，log canonical 除子是半正则的，如推论3.5所确认，其依赖于三维情形下的已知结果。