[论文解读] Boundedness theorem for Fano log-threefolds

Alexandr Borisov|ArXiv.org|Feb 6, 1994

Algebraic Geometry and Number Theory参考文献 6被引用 23

一句话总结

本文证明了具有对数终端奇点且 Gorenstein 指数有界的 Fano 对数三复形族是有限的，从而确立了此类三复形的有界性。通过利用消去定理、Hilbert 多项式分析和解析方法，作者证明了第三自交数 $(-K_X)^3$ 有界，这通过 Noetherian 归纳法蕴含了族的有限性。

ABSTRACT

The main purpose of this article is to prove that the family of all Fano threefolds with log-terminal singularities with bounded index is bounded.

研究动机与目标

• 确立具有对数终端奇点和有界 Gorenstein 指数的 Fano 对数三复形的有界性。
• 证明对于固定指数 $n$ 的所有此类三复形属于有限多个族。
• 将光滑和终端 Fano 三复形的有界性结果扩展到更广泛的对数终端、Q-因子化、$ = 1$ Fano 三复形类。
• 为验证 Fano 代数簇的猜想提供基础步骤：当奇点的亏格下界为 $-1 + \epsilon$ 时，其族是有限的。

提出的方法

• 使用 Kawamata–Vieweg 消去定理确保 $h^i(-mK_X) = 0$ 对于 $i > 0$ 成立，从而简化 $h^0(-mK_X)$ 的计算。
• 分析 $\chi(\mathcal{O}_X(-mnK_X))$ 的 Riemann–Roch 公式，将其表示为关于 $m$ 的三次多项式，其系数涉及 $(-K_X)^3$、$\alpha$ 和 $\beta$。
• 通过引理 2.1 将有界性问题约化为证明 $h^0(-2nK_X)$ 有界，该引理将 $h^0(-2nK_X)$ 与 $(-K_X)^3$ 联系起来。
• 应用引理 2.2，利用曲线连通性和局部重数来控制奇异曲面上的交数。
• 使用准确解析引理（引理 5.2）构造一个解析 $Y_4$，使得其典范次数 $K_{Y_4} \cdot L$ 以指数 $n$ 有界，从而确保对形变行为的控制。
• 应用 Kollár–Miyaoka–Mori 的粘合引理，构造新的有理曲线覆盖族，并将问题约化到低维情形。

实验结果

研究问题

• RQ1 具有对数终端奇点和固定 Gorenstein 指数 $n$ 的 Fano 对数三复形族是否构成有界族？
• RQ2 能否在不假设终端性的情况下，为 $ =1$、$ $-因子化奇点且具有对数终端奇点的 Fano 三复形建立有界性？
• RQ3 此类 Fano 对数三复形的第三自交数 $(-K_X)^3$ 是否有界？
• RQ4 能否将 $h^0(-2nK_X)$ 的有界性作为族有界性的充分条件？
• RQ5 在相继的曲线粘合与解析步骤后，$l' \cdot (-K_X)$ 的有效界是多少？

主要发现

• 对于任意固定的自然数 $n$，所有指数为 $n$ 的 Fano 对数三复形族是有限的，这通过 $(-K_X)^3$ 的有界性得到证明。
• 第三自交数 $(-K_X)^3$ 有界，这由引理 2.1 从 $h^0(-2nK_X)$ 的有界性推出。
• 当 $h^0(-2nK_X)$ 足够大时，存在一个准确解析 $Y_4$，使得在情形 (2A) 中 $K_{Y_4} \cdot L \leq 72n$，在情形 (2B) 中 $K_{Y_4} \cdot L \leq 3n + 72n^2$，从而确保对形变行为的控制。
• 在 $Y_4$ 上，曲线 $L$ 不存在非平凡的两点形变，这保证了粘合引理可被用于构造新的覆盖族。
• 新覆盖族中曲线的最终度界为 $l' \cdot (-K_X) \leq 12n(4 + 3n + 72n^2)$，该界为有限值且仅依赖于 $n$，从而完成向低维情形的约化。
• 通过 Noetherian 归纳法得出主定理，表明指数为 $n$ 的 Fano 对数三复形族属于有限多个族，尽管未提供对不变量的有效界。