4
$\begingroup$

Let $X$ be a complex manifold. If $D$ is a divisor on $X$, then $\mathcal{O}(D)$ denotes the (up to isomorphic) line bundle $\mathcal{L}$ with a meromorphic section $m$ whose divisor $(m)=D$.

But if $\mathcal{L}$ is a line bundle on $X$, there is also the notation $\mathcal{O}(\mathcal{L})$. Can anyone tell me what does it mean? Thank you very much.

$\endgroup$
1
  • 6
    $\begingroup$ It means the sheaf of sections of the line bundle $\mathcal{L}$. I guess the notation $\mathcal{O}(\mathcal{L})$ is just to remind you that the sheaf is an $\mathcal{O}$-module. Usually people don't distinguish much between line bundles and invertible sheaves on a complex manifold, which probably explains why this notation isn't as wellknown as $\mathcal{O}(D)$. $\endgroup$
    – J.C. Ottem
    Commented Jan 26, 2012 at 1:22

1 Answer 1

5
$\begingroup$

Slightly expanding the comment of J. C. Otterm, I think $\mathcal O_X(D)$ should not be interpreted as a line bundle but rather as a sheaf of sections.

So, summing up:

  • When you consider a (holomorphic) line bundle $L\to X$ you should think at that as a complex manifold together with a holomorphic surjective map to $X$, locally trivial, whose fibers are complex vector spaces of dimension one (and the local trivialization are compatible with the vector space structure).

  • When you consider a (Weil or Cartier: I am assuming $X$ to be smooth so that the two concepts coincide) divisor $D$, you should look at it just as a formal integral combination of codimension one irreducible subvarieties.

  • When you consider $\mathcal O_X(L)$, you should look at it as the sheaf of holomorphic sections of $L\to X$.

  • When you consider $\mathcal O_X(D)$, if $D=\sum_j a_j D_j$ where $a_j\in\mathbb Z$ and $D_i$ are prime divisors, you should look at it as the sheaf of meromorphic function on $X$ which have at least zeros of order $a_i$ along $D_i$ if $a_i\le 0$ and at most poles of order $a_k$ along $D_k$ if $a_k\ge 0$.

Of course, these four concepts are strongly related.

For instance, given a divisor $D$ one can form an associated holomorphic line bundle, let's say $L_D$ and then consider its sheaf of holomorphic sections $\mathcal O_X(L_D)$ which is naturally isomorphic to $\mathcal O_X(D)$.

On the other hand, given a holomorphic line bundle $L\to X$ where $X$ is projective, then it always admits a meromorphic section $\sigma$. Let $D_\sigma$ its associated divisor. Then, $L_{D_\sigma}\simeq L$ as holomorphic line bundles.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .