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

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

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

ひとこと要約

この論文は、算術的スキーム $X$ のエタール基本群とその函数体 $k(X)$ の最大非分岐拡大体のガロア群との間の標準的同型を確立し、$\pi_1^{ ext{ét}}(X,s) \cong \mathrm{Gal}(k(X)^{ ext{un}}/k(X))$ を証明する。この結果は、擬ガロア閉被覆の有向系を構成し、その系が有限エタールガロア被覆の圏において余帰納的であることを示すことによって得られ、エタール基本群が非分岐拡大のガロア群として実現される。

ABSTRACT

In this paper we will give the computation of the etale fundamental group of an arithmetic scheme.

研究の動機と目的

• 算術的スキームのエタール基本群を計算すること。これは、スキームの算術的および幾何的情報を符号化する。
• 算術的スキームの幾何的被覆とその函数体の非分岐ガロア拡大との間の明確な対応を確立すること。
• 有限エタールガロア被覆の圏において余帰納的であるような、擬ガロア閉被覆の有向系を構成するという課題を解決すること。
• エタール基本群が函数体 $k(X)$ の最大非分岐拡大体のガロア群に同型であることを示すこと。

提案手法

• 函数体 $k(X)$ の代数的閉包 $\Omega$ を値とする、$X$ 上の擬ガロア閉被覆の有向集合 $X_{qc}[\Omega]$ を、$\Omega^{un}$ 内の単純なアフィン被覆を用いて構成する。
• $X_{qc}[\Omega]$ を、$X$ 上で有限、エタール、ガロア的かつ擬ガロア閉であるような算術的概型 $X_\alpha^{un}$ の集合として定義し、有向集合 $I$ で添字づける。
• 任意の有限エタールガロア被覆がより大きな擬ガロア閉被覆に埋め込めるという事実を用いて、$X_{qc}[\Omega]$ が $X_{et}[\Omega]$（固定された幾何的点 $s$ を持つ有限エタールガロア被覆の有向集合）において余帰納的であることを示す。
• 自動同型群の逆極限 $\varprojlim_{Z \in X_{qc}[\Omega]} \mathrm{Aut}(Z/X)$ を用いて $\pi_1^{\text{ét}}(X,s)$ を表現し、余帰納性を活用して、この極限が $X_{et}[\Omega]$ 上の逆極限と等価であることを示す。
• $k(X_\infty^{un}) = \varinjlim_{\alpha \in I} k(X_\alpha^{un}) = k(X)^{\text{un}}$ であり、$\mathrm{Gal}(k(X_\infty^{un})/k(X)) \cong \varprojlim_{\alpha \in I} \mathrm{Gal}(k(X_\alpha^{un})/k(X))$ であることを確立し、ガロア群と基本群を結びつける。
• 最終的に、同型 $\pi_1^{\text{ét}}(X,s) \cong \mathrm{Gal}(k(X)^{\text{un}}/k(X))$ を用いて、主要定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 算術的スキームのエタール基本群は、その函数体のガロア理論的データの観点からどのように計算できるか？
• RQ2 擬ガロア閉被覆は、エタール基本群をガロア群として実現する上で果たす役割は何か？
• RQ3 算術的スキーム上での擬ガロア閉被覆の有向系は、有限エタールガロア被覆の圏において余帰納的か？
• RQ4 函数体 $k(X)$ の最大非分岐拡大体は、$X$ 上の擬ガロア閉被覆の函数体の直接極限として実現可能か？
• RQ5 エタール基本群 $\pi_1^{\text{ét}}(X,s)$ は自然に $\mathrm{Gal}(k(X)^{\text{un}}/k(X))$ に同定可能か？

主な発見

• 任意の算術的スキーム $X$ および幾何的点 $s$ に対して、エタール基本群 $\pi_1^{\text{ét}}(X,s)$ は標準的同型でガロア群 $\mathrm{Gal}(k(X)^{\text{un}}/k(X))$ に同型である。
• 函数体 $k(X)$ の最大非分岐拡大体 $k(X)^{\text{un}}$ は、有向集合 $I$ で添字づけられた $X_\alpha^{un}$ の函数体の直接極限として実現される。
• $X_{qc}[\Omega]$ である擬ガロア閉被覆の集合は、固定された幾何的点を持つ有限エタールガロア被覆の集合 $X_{et}[\Omega]$ の余帰納的有向部分集合をなす。
• 擬ガロア閉被覆の集合 $X_{qc}[\Omega]$ 上での自己同型群の逆極限はエタール基本群を計算し、この極限は $\mathrm{Gal}(k(X_\infty^{un})/k(X))$ に同型である。ここで $k(X_\infty^{un}) = k(X)^{\text{un}}$ である。
• この構成により、エタール基本群が $k(X)$ の非分岐拡大のガロア群を正確に捉えていることが確認され、幾何的および算術的データが整合する。
• 証明は、$k(X_\infty^{un})$ が $k(X)$ に対してガロア的であり、かつ $X_\infty^{un}/X$ が擬ガロア閉であるという事実に依拠しており、群論的対応が成立することを保証する。