Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If I'm given a map from $\mathbb{C}P^1\times\mathbb{C}P^1$ to $\mathbb{C}P^3$ which sends $([z_{0},z_{1}],[w_{0},w_{1}])$ to $[z_{0}w_{0},z_{0}w_{1},z_{1}w_{0},z_{1}w_{1}]$, how do I compute the induced map on the second homology group $H_{2}$?

So far I've tried to find a homotopy of this map to a cellular map so I can compute the induced map using cellular homology. I think there is a homotopy taking the map $[z_{0}w_{0},z_{0}w_{1},z_{1}w_{0},z_{1}w_{1}]$ to the map $[z_{0}w_{0},z_{0}w_{1}+z_{1}w_{0},z_{1}w_{1},0]$, but I'm still having trouble computing the induced map on homology from here. I think that each copy of $\mathbb{C}P^1$ can be viewed as $([z_{0},z_{1}],[1,0])$ and $([1,0],[w_{0},w_{1}])$ which would mean the two generators of $H_{2}(\mathbb{C}P^1\times\mathbb{C}P^1)$ are sent to $[z_{0},z_{1},0,0]$ and $[w_{0},w_{1},0,0]$. Does this mean the induced map would send $(1,0), (0,1)\in\mathbb{Z}\times\mathbb{Z}$ to $1\in\mathbb{Z}$?

share|cite|improve this question
In your map, $w_1$ appears 3 times - was that intentional? Also, overall, I think your second approach will work fine. The key point is that $f_\ast:H_2(\mathbb{C}P^1\times\mathbb{C}P^1 \rightarrow H_2(\mathbb{C}P^3)$ is linear, so it's enough to see what it does on each piece (as you did). – Jason DeVito Dec 19 '12 at 16:56
That was actually a typo, though the map is written correctly now. – Ryan Hunter Dec 19 '12 at 18:18
Great. Did the second part of my comment make sense? If so, feel free to write up an answer yourself and post it. – Jason DeVito Dec 19 '12 at 21:44

Your Answer


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

Browse other questions tagged or ask your own question.