- **Calculus & Beyond Homework**
(*http://www.physicsforums.com/forumdisplay.php?f=156*)

- - **Holomorphic Quotient Maps on Projective Space**
(*http://www.physicsforums.com/showthread.php?t=533655*)

Holomorphic Quotient Maps on Projective Space1. The problem statement, all variables and given/known dataLet [itex] \mathbb{CP}^n [/itex] be n-dimensional complex projective space, and let [itex] \pi: \mathbb C^{n+1}\setminus\{0\} \to \mathbb{CP}^n [/itex] be the quotient map taking [itex] \pi(z_1,\ldots,z_{n+1}) = [z_1,\ldots,z_{n+1}] [/itex] where the square brackets represent the equivalence class of lines through this point. Show that [itex] \pi [/itex] is smooth. 3. The attempt at a solutionThere's no doubt in my mind I can do this, once I verify what the question is asking me to do. Here's my rationale, but I'm not sure if it's correct. Since we've claimed that [itex] \mathbb{CP}^n [/itex] is n-dimensional, we must be considering it with a complex structure rather than a real structure. This means that, as a smooth manifold, it is sufficient to show that its composition with any coordinate chart is smooth. That is, [itex] \phi_i \circ \pi : \mathbb{C}^{n+1}\setminus\{0\} \to \mathbb C^n [/itex] is smooth, where [tex] \phi_i([z_1,\ldots, z_{n+1}]) = \left( \frac{z_1}{z_i}, \ldots, \frac{z_{i-1}}{z_i}, \frac{z_{i+1}}{z_i}, \ldots, \frac{z_{n+1}}{z_i} \right) [/tex] with domain [itex] z_i > 0 [/itex]. Okay, so assuming that's correct, we want to show that this function is smooth. But what is "smooth" in this context? I can't ever recall talking about "smooth" complex functions, only holomorphic/analytic complex function. Is it sufficient to show this is holomorphic, or do I need more? |

All times are GMT -5. The time now is 10:12 AM. |

Powered by vBulletin Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.

© 2014 Physics Forums