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

How to construct a map from S^2 to RP^2 with covering time being unity?

  1. Jul 22, 2010 #1
    it is easy to construct a map from S^2 to S^2, with covering time being unity

    but how to do the similar task on the projected manifold RP^2=S^2/Z_2?

    i tried to use the stereographical trick

    the points on the lower half semisphere are projected onto the plane

    the problem is that the infinity point on the plane is mapped to the circle, which is not a single point on RP^2.
     
  2. jcsd
  3. Jul 22, 2010 #2

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    It is not clear to me what you are trying to get. What is a "map with covering time being unity"?
     
  4. Jul 22, 2010 #3
    we know the homotopy group

    \pi_2(RP^2)=Z

    i want to construct an element with the covering time being 1
     
  5. Jul 22, 2010 #4

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Still don't get it. An element of \pi_2(RP^2) is the homotopy class of a map S²-->RP². What is this buisiness about "covering time"?
     
  6. Jul 22, 2010 #5
    you can call it the winding number
     
  7. Jul 22, 2010 #6

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

  8. Jul 22, 2010 #7
    i do not know this at all

    but could we construct a mapping in the class of [1]?

    if we use the identity map to map s2 to s2 and then project to rp2

    i guess the mapping is in the class of [2].
     
  9. Jul 23, 2010 #8

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    So now it seems like you're talking about finding a map f:S²-->RP² that is a generator of [tex]\pi_2(RP^2)=Z[/tex].

    But that is easy given the usually way of determing [tex]\pi_2(RP^2)[/tex].

    Namely, under the projection (or quotient) map pi:S²-->RP², S² is a fiber bundle over RP^2 of fiber S^0={-1,1}. So there is a long exact sequence of homotopy groups which around pi_2 looks like:

    [tex]0=\pi_2(S^0)\rightarrow \pi_2(S^2)\stackrel{\pi_*}{\rightarrow} \pi_2(RP^2)\rightarrow \pi_1(S^0)=0[/tex]

    So [tex]\pi_*[/tex] is an isomorphism. And what does it do? It takes the class of the identity map [id:S^2\rightarrow S^2] (which is a generator of [tex]\pi_2(S^2)=Z[/tex])to the class of the projection map [\pi:S^2\rightarrow RP^2].

    So the map that like you said is "the identity map to map s2 to s2 and then project to rp2", which is just the projection map pi:S²-->RP² is in fact a generator of [tex]\pi_2(RP^2)=Z[/tex].
     
  10. Jul 23, 2010 #9
    it seems that you have a profound awesome understanding of the subject

    i will think of it
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: How to construct a map from S^2 to RP^2 with covering time being unity?
  1. Deg 1 map S^3 -> RP(3) ? (Replies: 20)

Loading...