The Stacks project

Proof. Let $J \subset R$ be an ideal. Apply Algebra, Lemma 10.99.11 to the module $M/JM$ over the ring $R/J$. Then we see that $(M/JM)_{\mathfrak q}$ is flat over $R/J$ for all primes $\mathfrak q$ of $S/JS$ if and only if $M/(J + \mathfrak m^ n)M$ is flat over $R/(J + \mathfrak m^ n)$ for all $n \geq 1$. We will use this remark below.

For every $n \geq 1$ the local ring $R/\mathfrak m^ n$ is Artinian. Hence, by Lemma 15.17.1 there exists a smallest ideal $I_ n \supset \mathfrak m^ n$ such that $M/I_ nM$ is flat over $R/I_ n$. It is clear that $I_{n + 1} + \mathfrak m^ n$ is contains $I_ n$ and applying Lemma 15.16.1 we see that $I_ n = I_{n + 1} + \mathfrak m^ n$. Since $R = \mathop{\mathrm{lim}}\nolimits _ n\ R/\mathfrak m^ n$ we see that $I = \mathop{\mathrm{lim}}\nolimits _ n\ I_ n/\mathfrak m^ n$ is an ideal in $R$ such that $I_ n = I + \mathfrak m^ n$ for all $n \geq 1$. By the initial remarks of the proof we see that $I$ verifies (1) and (2). Some details omitted. $\square$

Proof. The implication (2) $\Rightarrow$ (1) follows from Lemma 15.18.1. Let $\varphi : R \to R'$ be as in the lemma satisfying (1). We have to show that $\varphi (I) = 0$. This is equivalent to the condition that $\varphi (I)R' = 0$. By Artin-Rees in the Noetherian local ring $R'$ (see Algebra, Lemma 10.51.4) this is equivalent to the condition that $\varphi (I)R' + (\mathfrak m')^ n = (\mathfrak m')^ n$ for all $n > 0$. Hence this is equivalent to the condition that the composition $\varphi _ n : R \to R' \to R'/(\mathfrak m')^ n$ annihilates $I$ for each $n$. Now assumption (1) for $\varphi$ implies assumption (1) for $\varphi _ n$ by Lemma 15.18.1. This reduces us to the case where $R'$ is Artinian local.

Assume $R'$ Artinian. Let $J = \mathop{\mathrm{Ker}}(\varphi )$. We have to show that $I \subset J$. By the construction of $I$ in Lemma 15.20.1 it suffices to show that $(M/JM)_{\mathfrak q}$ is flat over $R/J$ for every prime $\mathfrak q$ of $S/JS$ lying over $\mathfrak m$. As $R'$ is Artinian, condition (1) signifies that $M \otimes _ R R'$ is flat over $R'$. As $R'$ is Artinian and $R/J \to R'$ is a local injective ring map, it follows that $R/J$ is Artinian too. Hence the flatness of $M \otimes _ R R' = M/JM \otimes _{R/J} R'$ over $R'$ implies that $M/JM$ is flat over $R/J$ by Algebra, Lemma 10.101.7. This concludes the proof. $\square$

Proof. The implication (2) $\Rightarrow$ (1) follows from Lemma 15.18.1. Let $\varphi : R \to R'$ be as in the lemma satisfying (1). As $R$ is Noetherian we see that $R \to S$ is of finite presentation and $M$ is an $S$-module of finite presentation. Write $R' = \mathop{\mathrm{colim}}\nolimits _\lambda R_\lambda$ as a directed colimit of local $R$-subalgebras $R_\lambda \subset R'$, with maximal ideals $\mathfrak m_\lambda = R_\lambda \cap \mathfrak m'$ such that each $R_\lambda$ is essentially of finite type over $R$. By Lemma 15.18.3 we see that condition (15.18.0.1) holds for $(R_\lambda \to S \otimes _ R R_\lambda , \mathfrak m_\lambda , M \otimes _ R R_\lambda )$ for some $\lambda$. Hence Lemma 15.20.2 applies to the ring map $R \to R_\lambda$ and we see that $I$ maps to zero in $R_\lambda$, a fortiori it maps to zero in $R'$. $\square$