1
$\begingroup$

I was wondering what the fundamental group of an infinitely sheeted covering space of say some surface might be?

I'm thinking it should be an infinite cyclic group, but this is more intuitively, i cannot seem to construct an argument for this. Thanks!

  • 2
    I'm confused because there is more than one infinitely sheeted covering space. Different coverings have different fundamental groups, so do you mean a particular covering space?2012-12-12

3 Answers 3

1

Just for fun, here is an example of an infinite sheeted cover of a genus two surface. The covering map maps each copy of the cylinder with a handle to the rolled-up cylinder where the two ends are identified. You could further unwrap it to a plane with handles attached in a grid pattern to get a covering space with deck transformation group $\mathbb Z\times\mathbb Z$.

enter image description here

0

For the case of a connected sum of two tori, I believe this is equivalent to showing that every non trivial subgroup of the free product $\mathbb{Z}^2\star\mathbb{Z}^2$ is infinite cyclic. Here I am using the fact that the fundamental group of a connected sum of two tori( manifolds) is the free product of their corresponding fundamental groups.

  • 1
    @Haruki: An infinite sheeted covering will not have a compact total space.2013-03-25
0

An infinitely-sheeted (connected) cover of a surface is necessarily a noncompact surface. Every noncompact surface is homotopy-equivalent to a graph and, hence, has countable free fundamental group. Conversely, every countable free group can be realized as the fundamental group of an infinitely sheeted cover of some compact surface.