Equivalent Definitions of Twisted Sheaf $ \mathcal {O}(1)$

594 Views Asked by At

Let $\mathcal {O}(-1)$ be the tautological line bundle $X$ of $ \Bbb CP^1$, where $X=\{(z,l) \in \Bbb C^2 \times \Bbb CP^1 : z \in l \}$ together with canonical projection $X \to \Bbb CP^1$ (line bundle property and co easy to prove).

Futhermore we define $ \mathcal {O}(1):= \mathcal {O}(-1)^{\vee}$, where $ \mathcal {O}(-1)^{\vee}$ can be defined in two equivalent ways :

$ \mathcal {O}(-1) \otimes \mathcal {O}(-1)^{\vee}= \mathcal {O}_{\Bbb CP^1}$ is the same as to define it as $ \mathcal {O}(-1)^V := \underline{Hom}_{\mathcal{O}_{\Bbb CP^1}}(\mathcal{O}(-1),\mathcal{O}_{\Bbb CP^1})$ (follows from evaluation map).

The other way to define $ \mathcal {O}(1)$ is the following (compare with eg Liu’s AG, page 165 or see image below):

Obviously we have $ \Bbb CP^1 = Proj (B)$ where $B = \oplus _n B_n:=\mathbb{C}[X,Y] $ is graded $\mathbb{C}$-algebra in canonical way (polynomial grade). We set $B(n)$ as a new graduated $\mathbb{C}$-algebra by defining recursively $B(n)_m := B_{n+m}$. Liu defined the $ \mathcal {O}_{\Bbb CP^1 }$ -module $ \mathcal {O}(n)$ by setting $ \mathcal {O}(n) := \widetilde{B(n)}$ .

My question is: Why this both definitions of $ \mathcal {O}(1)$ are equivalent?

Here Liu's definition of "twisting":

enter image description here

1

There are 1 best solutions below

8
On

Let $U\subset\mathbb{CP}^1$ be an open subset.

Sections $U\to p^{-1}(U)$ of $p\colon X\to\mathbb{CP}^1$ look like $[x:y]\mapsto(f_1/g_1,f_2/g_2)$ where $f_1$ and $g_1$ are homogeneous polynomials of the same degree, and the same holds for $f_2$ and $g_2$. We moreover require $f_1/g_1\cdot x+f_2/g_2\cdot y=0$, and such that $g_1$ and $g_2$ have no zeroes on $U$. This corresponds to the rational function $f_1/g_1\cdot y^{-1}=-f_2/g_2\cdot x^{-1}$ of homogeneous degree $-1$, so gives a well-defined section of $\mathcal O_{\mathbb{CP}^1}(-1)$. Indeed, at $[x:y]\in U$ with $y\ne0$ the expression $f_1/g_1\cdot y^{-1}$ is well-defined and when $x\ne0$ the expression $f_2/g_2\cdot x^{-1}$ is well-defined.

Conversely, suppose $F/G$ is a section of $\mathcal O_{\mathbb{CP}^1}(-1)$, i.e., where $F$ and $G$ are homogeneous and $\deg(G)=\deg(F)+1$ and $G$ has no zeroes on $U$. Then $[x:y]\mapsto (Fy/G,-Fx/G)$ is a section $U\to p^{-1}(U)$.