[论文解读] Boundedness of log terminal Fano pairs of bounded index

James McKernan|arXiv (Cornell University)|May 20, 2002

Algebraic Geometry and Number Theory参考文献 13被引用 27

一句话总结

本文证明了有界指标与固定维数的对数终端法诺对构成一个有界族，这是双有理几何中的一个关键有限性结果。通过有界对数分歧度与纤维空间构造，证明了反 canonical 除子的次数有统一有界性，从而推出光滑部分的代数基本群有限，解决了巴蒂列夫在所有维数下的一个猜想。

ABSTRACT

We prove a conjecture of Batryev which states that the family of all Fano varieties with kawamata log terminal singularities and fixed index, forms a bounded family.

研究动机与目标

• 证明固定维数与有界指标的对数终端法诺对构成一个有界族，解决巴蒂列夫的猜想。
• 为这类对数终端法诺对的反 canonical 除子 $-(K_X + \Delta)$ 的次数建立统一上界。
• 在 $-(K_X + \Delta)$ 为大且 nef 的条件下，证明对数终端法诺对的光滑部分的代数基本群是有限的。
• 将光滑法诺簇的有界性结果推广至具有卡瓦马塔对数可去 singularities 与边界除子的奇异法诺对。
• 为极小模型程序背景下法诺簇的有界性提供基础，尤其在存在奇点与边界除子的情况下。

提出的方法

• 应用科拉尔的结果，将有界性问题约化为有界自交数 $d = (-K_X - \Delta)^n$ 的控制。
• 利用存在一个双有理态射 $\pi: Y \to X$ 与一个收缩映射 $f: Y \to B$，分析具有有界次数的纤维几何结构。
• 利用对数分歧度有界性来控制边界除子 $\Delta$ 的系数，确保其至多为 $1 - \epsilon$。
• 应用诺特归纳法与解析化技术，将问题约化为具有全局横截支持的光滑态射情形。
• 利用 ample 除子上的交集理论，通过涉及对数拉回 $\Gamma$ 与纤维上除子 $\Gamma_{t,s}$ 的不等式来控制次数。
• 利用纤维族的有界性与对数非卡瓦马塔对数可去条件，导出多重性 $w$ 的统一上界 $w_0$，从而得到 $d$ 的有界性。

实验结果

研究问题

• RQ1 固定维数与有界指标的对数终端法诺对族是否构成一个有界族？
• RQ2 对于此类对数终端法诺对，反 canonical 除子 $-(K_X + \Delta)$ 的次数是否可以统一有界？
• RQ3 当 $-(K_X + \Delta)$ 为大且 nef 时，对数终端法诺对的光滑部分的代数基本群是否有限？
• RQ4 有界性结果能否推广至具有卡瓦马塔对数可去奇点与边界除子的奇异法诺簇？
• RQ5 对数分歧度与纤维空间结构在控制有界指标法诺对几何结构中起什么作用？

主要发现

• 固定维数 $n$ 与有界指标 $r$ 的对数终端法诺对 $(X, \Delta)$ 的族是有界的，证实了巴蒂列夫的猜想。
• 存在一个统一的实数 $M$，使得对所有此类对，有 $d = (-K_X - \Delta)^n < M$，建立了关键的定量有界性。
• 当 $-(K_X + \Delta)$ 为大且 nef 时，$X$ 的奇点集补集的代数基本群是有限的，通过有限 étale 覆盖证明。
• 反 canonical 除子的次数被有界于 $(w_0 n)^n$，其中 $w_0$ 是依赖于对数分歧度与维数的常数。
• 族的有界性源于纤维族的有界性与对数拉回上的非卡瓦马塔对数可去条件。
• 证明依赖于通过 MMP 将问题约化为纤维空间，利用存在一个具有有界纤维次数的收缩态射。