## Étale morphisms and the fundamental group

In this post I’m going to give the definition and basic properties of the étale fundamental group, whose abelianization appears on one side of class field theory. This is the object which is related *a priori* to our goal of understanding (abelian) covers of a curve: it precisely encodes the symmetries of all such covers. My initial goal of proving unramified global class field theory in the next post was too ambitious: I’ll slow down the pace a bit and spend the next four or five posts covering foundational material, then move on to the main theorems. This post is quite long, and to prevent it from being even longer I have not attempted to give any proofs or even the most general statements. Instead I refer the reader to SGA1, which is the standard reference, or chapters 4 and 5 of Szamuely’s excellent book *Galois Groups and Fundamental Groups*.

The idea is to introduce an algebro-geometric analogue of the topological fundamental group, but the conventional approach to the latter using loops is inappropriate in this algebraic setting. Instead, we find our inspiration in the following observation: if is a connected topological space and , then for any cover the topological fundamental group acts on the fiber . This construction extends to a functor from the category of covers of to -sets, which is an equivalence provided that admits a universal cover, e.g. if is a manifold.

Let’s try to imitate this idea in the world of algebraic geometry. For most of today we can work with any connected smooth variety over a field (all morphisms, products, etc. will be over ). The analogue of a topological finite cover is a finite étale morphism , where *finite* means is a finitely generated -module, and *étale* means the following. If is algebraically closed, we call étale provided that the differential is an isomorphism for every . For arbitrary , we say is étale provided that the map obtained by extending scalars is étale (here , where is an algebraic closure of and we are systematically confusing fields with their spectra). We should warn the reader here that this definition of étale is only appropriate when is smooth, but since this is the only case which concerns us we will not attempt to give more general definitions.

Why étale morphisms? We want a notion which behaves like a local diffeomorphism of smooth manifolds, and that condition is equivalent to inducing an isomorphism on tangent spaces at each point by the inverse function theorem. In algebraic geometry the Zariski topology is too coarse for actual local isomorphisms to be of any use, but étale morphisms are the appropriate replacement. To see why, let and consider the map which sends . This map is a cover in the topological sense with respect to the analytic (i.e. metric) topology, but is not even locally injective in the Zariski topology, since Zariski open sets are cofinite and is generically -to- on any such set. However, since the derivative of is everywhere nonzero, this map is étale.

The finiteness hypothesis is easier to explain: an étale morphism automatically has finite fibers, so for example, there is no algebraic version of . But (Zariski) open embeddings are étale, and we do not want to allow any of these other than isomorphisms. Note that since finite morphisms are closed and étale morphisms are open, any finite étale morphism into is surjective (recall that we are assuming that is connected).

So far our examples have been over , but there is another crucial feature which one does not notice when is algebraically closed: if is a finite separable extension of the ground field, then is a finite étale morphism, and conversely any connected finite étale cover of has this form. Since finite étale morphisms are stable under base change, any map of the form is finite étale.

Denote the category of all finite étale morphisms by , with arrows in this category being given by commutative triangles in the usual way. Let be a separably closed field containing and pick a morphism , which we call a *geometric point of* . Now if is a finite étale morphism, the fiber is a finite set, and evidently extends to a functor .

**Definition** The *étale** fundamental group of* *based at* , denoted by , is the automorphism group of .

The group has a natural profinite topology. Namely, a basis of open subgroups at the identity is given by the stabilizers of elements of as varies through all of , so that the action of on each is continuous. To summarize, factors through the forgetful functor , where is the category of finite sets equipped with a continuous -action. Moreover, we have the following theorem, which confirms that we have found the correct analogue of the topological fundamental group.

**Theorem** *The functor* * is an equivalence.*

From this one can deduce that if , the étale fundamental group is the profinite completion of the topological fundamental group based at the same point.

It is not hard to see that the étale fundamental group is functorial in the sense that if is a morphism and , there is an induced continuous homomorphism . Also, if is another geometric point, the groups and are isomorphic, but noncanonically: the isomorphism is only determined up to conjugation. In particular, there is a canonical isomorphism , so after abelianization we may omit the basepoint from our notation and simply write .

Finally, we explain the relationship between the étale fundamental group and Galois groups in the cases which interest us. This will establish the connection to the arithmetic language in which class field theory was originally developed. First, consider the case . Once we have chosen a separable closure of there is a unique geometric point , and we will simply write for the fundamental group of based there. It follows from the definitions and basic Galois theory that there is a canonical isomorphism .

Let’s return to the situation of the last post: let be a smooth, projective, and geometrically connected curve over . Denote by its field of rational functions, a fixed separable closure, and the maximal unramified extension contained in . There is a natural choice of basepoint for , namely the geometric generic point .

**Proposition** *There is a canonical isomorphism **.*

Next time, we’ll discuss the Picard scheme and how it relates to the adèles in number theory.