[论文解读] Boundedness of the base varieties of certain fibrations

Zhan Li|arXiv (Cornell University)|Feb 16, 2020

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

一句话总结

该论文证实了在 $\varepsilon$-lc Fano 型条件下，Iitaka 纤维化底簇有界的猜想，证明当 Iitaka 体积有界且边界除子在底簇的通用点上方为大时，底簇构成一个有界族。该结果依赖于全局 DCC、模除子的 nef 性质，以及通过共形模型实现的纤维有界性。

ABSTRACT

It is conjectured that the base varieties of the Iitaka fibrations are bounded when the Iitaka volumes are bounded above. We confirm this conjecture for Iitaka $ε$-lc Fano type fibrations.

研究动机与目标

• 证明当 Iitaka 体积有界且边界除子在底簇的通用点上方为大时，Iitaka 纤维化的底簇是有界的。
• 在 Iitaka 体积有界和大性假设下，建立 $\varepsilon$-lc Fano 型纤维化的有界性结果。
• 支持关于在一般纤维行为有界条件下 Iitaka 体积的 DCC 性质的 Conjecture 1.6。
• 将已知的总空间有界性结果扩展至在强奇点和大性条件下底簇的有界性。

提出的方法

• 通过 Iitaka 纤维化的解析，将问题约化为 $X \to Z$ 是一个满足 $K_X + B$ 半正则且 $B$ 在 $\eta_Z$ 上为大的态射的情形。
• 应用全局 DCC，证明模除子 $M_Z$ 在数值上是有界的，利用系数和维数的有界性。
• 利用典范丛公式，将 $\operatorname{Ivol}(K_X + B)$ 与 $\deg_Z(K_Z + \Delta_Z + M_Z)$ 关联，确保体积属于一个 DCC 集。
• 通过纤维有界性和 $B$ 在 $\eta_Z$ 上的大性，建立 $mM_Z$ 的 nef 和 Cartier 性质，从而导出离散的度值。
• 构造一个共形模型以控制奇点，并在爆破下保持底簇的有界性。
• 利用系数的 DCC 性质和有界 Iitaka 体积，得出 $\operatorname{Ivol}(K_X + B)$ 属于一个 DCC 集，从而支持 Conjecture 1.6。

实验结果

研究问题

• RQ1 当 $\operatorname{Ivol}(K_X + B)$ 有界且 $B$ 在 $Z$ 的通用点上方为大时，Iitaka 纤维化的底簇 $Z$ 是否仍然有界？
• RQ2 在 $\varepsilon$-lc 奇点和有界 Iitaka 体积下，即使不假设纤维有界，是否仍可建立 $Z$ 的有界性？
• RQ3 对于固定维数和系数集 $\mathcal{I}$ 的 $\varepsilon$-lc 对，Iitaka 体积 $\operatorname{Ivol}(K_X + B)$ 的集合是否为 DCC 集？
• RQ4 在 $\dim X$ 较大但 $\dim Z$ 固定时，底簇 $Z$ 的有界性是否仍成立，其假设与 Conjecture 4.6 相同？
• RQ5 该底簇有界性猜想能否推广至实系数或非有理边界除子？

主要发现

• 当 $(X,B)$ 为 $\varepsilon$-lc，$\dim X = d$，$\operatorname{Ivol}(K_X + B) < v$，且 $B$ 在 $\eta_Z$ 上为大时，底簇 $Z$ 的族 $\mathcal{F}(d,\varepsilon,v,\mathcal{I})$ 是有界的。
• 在 $\eta_Z$ 上的大性条件下，对于固定维数和系数集 $\mathcal{I}$ 的 $\varepsilon$-lc 对，Iitaka 体积 $\operatorname{Ivol}(K_X + B)$ 属于一个 DCC 集。
• 模除子 $M_Z$ 在数值上是有界的，且存在某个 $m \in \mathbb{N}$ 使得 $mM_Z$ 为 nef 且 Cartier，从而保证 $\deg_Z M_Z \in \frac{1}{m}\mathbb{Z}_{\geq 0}$。
• 典范丛公式表明 $\operatorname{Ivol}(K_X + B) = \deg_Z(K_Z + \Delta_Z + M_Z)$，由于 $\Delta_Z$ 和 $M_Z$ 的有界性，该值属于一个 DCC 集。
• 该结果在假设 $B$ 在 $\eta_Z$ 上为大的前提下证实了 Conjecture 1.6，扩展了已知的大情形结果。
• 推论 1.5 表明，在相同假设下，总空间 $(X,B)$ 是对数有界的，结合定理 1.3 与关于有界总空间的结果。