エタール基本群

とは、基本群の代数幾何学版である。任意のスキームに対して定義される群で、位相空間の基本群と似た性質を持つ。とも呼ばれる。

定義の背景

代数的位相幾何学では、基点付き位相空間

の基本群

を

を基点とする閉曲線のホモトピー類全体のなす群として定義した。この定義は実多様体や複素多様体のような空間に対してはうまくいくが、ザリスキー位相を備えさせた代数多様体に対しては望ましい結果が得られない。

一方、基本群はの被覆変換群と思うこともできたのであった。こちらの特徴づけを使って代数多様体への拡張を考えるとうまくいく。まず被覆空間の代数幾何学での類似物としては有限エタール射が適当なものとして使える。残念なことに、代数多様体は上有限な「普遍被覆」を滅多に持たない。それゆえ

の有限エタール被覆すべてを考えなければならない。そしてすべての有限エタール被覆の自己同型群の射影極限としてエタール基本群を定義する。

正式な定義

を連結な局所ネータースキーム、を

の幾何学的点とする。圏

を、対象はスキーム

と有限エタール射

の組、射

は

上のスキームとしての射

として定義する。

から集合の圏への関手

を

で定義する。幾何学的に言えば、これは

の

上のファイバーを取る関手である。圏論的に言えば、これは

上のスキームの圏の中で

によってされる米田関手である。関手

は通常

において表現可能ではないが、の（一般には）無限個の対象によって表現可能な、pro-representable 関手である。つまり有向集合

によって添字付けされる

の対象（）からなる射影系

が存在し

が成り立つ。さらに

はすべてガロア被覆で取れる。ガロア被覆とは

が成り立つものである。射影系を構成する射

は群準同型

を誘導するので、射影系

から有限群の射影系

が生じる。有限群を離散位相で位相群とみてこの射影系の射影極限をとったものを

と書く。これを

の

を基点とするエタール基本群と呼ぶ。

は

が連続に作用する有限集合と自然に思えるので、は

から連続な

作用を持つ有限集合の圏への関手と思える。この関手はこの2つの圏の圏同値を与える。

例と定理

体

基本群の最も基本的な例は体の基本群

である。この群は絶対ガロア群

と同型であることが定義から簡単に示される。ガロア群のこの解釈はグロタンディークのガロア理論と呼ばれている。

完全系列

体上の幾何的に連結な任意の代数多様体（つまり

が連結となるような）に対して副有限群の完全系列

が成り立つ。

標数0の体上のスキーム

複素数体

上の有限型スキームに対しては

のエタール基本群と

に付随する複素解析空間

の通常の位相幾何学的な意味での基本群との間に密接な関係がある。代数的基本群（この場合にはよくこう呼ばれる）は通常の意味での基本群

のと同型である。これは、のすべての有限エタール被覆は

のそれから来ることを主張するリーマンの存在定理の帰結である。特に

上の滑らかな曲線（開リーマン面である）の基本群の構造はよく知られているので、そのエタール基本群の構造もよく分かっていると言える。

一般に、代数的閉体上の代数多様体の基礎体を別の代数的閉体に拡大しても代数的基本群は変化しない。これを使えば、標数0の任意の代数的閉体上の固有スキームの基本群は複素数体上の代数多様体に帰着させることで計算できる。

正標数の体上のスキームと順分岐基本群

正標数の代数的閉体上の代数多様体の場合は、アルティン・シュライアー被覆の存在により結果は異なる。例えば、アフィン直線

の基本群は位相的に有限生成とはならない。スキームの順分岐基本群（tame fundamental group）とは、のエタール基本群の商であって、に沿って順分岐な被覆のみを考慮したものである。ここで

は適当なコンパクト化で

は

における

の補集合である。例えばアフィン直線の順分岐基本群は自明な群である。

標数の体上のアフィン・スキーム

すべてのアフィン・スキーム

は

空間であることが知られている。これは、上の局所系のエタール・コホモロジーがエタール基本群の群のコホモロジーと同型になるという意味であり、高次のエタール・ホモトピー群が自明な群になるという意味である。ここで

は

の幾何学的点

を基点とするエタール基本群である。

その他の話題

圏論的には、基本群は関手

{基点付きスキーム} → {副有限群}

である。

ガロアの逆問題はこの関手の性質についての問題と言える。副有限群の圏の対象でどのようなものが基点付きスキームの圏からこの関手によってやって来るか、つまりどのような群が基本群（やガロア群）として現れるかを問うのがこの問題であった。

遠アーベル幾何学もこの関手の研究をする学問と言える。例えばこの関手で送ったら同型になる2つの代数多様体がもとの圏で同型かどうかを問うのがグロタンディークの予想である。また、グロタンディークのは、この関手から定まる写像

の性質に関する予想と言える。

はスキームのエタール・ホモトピー型を使って高次エタール・ホモトピー群の研究を行った。

pro-étale基本群

はpro-étale基本群と呼ばれるエタール基本群の変形版を導入した。これは有限エタール被覆の代わりにエタールかつ固有性の付値判定法を満たす射を考えることで構築される。正規スキームなどの幾何的単枝スキーム（geometrically unibranch scheme）に対してはこの2つのアプローチは一致する。しかし一般にはpro-étale基本群はよりよい不変量である。そのはエタール基本群になる。

エタール基本群

Źródło i licencja