The Stacks project

Proof. Assume (15.18.0.1) holds for $(R \to S, I \subset R, M)$. Let $I'(S \otimes _ R R') \subset \mathfrak q'$ be a prime of $S \otimes _ R R'$. Let $\mathfrak q \subset S$ be the corresponding prime of $S$. Then $IS \subset \mathfrak q$. Note that $(M \otimes _ R R')_{\mathfrak q'}$ is a localization of the base change $M_{\mathfrak q} \otimes _ R R'$. Hence $(M \otimes _ R R')_{\mathfrak q'}$ is flat over $R'$ as a localization of a flat module, see Algebra, Lemmas 10.39.7 and 10.39.18. $\square$

Proof. Assume (15.18.0.1) holds for $(R' \to S \otimes _ R R', IR', M \otimes _ R R')$. Pick a prime $IS \subset \mathfrak q \subset S$. Let $I \subset \mathfrak p \subset R$ be the corresponding prime of $R$. By assumption there exists a prime $\mathfrak p' \in V(I')$ of $R'$ lying over $\mathfrak p$ and $R_{\mathfrak p} \to R'_{\mathfrak p'}$ is flat. Choose a prime $\overline{\mathfrak q}' \subset \kappa (\mathfrak q) \otimes _{\kappa (\mathfrak p)} \kappa (\mathfrak p')$ which corresponds to a prime $\mathfrak q' \subset S \otimes _ R R'$ which lies over $\mathfrak q$ and over $\mathfrak p'$. Note that $(S \otimes _ R R')_{\mathfrak q'}$ is a localization of $S_{\mathfrak q} \otimes _{R_{\mathfrak p}} R'_{\mathfrak p'}$. By assumption the module $(M \otimes _ R R')_{\mathfrak q'}$ is flat over $R'_{\mathfrak p'}$. Hence Algebra, Lemma 10.100.1 implies that $M_{\mathfrak q}$ is flat over $R_{\mathfrak p}$ which is what we wanted to prove. $\square$

Proof. We are going to write $S_\lambda = S \otimes _ R R_\lambda$, $S' = S \otimes _ R R'$, $M_\lambda = M \otimes _ R R_\lambda$, and $M' = M \otimes _ R R'$. The base change $S'$ is of finite presentation over $R'$ and $M'$ is of finite presentation over $S'$ and similarly for the versions with subscript $\lambda$, see Algebra, Lemma 10.14.2. By Algebra, Theorem 10.129.4 the set

is open in $\mathop{\mathrm{Spec}}(S')$. Note that $V(I'S')$ is a quasi-compact space which is contained in $U'$ by assumption. Hence there exist finitely many $g'_ j \in S'$, $j = 1, \ldots , m$ such that $D(g'_ j) \subset U'$ and such that $V(I'S') \subset \bigcup D(g'_ j)$. Note that in particular $(M')_{g'_ j}$ is a flat module over $R'$.

We are going to pick increasingly large elements $\lambda \in \Lambda$. First we pick it large enough so that we can find $g_{j, \lambda } \in S_{\lambda }$ mapping to $g'_ j$. The inclusion $V(I'S') \subset \bigcup D(g'_ j)$ means that $I'S' + (g'_1, \ldots , g'_ m) = S'$ which can be expressed as $1 = \sum z_ sh_ s + \sum f_ jg'_ j$ for some $z_ s \in I'$, $h_ s, f_ j \in S'$. After increasing $\lambda$ we may assume such an equation holds in $S_\lambda$. Hence we may assume that $V(I_\lambda S_\lambda ) \subset \bigcup D(g_{j, \lambda })$. By Algebra, Lemma 10.168.1 we see that for some sufficiently large $\lambda$ the modules $(M_\lambda )_{g_{j, \lambda }}$ are flat over $R_\lambda$. In particular the module $M_\lambda$ is flat over $R_\lambda$ at all the primes lying over the ideal $I_\lambda$. $\square$