Lemma 20.22.1. Let $X$ be a spectral space. Let $\mathcal{F}$ be an abelian sheaf on $X$. Let $E \subset X$ be a quasi-compact subset. Let $W \subset X$ be the set of points of $X$ which specialize to a point of $E$.

1. $H^ p(W, \mathcal{F}|_ W) = \mathop{\mathrm{colim}}\nolimits H^ p(U, \mathcal{F})$ where the colimit is over quasi-compact open neighbourhoods of $E$,

2. $H^ p(W \setminus E, \mathcal{F}|_{W \setminus E}) = \mathop{\mathrm{colim}}\nolimits H^ p(U \setminus E, \mathcal{F}|_{U \setminus E})$ if $E$ is a constructible subset.

Proof. From Topology, Lemma 5.24.7 we see that $W = \mathop{\mathrm{lim}}\nolimits U$ where the limit is over the quasi-compact opens containing $E$. Each $U$ is a spectral space by Topology, Lemma 5.23.5. Thus we may apply Lemma 20.19.3 to conclude that (1) holds. The same proof works for part (2) except we use Topology, Lemma 5.24.8. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).