Étale fundamental group
From Wikipedia, the free encyclopedia
The étale fundamental group is an analogue for schemes of the usual fundamental group of topological spaces.
Contents |
[edit] Topological analogue
In algebraic topology, the fundamental group
- π1(T)
of a connected topological space T is defined to be the group of loops based at a point modulo homotopy. When one wants to obtain something similar in the algebraic category, this definition encounters problems.
One cannot simply attempt to use the same definition, since the result will be wrong if one is working in positive characteristic. More to the point, the topology on a scheme fails to capture much of the structure of the scheme. Simply choosing the "loop" to be an algebraic curve is not appropriate either, since in the most familiar case (over the complex numbers) such a "loop" has two real dimensions rather than one.
[edit] Covering spaces
In the classification of covering spaces, it is shown that the fundamental group is exactly the group of deck transformations of the universal covering space. This is more promising: surjective étale morphisms are the appropriate generalization of covering spaces. Unfortunately, the universal covering space is often an infinite covering of the original space, which is unlikely to yield anything manageable in the algebraic category. Finite coverings, on the other hand are tractable, so one can define the algebraic fundamental group as an inverse limit of automorphism groups.
Definition 1 Let X be a scheme, and let x be a geometric point of X. Then let C be the category of pairs (Y,π) such that is a finite étale morphism. Morphisms in this category are morphisms as schemes over X. If Y' factors through Y as then we obtain a morphism from This allows us to construct the étale fundamental group
This explanation follows Milne.
[edit] GAGA results
The general comparison machinery called GAGA gives the connection in the case of a compact Riemann surface, or more general complex non-singular complete variety V. The algebraic fundamental group, as it is typically called in this case, is the profinite completion of π1(V).
[edit] References
- James Milne, Lectures on Étale Cohomology, online course notes.
[edit] See also
- étale morphism
- topological space
- fundamental group
- classification of covering spaces
This article incorporates material from étale fundamental group on PlanetMath, which is licensed under the GFDL.