8
$\begingroup$

A problem asks me to find all the covering spaces of a Klein bottle. This needs to calculate all the subgroups of the fundamental group of the Klein bottle. But I don't have any idea how to do it.

I googled it and an article says

The subgroups of the fundamental group of the Klein bottle are either trivial, free of rank one, free Abelian of rank two, or non-Abelian of rank two.

I don't know how to get the result and what is the concrete form of the subgroups (which is needed to calculate the covering spaces.)

Can you please help? Thank you.

  • 2
    As I recall, the best way to solve this particular problem is to figure out what the covering spaces of the Klein bottle are geometrically, and then use that to deduce what the subgroups of the fundamental group are.2011-04-21
  • 0
    I agree with Charles. In particular, every covering space is a quotient of the universal cover, and there aren't too many possibilities for what this can be.2011-04-21
  • 1
    The Klein bottle group is a semi-direct product $\mathbb Z \rtimes \mathbb Z$ where $\mathbb Z$ acts on $\mathbb Z$ by its sole non-trivial involution. So any subgroup of the Klein bottle group is a semi-direct product $A \rtimes B$ where $A, B \subset \mathbb Z$, and there's basically just three possibilities for each of $A$ and $B$, up to isomorphism and the action of $B$ on $A$, etc..2011-04-21
  • 0
    @Charles @Qiaochu : But the problem is to find **all** covering spaces. If I don't know all the subgroups, how can I know I haven't miss something?2011-04-22
  • 2
    @Ryan: Well, I'm not quite familiar with semi-direct product. But your statement is not true when it is direct product. Not all subgroups of $\mathbb{Z}\times\mathbb{Z}$ are in the form $A\times B$ where $A,B\subset\mathbb{Z}$.2011-04-22
  • 0
    @Roun: I think you mis-read my comment. In the direct product case the translation of what I said is that all subgroups of $\mathbb Z \times \mathbb Z$ are *isomorphic* to groups of the form $A \times B$ where $A, B \subset \mathbb Z$ are subgroups.2011-04-22
  • 0
    @Roun - I suggest you read Chapter 1.3 of Hatcher's book. In particular Proposition 1.31, Proposition 1.362011-04-22
  • 1
    @Ryan: Uh..Do you mean that in the semi-direct product case, the form $A\rtimes B$ is not up to isomorphism? I think only knowing the isomorphism type is not enough to calculate the covering space.2011-04-22
  • 0
    Once you know the group type (up to isomorphism), computing the inclusion map is easy enough, so "computing" the covering map is a relatively standard step from there.2011-04-22

0 Answers 0