[论文解读] Fano 5-folds with nef tangent bundles

Akihiro Kanemitsu|arXiv (Cornell University)|Mar 16, 2015

Algebraic Geometry and Number Theory参考文献 25被引用 11

一句话总结

本文证明了具有 nef 切丛的 Fano 5-流形是射影齐次流形，从而在五维情形下完成了 Campana-Peternell 猜想。通过分析极小有理曲线的求值态射，并结合纤维化结构与正性论证，作者消除了唯一剩余的情形——伪指标为四且 Picard 数为一的情形，证明不存在此类 CP 5-流形，从而在该维数下证实了该猜想。

ABSTRACT

We prove that Fano 5-folds with nef tangent bundles are rational homogeneous manifolds.

研究动机与目标

• 验证 Campana-Peternell 猜想：在五维情形下，具有 nef 切丛的 Fano 流形是射影齐次流形。
• 解决五维情形中剩余的未决情形：Picard 数为一且伪指标为四的 Fano 5-流形。
• 通过分析极小有理曲线的求值态射结构，证明此类 CP 5-流形不存在。
• 通过排除非齐次候选对象，完成具有 nef 切丛的 Fano 5-流形的分类。

提出的方法

• 分析五维 CP 5-流形 $ X $（Picard 数为一且伪指标为四）上极小有理曲线的求值态射 $ e: U \to X $。
• 应用 Oguiso 与 Viehweg 的结果，识别 $ \overline{\mathrm{NE}}(U/X) $ 中的极小极射线，从而将求值态射分类为光滑的 $ \mathbb{P}^2 $-纤维化或两个光滑 $ \mathbb{P}^1 $-纤维化的复合。
• 利用纤维化结构与相对 canonical 线丛的正性，当求值态射为 $ \mathbb{P}^2 $-纤维化时导出矛盾。
• 通过上同调与 Betti 数论证，证明 $ b_4(Y) = 0 $，与 $ b_4(Y) \geq 1 $ 矛盾，从而排除 $ \mathbb{P}^2 $-纤维化情形。
• 在 $ g $ 为具有第二收缩的光滑 $ \mathbb{P}^1 $-纤维化时，利用伴随公式与陈类计算，证明 $ -K_g $ 为 nef。
• 通过对偶性与 Betti 数恒等式，在 $ q $ 的相对维数为 2、3 或 5 时导出 Betti 数计数矛盾。

实验结果

研究问题

• RQ1 是否存在一个 Fano 5-流形，其 Picard 数为一、伪指标为四、且具有 nef 切丛，但不是射影齐次流形？
• RQ2 此类 CP 5-流形上极小有理曲线的求值态射是否可能为光滑的 $ \mathbb{P}^2 $-纤维化？
• RQ3 求值态射是否可能为两个光滑 $ \mathbb{P}^1 $-纤维化的复合，而不会与伪指标或 Betti 数约束矛盾？
• RQ4 当 $ g $ 为具有第二收缩的光滑 $ \mathbb{P}^1 $-纤维化时，相对 canonical 线丛 $ -K_g $ 是否为 nef？
• RQ5 当求值态射为 $ \mathbb{P}^2 $-纤维化时，是否可利用全空间 $ W $ 的 Betti 数结构导出矛盾？

主要发现

• 不存在具有 Picard 数为一且伪指标为四的 Fano 5-流形，其极小有理曲线的求值态射为光滑的 $ \mathbb{P}^2 $-纤维化。
• 在 Picard 数为一且伪指标为四的 CP 5-流形上，极小有理曲线的求值态射必为两个光滑 $ \mathbb{P}^1 $-纤维化的复合。
• 在假设求值态射为 $ \mathbb{P}^2 $-纤维化时，推导出 $ b_4(Y) = 0 $，与 $ b_4(Y) \geq 1 $ 矛盾，从而排除此情形。
• 当 $ g $ 为具有第二收缩的光滑 $ \mathbb{P}^1 $-纤维化时，通过陈类与斜率分析，证明 $ -K_g $ 为 nef。
• 当 $ q $ 为光滑 $ \mathbb{P}^2 $-纤维化时，出现 Betti 数计数矛盾：$ b_4(X) = 1 $ 且 $ b_4(Y) = 0 $，但 $ b_4(Y) \geq 1 $，这不可能成立。
• 唯一一致的情形在 $ q $ 的相对维数为 3 或 5 时导致矛盾，原因在于 $ -K_g $ 的 nef 性与条件 $ -K_f.C = -1 $ 共存，从而证明此类 CP 5-流形不存在。