action of fundamental group on cover

Overview

By defining a (well-behaved) action of the fundamental group on a cover we can use many of the tools of group theory to understand the topology of the spaces.

The main results of this idea are that we can learn about automorphisms that preserve the base space from group action automorphisms, or vice versa.

Definition

Let be a cover and . For each and let

where is the unique lift of with .

This defines a group action of on .

Proof

First, as a sanity check we can make sure that the action makes sense

Next, we check the axioms for a group action.

1. Identity action

2. Associative because the path lifts uniquely. Thus,

Transitive action

acts transitively on .

Proof

todo

Equivariance of cover automorphisms

Fix . Then each satisfies

Proof

todo

Correspondence between automorphisms

Proof

todo We can look at the map

Just need to show that it is injective and surjective.

Corollaries

2. If is a regular cover,

3. If is a universal cover,