The Stacks project

Lemma 58.9.2. Let $(A, I)$ be a henselian pair. Let $X$ be a proper scheme over $A$. Set $X_0 = X \times _{\mathop{\mathrm{Spec}}(A)} \mathop{\mathrm{Spec}}(A/I)$. Then the functor

\[ \textit{FÉt}_ X \to \textit{FÉt}_{X_0},\quad U \longmapsto U_0 = U \times _ X X_0 \]

is an equivalence of categories.

Proof. The proof of this lemma is exactly the same as the proof of Lemma 58.9.1.

Essential surjectivity when $A$ is Noetherian and $I$-adically complete. Let $X_ n = X \times _{\mathop{\mathrm{Spec}}(A)} \mathop{\mathrm{Spec}}(A/I^{n + 1})$. By Étale Morphisms, Theorem 41.15.2 the inclusions

\[ X_0 \to X_1 \to X_2 \to \ldots \]

induce equivalence of categories between the category of schemes étale over $X_0$ and the category of schemes étale over $X_ n$. Moreover, if $U_ n \to X_ n$ corresponds to a finite étale morphism $U_0 \to X_0$, then $U_ n \to X_ n$ is finite too, for example by More on Morphisms, Lemma 37.3.3. In this case the morphism $U_0 \to \mathop{\mathrm{Spec}}(A/I)$ is proper as $X_0$ is proper over $A/I$. Thus we may apply Grothendieck's algebraization theorem (in the form of Cohomology of Schemes, Lemma 30.28.2) to see that there is a finite morphism $U \to X$ whose restriction to $X_0$ recovers $U_0$. By More on Morphisms, Lemma 37.12.3 we see that $U \to X$ is étale at every point of $U_0$. However, since every point of $U$ specializes to a point of $U_0$ (as $U$ is proper over $A$), we conclude that $U \to X$ is étale. In this way we conclude the functor is essentially surjective.

Fully faithfulness when $A$ is Noetherian and $I$-adically complete. Let $U \to X$ and $V \to X$ be finite étale morphisms and let $\varphi _0 : U_0 \to V_0$ be a morphism over $X_0$. Look at the morphism

\[ \Gamma _{\varphi _0} : U_0 \longrightarrow U_0 \times _{X_0} V_0 \]

This morphism is both finite étale and a closed immersion. By essential surjectivity applied to $X = U \times _ X V$ we find a finite étale morphism $W \to U \times _ X V$ whose special fibre is isomorphic to $\Gamma _{\varphi _0}$. Consider the projection $W \to U$. It is finite étale and an isomorphism over $U_0$ by construction. By Étale Morphisms, Lemma 41.14.2 $W \to U$ is an isomorphism in an open neighbourhood of $U_0$. Thus it is an isomorphism and the composition $\varphi : U \cong W \to V$ is the desired lift of $\varphi _0$.

Essential surjectivity when $(A, I)$ is a henselian pair and $A$ is a Noetherian G-ring. Let $U_0 \to X_0$ be a finite étale morphism. Let $A^\wedge $ be the completion of $A$ with respect to $I$. Observe that $A^\wedge $ is a Noetherian ring which is $IA^\wedge $-adically complete, see Algebra, Lemmas 10.97.4 and 10.97.6. Let $X^\wedge $ be the base change of $X$ to $A^\wedge $. By the result above there exists a finite étale morphism $V \to X^\wedge $ whose special fibre is $U_0$. Write $A^\wedge = \mathop{\mathrm{colim}}\nolimits A_ i$ with $A \to A_ i$ of finite type. By Limits, Lemma 32.10.1 there exists an $i$ and a finitely presented morphism $U_ i \to X_{A_ i}$ whose base change to $X^\wedge $ is $V$. After increasing $i$ we may assume that $U_ i \to X_{A_ i}$ is finite and étale (Limits, Lemmas 32.8.3 and 32.8.10). Writing

\[ A_ i = A[x_1, \ldots , x_ n]/(f_1, \ldots , f_ m) \]

the ring map $A_ i \to A^\wedge $ can be reinterpreted as a solution $(a_1, \ldots , a_ n)$ in $A^\wedge $ for the system of equations $f_ j = 0$. By Smoothing Ring Maps, Lemma 16.14.1 we can approximate this solution (to order $11$ for example) by a solution $(b_1, \ldots , b_ n)$ in $A$. Translating back we find an $A$-algebra map $A_ i \to A$ which gives the same closed point as the original map $A_ i \to A^\wedge $ (as $11 > 1$). The base change $U \to X$ of $V \to X_{A_ i}$ by this ring map will therefore be a finite étale morphism whose special fibre is isomorphic to $U_0$.

Fully faithfulness when $(A, I$ is a henselian pair and $A$ is a Noetherian G-ring. This can be deduced from essential surjectivity in exactly the same manner as was done in the case that $A$ is complete Noetherian.

General case. Let $(A, I)$ be a henselian pair. Set $S = \mathop{\mathrm{Spec}}(A)$ and denote $S_0 = \mathop{\mathrm{Spec}}(A/I)$. By Limits, Lemma 32.13.3 we can write $X \to \mathop{\mathrm{Spec}}(A)$ as a cofiltered limit of proper morphisms $X_ i \to S_ i$ with $S_ i$ affine and of finite type over $\mathbf{Z}$. Write $S_ i = \mathop{\mathrm{Spec}}(A_ i)$ and denote $I_ i \subset A_ i$ the inverse image of $I$ by the map $A_ i \to A$. Set $S_{i, 0} = \mathop{\mathrm{Spec}}(A_ i/I_ i)$. Since $S = \mathop{\mathrm{lim}}\nolimits S_ i$ we have $A = \mathop{\mathrm{colim}}\nolimits A_ i$. Thus we also have $I = \mathop{\mathrm{colim}}\nolimits I_ i$ and $A/I = \mathop{\mathrm{colim}}\nolimits A_ i/I_ i$. The ring $A_ i$ is a Noetherian G-ring (More on Algebra, Proposition 15.50.12). Denote $(A_ i^ h, I_ i^ h)$ the henselization of the pair $(A_ i, I_ i)$. By More on Algebra, Lemma 15.12.5 we see that $A = \mathop{\mathrm{colim}}\nolimits A_ i^ h$. By More on Algebra, Lemma 15.50.15 the rings $A_ i^ h$ are G-rings. Thus we see that $A = \mathop{\mathrm{colim}}\nolimits A_ i^ h$ and

\[ X = \mathop{\mathrm{lim}}\nolimits (X_ i \times _{S_ i} \mathop{\mathrm{Spec}}(A_ i^ h)) \]

as schemes. The category of schemes finite étale over $X$ is the limit of the category of schemes finite étale over $X_ i \times _{S_ i} \mathop{\mathrm{Spec}}(A_ i^ h)$ (by Limits, Lemmas 32.10.1, 32.8.3, and 32.8.10) The same thing is true for schemes finite étale over $X_0 = \mathop{\mathrm{lim}}\nolimits (X_ i \times _{S_ i} S_{i, 0})$. Thus we formally deduce the result for $X / \mathop{\mathrm{Spec}}(A)$ from the result for the $(X_ i \times _{S_ i} \mathop{\mathrm{Spec}}(A_ i^ h)) / \mathop{\mathrm{Spec}}(A_ i^ h)$ which we dealt with above. $\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 0GS2. Beware of the difference between the letter 'O' and the digit '0'.