[論文レビュー] Fano 5-folds with nef tangent bundles

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

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

ひとこと要約

この論文は、ネフ接束を持つファノ5次元多様体が有理均質多様体であることを証明し、5次元におけるCampana-Peternell予想を完成させる。最小有理曲線の評価準同型と被覆構造、正性の議論を用いて、残りの唯一のケース（ピカール数1、擬擬指数4）を除外し、そのようなCP 5-多様体が存在しないことを示し、結果としてこの次元における予想を確認する。

ABSTRACT

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

研究の動機と目的

• ネフ接束を持つファノ多様体が有理均質多様体であるというCampana-Peternell予想が5次元で成り立つことを検証すること。
• 5次元における未解決の残りのケース（ピカール数1、擬擬指数4のファノ5-多様体）を解消すること。
• 最小有理曲線の評価準同型の構造を分析することで、そのようなCP 5-多様体が存在しないことを示すこと。
• 非均質的候補を除外することで、ネフ接束を持つファノ5-多様体の分類を完成させること。

提案手法

• ピカール数1、擬擬指数4のCP 5-多様体Xにおける最小有理曲線の評価準同型 $ e: U \to X $ を分析する。
• OguisoとViehwegの結果を適用して $ \overline{\mathrm{NE}}(U/X) $ における極小ラジアルを特定し、評価準同型が滑らかな $ \mathbb{P}^2 $-被覆であるか、または2つの滑らかな $ \mathbb{P}^1 $-被覆の合成であると分類する。
• 被覆構造と相対標準バンドルの正性を用いて、評価準同型が $ \mathbb{P}^2 $-被覆である場合に矛盾を導く。
• コホモロジー的およびベッチ数の議論を用いて $ b_4(Y) = 0 $ を示し、$ b_4(Y) \geq 1 $ であるという事実と矛盾するため、$ \mathbb{P}^2 $-被覆のケースを除外する。
• $ \mathbb{P}(\mathscr{G}) $ 上での接続とチャーン類の計算を用いて、$ g $ が第2の収縮をもつ滑らかな $ \mathbb{P}^1 $-被覆である場合に $ -K_g $ がネフであることを示す。
• 双対性とベッチ数の恒等式を用いて、$ q $ の相対次元が2、3、または5のとき、ベッチ数の数え上げに矛盾が生じることを導く。

実験結果

リサーチクエスチョン

• RQ1 ピカール数1、擬擬指数4、ネフ接束を持つが有理均質でないファノ5-多様体は存在するか？
• RQ2 そのようなCP 5-多様体における最小有理曲線の評価準同型が滑らかな $ \mathbb{P}^2 $-被覆である可能性はあるか？
• RQ3 評価準同型が2つの滑らかな $ \mathbb{P}^1 $-被覆の合成である場合、擬擬指数またはベッチ数の制約に矛盾しないか？
• RQ4 第2の収縮をもつ滑らかな $ \mathbb{P}^1 $-被覆 $ g $ に対して、相対標準バンドル $ -K_g $ はネフであるか？
• RQ5 評価準同型が $ \mathbb{P}^2 $-被覆である場合、全空間 $ W $ のベッチ数構造を用いて矛盾を導くことができるか？

主な発見

• ピカール数1、擬擬指数4のファノ5-多様体において、最小有理曲線の評価準同型が滑らかな $ \mathbb{P}^2 $-被覆であるようなものは存在しない。
• ピカール数1、擬擬指数4のCP 5-多様体における最小有理曲線の評価準同型は、2つの滑らかな $ \mathbb{P}^1 $-被覆の合成でなければならない。
• 評価準同型が $ \mathbb{P}^2 $-被覆であると仮定すると $ b_4(Y) = 0 $ が得られるが、これは $ b_4(Y) \geq 1 $ であるという事実と矛盾するため、このケースは除外される。
• 滑らかな $ \mathbb{P}^1 $-被覆 $ g $ に第2の収縮が存在する場合、チャーン類および勾配の分析を用いて $ -K_g $ がネフであることが示される。
• 評価準同型が $ \mathbb{P}^2 $-被覆である場合、$ b_4(X) = 1 $ かつ $ b_4(Y) = 0 $ であるが、$ b_4(Y) \geq 1 $ でなければならないため、矛盾が生じる。
• 相対次元が3または5のとき、$ -K_g $ のネフ性と条件 $ -K_f.C = -1 $ から、唯一の整合的ケースでも矛盾が生じるため、そのようなCP 5-多様体は存在しないことが証明される。