Ideal sheaf of points on a surface

866 Views Asked by At

Let $S$ be a smoooth projective surface and $Z\subset S$ a zero-dimensional subscheme of $S$ corresponding to a bunch of distinct points $x_1,\dots,x_r\in S$ (i.e. each counted with multiplicity 1). Let $L$ be a line bundle on $S$, say very ample for the seek of simplicity.

My question is: how should I be thinking of the sheaf $L\otimes\mathcal{I}_Z$, where $\mathcal{I}_Z$ is the ideal sheaf of $Z$ in $S$ ? For example, what is the geometric interpretation of the global sections $H^0(L\otimes\mathcal{I}_Z)$?

If we were on a curve then I would see it as the subspace of divisors in $|L|$ passing through each of the $x_i$ (with multiplicity 1). But on a surface, I am not sure if this is still the correct interpretation.

Any shared insight and/or concrete example would be greatly appreciated.

Possible second question: how about if we add more multiplicities?

1

There are 1 best solutions below

2
On BEST ANSWER

There is an exact sequence $$ 0 \to I_Z \to O_S \to O_Z \to 0, $$ where $O_Z = \bigoplus O_{X_i}$. Tensoring it by $L$, one gets $$ 0 \to L \otimes I_Z \to L \to L \otimes O_Z \to 0. $$ Next, $$ L \otimes O_Z = \bigoplus L \otimes O_{x_i} \cong \bigoplus O_{x_i}. $$ Finally, the cohomology exact sequence $$ 0 \to H^0(S,L \otimes I_Z) \to H^0(S,L) \to \bigoplus H^0(S,O_{x_i}) $$ (and the fact that its right arrow is the evaluation of sections at points $x_i$) shows that $H^0(S,L \otimes I_Z)$ is the space of sections of $L$ that vanish at all points $x_i$.