Algebraic Geometry – Is Tautological Bundle $\mathcal{O}(1)$ or $\mathcal{O}(-1)$?

algebraic-geometrycomplex-geometry

I always confused by whether tautological bundle is $\mathcal{O}(1)$ or $\mathcal{O}(-1)$, and definitions from different sources tangled in my brain. However, I thought this might not be simply a matter of convention.

Let $\mathbb{P}^n$ be a projective space of dimensional $n$, if we realize a point $[l]$ in $\mathbb{P}^n$ as a line $l \subset \mathbb{C}^{n+1}$ passing through origin. Then the tautological bundle $S$ of $\mathbb{P}^n$ is defined as a subbundle of $\mathbb{P}^n\times \mathbb{C}^{n+1}$ by

$$[l] \times l \subset [l] \times \mathbb{C}^{n+1}$$

In many books, the convention is $S \cong \mathcal{O}(-1)$ on $\mathbb{P}^n$. Here $\mathcal{O}(-1)$ is defined as it is in Hartshorne which is the sheaf of modules associated to $\mathbb{C}[x_0,\dots,x_n](-1)$ (for example $x_i^{-1}$ is degree $0$ element in $\mathbb{C}[x_0,\dots,x_n](-1)$). I know something need to be clarified in $S \cong \mathcal{O}(-1)$: for $S$, I mean the sheaf associated to the tautological line bundle S. So it seems the problem becomes to show $S$ does not have global sections (because $\mathcal{O}(-1)$ is different from $\mathcal{O}(1)$ by does not have global sections)?

Best Answer

As a complement to Matt's fine answer let me explain why $\mathcal O(-1)$ has only zero as global section.

A section $s\in \Gamma(\mathbb P^n,\mathcal O(-1))$ is in particular a section of the trivial bundle $\mathbb P^n \times \mathbb C^{n+1}$, so that it is of the form $s(x)=(x,\sigma (x)) $ with $\sigma:\mathbb P^n \to \mathbb C^{n+1}$ a regular map.
But such a map $\sigma$ is a constant, since any regular map $\mathbb P^n \to \mathbb C$ is constant by completeness of $\mathbb P^n$.
So $\sigma (x)=v\in \mathbb C^{n+1}$, a fixed vector independent of $x$.
However for $x=[l]$, we must have $\sigma (x)=v\in l$.
In other words, that constant vector $v\in \mathbb C^{n+1}$ must lie on all lines $l\subset \mathbb C^{n+1}$, which forces $v=0$ .
We have thus proved that $$\Gamma(\mathbb P^n,\mathcal O(-1))=0$$

Related Question