[論文レビュー] A survey on the Campana-Peternell Conjecture

Roberto Muñoz, Gianluca Occhetta+3 more|arXiv (Cornell University)|Jan 1, 2014

Algebraic Geometry and Number Theory参考文献 45被引用数 30

ひとこと要約

本調査は、Fano多様体の接束がnefであるならばその多様体は有理均質空間であると主張するCampana-Peternell予想を検討する。著者たちはMori理論、Bott-Samelson多様体、VMRT理論を用いてその多様体の構造を分析し、A_n型およびF4、C3型の旗型Fano多様体に対して、VMRTの同型性を検証し、滑らかなMori収縮を用いた再帰的均質性の議論により、この予想を証明する。

ABSTRACT

In 1991 Campana and Peternell proposed, as a natural algebro-geometric extension of Mori's characterization of the projective space, the problem of classifying the complex projective Fano manifolds whose tangent bundle is nef, conjecturing that the only varieties satisfying these properties are rational homogeneous. In this paper we review some background material related to this problem, with special attention to the partial results recently obtained by the authors.

研究の動機と目的

• 接束がnefであるFano多様体は有理均質空間であると主張するCampana-Peternell予想を調査すること。
• Mori収縮とファイバー構造の分析を通じて、CP多様体（接束がnefであるFano多様体）の幾何的構造を理解すること。
• 有理均質空間のVMRT（最小有理接線の多様体）と比較することで、旗型Fano多様体の均質性を確立すること。
• 長さが最大のWeyl群要素の簡約表現に関連するBott-Samelson多様体の再帰的構成を用いて、与えられたFano多様体とその均質モデルとの同型性を確立する再帰的技法を開発すること。
• コhomologicalおよび双有理幾何の道具を用いて、低次元および特定のDynkin図形（特にA_n、F4、C3）に対して予想を検証すること。

提案手法

• Mori理論を適用し、CP多様体のすべての収縮が滑らかであり、Mori錐が単体的であることを示す。これは有理均質空間の性質と一致する。
• 長さが最大のWeyl群要素の簡約表現に関連するBott-Samelson多様体の再帰的構成を用いて、Fano多様体Xとその均質モデルとの幾何的性質を比較する。
• 再帰的系列内の中間多様体同士の同型性を確立するため、h^1(Z_ℓ[s+1], f_ℓ^*[s+1]K_{l_{m-s}}) が、根インデックス l_{m-s} が系列内で以前に出現した場合に1、それ以外の場合は0であることを示す。
• 一般点におけるXとその均質モデルのVMRTが射影的に同型であるならば、それらは同型であることが、定理2.21により示されている。この事実を活用する。
• Sageを用いた計算的検証により、F4の場合に、長さが最大のWeyl群要素の簡約表現が、必要なコhomological条件を満たすのは、慎重に選択された場合に限ることを確認する。
• 接束がnefであるFano多様体の滑らかなMori収縮は、同じ性質を持つFano多様体を導くため、Dynkin図のランクに関する帰納的議論が可能になる。

実験結果

リサーチクエスチョン

• RQ1 Campana-Peternell予想が示唆するように、接束がnefであるFano多様体はすべて有理均質空間であるか？
• RQ2 有理均質空間のVMRTと比較することで、旗型Fano多様体の均質性を確立できるか？
• RQ3 長さが最大のWeyl群要素の簡約表現に基づくBott-Samelson多様体の再帰的構成は、Fano多様体とその均質モデルとの同型性を導くか？
• RQ4 どのDynkin図形（例：A_n、F4、C3）に対して予想が成り立ち、その保証に必要な主要なコhomological条件は何か？
• RQ5 滑らかなMori収縮とVMRT同型性に基づく再帰的アプローチを用いて、F4型Fano多様体に対して予想を証明できるか？

主な発見

• Dynkin図形がA_n型であるFano多様体に対して、Campana-Peternell予想は成り立つ。これは、X_1,n ≅ P(TP^n) を基本ケースとして還元し、帰納法を用いることで示される。
• Dynkin図形がF4型のFano多様体に対して、予想は再帰的手続きを用いて証明される。Mori収縮の滑らかさは、ファイバーがBott-Samelson多様体に双有理同型であることを示すことで確立され、VMRTの射影的同型性から、均質モデルとの同型性が導かれる。
• 再帰的系列内の中間多様体同士の同型性を構成するための主要なコhomological条件は、h^1(Z_ℓ[s+1], f_ℓ^*[s+1]K_{l_{m-s}}) が、根インデックス l_{m-s} が系列内で以前に出現した場合に1、それ以外の場合は0であることである。
• 多重辺のないDynkin図形（例：A_n）に対しては、任意の最大長の簡約表現が必要なコhomological条件を満たすが、B_nおよびC_nに対しては、表現の選択を注意深く行う必要がある。
• F4の場合、長さが最大のWeyl群要素の簡約表現は2,144,892通り存在するが、すべてのsに対して必要なコhomological条件を満たすのは、特別に選択された系列に限る。この証明は、直線の族を用いた再構成論的議論に依存する。
• Lagrangian Grassmannian（C3型）に対し、一般点におけるVMRTの同型性が確認され、これはC^6内の自己双対3次元部分空間のPlücker埋め込みとして実現される。