Differentiable Structure on the Complex Projective Plane

Geometry Level pending

Define the complex projective plane C P n = ( C n + 1 { 0 } ) / \mathbb{C}P^n=(\mathbb{C}^{n+1}\setminus\{0\})/\sim where x y x\sim y if and only if x = λ y x=\lambda y for some λ C { 0 } \lambda\in\mathbb{C}\setminus\{0\} . Which of the following is a differentiable atlas in the differentiable structure of C P n \mathbb{C}P^n ?

Options:

  • A. \(\{(\mathbb{C}P^n,𝟙_{\mathbb{C}\to\mathbb{R}}^{n\to2n}\circ([x]\mapsto\frac{x}{|x|}))\}\)
  • B. \(\{(\mathbb{C}P^n,𝟙_{\mathbb{C}\to\mathbb{R}}^{n\to2n}\circ([\langle x_1,\dots,x_{n+1}\rangle]\mapsto\langle\frac{x_2}{x_1},\dots,\frac{x_{n+1}}{x_1}\rangle))\}\)
  • C. \(\{(\{[x]\in\mathbb{C}^{n+1}\,\big|\,x_i\neq0\},𝟙_{\mathbb{C}\to\mathbb{R}}^{n\to2n}\circ([\langle x_1,\dots,x_{n+1}\rangle]\mapsto\langle\frac{x_1}{x_i},\dots,\widehat{1},\dots,\frac{x_{n+1}}{x_i}\rangle))\}_{i=1,\dots,n+1}\)

In the options, \(𝟙_{\mathbb{C}\to\mathbb{R}}^{n\to2n}\) represents the natural map from C n \mathbb{C}^n to R 2 n \mathbb{R}^{2n} and 1 ^ \widehat{1} indicates that the component there is to be omitted.

A C B

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Sayako Hoshimiya
Apr 27, 2019

@Beatriz Sampaio @beatriz-9rjkm2 I don't know if you can see this, but if you can, I would really like to contact you and share my experience learning differential geometry. Please contact me with Telegram: https://t.me/zhangyutong926

Sayako Hoshimiya - 2 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...