The Étale Fundamental GroupIntroduction

1 Introduction

The fundamental theorem of Galois theory says

Theorem (Galois theory)

Let kk be a field and G=Gal(kˉ/k)G = \operatorname{Gal}(\bar{k}/k) be the absolute Galois group 1 . Then there is a contravariant equivalence of categories between

  • the category of finite separable extensions of kk; and

  • the category of finite sets with a continuous transitive action of GG.

The second category is also isomorphic to the category of open subgroups of GG by sending the subgroup HGH \leq G to G/HG/H, which is how Galois theory is often stated.

There is a very similar theorem in algebraic topology.

Theorem (Covering space theory)

Let XX be a path connected, locally path connected and semi-locally simply connected topological space. Then there is an equivalence of categories between

  • the category of finite connected covering spaces of XX; and

  • the category of finite sets with a transitive action of π1(X,x)\pi _1(X, x), for any base point xXx \in X.

There are some superficial differences between these two isomorphisms. In Galois theory, we have a contravariant equivalence of categories, instead of a usual equivalence, but this is easily explained by the fact that we really should apply Spec\operatorname{Spec} to all our fields, thereby reversing the arrow.

On the other hand, in covering space theory, we have to pick a basepoint of XX to talk about the fundamental group, and the correspondence is natural (in the English sense) only after we fix such a basepoint. The analogous situation in Galois theory is that in fact, GG is not canonically associated to kk either. Instead, we must fix an embedding of kk into a separably closed field, which is the same as picking a geometric point of Speck\operatorname{Spec}k.

To push the analogy further, there is a sense in which a separable field extension is a “covering space”. By definition, a map p:YXp: Y \to X is a covering space iff there is some space XX' and a map f:XXf: X' \to X such that

  1. ff is surjective;

  2. restricted to each component of XX', the map ff is the inclusion of an open subspace; and

  3. the pullback Y×XXY \times _X X' is a disjoint union of copies of XX', and the map fp:Y×XXXf^*p: Y \times _{X} X' \to X' is the map sending each copy isomorphically onto XX'.

This is just the local triviality condition phrased in a fancy way.

The idea is to think of the (surjective!) morphism SpeckˉSpeck\operatorname{Spec}\bar{k} \to \operatorname{Spec}k as an inclusion of an “open subset”, and an extension K/kK/k is separable iff the pullback to Speckˉ\operatorname{Spec}\bar{k} is a disjoint union of copies of Speckˉ\operatorname{Spec}\bar{k}, i.e. Kkkˉ=kˉ××kˉK \otimes _k \bar{k} = \bar{k} \times \cdots \times \bar{k}. Of course, we can also replace kˉ\bar{k} by some appropriate finite Galois extension if we want to remain in the finite world.

By using an appropriate generalized notion of “open subset”, hence “covering space”, we will generalize the notion of fundamental group to arbitrary schemes, of which Galois theory and covering space theory (of complex algebraic surfaces) are special cases.