[论文解读] Extremal rays and nefness of tangent bundles

Akihiro Kanemitsu|arXiv (Cornell University)|May 16, 2016

Algebraic Geometry and Number Theory参考文献 29被引用 3

一句话总结

本文分类了满足极小射线递归条件（条件 $*$）且 Picard 数 $ ho_X > n-6$ 的 Fano $n$-流形，证明其要么为有理齐性流形，要么为 $n-7$ 个 $P^1$ 与 Ottaviani 构造的唯一 Fano 7-流形 $X_0$ 的积。关键贡献在于证明了 $X_0$ 的切丛非 nef，从而提供了反例，反驳了所有满足条件 $*$ 的 Fano 流形均为有理齐性流形的猜想，并确立了 Campana-Peternell 猜想的精确界限。

ABSTRACT

In view of Mori theory, rational homogenous manifolds satisfy a recursive condition: every elementary contraction is a rational homogeneous fibration and the image of any elementary contraction also satisfies the same property. In this paper, we show that a smooth Fano $n$-fold with the same condition and Picard number greater than $n-6$ is either a rational homogeneous manifold or the product of $n-7$ copies of $\mathbb{P}^1$ and a Fano $7$-fold $X_0$ constructed by G. Ottaviani. We also clarify that $X_0$ has non-nef tangent bundle and in particular is not rational homogeneous.

研究动机与目标

• 对满足条件 $*$ 的 Fano $n$-流形进行分类，该条件要求所有初等收缩均为有理齐性纤维丛。
• 确定高 Picard 数的此类 Fano 流形是否必然为有理齐性流形，从而挑战 Campana-Peternell 猜想的自然推广。
• 阐明 Ottaviani 构造的 Fano 7-流形 $X_0$ 作为条件 $*$ 蕴含有理齐性的猜想之反例的作用。
• 确立 Campana-Peternell 猜想关于 nef 切丛的精确界限，表明 $ _X > n-6$ 是该猜想可能失效的临界阈值。

提出的方法

• 为向量丛引入不变量 $d_i(\mathscr{E})$ 与 $ _i(\mathscr{E})$，以分析射影化丛上的交数，尤其适用于秩大于 3 的 Fano 丛。
• 利用 Fano 丛的斜率理论及斜率的数值条件，通过在 5 维二次曲面之上两个不同的 $P^2$-纤维结构刻画 Fano 7-流形 $X_0$。
• 应用 Demailly-Peternell-Schneider 与 Muñoz 等人的结果，将切丛的 nef 性与条件 $*$ 关联，前提是低维 Fano 流形满足一定假设。
• 采用对维数 $n$ 的归纳法，利用初等收缩的结构，将分类归约为已知的齐性情形或与 $X_0$ 的积，借助 $X_0$ 的唯一性。
• 分析交换图中收缩映射的纤维积与笛卡尔正方形的几何，以推导出积结构或旗丛型纤维化。
• 应用关于 Picard 数为 1 且维数 $q 6$ 的 Fano 流形的已知结果，通过归纳法验证收缩序列中所有纤维与像均满足条件 $*$。

实验结果

研究问题

• RQ1 所有满足 $ _X > n-6$ 且条件 $*$ 的 Fano $n$-流形是否必为有理齐性流形？
• RQ2 Ottaviani 构造的 Fano 7-流形 $X_0$ 是否满足条件 $*$，且是否为唯一满足 Picard 数为 2 且在 5 维二次曲面上有两个不同 $P^2$-纤维结构的 Fano 7-流形？
• RQ3 $X_0$ 的切丛是否为 nef？这对 Campana-Peternell 猜想关于 Fano 流形的 nef 切丛有何影响？
• RQ4 Campana-Peternell 猜想能否推广至满足 $ _X > n-6$ 的 Fano $n$-流形？其有效性的精确阈值是什么？
• RQ5 若 $X_0$ 存在，是否意味着即使 Picard 数很高，仅由条件 $*$ 也无法推出切丛为 nef？

主要发现

• Ottaviani 构造的 Fano 7-流形 $X_0$ 是唯一满足 Picard 数为 2 且在 5 维二次曲面上有两个不同光滑 $P^2$-纤维结构并满足条件 $*$ 的 Fano 7-流形。
• $X_0$ 的切丛非 nef，证明其非有理齐性，从而为条件 $*$ 蕴含有理齐性的猜想提供了反例。
• 所有满足 $ _X > n-6$ 且条件 $*$ 的 Fano $n$-流形，要么为有理齐性流形，要么同构于 $(P^1)^{n-7} \times X_0$，从而实现了完整分类。
• $X_0$ 的存在表明 $ _X > n-6$ 是精确界限：满足 $ _X > n-6$ 的 Fano $n$-流形不一定是有理齐性流形。
• 若 Campana-Peternell 猜想对 Picard 数为 1 的 6-流形成立，则其对所有满足 $ _X > n-6$ 的 Fano $n$-流形均成立，此结论通过 Picard 数的归纳约化得以证明。
• 反例 $X_0$ 对问题 0.4 在 $q=1$ 时给出否定回答，表明 $igwedge^q T_X$ 在极小有理曲线上为 nef 并不蕴含 $igwedge^q T_X$ 为 nef。