[論文レビュー] Families of rationally connected varieties

Tom Graber, Joe Harris+1 more|ArXiv.org|Sep 27, 2001

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

ひとこと要約

この論文は、複素数体上の曲線への滑らかで射影的な準同型写像が、一般ファイバーが有理的接続的であるならば、切断を持つことを証明し、Kollár, Miyaoka, Moriの予想を確認する。主な結果は、曲線の関数体上に定義された有理的接続的多様体は有理点を持つことを示し、Tsenの定理を一般化し、有理的接続的性質が有理的接続的ファイバーを持つファイブレーションに関して保存されることを示す。

ABSTRACT

We prove that a one-parameter family of rationally connected varieties (over an algebraically closed field of characteristic 0) always has a section.

研究の動機と目的

• 滑らかで射影的な準同型写像 $ f: X \to B $ が一般ファイバーが有理的接続的であるとき、切断を持つことを証明し、Kollár, Miyaoka, Moriの予想を確認すること。
• 複素数体上の曲線の関数体上に定義された任意の有理的接続的多様体が有理点を持つことを確立し、Tsenの定理を一般化すること。
• ファイブレーションにおける有理的接続的性質の保存を示すこと：ある準同型写像の底空間と一般ファイバーがともに有理的接続的であれば、全空間も有理的接続的であることを示すこと。
• 代数幾何学における有理的接続的性や非有理的被覆性の推測的数値的基準を支持する基礎的結果を提供すること。

提案手法

• 有理曲線の族を分析するために、変形理論と安定写像の理論を用いる。
• 特殊化と変形技術を用いて、$ B = \mathbb{P}^1 $ の場合に還元する。
• 有理曲線の分岐先に沿った安定写像のモジュライ空間における弧の上げを用いて、切断を構成する。
• 一般多様体の構造とその有理曲線を分析するために、最大有理的接続的（mrc）ファイブレーションを用いる。
• 非有理的被覆な多様体のmrc商が有理的被覆ではないことの事実を、主定理から導出する。
• 曲線の双次数 (1,2) を持つ $ \mathbb{P}^1 \times \mathbb{P}^1 $ の吹き上げに関する幾何的例を明示的に分析し、垂直接線を持つ点を通る曲線を用いて、有理曲線の極限の振る舞いを説明する。

実験結果

リサーチクエスチョン

• RQ1 複素数体上の曲線の関数体上に定義された任意の有理的接続的多様体は、有理点を持つのか？
• RQ2 有理的接続的ファイバーと底空間を持つファイブレーションにおいて、有理的接続的性は保存されるか？
• RQ3 多様体の最大有理的接続的ファイブレーションを用いて、底空間の非有理的被覆性を示すことができるか？
• RQ4 ある $ m > 0 $ に対して $ H^0(X, (\Omega^1_X)^{\otimes m}) $ が非ゼロであることは、非有理的接続的性を特徴づけるか？
• RQ5 予想1.5（正則バンドルのコホモロジーによる非有理的被覆性）は、予想1.6（余接バンドルのコホモロジーによる有理的接続的性）を含意するか？

主な発見

• 主定理により、滑らかで射影的な準同型写像 $ f: X \to B $ が、滑らかで射影的な曲線 $ B $ 上にあり、一般ファイバーが有理的接続的であるとき、切断が存在することが示される。
• この結果は、曲線の関数体上に定義された有理的接続的多様体が有理点を持つことを示し、Tsenの定理を一般化する。
• ある支配的準同型写像 $ f: X \to Y $ の底空間 $ Y $ と一般ファイバーがともに有理的接続的であれば、$ X $ も有理的接続的であることが示される。
• 多様体 $ X $ の最大有理的接続的ファイブレーションの底空間 $ Z $ は非有理的被覆でない。これは主定理とmrcファイブレーションの性質から導かれる。
• この論文は、滑らかで射影的な多様体に対して、予想1.5（$ H^0(K_X^m) = 0 $ による非有理的被覆性）が、予想1.6（$ H^0((\Omega^1_X)^{\otimes m}) = 0 $ による有理的接続的性）を含意することを証明する。
• $ \mathbb{P}^1 \times \mathbb{P}^1 $ の吹き上げ上の曲線の明示的例により、有理曲線の極限が可約になることが示され、異なる特殊化タイプに対応する成分を持つ。これは、安定写像のモジュライ空間の振る舞いを説明する。