[論文レビュー] Families of rationally simply connected varieties over surfaces and torsors for semisimple groups

A. J. de Jong, Xuhua He+1 more|ArXiv.org|Sep 30, 2008

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

ひとこと要約

本論文は、代数閉体の特徴が0の曲面の函数体上での一様族 $G/P$ の射影的同次的多様体が、あるコhomological 条件を満たす場合に有理点を持つことを確立する。射影直線による代数幾何的類似の単純接続性を用いて、このような体におけるガロアコhomologyにおけるセールの予想IIを証明し、基本的曲面上のブラウアー類が唯一の障害であることを示すことによって、この設定での予想を完成させる。

ABSTRACT

Under suitable hypotheses, we prove that a form of a projective homogeneous variety $G/P$ defined over the function field of a surface over an algebraically closed field has a rational point. The method uses an algebro-geometric analogue of simple connectedness replacing the unit interval by the projective line. As a consequence, we complete the proof of Serre's Conjecture II in Galois cohomology for function fields over an algebraically closed field.

研究の動機と目的

• 曲面の函数体上での射影的同次的多様体 $G/P$ の族に対して、コhomological 条件の下で有理的セクションの存在を確立すること。
• 代数閉体の特徴が0の曲面の函数体におけるガロアコhomologyにおけるセールの予想IIを、この設定で完全に証明すること。
• チェーンによる自由な直線を用いた有理的単純接続多様体の理論を発展・適用すること。
• 有理的セクションの唯一の障害が、基本的曲面上のブラウアー類であることを示すこと。
• 位相的単純接続性の類似の幾何的枠組みを提供すること。ここでは単位区間の代わりに射影直線を用いる。

提案手法

• 自由な直線のチェーンによる有理的単純接続性の概念を導入し、仮説6.8を通じて形式化する。
• 「非常にねじれのある曲面」を定義し、それを用いる。これは、$f: \mathbb{P}^1 \to \overline{\mathcal{M}}_{0,1}(Y,1)$ で、評価写像および忘却写像の接束の引き戻しが非常に正であるような写像である。
• コンツェビッチの安定写像と安定セクションを用いて、多様体上の有理曲線のモジュライ空間を分析する。
• 有理曲線およびその退化を制御するための幾何的道具として「平和なチェーン」と「ポーチュピン」を構成する。
• 極限技法と専用化を適用して、問題を基本的曲面上の非常に一般な完全交差に還元する。
• 次数条件 $\sum d_i^2 \leq n$ の下で、ファノ完全交差に非常にねじれのある曲面が存在することを活用し、主要仮定を検証する。

実験結果

リサーチクエスチョン

• RQ1 曲面上の射影的同次的多様体の族が、どのような条件下で有理的セクションを持つのか。
• RQ2 曲線から曲面へのGHS定理の一般化を可能にするために、代数幾何学における有理的単純接続性の概念を形式化できるか。
• RQ3 セールの予想IIが示唆するように、曲面上の族における有理的セクションの唯一の障害はブラウアー類であるか。
• RQ4 タイプ $(d_1,\dots,d_c)$ の $\mathbb{P}^n$ 内の一般完全交差 $Y$ に非常にねじれのある曲面が存在するか。ただし $\sum d_i^2 \leq n$ の条件を満たす場合。
• RQ5 安定写像および曲線のモジュライ空間の理論を用いて、高次元族における有理的単純接続性を証明できるか。

主な発見

• 曲面の函数体上での射影的同次的多様体 $G/P$ の族は、ブラウアー群に関連するコhomological 条件を満たし、かつ多様体が自由な直線のチェーンによる有理的単純接続性を持つ場合に、有理点を持つ。
• 主結果（補題12.2）は、特徴が0の代数閉体上での曲面の函数体におけるガロアコhomologyにおけるセールの予想IIを確認する。
• タイプ $(d_1,\dots,d_c)$ の非常に一般な完全交差 $Y$ は、$\sum d_i^2 \leq n$ のとき、自由な直線のチェーンによる有理的単純接続性を持つ。これは、一般の点を通る直線および直線のペアの有理的接続性によって示される。
• このような $Y$ に非常にねじれのある曲面が存在するならば、主定理が成立する。このような曲面は条件 $\sum d_i^2 \leq n$ の下で存在するが、明示的構成は $c=1$ のハイパーサーフェスの場合にのみ完全に達成されている。
• 本論文は、非常にねじれのある曲面および有理的単純接続性の理論を用いて、特徴が0の完全交差族におけるツェンの定理の幾何的証明を提供する。
• この方法により、有理的セクションの唯一の障害が、基本的曲面上のブラウアー類であることが示され、この文脈における「唯一の障害はブラウアー類である」という原則が確認される。