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

Equivariant Homotopy

  1. Feb 12, 2013 #1
    This might be a really silly question, but suppose that you have two (possibly Frechet) manifolds M and N both endowed with a G-action. If M and N are homotopy equivalent, is it necessary that they will be G-equivariantly homotopy equivalent?

    Edit: That is, should I expect them to have the same equivariant cohomology rings?
  2. jcsd
  3. Feb 12, 2013 #2


    User Avatar
    Science Advisor
    Homework Helper

    I don't know what any of those words mean but I will say no, because why on earth would this be true when the hypothesis (homotopy equivalent) does not contain the key word "G". I mean if this were true why would G actions be interesting? Maybe if you give us some of the relevant definitions, or at least a few examples, we can see more what is going on.
  4. Feb 12, 2013 #3
    I am leaning towards agreeing with your assessment: it seems unreasonable that one should imply the other, especially since I could put really weird actions on each manifold.

    Perhaps there needs to be some sort of added "compatibility" requirement between the actions. Upon thinking about it, that compatibility is probably exactly the fact that a homotopy equivalence be equivariant.

    Anyway, thanks for the response. I ask because I'm reading a paper which makes some assertions on equivariant cohomology, but only utilizes the fact that two spaces are homotopy equivalent. I was wondering if perhaps I was missing something obvious.
  5. Feb 12, 2013 #4


    User Avatar
    Science Advisor
    Homework Helper

    work out some very simple examples of equivariant cohomology, and see if they can differ. e.g. try to cook up a non trivial action that gives a non trivial equivariant cohomology on R^n, which of course is homotopic to a point.
  6. Feb 13, 2013 #5


    User Avatar
    Science Advisor
    Gold Member

    The circle is homotopy equivalent to itself. Let Z2 act on it in two ways: first trivially by the identity map and second by reflection around the y axis. These maps are not homotopically equivalent.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Equivariant Homotopy
  1. Free homotopy (Replies: 2)

  2. Linked homotopy (Replies: 6)

  3. Homotopy paths (Replies: 1)

  4. Smooth homotopy (Replies: 1)