Lemma 58.20.4. Let $(A, \mathfrak m)$ be a Noetherian local ring. Set $X = \mathop{\mathrm{Spec}}(A)$ and let $U = X \setminus \{ \mathfrak m\}$. Let $V$ be finite étale over $U$. Let $A^\wedge$ be the $\mathfrak m$-adic completion of $A$, let $X' = \mathop{\mathrm{Spec}}(A^\wedge )$ and let $U'$ and $V'$ be the base changes of $U$ and $V$ to $X'$. The following are equivalent

1. $V = Y \times _ X U$ for some $Y \to X$ finite étale, and

2. $V' = Y' \times _{X'} U'$ for some $Y' \to X'$ finite étale.

Proof. The implication (1) $\Rightarrow$ (2) follows from taking the base change of a solution $Y \to X$. Let $Y' \to X'$ be as in (2). By Lemma 58.19.3 we can find $Y \to X$ finite such that $V = Y \times _ X U$ and $Y' = Y \times _ X X'$. By descent we see that $Y \to X$ is finite étale (Algebra, Lemmas 10.83.2 and 10.143.3). This finishes the proof. $\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).