is the following true: if I have a coherent sheaf $F$ on a noetherian scheme $X$ with a point $x$ and the stalk $F_x$ is zero, then there is a neighborhood $U$ of $x$, such that the restriction of $F$ to $U$ is zero?
Thank you
is the following true: if I have a coherent sheaf $F$ on a noetherian scheme $X$ with a point $x$ and the stalk $F_x$ is zero, then there is a neighborhood $U$ of $x$, such that the restriction of $F$ to $U$ is zero?
Thank you
Yes. For the locality of the problem, you can assume that $X$ is affine: $X = \mathrm{Spec} A$ and $F = \tilde{M}$, where $A$ is a noetherian ring and $M$ is a finite $A$-module. Let $P$ a prime such that $M_P = 0$. Let $\{ x_1, \dots, x_n \}$ a set of generators of $M$ as an $A$-module. Then exist $s_i \in A \setminus P$ such that $s_i x_i = 0$. Pick $s = s_1 \cdots s_n$, then $F \vert_{D(s)} = 0$.