[論文レビュー] Smooth projective horospherical varieties with nef tangent bundles

Qifeng Li|arXiv (Cornell University)|Dec 15, 2015

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

ひとこと要約

この論文は、非特異的で射影的かつ水平的（horospherical）な多様体で、接バンドルがnefであるものについて、それが有理的同次空間であることを証明し、このクラスの多様体に対してCampana-Peternell予想を確認した。証明はMori理論を用いてピカール数1のケースに還元し、インデックス条件を分析し、例外的なケースにおけるVMRTの特異性を示すことにより、nef接バンドルを持つことを排除した。

ABSTRACT

We show that smooth projective horospherical varieties with nef tangent bundles are rational homogeneous spaces.

研究の動機と目的

• 非特異的で射影的な水平的多様体に対してCampana-Peternell予想を検証すること。この予想は、接バンドルがnefであるファノ多様体が有理的同次空間であるというものである。
• 既知のCP多様体（接バンドルがnefであるファノ多様体）の分類を、より広いクラスの水平的多様体へ拡張すること。
• 水平的多様体の場合に、この予想をMoriの収縮、インデックス条件、VMRTの特異性を分析することにより解決すること。
• 非特異的で射影的な水平的多様体で接バンドルがnefであるのは、有理的同次空間に限ることを示し、この設定における分類を完全にすること。

提案手法

• Mori理論を用いて、問題をピカール数1の水平的多様体のケースに還元し、基本的なMori収縮の構造を活用する。
• ピカール数1の非同次的で非特異的な水平的多様体のインデックスを分析し、nef接バンドルをもつ可能性があるのは2つの例外的ケースに限られることを示す。
• 2つの例外的ケースにおけるVMRT（最小有理接線の多様体）の特異性を研究し、特異的であることを証明することで、nef接バンドルをもつことは不可能であることを示す。
• Demailly-Peternell-Schneiderによって確立された、アロバーロ写像とファイバー分解を用いた、接バンドルがnefであるファノ多様体の特徴づけを適用する。
• 水平的多様体の色付きファンと軌道構造を用いて、軌道とその安定化部分群の幾何を記述する。特に、群 $ P_I $ と特性格子 $ M_{G/H} $ を通じて記述する。
• VMRTから射影空間への明示的な準同型を構成し、インシデント幾何と奇数シンプレクティックグラスマン多様体の場合のシンプレクティック構造を用いて、ファイバー次元と特異性を分析する。

実験結果

リサーチクエスチョン

• RQ1 非特異的で射影的な水平的多様体で接バンドルがnefであるものは、必ず有理的同次空間であるか？
• RQ2 ピカール数1の非特異的で射影的な水平的多様体の中で、接バンドルがnefである可能性があるのはどれか？
• RQ3 インデックス解析で特定された2つの例外的ケース（命題3.1 (2)(ii) および (iii)）は、滑らかなVMRTを持つのか？ そしてこれは接バンドルのnef性にどのような意味を持つのか？
• RQ4 例外的ケースにおけるVMRTの特異性を用いて、接バンドルがnefである可能性を排除できるか？
• RQ5 水平的多様体上のMori収縮の構造は、一般ケースをピカール数1のケースに還元することを可能にするか？

主な発見

• 接バンドルがnefである非特異的で射影的な水平的多様体は、有理的同次空間である。これは、このクラスに対してCampana-Peternell予想が確認されたことを意味する。
• 接バンドルがnefである可能性がある唯一の非同次的候補は、ピカール数1の2つの例外的ケースであり、VMRTの特異性解析によりこれらは除外される。
• 奇数シンプレクティックグラスマン多様体 $ G_ ho(k,2m+1) $ で $ m eq 1 $ の場合、$ x $ が閉軌道 $ Z $ 上にあるとき、VMRT $ F(x,X) $ は特異的である。これは、接バンドルがnefでないことを示唆する。
• $ x otin Z $ のとき、VMRT $ F(x,X) $ は $ bP^{k-1} $ 上の $ bP^{2m-2k+1} $-バンドルであるため、滑らかであり、nef性の可能性と整合的である。
• $ x otin Z $ のとき、$[l]$ で $ F(x,X) $ は特異的であるが、この特異性はファイバーバンドル構造により、$ x otin Z $ の場合に解消される。
• 分解 $ X o ext{pt} imes G/P $ を用いて、一般ケースをピカール数1のケースに還元する。接バンドルがnefであるならば、各因子も有理的同次空間でなければならない。