Twisted sheaf and restriction to a divisor

570 Views Asked by At

Let $X$ be a Noetherian, integral, regular scheme and let $D$ be a divisor on $X$. Moreover let $\mathcal L$ be an invertible sheaf on $X$ (a line bundle). One can be define the invertible sheaf $$\mathcal L(D):=\mathcal L\otimes_{\mathcal O_X}\mathcal O_X(D)$$ Now restrict our attention to the quotient sheaf $\mathcal L(D)/\mathcal L$. Often authors give a particular notation for this quotient and they put: $$\mathcal L(D)|_D:=\mathcal L(D)/\mathcal L\,,$$ so it seems that $\mathcal L(D)/\mathcal L$ should be some kind of "restriction of $\mathcal L(D)$ to the divisor $D$". Could you explain what is the intuition behind this notation? I don't see the naive geometry behind it.

1

There are 1 best solutions below

2
On

Part of the point is that the inclusion of which the quotient is the cokernel is an isomorphism away from $D$. I would guess that you know this, but in case not: this setup comes from taking the sequence $$ 0 \to \mathcal O_X(-D) \to \mathcal O_X \to \mathcal O_D \to 0 $$

and twisting by $\mathcal L(D)$ to obtain $$ 0 \to \mathcal L \to \mathcal L(D) \to \mathcal L|_D(D) \to 0, $$

where I have been somewhat loose with the notation for the last sheaf because we can restrict before or after twisting by a line bundle.