Over any ringed space, sheaves of modules of finite type have closed support.

Lemma 17.9.6. Let $(X, \mathcal{O}_ X)$ be a ringed space. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}_ X$-modules. If $\mathcal{F}$ is of finite type then support of $\mathcal{F}$ is closed.

Proof. This is a reformulation of Lemma 17.9.5. $\square$

Comment #889 by on

Suggested slogan: Over any ringed space, sheaves of modules of finite type have closed support.

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).