Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Two fold coverings

  1. Oct 6, 2009 #1
    if H^1(M;Z2) has a non-zero element then one can use this to construct a 2 fold cover of M. How does this work?
     
  2. jcsd
  3. Oct 6, 2009 #2

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Try starting with M = circle, and see what you can manage.

    (P.S. What choices of 'definition' of H1(M; Z2) do you have available?)
     
  4. Oct 6, 2009 #3
    For the circle that's easy but it's fundamental group is abelian. I'll take any definition of H^1(M;Z2) that you like. How about singular homology.
     
  5. Oct 6, 2009 #4

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    So you meant H1, not H1?

    Sure it's easy to construct a 2-fold cover of a circle. But can you do so in a way that relates to the generator of the homology group?
     
  6. Oct 6, 2009 #5
    Well either - but I meant cohomology.
     
  7. Oct 6, 2009 #6

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Ah. So then, the elements of H1(M, Z2) are named by functions from curves on M to Z2 that have certain properties.

    (Ponders a bit to think of there's an easy way to directly turn such a function into a topological space, and then to wonder if I can make that into a cover)


    Anyways, what sort of mental picture do you have about covering spaces? For this problem, in order to construct something, we would probably want to name points in the covering space by points in the base space + some additional data. (An element of Z2 seems like an obvious choice) Do you have any mental pictures of covering spaces that work in that fashion?

    If the circle is too trivial for ya, other familiar examples you might consider are Riemann surfaces -- e.g. the double-valued complex sqrt function. (Or maybe the complex log function, although that has infinite degree, rather than being a double cover)


    I suppose, maybe a different approach is to start thinking about how to build things out of simplices.
     
  8. Oct 6, 2009 #7
    If the fundamental group is abelian then a non-zero element of H^1(M:Z2) corresponds to a subgroup of index 2, the kernel of the homomorphism into Z2. The universal covering space mod this subgroup of index 2 gives you the 2 fold covering space.

    If the fundamental group is not abelian I am not sure. I guess what you are implying is that it is essentially the same argument. Let me think about this.
     
  9. Oct 6, 2009 #8

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Hah! I didn't even think of doing something like that -- I had a much more lowbrow construction in mind. I bet your approach is easier if you have the relevant facts fresh in your mind.


    P.S. If I recall correctly, in any group (even nonabelian ones), any subgroup of index 2 is normal.
     
  10. Oct 6, 2009 #9

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Actually -- yes, I think that is the construction I had in mind. I was just trying to construct it in a much more complicated fashion.

    You can use the cohomology element directly to define the equivalence relation on the universal cover, rather than trying to do it in a roundabout way by constructing subgroups of the fundamental group.

    The cohomology element tels you when two paths from the same basepoint in the universal cover ought to lead to the same point in the double cover
     
  11. Oct 6, 2009 #10
    but I think your more complicated construction will be needed for the whole proof.
     
  12. Oct 6, 2009 #11

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Well, my complicated construction was trying to build the space from scratch. After choosing a basepoint, I expected that I should somehow be able to name points in the double cover by paths in the base space. I hadn't worked out exactly what data was needed to name points, exactly how to tell what data corresponded to the same point, and exactly how to specify the topology. But once you brought the universal cover into it, the way forward becomes clearer, because someone already worked the details out for us in that case. Rather than trying to build my own, I can just start with that space!
     
  13. Oct 6, 2009 #12
    Right. I think your point that a subgroup of index 2 must be normal may be the key.

    You know that there is a subgroup of index 2 in the fundamental group abelianized. Its inverse image in the entire fundamental group is a subgroup of index 2.

    By inverse image I mean in the exact sequence 1 -> Commutator subgroup of fundamental group - > fundamental group -> H1(M;Z) -> 0
     
  14. Oct 7, 2009 #13
    BTW I want to thank you for guiding this discussion. Much appreciated.
     
  15. Oct 8, 2009 #14
    A [itex]Z_2[/itex]-valued 1-form [itex]\Omega[/itex] can be visualized as an n-1-dimensional submanifold N. The value of [itex]\Omega[/itex] on a curve [itex]\gamma[/itex] is given by

    [tex]\Omega(\gamma) =[/tex] number of crossings with N mod 2.

    If the form is closed then the corresponding submanifold is a cycle. If the form is exact, the submanifold is a boundary.

    Since [itex]H^1(M,Z_2)[/itex] is nontrivial, there is a 1-form which is closed but not exact and the corresponding submanifold is a cycle that does not bound. Now take two copies of M, cut them along such a nonbounding cycle and glue them together. The resulting manifold is a two fold cover.
     
  16. Oct 8, 2009 #15
    you appeal to a lot of machinery. How do you know that every element of H^1(M;Z2) determines a hypersurface? I guess you mean that the Poincare dual is a hypersurface.

    I also don't see how the covering is necessarily two fold along the gluing boundary. Here it seems that it can be 1 fold. For instance, if I cut a Klein bottle along a Moebius band circle I get a manifold with connected boundary. What happens if you cut RP3 along an equatorial (quotient of an equatorial sphere in S3) projective plane. Isn't this also a manifold with connected boundary?
     
  17. Oct 8, 2009 #16
    How would you do this construction for a circle?
     
  18. Oct 8, 2009 #17
    Yes, it seems the gluing most be done cross-wise. Maybe it is possible to reason like this: The nonbounding cycle will also have nontrivial homotopy and will admit an antipodal fibration. This fibration gives a cross-wise gluing?
     
    Last edited: Oct 8, 2009
  19. Oct 8, 2009 #18
    can you elaborate this idea?
     
  20. Oct 8, 2009 #19
    The two manifolds should be glued together by a two fold covering of the nonbounding cycle.
     
  21. Oct 8, 2009 #20
    There may be a characteristic classes approach to this. If I recall correctly, the presence of such an element guarantees the existence of a non-trivial line bundle over M. Since a non-trivial line bundle is necessarily non-orientable, you can take the oriented double cover and the zero section will be a double cover of M.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Two fold coverings
  1. Universal cover (Replies: 8)

  2. Covering action (Replies: 12)

  3. Covering spaces (Replies: 15)

Loading...