31.4 Embedded points

Let $R$ be a ring and let $M$ be an $R$-module. Recall that a prime $\mathfrak p \subset R$ is an embedded associated prime of $M$ if it is an associated prime of $M$ which is not minimal among the associated primes of $M$. See Algebra, Definition 10.67.1. Here is the definition of embedded associated points for quasi-coherent sheaves on schemes as given in [IV Definition 3.1.1, EGA].

Definition 31.4.1. Let $X$ be a scheme. Let $\mathcal{F}$ be a quasi-coherent sheaf on $X$.

1. An embedded associated point of $\mathcal{F}$ is an associated point which is not maximal among the associated points of $\mathcal{F}$, i.e., it is the specialization of another associated point of $\mathcal{F}$.

2. A point $x$ of $X$ is called an embedded point if $x$ is an embedded associated point of $\mathcal{O}_ X$.

3. An embedded component of $X$ is an irreducible closed subset $Z = \overline{\{ x\} }$ where $x$ is an embedded point of $X$.

In the Noetherian case when $\mathcal{F}$ is coherent we have the following.

Lemma 31.4.2. Let $X$ be a locally Noetherian scheme. Let $\mathcal{F}$ be a coherent $\mathcal{O}_ X$-module. Then

1. the generic points of irreducible components of $\text{Supp}(\mathcal{F})$ are associated points of $\mathcal{F}$, and

2. an associated point of $\mathcal{F}$ is embedded if and only if it is not a generic point of an irreducible component of $\text{Supp}(\mathcal{F})$.

In particular an embedded point of $X$ is an associated point of $X$ which is not a generic point of an irreducible component of $X$.

Proof. Recall that in this case $Z = \text{Supp}(\mathcal{F})$ is closed, see Morphisms, Lemma 29.5.3 and that the generic points of irreducible components of $Z$ are associated points of $\mathcal{F}$, see Lemma 31.2.9. Finally, we have $\text{Ass}(\mathcal{F}) \subset Z$, by Lemma 31.2.3. These results, combined with the fact that $Z$ is a sober topological space and hence every point of $Z$ is a specialization of a generic point of $Z$, imply (1) and (2). $\square$

Lemma 31.4.3. Let $X$ be a locally Noetherian scheme. Let $\mathcal{F}$ be a coherent sheaf on $X$. Then the following are equivalent:

1. $\mathcal{F}$ has no embedded associated points, and

2. $\mathcal{F}$ has property $(S_1)$.

Proof. This is Algebra, Lemma 10.157.2, combined with Lemma 31.2.2 above. $\square$

Lemma 31.4.4. Let $X$ be a locally Noetherian scheme of dimension $\leq 1$. The following are equivalent

1. $X$ is Cohen-Macaulay, and

2. $X$ has no embedded points.

Proof. Follows from Lemma 31.4.3 and the definitions. $\square$

Lemma 31.4.5. Let $X$ be a locally Noetherian scheme. Let $U \subset X$ be an open subscheme. The following are equivalent

1. $U$ is scheme theoretically dense in $X$ (Morphisms, Definition 29.7.1),

2. $U$ is dense in $X$ and $U$ contains all embedded points of $X$.

Proof. The question is local on $X$, hence we may assume that $X = \mathop{\mathrm{Spec}}(A)$ where $A$ is a Noetherian ring. Then $U$ is quasi-compact (Properties, Lemma 28.5.3) hence $U = D(f_1) \cup \ldots \cup D(f_ n)$ (Algebra, Lemma 10.29.1). In this situation $U$ is scheme theoretically dense in $X$ if and only if $A \to A_{f_1} \times \ldots \times A_{f_ n}$ is injective, see Morphisms, Example 29.7.4. Condition (2) translated into algebra means that for every associated prime $\mathfrak p$ of $A$ there exists an $i$ with $f_ i \not\in \mathfrak p$.

Assume (1), i.e., $A \to A_{f_1} \times \ldots \times A_{f_ n}$ is injective. If $x \in A$ has annihilator a prime $\mathfrak p$, then $x$ maps to a nonzero element of $A_{f_ i}$ for some $i$ and hence $f_ i \not\in \mathfrak p$. Thus (2) holds. Assume (2), i.e., every associated prime $\mathfrak p$ of $A$ corresponds to a prime of $A_{f_ i}$ for some $i$. Then $A \to A_{f_1} \times \ldots \times A_{f_ n}$ is injective because $A \to \prod _{\mathfrak p \in \text{Ass}(A)} A_\mathfrak p$ is injective by Algebra, Lemma 10.63.19. $\square$

Lemma 31.4.6. Let $X$ be a locally Noetherian scheme. Let $\mathcal{F}$ be a coherent sheaf on $X$. The set of coherent subsheaves

$\{ \mathcal{K} \subset \mathcal{F} \mid \text{Supp}(\mathcal{K})\text{ is nowhere dense in }\text{Supp}(\mathcal{F}) \}$

has a maximal element $\mathcal{K}$. Setting $\mathcal{F}' = \mathcal{F}/\mathcal{K}$ we have the following

1. $\text{Supp}(\mathcal{F}') = \text{Supp}(\mathcal{F})$,

2. $\mathcal{F}'$ has no embedded associated points, and

3. there exists a dense open $U \subset X$ such that $U \cap \text{Supp}(\mathcal{F})$ is dense in $\text{Supp}(\mathcal{F})$ and $\mathcal{F}'|_ U \cong \mathcal{F}|_ U$.

Proof. This follows from Algebra, Lemmas 10.67.2 and 10.67.3. Note that $U$ can be taken as the complement of the closure of the set of embedded associated points of $\mathcal{F}$. $\square$

Lemma 31.4.7. Let $X$ be a locally Noetherian scheme. Let $\mathcal{F}$ be a coherent $\mathcal{O}_ X$-module without embedded associated points. Set

$\mathcal{I} = \mathop{\mathrm{Ker}}(\mathcal{O}_ X \longrightarrow \mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ X}(\mathcal{F}, \mathcal{F})).$

This is a coherent sheaf of ideals which defines a closed subscheme $Z \subset X$ without embedded points. Moreover there exists a coherent sheaf $\mathcal{G}$ on $Z$ such that (a) $\mathcal{F} = (Z \to X)_*\mathcal{G}$, (b) $\mathcal{G}$ has no associated embedded points, and (c) $\text{Supp}(\mathcal{G}) = Z$ (as sets).

Proof. Some of the statements we have seen in the proof of Cohomology of Schemes, Lemma 30.9.7. The others follow from Algebra, Lemma 10.67.4. $\square$

Comments (2)

Comment #1239 by jojo on

There is a word "point" missing in the first sentence between "embedded" and "associated"

Comment #1252 by on

Thanks! Fixed here (note that the commit message is wrong).

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 05AJ. Beware of the difference between the letter 'O' and the digit '0'.