[論文レビュー] Galois theory and Diophantine geometry

Minhyong Kim|ArXiv.org|Aug 5, 2009

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本稿は、ガロアコhomologyとp進ホッジ理論を用いて、非アーベルp進的手法をディオファントス幾何に適用し、曲線の genus ≥2 における有理点が有限であることを示す。X(Q) の De Rham 同次空間への像が離散的かつコンパクトであることを証明することで、有理点の有限性を示している。主な結果は、代数的p進L関数の零点の疎らさを用いて、有理点の有限性を確立し、モチーフ的および非アーベル的構造を通じて、古典的な有限性定理を一般化する。

ABSTRACT

This is an essay to accompany the author's lecture at the introductory workshop on `Nonabelian fundamental groups in arithmetic geometry' at the Newton Institute, Cambridge in July, 2009.

研究の動機と目的

• ガロアコhomologyとDe Rham基本群を用いて、モーデル予想の非アーベルp進類似を確立すること。
• 曲線の genus ≥2 における有理点が有限であることを、X(Q) のp進同次空間への像を分析することによって示すこと。
• p進L関数の零点の消失が、セレマー多様体の有限性を制御することを示し、楕円曲線算術におけるL関数の非消失が果たす役割を一般化すること。
• モチーフ的基本群を通じて、アーベル的および非アーベル的ディオファントス問題を結びつけるモチーフ的枠組みを提供すること。
• 計算可能なp進対数関数とコhomological関数を用いて、X(Q) ⊂ X(Qp) に対する明示的な解析的方程式の可能性を検討すること。

提案手法

• Qp 上の単心基本群表現を用いて、写像 κⁿᵘ: X(Q) → H¹_f(G, Uₙ) を構成する。
• 非アーベルp進ホッジ理論を用いて、H¹_f(Gₚ, Uₙ) を De Rham 同次空間 Uⁿᴰᴿ / F⁰ に同定する。
• Dieudonné同型写像 D: H¹_f(Gₚ, Uₙ) ≅ Uⁿᴰᴿ / F⁰ を適用し、ガロアコhomologyと平坦接続の幾何的モジュライを関連付ける。
• X(Q) で消えるが、X(Qp) 上で非消える収束するべき級数 φ を、合成写像 φ ∘ κⁿᵈʳ/ᶜʳ,ₙ を用いて定義する。
• X(Qp) の Uⁿᴰᴿ / F⁰ への像が空間を埋め尽くし、コンパクトであるため、任意の真の部分多様体との交わりは有限である。
• Iwasawa加群構造と Λ 上の Hom 評価を用いて、次元の O(n²ᵍ⁻¹) の増加に伴い、点の数を有界化する。

実験結果

リサーチクエスチョン

• RQ1 genus ≥2 の曲線における有理点の有限性は、非アーベルp進コhomological手法によって証明可能か？
• RQ2 De Rham 基本群とp進ホッジ理論は、ディオファントス幾何においてジャコビアンをどの程度置き換えることができるか？
• RQ3 代数的p進L関数の零点の消失が、楕円曲線理論におけるL関数の非消失が果たす役割と同様に、セレマー多様体の有限性を制御できるか？
• RQ4 X(Q) の De Rham 商 Uⁿᴰᴿ / F⁰ への像は離散的かつコンパクトであり、有理点が有限個に制限されるか？
• RQ5 X(Q) で消える関数 φ は明示的に構成可能であり、X(Qp) 内の有理点に対する解析的方程式を導けるか？

主な発見

• X(Q) の Uⁿᴰᴿ / F⁰ への像は、コンパクトかつ空間を埋め尽くす部分集合であり、任意の真の部分多様体との交わりは有限である。
• φ ∘ κⁿᵈʳ/ᶜʳ,ₙ は X(Q) で消え、各残留ディスク上で非消える収束するべき級数であるため、有限個の零点しかも持たない。
• Iwasawa環 Λ 上の Hom 評価により、有理点の数は O(n²ᵍ⁻¹) で有界化され、g は genus を表す。
• Iwasawa加群 M の annihilator 理想 L は、p進L関数に対応し、その零点集合がセレマー多様体の有限性を制御する。
• dim H¹_f(G, Uₙ) << dim Uⁿᴰᴿ / F⁰ という仮定は、十分大きな n に対して期待され、Fontaine-Mazur および Bloch-Kato 予想に裏付けられる。
• CM 場の場合、p が CM 環で分解しているとき、G が H₁(Ẋ, ℤₚ) の自己同型群に写る部分がアーベル的であれば、無条件に有限性が保証される。