1
$\begingroup$

I tried to prove the following assertion, which I think is implicit in a text I have read, but I'm not sure about that:

Let $X$ be an integral scheme and $\mathcal F$ a locally free sheaf of finite rank on $X$.

Let $s$ be a section of $\mathcal F(X)$ which is zero in $\mathcal F(U)$, where $U$ is an open nonempty subset of $X$.

Is it true that then also $s$ itself is zero in $\mathcal F(X)$?

1 Answers 1

1

To check that $s$ is zero in $F(X)$ it is enough to do so on affine open subsets. Let $V\subseteq X$ be affine. Then $U\cap V$ is an open subset of $V$ which is dense in $V$, and on which $s$ is zero. Can you show that $s|_V$ is zero?

  • 0
    Do you need that F is locally free here? Also, I think X irreducible suffices.2011-11-18
  • 0
    @Fozad: I did not invent the hypotheses: I am using those in the statement of the question. It may well be the case, though, that the support of $\mathcal F$ is the complement of $U$, so *something* is needed.2011-11-18
  • 0
    No, I don't see why it should be zero if it is on a dense subset.2011-11-18
  • 0
    Well, I think if one has the assumptions, then the following argument would do: On affines Spec(A) our sheaf is just $A^n$, and by assumption our element $s \in A^n$ vanishes in the generic point, i.e. in $Quot(A)^n$, but then it is zero.2011-11-18
  • 0
    @Cyril, it is $A^n$ on *sufficiently small* affine open sets, not in all of them (at least; but showing that it is $A^n$ on all affine open sets is at least harder than Serre's conjecture on projective modules over polynomial rings, which is now a difficult theorem of Suslin and Quillen)2011-11-19
  • 0
    But I do find a cover of $X$ by such affine opens, where it is $A^n$, and this suffices I think.2011-11-19