The Stacks project

Lemma 86.14.6. Let $\varphi : A \to B$ be an arrow of $\textit{WAdm}^{Noeth}$ which is adic and topologically of finite type. Let $\mathfrak p \subset A$ be rig-closed. Let $\mathfrak a \subset A$ and $\mathfrak b \subset B$ be the ideals of topologically nilpotent elements. If $\varphi $ is flat, then the following are equivalent

  1. the maximal ideal of $A/\mathfrak p$ is in the image of $\mathop{\mathrm{Spec}}(B/\mathfrak b) \to \mathop{\mathrm{Spec}}(A/\mathfrak a)$,

  2. there exists a rig-closed prime ideal $\mathfrak q \subset B$ such that $\mathfrak p = \varphi ^{-1}(\mathfrak q)$.

and if so then $\varphi $, $\mathfrak p$, and $\mathfrak q$ satisfy the conclusions of Lemma 86.14.4.

Proof. The implication (2) $\Rightarrow $ (1) is immediate. Assume (1). To prove the existence of $\mathfrak q$ we may replace $A$ by $A/\mathfrak p$ and $B$ by $B/\mathfrak p B$ (some details omitted). Thus we may assume $(A, \mathfrak m, \kappa )$ is a local complete $1$-dimensional Noetherian ring, $\mathfrak m = \mathfrak a$, and $\mathfrak p = (0)$. Condition (1) just says that $B_0 = B \otimes _ A \kappa = B/\mathfrak m B = B/\mathfrak a B$ is nonzero. Note that $B_0$ is of finite type over $\kappa $. Hence we can use induction on $\dim (B_0)$. If $\dim (B_0) = 0$, then any minimal prime $\mathfrak q \subset B$ will do (flatness of $A \to B$ insures that $\mathfrak q$ will lie over $\mathfrak p = (0)$). If $\dim (B_0) > 0$ then we can find an element $b \in B$ which maps to an element $b_0 \in B_0$ which is a nonzerodivisor and a nonunit, see Algebra, Lemma 10.130.4. By Algebra, Lemma 10.99.2 the ring $B' = B/bB$ is flat over $A$. Since $B'_0 = B' \otimes _ A \kappa = B_0/(b_0)$ is not zero, we may apply the induction hypothesis to $B'$ and conclude. The final statement of the lemma is clear from Lemma 86.14.4. $\square$

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