[论文解读] Fano n-folds with nef tangent bundle and Picard number greater than n-5

Akihiro Kanemitsu|arXiv (Cornell University)|May 12, 2015

Algebraic Geometry and Number Theory参考文献 16被引用 5

一句话总结

本文证明了具有 nef 切丛且 Picard 数大于 $n-5$ 的 Fano $n$-流形是有理齐性流形，将 Campana-Peternell 猜想推广至高维。通过归纳法与 Fano 及 CP 纤维丛的性质，作者利用收缩态射与斜率不变量对这类流形进行分类，表明它们是射影空间或旗流形的积。

ABSTRACT

We prove that Fano n-folds with nef tangent bundle and Picard number greater than n-5 are rational homogeneous manifolds.

研究动机与目标

• 将 Campana-Peternell 猜想推广至 Picard 数 $\rho_X > n-5$ 的 Fano $n$-流形。
• 证明具有 nef 切丛的此类 Fano 流形为有理齐性空间。
• 利用归纳与几何方法对 CP $n$-流形在 $\rho_X > n-5$ 的情形进行分类。
• 通过斜率不变量与纤维丛分类，处理 CP $6$-流形上 $\mathbb{P}^r$-纤维丛结构的困难情形。
• 证明：若 CP 流形不具有到 FT 流形的收缩，则必有 $n \geq 2\rho_X$，且等号成立当且仅当其为 $\mathbb{P}^2$ 的积。

提出的方法

• 利用在 CP $n$-流形 $X$ 上，若 $\rho_X > n-5$，则非平凡收缩 $f: X \to Y$ 为光滑映射，故 $Y$ 与纤维均为 CP 流形。
• 应用 Muñoz, Occhetta, Solá Conde, Watanabe 与 Wiśniewski 关于 FT 流形（即具有光滑 $\mathbb{P}^1$-纤维丛的流形）的结果，将问题约化至旗流形。
• 引入 CP 纤维丛的概念：若 $\mathbb{P}(\mathscr{E})$ 为 CP 流形，则称向量丛 $\mathscr{E}$ 为 CP 纤维丛。
• 为 Fano 或 CP 纤维丛定义斜率不变量 $\tau$，并利用 $\tau$ 的数值约束限制可能的对 $(Y, \mathscr{E})$。
• 基于维度与 Picard 数的归纳论证，依赖于维度 $\leq 5$ 的 CP 流形的已知分类。
• 应用分支纯化定理，证明当 $Y$ 与 $Z$ 为有理流形时，若存在 étale 映射 $X \to Y \times Z$，则必有 $X \simeq Y \times Z$。

实验结果

研究问题

• RQ1 具有 nef 切丛且 $\rho_X > n-5$ 的 Fano $n$-流形是否为有理齐性流形？
• RQ2 CP $n$-流形在 $\rho_X > n-5$ 情形下可能的几何结构为何？
• RQ3 CP 纤维丛的斜率不变量 $\tau$ 如何约束流形 $X$ 的结构？
• RQ4 能否通过归纳法与纤维丛技巧将 Campana-Peternell 猜想推广至 $\rho_X > n-5$ 的 $n$-流形？
• RQ5 不具有到 FT 流形的收缩的 CP $n$-流形具有何种结构？

主要发现

• 具有 nef 切丛且 $\rho_X > n-5$ 的 Fano $n$-流形为有理齐性流形，证实了该范围内 Campana-Peternell 猜想。
• 分类结果包括 $\mathbb{P}^2 \times \cdots \times \mathbb{P}^2$、$\mathbb{P}^2 \times \cdots \times \mathbb{P}^3$、$\mathbb{P}^2 \times \cdots \times \mathbb{Q}^3$、$\mathbb{P}^2 \times \cdots \times \mathbb{P}(\mathscr{S}_i)$ 与 $\mathbb{P}^2 \times \cdots \times \mathbb{P}(T_{\mathbb{P}^3})$。
• 对于不具有到 FT 流形收缩的 CP $n$-流形，有 $n \geq 2\rho_X$，且等号成立当且仅当 $X \simeq (\mathbb{P}^2)^{\rho_X}$。
• 当 $n = 2\rho_X + 1$ 时，$X$ 同构于 $ (\mathbb{P}^2)^{\rho_X-1} \times \mathbb{P}^3 $、$ (\mathbb{P}^2)^{\rho_X-1} \times \mathbb{Q}^3 $、$ (\mathbb{P}^2)^{\rho_X-2} \times \mathbb{P}(\mathscr{S}_i) $ 或 $ (\mathbb{P}^2)^{\rho_X-2} \times \mathbb{P}(T_{\mathbb{P}^3}) $。
• 当 $n - \rho_X = 4$ 时，$X$ 为有理齐性流形；若 $X$ 具有两个初等收缩至 $\mathbb{P}^3$ 或 $\mathbb{Q}^3$，则 $X \simeq Y \times Z$。
• 映射 $X \to Y \times Z$ 为 étale，且因 $Y \times Z$ 是单连通的，当 $Y, Z \simeq \mathbb{P}^3$ 或 $\mathbb{Q}^3$ 时，必有 $X \simeq Y \times Z$。