Simple Examples of Correspondence Between Line Bundles and Divisors

439 Views Asked by At

I'm trying to work out some simple examples demonstrating the correspondence between line bundles and divisors.

The toric variety $X = \mathrm{Bl}\,_0(\mathbb{C}^2/\mathbb{Z}_2)$ has quotient construction $X=[\mathbb{C}^3\setminus\mathbb{V}(x_1,x_2)]/\mathbb{C}^*$ where $\mathbb{C}^*$ acts via $\lambda\cdot(a_0,a_1,a_2)=(\lambda^{-2}a_0,\lambda a_1,\lambda a_2)$. I'm pretty sure the morphism $\pi:X\rightarrow\mathbb{P}^1$ given by $\pi(a_0:a_1:a_2)=(a_1:a_2)$ makes $X$ a line bundle over $\mathbb{P}^1$ (drawing the picture of the morphism between fans seems to make this obvious). Now, line bundles over $\mathbb{P}^1$ correspond to the sheaves $\mathscr{O}_{\mathbb{P}^1}(\alpha)$ for $\alpha\in\mathbb{Z}$. How do I determine which sheaf the line bundle I've constructed corresponds to? Here's what I have so far:

Using the standard open cover $\mathbb{P}^1=U_1\cup U_2$ where $U_i = \{(a_1:a_2)\in\mathbb{P}^1:a_i\neq0\}$, there are isomorphisms $\phi_i:\pi^{-1}(U_i)\rightarrow\mathbb{C}\times U_i$ given by \begin{align*} \phi_1(a_0:a_1:a_2) &= \phi_1\left(a_1^2 a_0:1:\frac{a_2}{a_1}\right)=a_1^2a_0\times\left(1:\frac{a_2}{a_1}\right) \\ \phi_2(a_0:a_1:a_2) &= \phi_2\left(a_2^2 a_0:\frac{a_1}{a_2}:1\right)=a_2^2a_0\times\left(\frac{a_1}{a_2}:1\right) \\ \end{align*} The transition functions are $\displaystyle g_{ij}=\frac{x_i^2}{x_j^2}$. Where should I go from here?