[论文解读] Extremal contractions from 4-dimensional manifolds to 3-folds

Yasuyuki Kachi|ArXiv.org|Feb 25, 1995

Geometry and complex manifolds参考文献 36被引用 23

一句话总结

本文对从光滑四fold到三fold的极小收缩中的二维纤维进行了分类，证明了此类纤维中任意两点均可通过至多两条 $-K_X$-长度为1或2的有理曲线连接，且 $|-K_X|$ 是 $g$-自由的。分类涵盖纤维为有理曲面、有理柱面或如 $\Sigma_1$ 等奇异曲面的情形，包含精确的不变量如 $l_E(R)$ 与解析相对 Picard 数 $\rho^{\text{an}}$。结果通过分析非等维收缩，将极小模型程序推广至四维。

ABSTRACT

Let $g : X o Y$ be the contraction of an extremal ray of a smooth projective 4-fold $X$ such that $\dim Y=3$. Then $g$ may have a finite number of 2-dimensional fibers. We shall classify those fibers. Especially we shall prove that any two points of such a fiber is joined by a chain of rational curves of length at most 2 with respect to $-K_X$, and that $|-K_X|$ is $g ext{-free}$.

研究动机与目标

• 对从光滑射影四fold到三fold的极小收缩 $g: X \to Y$ 中二维纤维的结构进行分类。
• 理解当收缩非等维时此类纤维的局部几何，特别是 $Y$ 的孤立奇点处的性质。
• 证明任意两点在二维纤维中可通过至多两条 $-K_X$-长度不超过2的有理曲线连接。
• 建立反canonical 线性系统 $|-K_X|$ 为 $g$-自由，确保其在 $Y$ 上诱导一个到相对射影空间的态射。
• 构造此类收缩的显式例子，包括 $l_E(R) = 1$ 或 $2$，以及 $\rho^{\text{an}}(X\supset E/Y\ni P) = 1$ 或 $2$ 的情形，以说明分类结果。

提出的方法

• 通过 $Y$ 中像点 $P = g(E)$ 附近的局部小邻域 $U \to V$ 使用解析局部几何，分析相对曲锥 $\overline{NE}^{\text{an}}(X\supset E/Y\ni P)$。
• 定义并计算长度 $l_E(R)$，即满足 $C \subset E$ 的有理曲线 $C$ 的 $(-K_X \cdot C)$ 的最小值，证明其为1或2。
• 应用 $U \setminus E \to V \setminus \{P\}$ 上的二次包结构，表明纤维是 $(-K_X \cdot C) = 2$ 的圆锥曲线的极限，并对可约或非约类型进行分类。
• 利用翻转、除子收缩与翻转作为工具，基于 Kawamata 与 Andreatta-Wi{\ss}niewski 的已知结果，分析 $X$ 在 $E$ 附近的局部结构。
• 通过沿曲线的爆破与 $\mathbb{P}^1$-丛构造显式例子，包括 $\mathbb{P}^4$ 沿曲线的爆破，以及来自二次锥面与 Del Pezzo 纤维丛的构造。
• 使用解析相对 Picard 数 $\rho^{\text{an}}(X\supset E/Y\ni P)$ 区分情形，其中 $\rho^{\text{an}} = 1$ 或 $2$ 分别对应不同类型的纤维。

实验结果

研究问题

• RQ1 从光滑四fold到三fold的极小收缩中，二维纤维可能的结构是什么，特别是在收缩非等维时？
• RQ2 纤维内部的点如何通过有界 $-K_X$-长度的有理曲线连接？
• RQ3 此类收缩中反canonical 线性系统 $|-K_X|$ 的行为如何？是否为 $g$-自由？
• RQ4 哪些不变量（如 $l_E(R)$ 与 $\rho^{\text{an}}(X\supset E/Y\ni P)$）可对不同类型的纤维进行分类？
• RQ5 能否构造出所有可能纤维类型的显式例子，包括 $\rho^{\text{an}} = 2$ 或不可约非有理纤维的情形？

主要发现

• 在 $g: X \to Y$ 的二维纤维 $E$ 中，任意两点均可通过至多两条有理曲线连接，每条曲线的 $-K_X$-长度为1或2。
• 反canonical 线性系统 $|-K_X|$ 是 $g$-自由的，即其在 $Y$ 上定义一个态射，这是极小模型程序中的关键步骤。
• 纤维长度不变量 $l_E(R)$ 为1或2；当 $l_E(R) = 1$ 时，包含 $E \simeq \Sigma_1$ 或 $\mathbb{P}^2 \cup \mathbb{P}^2$ 在一点相交的情形。
• 解析相对 Picard 数 $\rho^{\text{an}}(X\supset E/Y\ni P)$ 为1或2，其中 $\rho^{\text{an}} = 1$ 对应该类 Mukai-Wi{\ss}niewski 型，$\rho^{\text{an}} = 2$ 对应更复杂的构型，如 $\mathbb{P}^1 \times \Sigma_1 \cup \Sigma_1 \times \mathbb{P}^1$。
• 构造了显式例子：一个 $E \simeq \Sigma_1$ 的情形（Mukai 型），另一个 $E \simeq \mathbb{P}^2 \cup \mathbb{P}^2$ 在一点相交的情形（Wi{\ss}niewski 型），以及一个具有不可约非有理四次纤维的 Del Pezzo 纤维丛。
• 构造了一个具有不可约、奇异、非有理曲面（椭圆曲线的锥面）的纤维作为四次 Del Pezzo 纤维丛，表明此类纤维可在极小模型程序中出现。