1
$\begingroup$

Let us consider the complex projective space $\mathbb{CP}^n$ as a complex manifold. The holomorphic line bundle $\mathcal{O}(1)$ over $\mathbb{CP}^n$ may be defined as the dual bundle of the tautological line bundle $$\mathcal{O}(-1)=\{(\ell,v)\in\mathbb{CP}^n\times\mathbb{C}^{n+1}:v\in\ell\}.$$ A linear map $\varphi:\mathbb{C}^{n+1}\rightarrow\mathbb{C}$ yields a global (holomorphic) section of $\mathcal{O}(1)$ simply by restricting $\varphi$ to every $\ell\in\mathbb{CP}^n$. Now, it is asserted in an answer to this question that every global holomorphic section $\sigma\in\mathcal{O}(\mathbb{CP}^n,\mathcal{O}(1))$ arises in this way. Of course, this equivalent to the complex vector space of global sections $\mathcal{O}(\mathbb{CP}^n,\mathcal{O}(1))$ being $n$-dimensional, but this is what I was intending to prove.

If we view $\mathbb{CP}^n$ as a scheme and $\mathcal{O}(1)$ as the corresponding twisting sheaf, I know this is a basic fact from algebraic geometry, but I was hoping to find an easy proof in the manifolds setting without resorting to GAGA theorems.

I believe one should use holomorphicity in some way, because the statement is clearly false for the corresponding smooth, complex line bundle.

$\endgroup$
3
  • 1
    $\begingroup$ There's a proof of this fact in my book Introduction to Complex Manifolds (Theorem 3.36). Basically, the idea is to view $\sigma$ as a linear functional on each $1$-dimensional subspace of $\mathbb C^{n+1}$, and use Hartogs's theorem to show it extends to all of $\mathbb C^{n+1}$. Then the fact that it's homogeneous of degree $1$ ensures that it's linear. $\endgroup$ Commented Nov 7 at 6:15
  • $\begingroup$ @JackLee I believe one can also do it by induction. I would appreciate it if you could glance over my proof, I'm fairly sure but not 100% convinced that it is rigorous $\endgroup$ Commented Nov 7 at 15:27
  • 1
    $\begingroup$ Dimension $n+1$. $\endgroup$ Commented Nov 7 at 15:32

1 Answer 1

1
$\begingroup$

Consider $\Bbb P^{n+1}$ with coordinates $t,u_0,u_1,\cdots,u_n$ and $\Bbb P^n$ with coordinates $u_0,\cdots,u_n$. There is an holomorphic fibre bundle: $$\pi:\Bbb P^{n+1}\setminus{[1:0:\cdots:0]}\to\Bbb P^n\\\,[t:u_0:u_1:\cdots:u_n]\mapsto[u_0:u_1:\cdots:u_n]$$ which is verifiably a model for $\mathcal{O}(1)$. The best way to do this is to check the transition data; using the canonical charts $U_i=\{u_i\neq0\}$, $\pi$ is locally the projection $\Bbb C^{n+1}\to\Bbb C^n$ which forgets the first coordinate, where the axes are: $t/u_i,u_0/u_i,\cdots,\hat{u_i},\cdots,u_n/u_i$ and $u_0/u_i,\cdots,\hat{u_i},\cdots,u_n/u_i$. The transition functions are the correct ones, namely $\psi_{ij}=u_j/u_i$ where $f_i=\psi_{ij}\cdot f_j$ must hold for holomorphic local sections.

Let $\sigma:\Bbb P^n\to\Bbb P^{n+1}\setminus[1:\mathbf{0}]$ be an holomorphic section of $\pi$. If $\sigma$ is associated to a linear functional $\varphi$, then $\sigma$ would be the map $[u_0:u_1:\cdots:u_n]\mapsto[\varphi(u_0,\cdots,u_n):u_0:\cdots:u_n]$. As it is, on each chart $U_i$ we can consider the maps $(z_1,\cdots,z_n)\mapsto[z_1:\cdots:1:\cdots:z_n]\overset{\sigma}{\mapsto}[f_i(z):z_1:\cdots:1:\cdots:z_n]$ where the "$1$" goes in the $i$th slot. This well-defines the holomorphic function $f_i:\Bbb C^n\to\Bbb C$.

Thinking about the equality $[z_1:\cdots:1:\cdots:z_n]=[1:z_2/z_1:\cdots:1/z_1:\cdots]$, we have: $$f_i(z)/z_1=f_0(z_2/z_1,\cdots,1/z_1,\cdots,z_n/z_1)$$for $z_1\neq0$ and $i\neq 0$, etc. so that a kind of homogeneity is enforced. Again, this equation essentially contains a proof that $\Bbb P^{n+1}\setminus\{\text{pt}\}\to\Bbb P^n$ models $\mathcal{O}(1)$ as we can infer the transition functions are what they should be.

The base case where $n=0$ is absolutely trivial. By induction, $\sigma$'s restriction to the hyperplane $u_0=0$ comes from a linear functional $\psi$ on $\Bbb C^n$. Let $\tau$ be the section associated to $\psi$ viewed as a linear functional on $\Bbb C^{n+1}$, forgetting the first coordinate, and $g_i$ its associated holomorphic functions as above. $h=f_0-g_0$ is an holomorphic function on $\Bbb C^n$ with $h(z)/\|z\|\to0$ at infinity (e.g. $[t:1:z_1:\cdots]=[t/z_1:1/z_1:1:\cdots]\to[0:0:1:\cdots]$ as $z_1\to\infty$ since $[0:1:\cdots]$ is in the domain where $t=f-g$ vanishes as $\sigma,\tau$ agree) therefore $h$ is a polynomial of total degree lesser or equal to $1$ - in fact, constant - and $g_0$ in fact being a linear form (yes, really, but that relies on $\psi$ being extended by zero!) entails that $f_0$ is also a polynomial of total degree lesser or equal to $1$. The same would be true for any of the $f_j$, of course.

Let $f_0(z)=\alpha+\sum_i c_iz_i$. It's not too important, but here $\alpha=h$ would be the constant and $(c_1,c_2,\cdots,c_n)$ would represent $\psi$.

Then the equation: $$f_i(z)=z_1\cdot f_0(z_2/z_1,\cdots,1/z_1,\cdots,z_n/z_1)$$finds: $$f_i(z)=\alpha z_1+\sum_{j<i+1}c_j z_j+c_{i+1}+\sum_{j>i+1}c_j z_{j-1}$$and it becomes clear that $\sigma$ globally arises from $\varphi$ the linear form with vector $(\alpha,c_1,c_2,\cdots,c_n)$.

$\endgroup$

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.