6
$\begingroup$

We know that $H^p(S^2 \vee S^4) = H^p(S^2)\oplus H^p(S^4)$ for $p\neq 0$. I want to show that this space has different ring structure than $CP^2$. So, given a generator in $H^2(S^2 \vee S^4)$ I want to cup it with itself and get 0. My idea is to use the generator from $H^2(S^2)$(which obviously is zero when squared). How should I go from here? Is this even the correct idea?

($\vee$ here is one-point intersection).

1 Answers 1

3

Yes, that is the right idea. Use that the cup product is "natural" with respect to pull backs.

  • 0
    Thank you. Could you please be a little more explicit? I'm not so used to the concept of "naturality" yet.2010-12-12
  • 2
    Look at $\pi:S^2\vee S^4\rightarrow S^2$ which collapses the $S^4$ to a point. Use the fact that $\pi$ induces a ring map $\pi^*:H^2(S^2)\rightarrow H^2(S^2\vee S^4)$. (Isn't $\vee$ usually used instead of $\wedge$ to mean the one point intersection?)2010-12-12
  • 0
    It is, I just wrote "\wedge" since I tend to call it "wedge" rather than one-point intersection.2010-12-13
  • 0
    Jason: So, I let $\pi$ be the projection map which gives me the induced ring homomorphism $\pi^*$. Since $H^2(S^2) \cong H^2(S^2 \vee S^4)\cong \mathbb{Z}$ then a generator is mapped to a generator?2010-12-13
  • 0
    Yes, that is the idea. Now look use the fact, as stated above, that $\pi^*$ is a ring map.2010-12-13
  • 0
    @M.B. It is not very obvious how to rigorously show that the generator is mapped to the generator. You can use cellular model for cohomology and explicit definition of the pull back...2010-12-13