[论文解读] Boundedness of elliptic Calabi-Yau varieties with a rational section

Caucher Birkar, Gabriele Di Cerbo+1 more|arXiv (Cornell University)|Oct 19, 2020

Algebraic Geometry and Number Theory被引用 7

一句话总结

该论文在 canonical bundle 数值平凡且 canonical class 的挠指数有界、且纤维化存在有理截面的条件下，证明了 d 维 klt 椭圆 Calabi-Yau 代数簇的有界性。通过使用极小模型程序和有理连通对数 Calabi-Yau 对的有界性技术，作者证明了此类代数簇在 codimension 一 同构意义下有界，从而解决了在几何约束下对 Calabi-Yau 代数簇分类中的一个关键情形。

ABSTRACT

We show that for each fixed dimension $d\geq 2$, the set of $d$-dimensional klt elliptic varieties with numerically trivial canonical bundle is bounded up to isomorphism in codimension one, provided that the torsion index of the canonical class is bounded and the elliptic fibration admits a rational section. This case builds on an analogous boundedness result for the set of rationally connected log Calabi-Yau pairs with bounded torsion index. In dimension $3$, we prove the more general statement that the set of $ε$-lc pairs $(X,B)$ with $-(K_X +B)$ nef and rationally connected $X$ is bounded up to isomorphism in codimension one.

研究动机与目标

• 在固定维度下，建立具有数值平凡 canonical bundle 的 klt 椭圆 Calabi-Yau 代数簇的有界性。
• 通过施加几何约束（如存在有理截面）和有界挠指数，解决 K-trivial 代数簇缺乏有界性的问题。
• 将有理连通对数 Calabi-Yau 对的有界性结果推广至椭圆 Calabi-Yau 纤维化情形。
• 在给定约束下，证明此类代数簇在 codimension 一 同构意义下有界。
• 为具有有理截面的椭圆 Calabi-Yau 代数簇的模理论提供基础步骤。

提出的方法

• 利用极小模型程序（MMP）从一个有理连通 K-trivial 代数簇构造出 Mori 纤维空间的塔。
• 应用具有固定挠指数的有理连通对数 Calabi-Yau 对的有界性结果，将问题约化为有界基底。
• 运用 canonical bundle 公式和截面的“不同”（different）来控制纤维化过程中的奇点与不变量。
• 通过双有理变换与 flops 构造一个与原代数簇在 codimension 一 同构且具有有界几何结构的模型。
• 应用曲面的 BAB 猜想与 Fano 纤维化的有界性，控制纤维化的基底。
• 通过归纳法与 codimension 一 同构下的不变性，将问题约化为基底与纤维分量的有界性。

实验结果

研究问题

• RQ1 当 canonical class 的挠指数有界且存在有理截面时，d 维 klt 椭圆 Calabi-Yau 代数簇在 codimension 一 同构意义下是否具有有界性？
• RQ2 具有有理连通对数 Calabi-Yau 对的有界性结果能否推广至椭圆 Calabi-Yau 纤维化情形？
• RQ3 对基底与纤维几何的何种约束可确保固定维度下椭圆 Calabi-Yau 代数簇的有界性？
• RQ4 在有界挠指数与有理截面条件下，此类代数簇的集合是否在 codimension 一 同构意义下有限？
• RQ5 在给定条件下，能否建立基底代数簇的有界性，从而实现整体空间的有界性？

主要发现

• 当 canonical class 的挠指数有界且存在有理截面时，d 维 klt 椭圆 Calabi-Yau 代数簇在 codimension 一 同构意义下有界。
• 该有界性结果依赖于将问题约化为具有固定挠指数的有理连通对数 Calabi-Yau 对的有界性。
• 在给定假设下，椭圆纤维化的基底被证明是有限的，这是整体有界性证明中的关键步骤。
• 在三维情形下，满足 −(KX+B) 为 nef 且 X 有理连通的 ϵ-lc 对 (X,B) 的集合在 codimension 一 同构意义下有界。
• 证明表明，此类代数簇存在一个具有 Mori 纤维空间塔的模型，从而支持归纳有界性论证。
• 结果证实，如存在有理截面与有界挠指数等几何约束，足以在 K-trivial 情形下恢复有界性。