The Stacks project

Lemma 97.27.15. Let $S$ be a locally Noetherian scheme. Let $V$ be a scheme locally of finite type over $S$. Let $Z \subset V$ be closed. Let $W$ be a locally Noetherian formal algebraic space over $S$ such that $W_{red}$ is locally of finite type over $S$. Let $g : V_{/Z} \to W$ be an adic morphism of formal algebraic spaces over $S$. Let $v \in V$ be a closed point such that $g$ is versal at $v$ (as in Section 97.15). Then after replacing $V$ by an open neighbourhood of $v$ the morphism $g$ is smooth (see proof).

Proof. Since $g$ is adic it is representable by algebraic spaces (Formal Spaces, Section 86.23). Thus by saying $g$ is smooth we mean that $g$ should be smooth in the sense of Bootstrap, Definition 79.4.1.

Write $W = \mathop{\mathrm{colim}}\nolimits W_ n$ as in Formal Spaces, Lemma 86.20.11. Set $V_ n = V_{/Z} \times _{\hat x, W} W_ n$. Then $V_ n$ is a closed subscheme with underlying set $Z$. Smoothness of $V \to W$ is equivalent to the smoothness of all the morphisms $V_ n \to W_ n$ (this holds because any morphism $T \to W$ with $T$ a quasi-compact scheme factors through $W_ n$ for some $n$). We know that the morphism $V_ n \to W_ n$ is smooth at $v$ by Lemma 97.12.61. Of course this means that given any $n$ we can shrink $V$ such that $V_ n \to W_ n$ is smooth. The problem is to find an open which works for all $n$ at the same time.

The question is local on $V$, hence we may assume $S = \mathop{\mathrm{Spec}}(R)$ and $V = \mathop{\mathrm{Spec}}(A)$ are affine.

In this paragraph we reduce to the case where $W$ is an affine formal algebraic space. Choose an affine formal scheme $W'$ and an étale morphism $W' \to W$ such that the image of $v$ in $W_{red}$ is in the image of $W'_{red} \to W_{red}$. Then $V_{/Z} \times _{g, W} W' \to V_{/Z}$ is an adic étale morphism of formal algebraic spaces over $S$ and $V_{/Z} \times _{g, W} W'$ is an affine fromal algebraic space. By Algebraization of Formal Spaces, Lemma 87.25.1 there exists an étale morphism $\varphi : V' \to V$ of affine schemes such that the completion of $V'$ along $Z' = \varphi ^{-1}(Z)$ is isomorphic to $V_{/Z} \times _{g, W} W'$ over $V_{/Z}$. Observe that $v$ is the image of some $v' \in V'$. Since smoothness is preserved under base change we see that $V'_ n \to W'_ n$ is smooth for all $n$. In the next paragraph we show that after replacing $V'$ by an open neighbourhood of $v'$ the morphisms $V'_ n \to W'_ n$ are smooth for all $n$. Then, after we replace $V$ by the open image of $V' \to V$, we obtain that $V_ n \to W_ n$ is smooth by étale descent of smoothness. Some details omitted.

Assume $S = \mathop{\mathrm{Spec}}(R)$, $V = \mathop{\mathrm{Spec}}(A)$, $Z = V(I)$, and $W = \text{Spf}(B)$. Let $v$ correspond to the maximal ideal $I \subset \mathfrak m \subset A$. We are given an adic continuous $R$-algebra homomorphism

\[ B \longrightarrow A^\wedge \]

Let $\mathfrak b \subset B$ be the ideal of topologically nilpotent elements (this is the maximal ideal of definition of the Noetherian adic topological ring $B$). Observe that $\mathfrak b A^\wedge $ and $IA^\wedge $ are both ideals of definition of the Noetherian adic ring $A^\wedge $. Also, $\mathfrak m A^\wedge $ is a maximal ideal of $A^\wedge $ containing both $\mathfrak b A^\wedge $ and $IA^\wedge $. We are given that

\[ B_ n = B/\mathfrak b^ n \to A^\wedge /\mathfrak b^ n A^\wedge = A_ n \]

is smooth at $\mathfrak m$ for all $n$. By the discussion above we may and do assume that $B_1 \to A_1$ is a smooth ring map. Denote $\mathfrak m_1 \subset A_1$ the maximal ideal corresponing to $\mathfrak m$. Since smoothness implies flatness, we see that: for all $n \geq 1$ the map

\[ \mathfrak b^ n/\mathfrak b^{n + 1} \otimes _{B_1} (A_1)_{\mathfrak m_1} \longrightarrow \left(\mathfrak b^ nA^\wedge /\mathfrak b^{n + 1}A^\wedge \right)_{\mathfrak m_1} \]

is an isomorphism (see Algebra, Lemma 10.99.9). Consider the Rees algebra

\[ B' = \bigoplus \nolimits _{n \geq 0} \mathfrak b^ n/\mathfrak b^{n + 1} \]

which is a finite type graded algebra over the Noetherian ring $B_1$ and the Rees algebra

\[ A' = \bigoplus \nolimits _{n \geq 0} \mathfrak b^ nA^\wedge /\mathfrak b^{n + 1}A^\wedge \]

which is a a finite type graded algebra over the Noetherian ring $A_1$. Consider the homomorphism of graded $A_1$-algebras

\[ \Psi : B' \otimes _{B_1} A_1 \longrightarrow A' \]

By the above this map is an isomorphism after localizing at the maximal ideal $\mathfrak m_1$ of $A_1$. Hence $\mathop{\mathrm{Ker}}(\Psi )$, resp. $\mathop{\mathrm{Coker}}(\Psi )$ is a finite module over $B' \otimes _{B_1} A_1$, resp. $A'$ whose localization at $\mathfrak m_1$ is zero. It follows that after replacing $A_1$ (and correspondingly $A$) by a principal localization we may assume $\Psi $ is an isomorphism. (This is the key step of the proof.) Then working backwards we see that $B_ n \to A_ n$ is flat, see Algebra, Lemma 10.99.9. Hence $A_ n \to B_ n$ is smooth (as a flat ring map with smooth fibres, see Algebra, Lemma 10.137.17) and the proof is complete. $\square$

[1] The lemma applies since the diagonal of $W$ is representable by algebraic spaces and locally of finite type, see Formal Spaces, Lemma 86.15.5 and we have seen that $W$ has (RS) in the proof of Lemma 97.27.12.

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