[論文レビュー] Homogeneous Fibrations over Curves

Yi Zhu|arXiv (Cornell University)|Nov 12, 2011

Algebraic Geometry and Number Theory参考文献 21被引用数 4

ひとこと要約

本稿では、関数体上の射影的同次空間が有理点を持つための必要十分条件として、基本的障害が消えることであることを示した。そのために、このような空間に対して有理的単純接続性の概念を導入し、アーベル多様体の系列へのアーベル写像を構成した。主な結果は、ピカール数にかかわらず、すべての射影的同次空間へと既存の定理を一般化し、de Jong と Starr の予想的原則を裏付けた。

ABSTRACT

By studying the theory of rational curves, we introduce a notion of rational simple connectedness for projective homogeneous spaces. As an application, we prove that over a function field of an algebraic surface, a projective homogeneous space admits a rational point if the elementary obstruction vanishes.

研究の動機と目的

• 任意のピカール数をもつ射影的同次空間へ、有理的単純接続性の原則を拡張すること。
• コhomological障害を排除することで、曲面上のファイブレーションにおける有理点の存在を解明すること。
• 関数体上のすべての射影的同次空間について、基本的障害が消えるならば有理点が存在することを証明すること。
• グラスマンニアンやピカール数1の空間に関する先行結果を、射影的同次空間の全クラスへ一般化すること。

提案手法

• 代数的閉包への基底変更を許容する、射影的同次多様体のための新しい幾何的有理的単純接続性の概念を導入すること。
• ファイブレーション族上の相対的普遍トーラスを構成し、セクションのモジュライ空間からトーラスの分類スタックへのアーベル写像を定義すること。
• 次数で添え字付けられた、セクションのモジュライ空間内の標準的既約成分の系列を定義し、有理的接続性を分析すること。
• 十分に大きな次数に対して、アーベル写像の幾何的一般ファイバーが有理的接続的であることを証明すること。
• Graber-Harris-Starr定理を適用し、ファイバーの有理的接続性から有理的セクションの存在を導出すること。
• 判別式回避技術を用いて問題を滑らかなファイブレーションに還元し、コhomologicalおよび幾何的道具の使用を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 関数体上の射影的同次空間に有理点が存在するための必要十分条件は、基本的障害が消えることか？
• RQ2 ピカール数1を超える同次空間へも、有理的単純接続性を一般化できるか？
• RQ3 de Jong と Starr の有理点に関する原則を、曲面上のすべての射影的同次空間へ拡張できるか？
• RQ4 普遍トーラスとアーベル写像は、高次元ファイブレーションにおける有理的セクションの構成にどのように寄与するか？
• RQ5 幾何的ピカール数は、曲面の関数体上での有理点の存在にどのような役割を果たすか？

主な発見

• 関数体上の射影的同次空間に有理点が存在するための必要十分条件は、基本的障害が消えることである。
• 十分に大きな次数に対して、アーベル写像の幾何的一般ファイバーは有理的接続的であり、Graber-Harris-Starr定理の適用が可能になる。
• 判別式回避法により、問題を滑らかなファイブレーションに還元でき、有理的セクションの分析が簡略化される。
• セクションのモジュライ空間における標準的成分の構成により、十分大きな次数において、整合性のあるアーベル写像の存在が保証される。
• 結果として、de Jong-Starrの原則がピカール数1の空間に限らず、すべての射影的同次空間に成立することが確認された。
• 系1.5では、$G$ が準分裂かつ単連結であるとき、曲面の関数体上の $G$-トーラスは中心への還元をもつことが示された。