[论文解读] On the boundedness of canonical models

Junpeng Jiao|arXiv (Cornell University)|Mar 25, 2021

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

一句话总结

该论文在一般纤维的 Iitaka 纤维丛属于固定有界极化 Calabi-Yau 对族的条件下，证实了关于具有固定 Iitaka 体积的 klt 对的 canonical 模型有界性的猜想。当一般纤维为对数有界且系数属于 DCC 集时，证明了 Iitaka 体积满足 DCC，且当体积固定为有理数值时，canonical 模型有界。

ABSTRACT

It is conjectured that the canonical models of varieties (not of general type) are bounded when the Iitaka volume is fixed. We confirm this conjecture when the general fibers of the corresponding Iitaka fibration are in a fixed bounded family of polarized Calabi-Yau pairs.

研究动机与目标

• 证明当 Iitaka 体积固定且 Iitaka 纤维丛的一般纤维属于固定有界极化 Calabi-Yau 对族时，klt 对的 canonical 模型有界。
• 在 Iitaka 纤维丛一般纤维有界性假设下，建立 Iitaka 体积的 DCC 性质。
• 证明当 Iitaka 体积为固定正有理数且一般纤维属于固定有界族时，klt 对的 canonical 模型有界。
• 通过引入模部分的有界性和通过统一基除子控制奇点，将先前关于 canonical 模型有界性的结果加以推广。

提出的方法

• 定义一类对数对 $\mathcal{D}(n,\mathcal{I},l,r)$，其一般纤维有界，模部分受控，且存在统一基除子 $D$，使得 $\mathrm{Ivol}(K_X+\Delta + f^*D) \leq r\cdot \mathrm{Ivol}(K_X+\Delta)$。
• 利用基上存在公共 snc 模型来控制奇点，并确保纤维结构的有界性。
• 通过条件 $l\bm{M}_{Z'}$ 为 nef 且 Cartier，实现模结构的下降，从而控制模部分 $\bm{M}_{Z'}$ 的有界性。
• 利用基与纤维分量的有界性，通过投影公式与体积比较技术，借助体积的 DCC 性质。
• 通过曲线上的 adjunction 与体积估计，控制一般纤维上模部分的次数，依赖于模空间 $\mathcal{H}^*$ 的有界性。
• 通过 Chow 变体的有界性，得出当纤维与基受控时，纤维总空间为对数有界的结论。

实验结果

研究问题

• RQ1 当 Iitaka 体积固定且 Iitaka 纤维丛的一般纤维属于固定有界极化 Calabi-Yau 对族时，klt 对的 canonical 模型是否仍然有界？
• RQ2 当系数属于 DCC 集且一般纤维有界时，klt 对的 Iitaka 体积集合是否自身满足 DCC？
• RQ3 当一般纤维有界且基通过除子 $D$ 受控时，Iitaka 纤维丛的模部分能否实现统一下降？
• RQ4 在何种条件下，一般纤维的有界性可推出具有固定 Iitaka 体积的 klt 对的 canonical 模型有界？
• RQ5 当纤维与基有界且模部分通过固定整数 $l$ 受控时，canonical 模型的体积能否实现统一控制？

主要发现

• 在 $\mathcal{D}(n,\mathcal{I},l,r)$ 中的对，其 Iitaka 体积 $\mathrm{Ivol}(K_X+\Delta)$ 的集合满足 DCC，确认了有界性研究中的关键一步。
• 当 Iitaka 体积固定为正有理数 $v$ 时，canonical 模型 $\mathrm{Proj} \oplus_{m=0}^\infty H^0(X, \mathcal{O}_X(m(K_X+\Delta)))$ 属于一个有界族。
• 存在统一基除子 $D$ 满足 $\mathrm{Ivol}(K_X+\Delta + f^*D) \leq r\cdot \mathrm{Ivol}(K_X+\Delta)$，确保对奇点纤维的控制，并实现纤维有界性。
• 模部分 $\bm{M}_{Z'}$ 可实现下降，且通过条件 $l\bm{M}_{Z'}$ 为 nef 且 Cartier 受控，从而实现纤维结构的统一性。
• 基与纤维分量的有界性，结合曲线上的体积估计，意味着 $A^{d-1}.g_*F$ 与 $A^{d-1}.g_*\phi^*H$ 有界，从而推出总空间的对数有界性。
• 对 $(W, \mathrm{Supp}(g_*(g^*A + F + (2d+1)\phi^*H)))$ 为对数有界，确认在给定条件下纤维整体的有界性。