[論文レビュー] 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

ひとこと要約

この論文は、ネフ接続 bundle を持ち、Picard 数が $n-5$ より大きい Fano $n$-fold が有理均質空間であることを証明し、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.

研究の動機と目的

• Picard 数 $\rho_X > n-5$ を持つ Fano $n$-fold に対して、Campana-Peternell 猜定を拡張すること。
• ネフ接続 bundle を持つこのような Fano 多様体が有理均質空間であることを確立すること。
• 帰納的および幾何的技法を用いて、CP $n$-fold で $\rho_X > n-5$ を満たすものの分類を提供すること。
• CP $6$-fold に $\mathbb{P}^r$-バンドル構造が存在する困難な場合を、勾配不変量とバンドル分類を用いて取り扱うこと。
• FT 多様体への収縮を持たない CP 多様体について、$n \geq 2\rho_X$ が成り立ち、等号が成り立つのは $X \simeq (\mathbb{P}^2)^{\rho_X}$ のときであることを証明すること。

提案手法

• CP $n$-fold $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}$ を指す。
• Fano または CP バンドルに対して勾配不変量 $\tau$ を定義し、$\tau$ の数値的制約を用いて可能な対 $(Y, \mathscr{E})$ を制限する。
• 既知の次元 $\leq 5$ の CP 多様体の分類に依存して、次元および Picard 数に関する帰納的議論を展開する。
• 分岐被覆の純粋性を適用し、$X \to Y \times Z$ がエタール準同型である場合、$Y$ と $Z$ が有理的であるなら $X \simeq Y \times Z$ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ネフ接続 bundle を持ち、$\rho_X > n-5$ を満たす Fano $n$-fold は有理均質空間であるか？
• RQ2 CP $n$-fold で $\rho_X > n-5$ を満たすものに可能な幾何的構造は何か？
• RQ3 CP バンドルの勾配不変量 $\tau$ は $X$ の構造にどのように制限を加えるか？
• RQ4 帰納的およびファイブレーション技法を用いて、$\rho_X > n-5$ を満たす $n$-fold に対して Campana-Peternell 猜定を拡張できるか？
• RQ5 FT 多様体への収縮を持たない CP $n$-fold の構造は何か？

主な発見

• ネフ接続 bundle を持ち、$\rho_X > n-5$ を満たす Fano $n$-fold は有理均質空間であり、この範囲で 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$-fold については、$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$ への2つの基本的収縮を持つなら $X \simeq Y \times Z$ である。
• 写像 $X \to Y \times Z$ はエタールであり、$Y \times Z$ が単連結であるため、$Y, Z \simeq \mathbb{P}^3$ または $\mathbb{Q}^3$ なら $X \simeq Y \times Z$ である。