All these fundamental groups!
Tuesday, April 02nd, 2013 | Author: Konrad Voelkel
There are a lot of fundamental groups floating around in mathematics. This is an attempt to collect some of the most popular and sketch their relations to each other.
A list of some things that have a fundamental group flavor:
- The usual fundamental group of a topological space with basepoint .
- The simplicial fundamental group of a simplicial set with basepoint .
- The fundamental group of an object with basepoint in a Quillen model category.
- The absolute Galois group of a field with separable hull .
- The fundamental group of a linear algebraic group: root lattice modulo weight lattice.
- The étale fundamental group of a scheme .
- The fundamental group scheme of a scheme over a perfect field with rational basepoint .
- The motivic fundamental group of a scheme over a perfect field with rational basepoint .
- The Tannakian fundamental group object of a fiber functor of a Tannakian category.
- The polynomial fundamental group presheaf of a scheme over a field , with rational basepoint .
- The A¹-fundamental group (pre)sheaf of a scheme over a field , with rational basepoint .
Related concepts and observations:
- For an object , the set of objects of some type over , i.e. the set of certain maps to , is often classified by something like a fundamental group. In the case of the topological fundamental group, the covering spaces are in 1:1 correspondence with subgroups of the fundamental group. In particular, there is one covering space which has a trivial fundamental group itself (it is then called simply connected) and the automorphisms of this covering map form precisely the fundamental group of the base space. A similar covering space theory holds for the absolute Galois group and field extensions instead of coverings.
- There are operations that convert one notion of fundamental group to another. For example the singular set of a topological space is a simplicial set that has as simplicial fundamental group exactly the topological fundamental group of the original space (and the geometric realization goes the other way around).
- For many fundamental-group concepts, there are higher homotopy groups and long exact sequences that connect the information of with the . For some fundamental-group concepts, there are no "higher groups" (known so far).
- One may often neglect basepoints, if the resulting groups are isomorphic anyway (under some connectedness assumption). This, however, can be dangerous, as one gets an action of the fundamental group at one basepoint on each other homotopy group, and this action might be non-trivial. Another danger comes from fundamental groups that are not just groups, but also carry some other structure (that of an algebraic variety, or a mixed Hodge structure, for example) -- these additional structures may then depend on the basepoint. If one wants to forget about basepoints, there is the safe way of working with fundamental groupoids instead.
- There are more delicate relations between the various fundamental groups. For a connected projective algebraic variety over one may use an embedding to put the submanifold topology of the complex manifold on , call this and compare with . It turns out that the étale fundamental group is the profinite completion of the topological fundamental group. This may be explained by the fact that the étale topology only allows finite covers, so for example is a topological covering that doesn't come from any étale covering of .
- Some of the fundamental groups on the list are special cases of others. For example, both the topological and the simplicial fundamental group can be defined in the context of Quillen model categories. This also clarifies the relation between them, since the singular set functor and the geometric realization form what is called a "Quillen adjunction", which axiomatizes this relationship. On the other hand, the Galois group of a field is just the étale fundamental group of the spectrum of that field -- which has no direct connection to model categories at all.
- Well, actually it is a bit more complicated: the precise relation between étale fundamental groups and Galois groups with respect to basepoints is described in this MO answer by Minhyong Kim.
- Some of these fundamental groups are really not very fundamental-group-like: The algebraic fundamental group of a reductive linear algebraic group, as explained on MO by Brian Conrad here, is not the étale fundamental group and its relation to it (and other fundamental groups) can be very loose.
Systematically:
I claim that there are two or three major approaches to fundamental groups. The first is via Quillen model categories, which captures the intution of loops at some basepoint modulo basepointed homotopy, and which directly gives us higher homotopy groups and long exact sequences. The second is via Tannakian categories, which captures the intuition of being an automorphism group, and which may directly give us some extra structure on the fundamental group.
Grothendieck's Galois Theory of Topoi captures the intuition of monodromy, but essentially is a variation of the Tannakian point of view (in my eyes).
Fundamental groups definable in terms of Quillen model categories
The brief definition of the fundamental group of an object in a (base-pointed) Quillen model category: Take a fibrant replacement and then where the brackets mean base-pointed homotopy, i.e. with the (left)homotopy relation. For that to make sense, you obviously need an object in the model category; this can be constructed once you have some kind of interval, for example if the model category is in fact a simplicial model category. Alternatively, without an interval you can still define the loop space via the path space fibration and then take where is the (left)homotopy relation.
- The usual fundamental group of a topological space comes from the model structure with homotopy equivalences as weak equivalences and Hurewicz fibrations as fibrations (or any other Quillen equivalent model structure).
- The simplicial fundamental group comes from the Kan model structure, with Kan fibrations as fibrations (and the weak equivalences can be defined without reference to fundamental groups).
- The polynomial fundamental group presheaf is a presheaf of simplicial fundamental groups of singular resolutions.
- The A¹-fundamental group (pre)sheaf is the group (pre)sheaf coming out of the Morel-Voevodsky model category.
- Étale fundamental groups may be defined in terms of an étale homotopy category as well, though this is not widely used.
Fundamental groups definable in terms of Tannakian categories
The brief definition of the fundamental group of a fiber functor of a Tannakian category over a field is just , the -automorphisms of the functor (which are invertible natural transformations from to itself). This is, in general, a pro-algebraic group scheme over . If the Tannakian category is -generated by a single object , then .
- The topological fundamental group of a space with basepoint is the Automorphism group of the fiber functor from the covering category. The covering category is the Tannakian category of covering spaces with lift of the basepoint, and the fiber functor forgets . If there is a single generator of the Tannakian category, i.e. a universal covering, then the Automorphism group of the fiber functor is just the automorphism group of this single covering (where we're talking about automorphisms of the morphism, not just of the space).
- The absolute Galois group of a field comes out of the category of all separable algebraic field extensions , with the fiber functor , since .
- The motivic fundamental group of Tate motives over a scheme is given by the category of mixed Tate motives and the Betti realization. Here, can be constructed as subcategory of cut out by a t-structure if is a number field. For rings of integers of number fields, one can give an ad-hoc modification of that gives the right answer. There are also models from rational homotopy theory (see Deligne-Goncharov, Esnault-Levine).
One might even ask, as Harry Gindi did on MO, whether one could define higher homotopy groups in the Tannakian setting. Obviously, one would need higher Tannakian categories.
Grothendieck's Galois Theory
Given a Topos of sheaves on some category C, and a point p, we can look at the functor that assigns to each sheaf its stalk at that point. If we take only locally finite, locally constant sheaves (aka local systems), we get a functor to finite sets
which results in an equivalence of to a category of modules under a group, the corresponding Galois group.
See this MO question of Lars Kindler for the relation to the Tannakian POV.
Two more fundamental groups:
- The geometric fundamental group of a scheme over a field is given as the kernel of the morphism . This morphism can be seen to come from a morphism . If is a number field, the geometric fundamental group is the profinite completion of the usual topological fundamental group of the associated complex space.
- The motivic fundamental group of a scheme is similarly given as the kernel of the morphism . There has been some recent research around this object, especially the special case of motivic of . The reason is a deep connection with multiple Zeta values.
Once you have any definition of a fundamental group, it is interesting whether you can find a sheaf topos such that the local systems correspond 1:1 to the representations of this fundamental group. That would be in the spirit of Caramello's unification of mathematics via topos theory.