[論文レビュー] Arithmetic in the fundamental group of a p-adic curve: On the p-adic section conjecture for curves

Florian Pop, Jakob Stix|arXiv (Cornell University)|Nov 5, 2011

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

ひとこと要約

本稿は、p進局所体上の曲線に対するグローテンディークのセクション予想の価値論的版を確立し、エタール基本群の各セクションがp進価値の延長から生じることを証明する。主な結果は、任意のセクションの像がそのような価値の分解部分群に含まれることを示しており、アーベリアン幾何における価値論的技法を通じてp進セクション予想に対する強い証拠を提供する。

ABSTRACT

We establish a valuative version of Grothendieck's section conjecture for curves over p-adic local fields. The image of every section is contained in the decomposition subgroup of a valuation which prolongs the p-adic valuation to the function field of the curve.

研究の動機と目的

• p進体上の曲線に対するグローテンディークのセクション予想の局所p進版を確立すること。
• エタール基本群の各セクションが、函数体上のp進価値の延長から生じることを示すこと。
• 有理点と価値の分解部分群を結びつけることで、p進セクション予想に対する証拠を提供すること。
• 価値論とエタール基本群の算術を、アーベリアン幾何の文脈で統合すること。
• 函数体の価値論的空間におけるタイプ1または2hの価値に対応するセクションが、すべてのセクションに一致することを証明すること。

提案手法

• 中心的対象としてエタール基本群 π₁(X/k) を用い、ガロア作用からのセクションを分析する。
• 固有性の価値論的条件を適用し、曲線上の閉点と函数体 K = k(X) 上の離散的価値を結びつける。
• Xの普遍的プロ・エタール被覆 ˜X を考案し、その函数体 ˜K を得る。その後、価値の ˜K への延長を研究する。
• 函数体 K 上の価値 w とその ˜K 上への延長 ˜w に対して、関連する分解部分群 D˜w ⊆ π₁(X) を特定する。
• X のモデルの極限として、構成可能位相と厳密ヘンゼル化を用い、Uh_w と Ush_w をp進曲線の逆極限として記述する。
• π₁がアフィン射影極限と可換であることを利用して、分解群および単位群をモデル上の群の逆極限として表現する。

実験結果

リサーチクエスチョン

• RQ1 エタール基本群 π₁(X/k) の各セクションが、残渣体が k で、˜K への延長 ˜w を持つ価値 w ∈ Val_k(K) から生じるか？ さらに、s(Gal(k)) ⊆ D˜w が成り立つか？
• RQ2 p進セクション予想は、函数体上の価値論的データを用いて再定式化され、証明可能か？
• RQ3 曲線の函数体上の価値のタイプと、基本群における分解群および単位群の関係は何か？
• RQ4 タイプ2hおよびタイプ2vの価値は、π₁(X/k) のセクション構造において果たす役割は何か？
• RQ5 X のモデル上の近傍点および厳密近傍点の極限は、π₁(X) のグローバル算術をどの程度捉えられるか？

主な発見

• 基本群拡張 π₁(X) からの各セクション s: Gal(k) → π₁(X) は、残渣体が k で、˜K への延長 ˜w を持つ価値 w ∈ Val_k(K) から生じ、s(Gal(k)) ⊆ D˜w を満たす。
• タイプ1または2hの価値 w に対応する分解部分群 D˜w は Gal(k) に同型であり、その逆像は有理点から得られるクラス [sa] と一致するセクションを与える。
• タイプ2だがタイプ2hでない価値 w に対して、近傍点 Uh_w は Spec(Kh_w) に同型であり、分解群 Dw はモデル上の Dxw の極限である。
• 単位群および分解群 D˜w|w と I˜w|w はモデル上の極限と整合的であり、D˜w|w = lim←− D_xw および I˜w|w = lim←− I_xw を満たす。
• タイプ1hの価値 α を精縮する価値 w に対して、π₁(X, η̄) 内で Iα ⊆ Iw ⊆ Dw ⊆ Dα が成り立つ。これは価値の階層を反映している。
• 自然な制限写像 Val_o(˜K) → Val_o(K) はタイプを保存し、価値の分類は普遍被覆 ˜K に対しても適用可能である。