[论文解读] Log Calabi-Yau fibrations

Caucher Birkar|arXiv (Cornell University)|Nov 26, 2018

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

一句话总结

本文通过证明在自然的数值条件和奇点条件下，对 Fano 型的对数 Calabi-Yau 纤维化，其纤维化形成有界族，从而建立了对数 Calabi-Yau 纤维化的有界性结果。它引入了一个使用广义对、可补性以及在极小有理纤维空间上的归纳技术的框架，表明系数、 nef 部分和奇点受到统一控制，从而在 Fano 型条件下实现总空间和基空间的有界性。

ABSTRACT

In this paper we study boundedness properties and singularities of log Calabi-Yau fibrations, particularly those admitting Fano type structures. A log Calabi-Yau fibration roughly consists of a pair $(X,B)$ with good singularities and a projective morphism $X o Z$ such that $K_X+B$ is numerically trivial over $Z$. This class includes many central ingredients of birational geometry such as Calabi-Yau and Fano varieties and also fibre spaces of such varieties, flipping and divisorial contractions, crepant models, germs of singularities, etc.

研究动机与目标

• 在数值条件和奇点约束下，建立 Fano 型对数 Calabi-Yau 纤维化的有界性。
• 研究此类纤维化中总空间和基空间上奇点的行为。
• 证明这些纤维化存在有界可补性，并建立其对数可乘阈值的统一下界。
• 将有界性结果推广至极小有理纤维空间的塔结构以及广义对数 Calabi-Yau 纤维化。
• 通过统一 Fano 型、Calabi-Yau 型和共态模型等关键对象，为模理论和双有理几何中的归纳论证提供基础。

提出的方法

• 利用带有 nef 部分的广义对框架，通过在极小有理纤维空间上的归纳论证，控制奇点和有界性。
• 应用相对可补性的有界性以及边界除子的有理逼近，以控制系数和 Cartier 指标。
• 对纤维化塔中的步骤数进行归纳，通过一般纤维分析将问题约化为低维情形。
• 利用判别 b-除子的 DCC 性质以及对数对的有界性，控制纤维化中奇点的传播。
• 利用 $K_X + B \sim_{\mathbb{Q}} 0$ 且 $-K_X$ 在 $Z$ 上为大除子的事实，确保对数可乘阈值存在统一下界。
• 依赖 Néron-Severi 群和非常 ample 除子的有界性，最终得出总空间的对数有界性。

实验结果

研究问题

• RQ1 在何种条件下，Fano 型对数 Calabi-Yau 纤维化形成有界族？
• RQ2 此类纤维化中，奇点在总空间和基空间上的行为如何？
• RQ3 对于具有 Fano 型结构的对数 Calabi-Yau 纤维化，是否存在有界（klt 或 lc）可补性？
• RQ4 能否为这些纤维化建立对数可乘阈值的统一下界？
• RQ5 极小有理纤维空间的塔结构以及广义对数 Calabi-Yau 纤维化的有界性行为如何？

主要发现

• 当 $K_X + B \sim_{\mathbb{R}} 0$ 且 $B$ 的系数属于 DCC 集时，$(d,r,\epsilon)$-Fano 型纤维化中的对 $(X,B)$ 是对数有界的。
• 存在一个 DCC 集 $\Psi$，一个自然数 $p$，以及一个仅依赖于 $d, l, \Phi, \epsilon$ 的正实数 $\delta$，使得 $B_i$ 的系数属于 $\Psi$，$pM_i'$ 是 Cartier 除子，且 $(X_i, B_i + M_i)$ 是广义 $\delta$-lc。
• 当 $K_{X_{l-1}} + B_{l-1} + \Delta_{l-1} + M_{l-1} \sim_{\mathbb{Q}} h^*(L + A)$ 且 $-(K_{X_{l-1}} + \Delta_{l-1})$ 在 $X_l$ 上为ample 时，纤维化塔中的总空间 $X_{l-1}$ 是有界的。
• 当 $K_X + B \sim_{\mathbb{Q}} 0$ 时，由于系数和 Cartier 指标的有界性，广义对 $(X_i, B_i + M_i)$ 是广义 $\delta$-lc，其中 $\delta > 0$ 为固定常数，与 $i$ 无关。
• 除子 $H$ 的体积有上界，且 $H^{d-1} \cdot B$ 有界，这在 Fano 型条件下意味着 $(X,B)$ 的对数有界性。
• 当纤维化为 Fano 型且一般纤维对数有界时，通过归纳法和相对可补性的有界性，可推出基空间 $Z$ 和总空间 $X$ 均为有界的。