[論文レビュー] On cuspidal sections of algebraic fundamental groups

Jakob Stix|ArXiv.org|Aug 29, 2008

Algebraic Geometry and Number Theory被引用数 6

ひとこと要約

本稿は、Kummer理論が豊富な体上の双曲的曲線のエタール基本群の尖点的セクションを調査し、境界に存在する有理点が豊富なセクションをもたらすことを確立する。$\mathbb{Q}^{ m ab}$ のような体上の genus 0 曲線に対して弱いアナベル型結果を証明し、moduli パrameter のアナベル型再構成を通じて、基本群が曲線の同型型を決定することを示す。

ABSTRACT

Rational points in the boundary of a hyperbolic curve over a field with sufficiently nontrivial Kummer theory are the source for an abundance of sections of the fundamental group exact sequence. We follow and refine Nakamura's approach towards these boundary sections. For example, we obtain a weak anabelian theorem for hyperbolic genus 0 curves over quite general fields including for example the maximal abelian extension of the rational numbers.

研究の動機と目的

• 双曲的曲線の境界に由来する尖点的セクションの数と性質を理解すること。
• 一般の非自明なKummer理論を有する体の文脈において、Nakamuraのインertリア部分群およびアナベル型重みフィルトレーションのアプローチを精緻化すること。
• 基本群から曲線を再構成することによって、genus 0 曲線に対する弱いアナベル型結果を確立すること。
• $j$-不変量のようなmoduli パrameter が基本群の算術的構造にどのように符号化されているかを示すこと。

提案手法

• 有理点が誘導するセクションを研究するために、基本群の完全系列 $1 \to \pi_1(U_{\overline{k}}) \to \pi_1(U) \to \operatorname{Gal}(\overline{k}/k) \to 1$ を用いる。
• Kummer理論を適用して、有理点と $\mathrm{H}^1(k, A[n])$ 内のコホモロジー類との関係を確立し、特に差分コサイクル構成を用いる。
• セクションの共役類を分析するために、$\mathrm{H}^1(\Gamma, N)$ 内の $1$-コサイクルによる torsor およびセクションのねじれを用いる。
• 幾何的不変量を基本群から抽出するために、アナベル型バージョンの重みフィルトレーション、方向、単位構造を開発する。
• Tannakian形式主義と非アーベル的 $\mathrm{H}^1$ を用いて、セクションおよびその共役類を分析する。
• Mordell-Weil定理と有理点の可除性仮定を介して、セクション予想からの単射性結果を適用する。

実験結果

リサーチクエスチョン

• RQ1 非自明なKummer理論を有する体上の双曲的曲線の境界点ごとに、同値でない尖点的セクションはいくつ存在するか？
• RQ2 例えば $\mathbb{Q}^{\rm ab}$ 上の genus 0 曲線の基本群は、曲線の同型型を決定できるか？
• RQ3 $j$-不変量のようなmoduli パrameter は、基本群の算術的構造にどのように符号化されているか？
• RQ4 重みフィルトレーションや方向のような、追加のアナベル型構造は、基本群から再構成可能か？

主な発見

• 尖点的セクションは、特にKummer理論が豊富な底体を有する双曲的曲線の境界に存在する有理点から生じる。
• 本稿は、$\mathbb{Q}^{\rm ab}$ 上の genus 0 曲線に対して弱いアナベル型定理を証明し、基本群が曲線の同型型を決定することを示している。
• $\mathcal{M}_{0,4}$ の $j$-不変量は、特にインテンティ群の作用を通じて、アナベル型構造を介して基本群に符号化されている。
• 有理点に倣う可除元が $A(k)$ に非自明に存在しないなどの弱い仮定のもとで、写像 $U(k) \to S_{\pi_1(U/k)}$ の単射性が成り立つ。
• コホモロジー群 $\mathrm{H}^1(\Gamma, N)$ 内のクラスによるセクションおよび torsor のねじれは、自由かつ推移的作用をもたらし、共役類に沿ったセクションの分類を可能にする。
• 除数 $Y$ に接しない接ベクトルを用いた接点的セクションの構成により、より多くの尖点的セクションが得られ、基点の概念が一般化される。