The Stacks project

38.14 Examples of relatively pure modules

In the short section we discuss some examples of results that will serve as motivation for the notion of a relatively pure module and the concept of an impurity which we will introduce later. Each of the examples is stated as a lemma. Note the similarity with the condition on associated primes to the conditions appearing in Lemmas 38.7.4, 38.8.3, 38.8.4, and 38.9.1. See also Algebra, Lemma 10.65.1 for a discussion.

Lemma 38.14.1. Let $R$ be a local ring with maximal ideal $\mathfrak m$. Let $R \to S$ be a ring map. Let $N$ be an $S$-module. Assume

  1. $N$ is projective as an $R$-module, and

  2. $S/\mathfrak mS$ is Noetherian and $N/\mathfrak mN$ is a finite $S/\mathfrak mS$-module.

Then for any prime $\mathfrak q \subset S$ which is an associated prime of $N \otimes _ R \kappa (\mathfrak p)$ where $\mathfrak p = R \cap \mathfrak q$ we have $\mathfrak q + \mathfrak m S \not= S$.

Proof. Note that the hypotheses of Lemmas 38.7.1 and 38.7.6 are satisfied. We will use the conclusions of these lemmas without further mention. Let $\Sigma \subset S$ be the multiplicative set of elements which are not zerodivisors on $N/\mathfrak mN$. The map $N \to \Sigma ^{-1}N$ is $R$-universally injective. Hence we see that any $\mathfrak q \subset S$ which is an associated prime of $N \otimes _ R \kappa (\mathfrak p)$ is also an associated prime of $\Sigma ^{-1}N \otimes _ R \kappa (\mathfrak p)$. Clearly this implies that $\mathfrak q$ corresponds to a prime of $\Sigma ^{-1}S$. Thus $\mathfrak q \subset \mathfrak q'$ where $\mathfrak q'$ corresponds to an associated prime of $N/\mathfrak mN$ and we win. $\square$

The following lemma gives another (slightly silly) example of this phenomenon.

Lemma 38.14.2. Let $R$ be a ring. Let $I \subset R$ be an ideal. Let $R \to S$ be a ring map. Let $N$ be an $S$-module. If $N$ is $I$-adically complete, then for any $R$-module $M$ and for any prime $\mathfrak q \subset S$ which is an associated prime of $N \otimes _ R M$ we have $\mathfrak q + I S \not= S$.

Proof. Let $S^\wedge $ denote the $I$-adic completion of $S$. Note that $N$ is an $S^\wedge $-module, hence also $N \otimes _ R M$ is an $S^\wedge $-module. Let $z \in N \otimes _ R M$ be an element such that $\mathfrak q = \text{Ann}_ S(z)$. Since $z \not= 0$ we see that $\text{Ann}_{S^\wedge }(z) \not= S^\wedge $. Hence $\mathfrak q S^\wedge \not= S^\wedge $. Hence there exists a maximal ideal $\mathfrak m \subset S^\wedge $ with $\mathfrak q S^\wedge \subset \mathfrak m$. Since $IS^\wedge \subset \mathfrak m$ by Algebra, Lemma 10.96.6 we win. $\square$

Note that the following lemma gives an alternative proof of Lemma 38.14.1 as a projective module over a local ring is free, see Algebra, Theorem 10.85.4.

Lemma 38.14.3. Let $R$ be a local ring with maximal ideal $\mathfrak m$. Let $R \to S$ be a ring map. Let $N$ be an $S$-module. Assume $N$ is isomorphic as an $R$-module to a direct sum of finite $R$-modules. Then for any $R$-module $M$ and for any prime $\mathfrak q \subset S$ which is an associated prime of $N \otimes _ R M$ we have $\mathfrak q + \mathfrak m S \not= S$.

Proof. Write $N = \bigoplus _{i \in I} M_ i$ with each $M_ i$ a finite $R$-module. Let $M$ be an $R$-module and let $\mathfrak q \subset S$ be an associated prime of $N \otimes _ R M$ such that $\mathfrak q + \mathfrak m S = S$. Let $z \in N \otimes _ R M$ be an element with $\mathfrak q = \text{Ann}_ S(z)$. After modifying the direct sum decomposition a little bit we may assume that $z \in M_1 \otimes _ R M$ for some element $1 \in I$. Write $1 = f + \sum x_ j g_ j$ for some $f \in \mathfrak q$, $x_ j \in \mathfrak m$, and $g_ j \in S$. For any $g \in S$ denote $g'$ the $R$-linear map

\[ M_1 \to N \xrightarrow {g} N \to M_1 \]

where the first arrow is the inclusion map, the second arrow is multiplication by $g$ and the third arrow is the projection map. Because each $x_ j \in R$ we obtain the equality

\[ f' + \sum x_ j g'_ j = \text{id}_{M_1} \in \text{End}_ R(M_1) \]

By Nakayama's lemma (Algebra, Lemma 10.20.1) we see that $f'$ is surjective, hence by Algebra, Lemma 10.16.4 we see that $f'$ is an isomorphism. In particular the map

\[ M_1 \otimes _ R M \to N \otimes _ R M \xrightarrow {f} N \otimes _ R M \to M_1 \otimes _ R M \]

is an isomorphism. This contradicts the assumption that $fz = 0$. $\square$

Lemma 38.14.4. Let $R$ be a henselian local ring with maximal ideal $\mathfrak m$. Let $R \to S$ be a ring map. Let $N$ be an $S$-module. Assume $N$ is countably generated and Mittag-Leffler as an $R$-module. Then for any $R$-module $M$ and for any prime $\mathfrak q \subset S$ which is an associated prime of $N \otimes _ R M$ we have $\mathfrak q + \mathfrak m S \not= S$.

Proof. This lemma reduces to Lemma 38.14.3 by Algebra, Lemma 10.153.13. $\square$

Suppose $f : X \to S$ is a morphism of schemes and $\mathcal{F}$ is a quasi-coherent module on $X$. Let $\xi \in \text{Ass}_{X/S}(\mathcal{F})$ and let $Z = \overline{\{ \xi \} }$. Picture

\[ \xymatrix{ \xi \ar@{|->}[d] & Z \ar[r] \ar[rd] & X \ar[d]^ f \\ f(\xi ) & & S } \]

Note that $f(Z) \subset \overline{\{ f(\xi )\} }$ and that $f(Z)$ is closed if and only if equality holds, i.e., $f(Z) = \overline{\{ f(\xi )\} }$. It follows from Lemma 38.14.1 that if $S$, $X$ are affine, the fibres $X_ s$ are Noetherian, $\mathcal{F}$ is of finite type, and $\Gamma (X, \mathcal{F})$ is a projective $\Gamma (S, \mathcal{O}_ S)$-module, then $f(Z) = \overline{\{ f(\xi )\} }$ is a closed subset. Slightly different analogous statements holds for the cases described in Lemmas 38.14.2, 38.14.3, and 38.14.4.


Comments (0)


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 05IS. Beware of the difference between the letter 'O' and the digit '0'.