[论文解读] Fano manifolds having (n-1,0)-type extremal rays with large Picard number

Kento Fujita|arXiv (Cornell University)|Dec 20, 2012

Geometry and complex manifolds参考文献 7被引用 8

一句话总结

本文分类了维数 $ n \geq 3 $ 且 Picard 数 $ \rho_X \geq 3 $ 的光滑 Fano簇，其具有类型为 $ (n-1,0) $ 的极小面射，即将一个除子双有理地映射到一点的收缩。主要结果表明，此类簇同构于 $ \mathbb{P}_Z(\mathcal{O}_Z \oplus \mathcal{O}_Z(s)) $ 沿着一个截面中的光滑除子的Blow-up，其中 $ Z $ 是一个 Picard 数为 1 且指标 $ r > s > 0 $ 的 Fano 簇，且除子类具有额外的正性约束。

ABSTRACT

We classify smooth Fano manifolds X with the Picard number $ρ_X \geq 3$ such that there exists an extremal ray which has a birational contraction that maps a divisor to a point.

研究动机与目标

• 对维数 $ n \geq 3 $、Picard 数 $ \rho_X \geq 3 $ 且具有类型 $ (n-1,0) $ 的极小面射（即将一个除子双有理映射到一点的双有理收缩）的光滑 Fano 簇 $ X $ 进行分类。
• 将先前关于类型 $ (n-1,n-2)^{\text{sm}} $ 的极小面收缩和二次包络的结果推广至最大 Picard 数的情形。
• 通过识别其为以 Picard 数为 1 且指标 $ r > s > 0 $ 的 Fano 基底 $ Z $ 为底的 $ \mathbb{P}_Z(\mathcal{O}_Z \oplus \mathcal{O}_Z(s)) $ 的Blow-up，精确确定此类 Fano 簒的几何结构。

提出的方法

• 使用极小面射理论及 Mori 通过极小面收缩对 Fano 簇的分类方法。
• 应用 Ando 对极小面收缩的分类，分析纤维与例外集。
• 在基底 $ Z $（满足 $ \rho_Z = 1 $ 且指标 $ r $）上构造 $ Y = \mathbb{P}_Z(\mathcal{O}_Z \oplus \mathcal{O}_Z(s)) $ 的 $ \mathbb{P}^1 $-丛结构。
• 通过 Néron-Severi 群与有效曲线锥 $ \overline{\operatorname{NE}}(X) $ 分析交数与除子类。
• 使用 Blowing-up 映射 $ \pi: Y \to Z $，并识别中心 $ W \subset D \subset Y $ 为截面中的一光滑除子，满足 $ \mathcal{N}_{D/Y} \simeq \mathcal{O}_Z(s) $。
• 验证不等式 $ r > d - s $，以确保 Blowing-up 后反 canonical 除子仍为 ample。

实验结果

研究问题

• RQ1 维数 $ n \geq 3 $、Picard 数 $ \rho_X \geq 3 $ 且具有 $ (n-1,0) $ 型极小面射的光滑 Fano 簒 $ X $ 的几何结构是什么？
• RQ2 在何种条件下，具有 $ (n-1,0) $ 型极小面射和大 Picard 数的 Fano 簒会具有以 Picard 数为 1 的 Fano 基底上的 $ \mathbb{P}^1 $-丛结构？
• RQ3 基底 $ Z $ 的指标 $ r $、扭量 $ s $ 与中心 $ W $ 的次数 $ d $ 如何约束 Blowing-up $ X = \operatorname{Bl}_W Y $ 的几何结构？

主要发现

• 具有 $ \rho_X \geq 3 $ 且 $ (n-1,0) $ 型极小面射的光滑 Fano 簒 $ X $ 同构于 $ \operatorname{Bl}_W Y $，其中 $ Y = \mathbb{P}_Z(\mathcal{O}_Z \oplus \mathcal{O}_Z(s)) \to Z $ 是一个 $ \mathbb{P}^1 $-丛，且 $ W \subset D \subset Y $ 是一个光滑除子。
• 基底 $ Z $ 是一个维数为 $ n-1 $、Picard 数 $ \rho_Z = 1 $、指标 $ r $ 的 Fano 簒，且 $ \mathcal{O}_Z(1) $ 是 $ \operatorname{Pic}(Z) $ 的 ample 生成元。
• 不等式 $ r > s > 0 $ 成立，确保 $ \mathbb{P}^1 $-丛结构非平凡，且反 canonical 除子保持 ample。
• 截面 $ D \subset Y $ 满足 $ \mathcal{N}_{D/Y} \simeq \mathcal{O}_Z(s) $，且中心 $ W \subset D $ 是一个光滑除子，满足 $ W \in |\mathcal{O}_Z(d)| $。
• 条件 $ r > d - s $ 是确保 $ X $ 的反 canonical 除子在 Blowing-up 后仍为 ample 的充要条件。
• 该分类是完备的：此类 Fano 簒恰好是满足上述 $ r, s, d $ 约束的此类构造所生成的。