[论文解读] Boundedness of polarized log Calabi-Yau fibrations

Junpeng Jiao|arXiv (Cornell University)|Feb 15, 2022

Geometry and complex manifolds被引用 4

一句话总结

本文在自然几何约束下，建立了极化 Calabi-Yau 纤维丛在 Crepant 有理等价关系下的有界性：当基空间有界且一般纤维构成有界的一族对数 Calabi-Yau 对时。关键结果证明了具有中间 Kodaira 维数和此类纤维丛的良好极小模型在 Crepant 有理等价关系下是有界的，将有界性结果从 Fano 或典范类型扩展到了 Calabi-Yau 纤维丛。

ABSTRACT

In this paper, we investigate the boundedness of log pairs with log Calabi--Yau fibration structures. We prove that total spaces of log Calabi--Yau fibrations are bounded modulo crepant birational equivalence when the Iitaka volumes of log canonical divisors are bounded and general fibers are in a bounded family of polarized log Calabi--Yau pairs.

研究动机与目标

• 通过其 Iitaka 纤维丛，建立具有中间 Kodaira 维数的良好极小模型的有界性。
• 研究一般纤维为极化 Calabi-Yau 对的对数 Calabi-Yau 纤维丛的有理有界性。
• 将有界性结果从 Fano 和典范类型扩展到极小模型程序中的 Calabi-Yau 纤维丛。
• 为在 Iitaka 体积和纤维体积约束下提供有界性的框架。

提出的方法

• 引入 Iitaka 体积作为 $Χ$-除子正性的度量，推广了线性系统标准体积的概念。
• 定义具有有界 Iitaka 体积和纤维体积的 klt 对族 $\mathcal{G}_{klt}(d,\mathcal{I},v,u)$，并证明其在 Crepant 有理等价关系下有界。
• 应用 MMP 和相对 MMP 技术将问题约化至低维情形，利用良好极小模型和相对良好极小模型的存在性。
• 运用广义对数 Calabi-Yau 纤维丛理论和模 b-除子控制奇点，并确保在 flop 下的有界性。
• 利用模族的有界性和体积界控制纤维与全空间的几何结构。
• 应用 [HX13] 中关于良好极小模型和 Crepant 有理等价性的结果，得出在 flop 下的有界性结论。

实验结果

研究问题

• RQ1 具有中间 Kodaira 维数和 Calabi-Yau 纤维丛的良好极小模型在 Crepant 有理等价关系下是否是有界的？
• RQ2 当基空间与纤维体积固定时，对数 Calabi-Yau 纤维丛族在何种条件下有界？
• RQ3 即使纤维非 Fano 型，是否也能对具有有理截面或有界次数有理多截面的 Calabi-Yau 纤维丛建立有界性？
• RQ4 Iitaka 体积如何控制极小模型程序中纤维丛的有界性？

主要发现

• 具有系数在 DCC 集 $\mathcal{I}$ 中、Iitaka 体积为 $v$、纤维体积为 $u$ 的 $d$-维 klt 对族 $\mathcal{G}_{klt}(d,\mathcal{I},v,u)$ 在 Crepant 有理等价关系下有界。
• 具有椭圆纤维丛和有理截面的 $d$-维光滑射影 Calabi-Yau 代数簇，当纤维体积固定时，在 flop 下有界。
• 有界性结果可推广至一般纤维为 Fano 型或存在有界次数有理多截面的情形。
• 即使不假设 $-K_{X_g}$ 的放大性，只要在一般纤维上存在具有固定体积的除子 $A$，即可保证在 Crepant 有理等价关系下的有界性。
• 证明依赖于模族的有界性，以及 $K_{Y}+\Delta+\mathbf{M}\sim_{\mathbb{Q}}0$ 的广义对偶对的 MMP 终止性。
• 结果表明，具有有界基空间和有界纤维几何的 Calabi-Yau 纤维丛在有理等价关系下是有界的，推广了关于椭圆纤维丛和 Fano 型纤维丛的先前结果。