Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This is exercise 1.3.10 in Hatcher's book "Algebraic Topology".

Find all the connected 2-sheeted and 3-sheeted covering spaces of $X=S^1 \lor S^1$, up to isomorphism of covering spaces without basepoints.

I need some start-help with this. I know there is a bijection between the subgroups of index $n$ of $\pi_1(X) \approx \mathbb{Z} *\mathbb{Z}$ and the n-sheeted covering spaces, but I don't see how this can help me find the covering spaces (preferably draw them). From the pictures earlier in the book, it seems like all the solutions are wedge products of circles (perhaps with some orientations?).

So the question is: How should I think when I approach this problem? Should I think geometrically, group-theoretically, a combination of both? Small hints are appreciated.

NOTE: This is for an assignment, so please don't give away the solution. I'd like small hints or some rules on how to approach problems like this one. Thanks!

share|improve this question
add comment

2 Answers

up vote 7 down vote accepted

A covering space of $S^1 \lor S^1$ is just a certain kind of graph, with edges labeled by $a$'s and $b$'s, as shown in the full-page picture on pg. 58 of Hatcher's book.

Just try to draw all labeled graphs of this type with exactly two or three vertices. Several of these are already listed in parts (1) through (6) of the figure, but there are several missing.

share|improve this answer
    
Thanks for the answer! Is it "obvious" that all covering spaces have this form (of a 2-oriented graph)? So far I've found two 2-sheeted covers and 4 3-sheeted covers. –  Fredrik Meyer Apr 22 '12 at 22:22
    
@Fredrik It is arguably "obvious" from the fact that a cover must be a local homeomorphism. Also, by my count there are a total of three 2-sheeted covers and seven 3-sheeted covers. Two of the 2-sheeted covers are isomorphic as graphs but have different labelings. –  Jim Belk Apr 22 '12 at 22:37
    
Incidentally, the $n$-sheeted covers are also in one-to-one correspondence with isomorphism classes of transitive group actions of $F_2$ on an $n$-element set. –  Jim Belk Apr 22 '12 at 22:38
add comment

As far as I know that one way to do this is to write the representation of the group that you have here which is then act by this group on the set {1,2} by taking a= (1), a=(12) . Then this will give you all possible covering spaces connected and disconnected. I hope that is correct and helpful for you.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.