[論文レビュー] Degenerations of rationally connected varieties and PAC fields

Jason Starr|ArXiv.org|Feb 28, 2006

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

ひとこと要約

この論文は、その素体の代数的閉包を含む完全PAC体上での分離的有理的連結な多様体の退化が、有理点をもつことを確立する。有限型モデルとGrassmannianおよび正規化による幾何的一般ファイバー解析を用いて、特別ファイバー内に幾何的既約な部分多様体の存在を証明し、k が完全かつPACである場合にk-点の存在を示す。これにより、このような体におけるC₁性質の新たな証明が得られる。

ABSTRACT

A perfect PAC field containing an algebraically closed field is known to be $C_1$, i.e., every degeneration of a Fano complete intersection has a point. We prove that also every degeneration of a separably rationally connected variety has a point.

研究の動機と目的

• 分離的有理的連結多様体の完全PAC体上での退化が有理点をもつかを調査すること。
• 既知のC₁体上の有理点に関する結果を、完全PAC体の設定に一般化すること。
• 分離的有理的連結多様体の退化の特別ファイバー内に幾何的既約な部分多様体の存在を確立すること。
• 幾何学的およびモデル理論的技法を用いて、[FJ05, Theorem 21.3.6(a)] の新たな証明を与えること。
• 特性0から任意の特性へ、PAC体の仮定の下で、有理点に関する退化の結果を拡張すること。

提案手法

• 分離的有理的連結な一般ファイバーをもつDVR上の固有かつ平坦なスキームの有限型モデルの構成。
• 線型部分空間のGrassmannianパラメトライゼーションを用いて、ファイバーおよびその退化の幾何を分析すること。
• 固有性の価値的基準を適用し、codimension-2補集合を持つ開部分集合上で有理写像を正則な準同型に拡張すること。
• 正規化と普遍準同型の構成を用いて、相対Grassmannianから退化の全空間への準同型を定義すること。
• Grassmannian上での幾何的一般ファイバーの平坦性と既約性を用いて、k への基底変換ファイバーの既約性を保証すること。
• k の完全性とPAC性を活用し、特別ファイバーの幾何的既約な部分多様体上にk-点の存在を保証すること。

実験結果

リサーチクエスチョン

• RQ1 その素体の代数的閉包を含む完全PAC体上での分離的有理的連結多様体の退化は、すべてk-点をもつか？
• RQ2 有理的連結多様体を用いた幾何的退化技法により、このような体のC₁性質を再証明できるか？
• RQ3 有理的連結多様体の退化の特別ファイバー内に幾何的既約な部分多様体の存在を保証する条件は何か？
• RQ4 有限型モデルと正規化技術は、特別ファイバーから全スキームへの有理点の持ち上げにどのように寄与するか？
• RQ5 Fano多様体に関する有理点の結果は、PAC体上での一般の分離的有理的連結多様体へどの程度拡張可能か？

主な発見

• その素体の代数的閉包を含む完全PAC体上での分離的有理的連結多様体の退化は、すべてk-点をもつ。
• このような退化の特別ファイバーには、Y ×_k k̄ が幾何的既約となる閉部分多様体Y が存在する。
• 証明は、Grassmannian上での幾何的既約な族から全空間への準同型の構成に依拠し、その像が特別ファイバー内に幾何的既約な部分多様体を誘導する。
• この構成により、準同型の幾何的一般ファイバーが既約であることが保証され、代数的閉包への基底変換でもその性質が保たれる。
• この結果により、[FJ05, Theorem 21.3.6(a)] に述べられた、代数的閉体を含む完全PAC体のC₁性質の新たな証明が得られる。
• この手法は、曲線の関数体上に定義された多様体に適用可能であり、特性0に限らず任意の特性へ拡張可能である。