[论文解读] Some Results about the Index Conjecture for log Calabi-Yau Pairs

Yanning Xu|arXiv (Cornell University)|Apr 30, 2019

Algebraic Geometry and Number Theory参考文献 17被引用 5

一句话总结

本文利用基于 canonical bundle 公式、MMP 和广义对偶对偶对的有界性结果的归纳技术，证明了三维对数卡宾-亚麻对的对数极小指数有界性，以及在边界除子非零时四维 klt 对数卡宾-亚麻对的对数极小指数有界性。该研究证明了三维对数极小卡宾-亚麻对的指数猜想，并在附加假设下部分证明了四维情况的指数猜想。

ABSTRACT

We show some inductive statements for the index conjecture for log canonical Calabi-Yau pairs. Using it, we show that boundedness of log canonical index for log canonical Calabi Yau pairs with rational DCC coefficients in dimension 3. We also show boundedness of log canonical index for klt log Calabi-Yau pairs in dimension 4 with $B eq 0$.

研究动机与目标

• 证明三维对数极小卡宾-亚麻对的指数猜想。
• 在边界除子非零的条件下，建立四维 klt 对数卡宾-亚麻对的对数极小指数有界性。
• 基于 canonical bundle 公式和 MMP 开发归纳技术，将高维情形约化为低维有界性结果。
• 将指数猜想与 B-双有理自同构群的有界性及广义对偶对联系起来。

提出的方法

• 在维度上使用归纳法，假设在低维情形指数猜想成立，以证明其在高维情形成立。
• 应用 canonical bundle 公式，将纤维空间上的对数极小除子与基空间联系起来，从而将问题约化为低维情形。
• 使用极小模型程序（MMP）收缩极射线，约化为 Mori 纤维空间或 Fano 型代数簇。
• 应用 BAB 和广义对偶对理论中的有界性结果，以控制模除子和边界分量的行为。
• 利用有理曲线和椭圆曲线属于有界族的事实，推导出全空间的有界性。
• 依赖于一个猜想：B-双有理自同构群在 pluricanonical 系上的作用是有界的，该猜想在维度 1 时已知成立。

实验结果

研究问题

• RQ1 对数极小卡宾-亚麻对在三维情形的指数猜想是否成立？
• RQ2 当边界除子非零时，四维 klt 对数卡宾-亚麻对的对数极小指数是否是有界的？
• RQ3 指数猜想能否约化为低维情形下 B-双有理自同构群和广义对偶对的有界性？
• RQ4 canonical bundle 公式在证明高维对数极小指数有界性中起什么作用？
• RQ5 能否通过 MMP 和族的有界性，以归纳法建立指数猜想？

主要发现

• 对数极小卡宾-亚麻对在三维情形的指数猜想成立，即存在一个统一的 $ n $，使得对所有此类对均有 $ n(K_X + B) \sim 0 $。
• 当 $ B \neq 0 $ 时，四维 klt 对数卡宾-亚麻对的对数极小指数是有界的，即存在仅依赖于系数集 $ \mathfrak{R} $ 的 $ n $，使得 $ n(K_X + B) \sim 0 $。
• 该证明依赖于将情形约化为 Mori 纤维空间的基为点、曲线或曲面的情况，并在每种情形下应用有界性。
• 当基为曲面时，利用 canonical bundle 公式和 MMP 证明 $ q(K_X + B) $ 在有界倍数后为 Cartier 且为挠元。
• 此类对的族的有界性由 [4, 定理 1.4] 推出，意味着统一的挠指数。
• 结果依赖于维度 $ \leq d $ 的猜想 1.4（klt 卡宾-亚麻簇的有界性）和维度 $ \leq d-2 $ 的猜想 1.9（B-双有理自同构群的有界性），这些在低维情形已知成立。