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.