[论文解读] Threefolds with nef anticanonical bundles

Thomas Peternell, Fernando Serrano|Dipòsit Digital de la Universitat de Barcelona (Universitat de Barcelona)|Feb 5, 1998

Algebraic Geometry and Number Theory参考文献 22被引用 24

一句话总结

本文证明了具有 nef 反 canonical 线丛的光滑射影三维流形的阿爾巴內塞映射是一个满射子mersion，从而解决了复代数几何中的一个关键猜想。通过使用极小模型程序技术，包括翻转和收缩，作者在 $ mathbb{Q}$-因子化终端三维流形的范畴中工作，并通过几乎 nef 性的归纳论证，克服了由具有法丛 $ mathcal{O}(-2) oplus mathcal{O}(-2)$ 的有理曲线所造成的障碍。

ABSTRACT

We prove that the Albanese map of a smooth projective threefold, whose anticanonical bundle is nef, is a surjective submersion. We also investigate morphisms of threefolds to curves and surfaces whose relative anticanonical bundle are nef.

研究动机与目标

• 证明对于具有 nef 反 canonical 线丛的光滑射影三维流形，阿爾巴內塞映射是一个满射子mersion。
• 解决阿爾巴內塞映射是子mersion 的猜想，当 $-K_X$ 为 nef 时，推广了从非负 Ricci 曲率得到的结果。
• 克服由沿具有法丛 $\mathcal{O}(-2)\oplus\mathcal{O}(-2)$ 的有理曲线的爆破所造成的技障碍。
• 建立一个使用 $\mathbb{Q}$-因子化终端三维流形和几乎 nef 性概念的框架，以处理这一例外情况。
• 将具有半正 Ricci 曲率的三维流形的结构定理扩展到 nef 情况，支持了其万有覆叠的分裂猜想。

提出的方法

• 使用极小模型程序分析极小收缩并必要时执行翻转，特别是在小收缩的情况下。
• 采用 $\mathbb{Q}$-因子化终端三维流形的范畴来处理由爆破引起的奇点。
• 引入“几乎 nef”反 canonical 线丛的概念，即对所有但有限多条有理曲线都有 $-K_X \cdot C \geq 0$。
• 对 $b_2(Y)$ 进行归纳，将问题约化为在维数为 1 或 2 的阿贝尔簇上的纤维化。
• 使用基点自由定理和 $mL$ 对大 $m$ 的 nef 性，构造光滑除子并分析交点数。
• 通过上同调消去和谱序列验证，例外情况 $N_{C_0/W} = \mathcal{O}(-2)\oplus\mathcal{O}(-2)$ 导致矛盾。

实验结果

研究问题

• RQ1 对于具有 nef 反 canonical 线丛的光滑射影三维流形，阿爾巴內塞映射是否为满射子mersion？
• RQ2 在极小模型程序框架中，能否克服 $\mathcal{O}(-2)\oplus\mathcal{O}(-2)$-曲线情况造成的障碍？
• RQ3 当 $-K_X$ 为几乎 nef 时，是否允许在这些三维流形的分类中进行归纳约化？
• RQ4 当 $-K_{X|Y}$ 对于纤维化 $X \to Y$ 为 nef 时，相对阿爾巴內塞映射是否为子mersion？
• RQ5 能否将万有覆叠的分裂猜想从半正 Ricci 曲率推广到 nef 反 canonical 线丛？

主要发现

• 对于任意具有 $-K_X$ 为 nef 的光滑射影三维流形，阿爾巴內塞映射是满射子mersion，从而在三维情形确认了该猜想。
• 当与上同调消去结合时，沿具有法丛 $\mathcal{O}(-2)\oplus\mathcal{O}(-2)$ 的有理曲线的爆破这一例外情况会导致矛盾，因此在极小模型程序序列中不可能发生。
• 在终端三维流形的背景下，翻转的存在性得到保证，从而确保过程的有限终止，使归纳约化成为可能。
• 经过有限次翻转后，$X' \to A$ 的纤维化结构确保了阿爾巴內塞映射是子mersion，且当 $\dim A = 1$ 时，在 $A$ 上不再发生进一步的爆破。
• 在假设 $-K_{Z|Y}$ 在双有理收缩后仍保持为 nef 的前提下，证明了在无有理曲线且亏格为正的曲面 $Y$ 上的相对情形为子mersion。
• 使用 Leray 谱序列的上同调论证表明 $H^1(Y, K_Y) = 0$，与 $q(Y) > 0$ 矛盾，从而排除了 $N_{C_0/W} = \mathcal{O}(-1)\oplus\mathcal{O}(-2)$ 的情况。