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$

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).