Actions of the fundamental group
This article lists the various typical actions of the fundamental group.
Action on itself
acts on itself by inner automorphisms. The motivation behind considering this action is as follows. If we look at the fundamental group at a different basepoint, and if that basepoint is in the same path component as the starting basepoint, then a path between the two basepoints can be used to define an isomorphism between the fundamental groups, as follows:
Fill this in later
However, the specific isomorphism we get depends on the homotopy class of path that we pick. Picking two different homotopy classes of paths gives two different isomorphisms, and the composite of one with the inverse of the other, gives an inner automorphism of the fundamental group at either basepoint.
The following are some easy facts:
- For a topological space with Abelian fundamental group, the action of the fundamental group on itself is trivial. Thus there is a canonical identification of the fundamental groups at all points.
Action on higher homotopy groups
Given two different basepoints, we can use a path between them to achieve an isomorphism of the higher homotopy groups at the basepoints as well. To do this we use the fact that the inclusion of a point in a sphere is a cofibration, and hence a homotopy of maps at the basepoint (which is just the path) gives a homotopy of maps from the whole sphere.
It turns out that homotopic paths give the same isomorphisms, so isomorphisms are parametrized by homotopy classes of paths between the points. In particular, any two isomorphisms differ by an automorphism which is parametrized by a homotopy class of loops at the point. This associates to every element of the fundamental group an automorphism of every higher homotopy group. The association defines a group action of the fundamental group on higher homotopy groups.
- A simple space is a path-connected space where the fundamental group acts trivially on all homotopy groups. For simple spaces, there is a canonical identification of the homotopy groups at all points.
- A simply connected space is a path-connected space with trivial fundamental group; simply connected spaces are in particular simple.
Action on homotopy classes of maps
Given any topological space where is a nondegenerate point in (viz its inclusion is a cofibration) we can mimic the above action to get an action of the fundamental group on the set of based maps . Note that this is now only a group action on a set, because has no additional structure. If has the structure of a H-space with identity element , we can see that the set of based maps also gets a multiplicative structure, and the action of the fundamental group preserves that multiplicative structure.