The Stacks project

Proof. Omitted. Hint: A product of filtered colimits is a filtered colimit. $\square$

Proof. We first apply Lemma 16.3.4 to $S^{-1}R \to B'$. Thus we may assume $B'$ is standard smooth over $S^{-1}R$. Write $A = R[x_1, \ldots , x_ n]/(g_1, \ldots , g_ t)$ and say $x_ i \mapsto \lambda _ i$ in $\Lambda $. We may write $B' = S^{-1}R[x_1, \ldots , x_{n + m}]/(f_1, \ldots , f_ c)$ for some $c \geq n$ where $\det (\partial f_ j/\partial x_ i)_{i, j = 1, \ldots , c}$ is invertible in $B'$ and such that $A \to B'$ is given by $x_ i \mapsto x_ i$, see Lemma 16.3.6. After multiplying $x_ i$, $i > n$ by an element of $S$ and correspondingly modifying the equations $f_ j$ we may assume $B' \to S^{-1}\Lambda $ maps $x_ i$ to $\lambda _ i/1$ for some $\lambda _ i \in \Lambda $ for $i > n$. Choose a relation

for some $a_ j \in S^{-1}R[x_1, \ldots , x_{n + m}]$. Since each element of $S$ is invertible in $B'$ we may (by clearing denominators) assume that $f_ j, a_ j \in R[x_1, \ldots , x_{n + m}]$ and that

for some $s_0 \in S$. Since $g_ j$ maps to zero in $S^{-1}R[x_1, \ldots , x_{n + m}]/(f_1, \ldots , x_ c)$ we can find elements $s_ j \in S$ such that $s_ j g_ j = 0$ in $R[x_1, \ldots , x_{n + m}]/(f_1, \ldots , f_ c)$. Since $f_ j$ maps to zero in $S^{-1}\Lambda $ we can find $s'_ j \in S$ such that $s'_ j f_ j(\lambda _1, \ldots , \lambda _{n + m}) = 0$ in $\Lambda $. Consider the ring

and the factorization $A \to B \to \Lambda $ with $B \to \Lambda $ given by $x_ i \mapsto \lambda _ i$. We claim that $s = s_0s_1 \ldots s_ ts'_1 \ldots s'_ c$ is elementary standard in $B$ over $R$ which finishes the proof. Namely, $s_ j g_ j \in (f_1, \ldots , f_ c)$ and hence $sg_ j \in (s'_1f_1, \ldots , s'_ cf_ c)$. Finally, we have

which divides $s$ as desired. $\square$

Proof. Assume PT holds for any Situation 16.8.1 where $R$ is a field. Let $R \to \Lambda $ be as in Situation 16.8.1 arbitrary. Note that $R/I \to \Lambda /I\Lambda $ is another regular ring map of Noetherian rings, see More on Algebra, Lemma 15.41.3. Consider the set of ideals

We have to show that $\mathcal{I}$ is empty. If this set is nonempty, then it contains a maximal element because $R$ is Noetherian. Replacing $R$ by $R/I$ and $\Lambda $ by $\Lambda /I$ we obtain a situation where PT holds for $R/I \to \Lambda /I\Lambda $ for any nonzero ideal of $R$. In particular, we see by applying Proposition 16.5.3 that $R$ is a reduced ring.

Let $A \to \Lambda $ be an $R$-algebra homomorphism with $A$ of finite presentation. We have to find a factorization $A \to B \to \Lambda $ with $B$ smooth over $R$, see Algebra, Lemma 10.127.4.

Let $S \subset R$ be the set of nonzerodivisors and consider the total ring of fractions $Q = S^{-1}R$ of $R$. We know that $Q = K_1 \times \ldots \times K_ n$ is a product of fields, see Algebra, Lemmas 10.25.4 and 10.31.6. By Lemma 16.8.2 and our assumption PT holds for the ring map $S^{-1}R \to S^{-1}\Lambda $. Hence we can find a factorization $S^{-1}A \to B' \to S^{-1}\Lambda $ with $B'$ smooth over $S^{-1}R$.

We apply Lemma 16.8.3 and find a factorization $A \to B \to \Lambda $ such that some $\pi \in S$ is elementary standard in $B$ over $R$. After replacing $A$ by $B$ we may assume that $\pi $ is elementary standard, hence strictly standard in $A$. We know that $R/\pi ^8R \to \Lambda /\pi ^8\Lambda $ satisfies PT. Hence we can find a factorization $R/\pi ^8 R \to A/\pi ^8A \to \bar C \to \Lambda /\pi ^8\Lambda $ with $R/\pi ^8 R \to \bar C$ smooth. By Lemma 16.6.1 we can find an $R$-algebra map $D \to \Lambda $ with $D$ smooth over $R$ and a factorization $R/\pi ^4 R \to A/\pi ^4A \to D/\pi ^4D \to \Lambda /\pi ^4\Lambda $. By Lemma 16.7.2 we can find $A \to B \to \Lambda $ with $B$ smooth over $R$ which finishes the proof. $\square$