エタール基本群

とは、基本群の代数幾何学版である。任意のスキームに対して定義される群で、位相空間の基本群と似た性質を持つ。とも呼ばれる。
定義の背景.
代数的位相幾何学では、基点付き位相空間
の基本群
を
を基点とする閉曲線のホモトピー類全体のなす群として定義した。この定義は実多様体や複素多様体のような空間に対してはうまくいくが、ザリスキー位相を備えさせた代数多様体に対しては望ましい結果が得られない。
一方、基本群はの被覆変換群と思うこともできたのであった。こちらの特徴づけを使って代数多様体への拡張を考えるとうまくいく。まず被覆空間の代数幾何学での類似物としては有限エタール射が適当なものとして使える。残念なことに、代数多様体 は 上有限な「普遍被覆」を滅多に持たない。それゆえ
の有限エタール被覆すべてを考えなければならない。そしてすべての有限エタール被覆の自己同型群の射影極限としてエタール基本群を定義する。
正式な定義.
formula_1
を連結な局所ネータースキーム、formula_2
を
formula_1
の幾何学的点とする。圏
formula_4
を、対象はスキーム
formula_5
と有限エタール射
formula_6
の組
formula_7、射
formula_8
は
formula_1
上のスキームとしての射
formula_10
として定義する。
formula_4
から集合の圏への関手
formula_12
を
で定義する。幾何学的に言えば、これは
formula_14
の
formula_2
上のファイバーを取る関手である。圏論的に言えば、これは
formula_1
上のスキームの圏の中で
formula_2
によってされる米田関手である。関手
formula_12
は通常
formula_4
において表現可能ではないが、formula_4
の（一般には）無限個の対象によって表現可能な、pro-representable 関手である。つまり有向集合
formula_21
によって添字付けされる
formula_4
の対象
formula_23（formula_24）からなる射影系
formula_25
が存在し
が成り立つ。さらに
formula_23
はすべてガロア被覆で取れる。ガロア被覆とは
formula_28
が成り立つものである。射影系を構成する射
formula_29
は群準同型
formula_30
を誘導するので、射影系
formula_31
から有限群の射影系
formula_32
が生じる。有限群を離散位相で位相群とみてこの射影系の射影極限をとったものを
と書く。これを
formula_1
の
formula_2
を基点とするエタール基本群と呼ぶ。
formula_36
は
formula_37
が連続に作用する有限集合と自然に思えるので、formula_12
は
formula_4
から連続な
formula_37
作用を持つ有限集合の圏への関手と思える。この関手はこの2つの圏の圏同値を与える。
例と定理.
体.
基本群の最も基本的な例は体 の基本群
である。この群は絶対ガロア群
と同型であることが定義から簡単に示される。ガロア群のこの解釈はグロタンディークのガロア理論と呼ばれている。
完全系列.
体 上の幾何的に連結な任意の代数多様体 
（つまり
が連結となるような
）に対して副有限群の完全系列
が成り立つ。
標数0の体上のスキーム.
複素数体
上の有限型スキーム に対しては
のエタール基本群と
に付随する複素解析空間
の通常の位相幾何学的な意味での基本群との間に密接な関係がある。代数的基本群（この場合にはよくこう呼ばれる）は通常の意味での基本群
のと同型である。これは、
のすべての有限エタール被覆は
のそれから来ることを主張するの帰結である。特に
上の滑らかな曲線（開リーマン面である）の基本群の構造はよく知られているので、そのエタール基本群の構造もよく分かっていると言える。
一般に、代数的閉体上の代数多様体の基礎体を別の代数的閉体に拡大しても代数的基本群は変化しない。これを使えば、標数0の任意の代数的閉体上の固有スキームの基本群は複素数体上の代数多様体に帰着させることで計算できる。
正標数の体上のスキームと順分岐基本群.
正標数の代数的閉体 上の代数多様体の場合は、アルティン・シュライアー被覆の存在により結果は異なる。例えば、アフィン直線
formula_41
の基本群は位相的に有限生成とはならない。スキーム の順分岐基本群（tame fundamental group）とは、
のエタール基本群の商であって、
に沿って順分岐な被覆のみを考慮したものである。ここで
は適当なコンパクト化で
は
における
の補集合である。例えばアフィン直線の順分岐基本群は自明な群である。
標数 の体上のアフィン・スキーム.
すべてのアフィン・スキーム
formula_42
は
formula_43
空間であることが知られている。これは、formula_1
上の局所系のエタール・コホモロジーがエタール基本群の群のコホモロジーと同型になるという意味であり、高次のエタール・ホモトピー群が自明な群になるという意味である。ここで
formula_45
は
formula_1
の幾何学的点
formula_47
を基点とするエタール基本群である。
その他の話題.
圏論的には、基本群は関手
である。
ガロアの逆問題はこの関手の性質についての問題と言える。副有限群の圏の対象でどのようなものが基点付きスキームの圏からこの関手によってやって来るか、つまりどのような群が基本群（やガロア群）として現れるかを問うのがこの問題であった。
遠アーベル幾何学もこの関手の研究をする学問と言える。例えばこの関手で送ったら同型になる2つの代数多様体がもとの圏で同型かどうかを問うのがグロタンディークの予想である。また、グロタンディークのは、この関手から定まる写像
の性質に関する予想と言える。
 はスキームのエタール・ホモトピー型を使って高次エタール・ホモトピー群の研究を行った。
pro-étale基本群.
はpro-étale基本群と呼ばれるエタール基本群の変形版を導入した。これは有限エタール被覆の代わりにエタールかつ固有性の付値判定法を満たす射を考えることで構築される。正規スキームなどの幾何的単枝スキーム（geometrically unibranch scheme）に対してはこの2つのアプローチは一致する。しかし一般にはpro-étale基本群はよりよい不変量である。そのはエタール基本群になる。