The Stacks project

Proof. Consider the annihilator $\mathfrak a$ of $H^ p(U, \mathcal{F})$. Let $u \in U$. There exists an open neighbourhood $u \in U' \subset U$ and an isomorphism $\varphi : \mathcal{O}_{U'}^{\oplus r} \to \mathcal{F}|_{U'}$. Pick $f \in A$ such that $u \in D(f) \subset U'$. There exist maps

whose restriction to $D(f)$ are equal to $f^ N \varphi $ and $f^ N \varphi ^{-1}$ for some $N$. Moreover we may assume that $a \circ b$ and $b \circ a$ are equal to multiplication by $f^{2N}$. This follows from Properties, Lemma 28.17.3 since $U$ is quasi-compact ($I$ is finitely generated), separated, and $\mathcal{F}$ and $\mathcal{O}_ U^{\oplus r}$ are finitely presented. Thus we see that $H^ p(U, \mathcal{F})$ is annihilated by $f^{2N}J^ n$, i.e., $f^{2N}J^ n \subset \mathfrak a$.

As $U$ is quasi-compact we can find finitely many $f_1, \ldots , f_ t$ and $N_1, \ldots , N_ t$ such that $U = \bigcup D(f_ i)$ and $f_ i^{2N_ i}J^ n \subset \mathfrak a$. Then $V(I) = V(f_1, \ldots , f_ t)$ and since $I$ is finitely generated we conclude $I^ M \subset (f_1, \ldots , f_ t)$ for some $M$. All in all we see that $J^ m \subset \mathfrak a$ for $m \gg 0$, for example $m = M (2N_1 + \ldots + 2N_ t) n$ will do. $\square$