Hi folkz,
I'm trying to learn more about line bundles, invertible sheaves and divisors on schemes. I understand the connection beweteen Cartier and Weil Divisors and the connection between Cartier Divisors and invertible sheaves and how to get from one to another (as far as possible).
But compared to my analytic imagination of a line bundle I don't see how to come from an invertible sheaf to the line bundle (apart from the fact, that these two terms coincide).
Where is 'the line' in my locally free of rank one $\mathcal{O}_X$-module?
greatz Johannes
Best Answer
Perhaps this might help as some intuition. Instead of looking for "the line" in a locally free sheaf, let's look in the other direction. Let's start with a line bundle, and move back towards sheaves.
So take a line bundle $\pi : L \to X$. This bundle has a sheaf of sections $\mathcal{O}_L$ defined by
$$\mathcal{O}_L(U) = \{s : U \to L \mid \pi \circ s = id_U\}$$
i.e. over an open set $U$ in $X$, $\mathcal{O}_L(U)$ is the collection of all sections of $L$ over $U$. It can be shown that this is a locally free sheaf of rank one.
Now, for a vector bundle of rank $n$, all of this is true, but the locally free sheaf is now or rank $n$.
Hopefully this provides at least a little intuition for the relation between the two.