Skip to main content
2 of 2
added 1095 characters in body
Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155

As long as the complement of your open set is "big" as in "codimension $1$", there is no hope to do anything like this. Here is a concrete example on $\mathbb P^n$: Let $\mathscr L_1$ and $\mathscr L_2$ be two arbitrary line bundles such that there exists no morphism $\phi:\mathscr L_1\to \mathscr L_2$. On $\mathbb P^n$ any line bundle restricts to the trivial line bundle on your $U_0$ so there will be a morphism there.

The point is that the morphism that you observe on $U_0$ may have poles along the complement if the complement is codimension $1$. This is exactly what happens in this example.

In the example of your interest, $\mathscr F_1=\mathscr I_Z$ and $\mathscr F_2=\mathscr O_Z$, pretty much the same thing is happening. Since here $\mathscr F_2$ is supported on $Z$, working on $\mathbb P^n$ is almost a red herring. Morphisms between these sheaves, as you remark in a comment, are nothing else but sections of the normal sheaf of $Z$. So in this case your question translates to asking whether a section of this sheaf on an open (in fact a concrete open) set extends to the entire $Z$. Since you are working in $\mathbb P^n$ you know that this sheaf is ample, but that still does not mean that sections from open affine sets extend to global sections. In fact, observe that this will never happen. The space of sections of a line bundle on an affine set tend to be huge. This one is likely infinite dimensional. In contrast, the space of global sections is always finite dimensional. I think based on this you will find plenty of counter-examples and will see that this extension property rarely happens and probably never with these particular open sets.

On the other hand, if you assume that $\mathscr F_1$ and $\mathscr F_2$ are reflexive sheaves on a normal variety (e.g., locally free, but typically ideal sheaves and structure sheaves are not reflexive), and that you have a morphism one an open subset $U$ whose complement has at least codimension two, then the morphism extends; it is simply the push-forward of the morphism on $U$.

Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155