[論文レビュー] On the arithmetic fundamental groups

Feng-Wen An|ArXiv.org|Oct 4, 2009

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

ひとこと要約

本稿では、準ガロア閉被覆を用いて、算術的スキームのための準ガロア（qc）基本群を導入し、エタール基本群を一般化する。エタール基本群がqc基本群の正規部分群であることを証明し、エタール群の事前推定を提供するとともに、商群を通じて位相的不変量を明らかにする。

ABSTRACT

In this paper we will define a qc fundamental group for an arithmetic scheme by quasi-galois closed covers. Then we will give a computation for such a group and will prove that the etale fundamental group of an arithmetic scheme is a normal subgroup in our qc fundamental group, which make up the main theorem of the paper. Hence, our group gives us a prior estimate of the etale fundamental group. The quotient group reflects the topological properties of the scheme.

研究の動機と目的

• 算術的スキームのための新しい基本群を、準ガロア閉被覆を用いて定義すること。
• 直接計算が困難であるエタール基本群の事前推定を提供すること。
• qc基本群とエタール基本群の商を通じて、算術的スキームの位相的性質を明らかにすること。
• 普遍被覆を介して、ガロア拡大の幾何的モデルを算術的スキームへ一般化すること。

提案手法

• 算術的スキームの準ガロア閉被覆の逆極限としてqc基本群を定義する。
• それぞれのqc基本群およびエタール基本群の普遍被覆として、幾何的モデル $X_\Omega$ および $X_{\Omega_{\text{et}}}$ を用いる。
• 函数体のガロア群と被覆の自己同型群との間の同型を確立する。
• 整関数概型の圏における直接極限および逆極限を用いて、普遍被覆を構成する。
• 体の包含 $k(X_{\Omega_{\text{et}}}}) \subset k(X_\Omega)$ を通じて、エタール基本群がqc基本群に正規部分群として埋め込まれることを示す。
• 被覆の半順序集合における余帰納性および同値性を活用し、2つの群の逆極限を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、エタール基本群を一般化し、位相的情報を捉える算術的スキームのための基本群を定義できるか？
• RQ2 エタール基本群と、準ガロア閉被覆から構成された新しいqc基本群との間にはどのような関係があるか？
• RQ3 qc基本群とエタール基本群の商群は、スキームの位相的構造をどのように反映するか？
• RQ4 商群が自明であるのはどのような条件下か、そしてこれは有限分岐被覆について何を意味するか？
• RQ5 qc基本群はエタール基本群の事前推定として機能できるか？

主な発見

• エタール基本群 $\pi_1^{\text{et}}(X;s)$ は、qc基本群 $\pi_1^{\text{qc}}(X;\Omega)$ の正規部分群である。
• 商群 $\pi_1^{\text{qc}}(X;\Omega)/\pi_1^{\text{et}}(X;s)$ は、算術的スキーム $X$ の位相的性質を反映する。
• 算術的スキームに有限分岐被覆が存在しないことと、商群が自明であることとは同値である。
• qc基本群は、函数体の代数的閉包 $\Omega$ に対して、ガロア群 $\text{Gal}(\Omega/k(X))$ に同型である。
• エタール基本群は $\text{Gal}(\Omega_{\text{et}}/k(X))$ に同型であり、ここで $\Omega_{\text{et}}$ は $k(X)$ の最大の分岐なし拡張である。
• 直接極限を用いた普遍被覆 $X_\Omega$ および $X_{\Omega_{\text{et}}}$ の構成により、自己同型群の逆極限と整合性が保証される。