Lemma 31.2.9 (05AH)—The Stacks project

Lemma 31.2.9. Let $X$ be a locally Noetherian scheme. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. Let $x \in \text{Supp}(\mathcal{F})$ be a point in the support of $\mathcal{F}$ which is not a specialization of another point of $\text{Supp}(\mathcal{F})$. Then $x \in \text{Ass}(\mathcal{F})$. In particular, any generic point of an irreducible component of $X$ is an associated point of $X$.

Proof. Since $x \in \text{Supp}(\mathcal{F})$ the module $\mathcal{F}_ x$ is not zero. Hence $\text{Ass}(\mathcal{F}_ x) \subset \mathop{\mathrm{Spec}}(\mathcal{O}_{X, x})$ is nonempty by Algebra, Lemma 10.63.7. On the other hand, by assumption $\text{Supp}(\mathcal{F}_ x) = \{ \mathfrak m_ x\} $. Since $\text{Ass}(\mathcal{F}_ x) \subset \text{Supp}(\mathcal{F}_ x)$ (Algebra, Lemma 10.63.2) we see that $\mathfrak m_ x$ is associated to $\mathcal{F}_ x$ and we win. $\square$

Comments (2)

Comment #2326 by Jarek on December 12, 2016 at 09:33

Perhaps add a corollary that for coherent sheaf $\mathcal{F}$ , we have $\operatorname{Supp}(\mathcal{F}) = \overline{\operatorname{Ass}(\mathcal{F})}$ .

Comment #2398 by Johan on February 17, 2017 at 01:18

Please edit the latex file adding the lemma and email me the new version. Thanks!

There are also:

2 comment(s) on Section 31.2: Associated points

Comments (2)

Post a comment