[論文レビュー] Introduction to birational anabelian geometry

Fedor Bogomolov, Yuri Tschinkel|arXiv (Cornell University)|Nov 3, 2010

Algebraic Geometry and Number Theory参考文献 60被引用数 14

ひとこと要約

この論文は、代数的多様体の関数体を代数閉体上からその絶対ガロア群から再構成するプログラムである双有理的アーベル幾何（birationally anabelian geometry）を導入する。曲線が代数閉体上に定義される場合、関数体のガロア群がその曲線を同型を除いて一意に決定することを示しており、これはプロ-ℓ構造、K理論、および群作用における再帰列の安定化を活用している。

ABSTRACT

We survey recent developments in the Birational Anabelian Geometry program aimed at the reconstruction of function fields of algebraic varieties over algebraically closed fields from pieces of their absolute Galois groups.

研究の動機と目的

• 代数的多様体の関数体をその絶対ガロア群から再構成するための枠組みを構築すること。
• 関数体のガロア群が、それに対応する多様体を同型を除いて決定するかどうかを調査すること。
• 古典的アーベル幾何を、完全な多様体ではなく関数体に焦点を当てた双有理的設定に拡張すること。
• プロ-ℓ構造、K理論、再帰列の安定化が幾何的不変量を回復する際に果たす役割を明らかにすること。
• 代数閉体上での関数体に対して、双有理的 Isom、Hom、Section 予想を確立すること。

提案手法

• 関数体の絶対ガロア群と底面のガロア群を結ぶガロア群の完全系列（Ψ_K）を用いる。
• プロ-ℓ幾何とプロ-ℓ K理論を用いて、ガロア群の構造とその表現を分析する。
• ガロア群の根をもつ線形再帰列を用いて、有理点と群作用を特徴付ける。
• 再帰列に対する安定化技術を用いて、可除性の性質と群論的不変量を導出する。
• K理論とBloch-Kato予想の結果を応用し、ガロアコホホロジーと関数体の構造を関連付ける。
• ガロア表現の剛性と、絶対ガロア群が幾何的基本群に作用する性質を活用する。

実験結果

リサーチクエスチョン

• RQ1 代数閉体上に定義された多様体の関数体は、その絶対ガロア群から再構成可能か？
• RQ2 関数体のガロア群は、それに対応する多様体の幾何をどの程度反映しているか？
• RQ3 プロ-ℓ構造とK理論的不変量が、ガロア群に現れるとき、関数体の算術的・幾何的構造はどのように反映されるか？
• RQ4 再帰列は、双有理的設定における有理点と群作用を特徴付ける際に果たす役割は何か？
• RQ5 代数閉体上での関数体に対して、双有理的 Isom、Hom、Section 予想は確立可能か？

主な発見

• Popにより、素体を有限生成する体上での関数体に対して、双有理的 Isom 予想が成立することが証明された。
• Mochizukiにより、p進体の部分体上での双有理的 Hom 予想が確立された。
• Königsmannにより、特徴が0の局所体上での双有理的 Section 予想が証明された。
• 正の特性の代数閉体上に定義された曲線に対して、有理点の個数はガロア群の根をもつ線形再帰列に従い、内在的な特徴付けが可能である。
• 特徴がpの代数的閉包 𝔽̄_p 上に定義された、種数 ≥2 のハイパーオーバーサーフェス曲線の幾何的基本群は、任意の有限部分体上に定義された他の曲線の基本群に全射する。これは普遍被覆性を示している。
• Tamagawaの定理により、𝔽̄_p 上で与えられた種数の曲線で、固定された有限型幾何的基本群を持つものは、有限個の同型類しか存在しない。