A reference for the case of an adic Noetherian base is [III, Proposition 5.5.1, EGA]

Lemma 37.53.9. Let $(A, I)$ be a henselian pair. Let $X \to \mathop{\mathrm{Spec}}(A)$ be separated and of finite type. Set $X_0 = X \times _{\mathop{\mathrm{Spec}}(A)} \mathop{\mathrm{Spec}}(A/I)$. Let $Y \subset X_0$ be an open and closed subscheme such that $Y \to \mathop{\mathrm{Spec}}(A/I)$ is proper. Then there exists an open and closed subscheme $W \subset X$ which is proper over $A$ with $W \times _{\mathop{\mathrm{Spec}}(A)} \mathop{\mathrm{Spec}}(A/I) = Y$.

Proof. We will denote $T \mapsto T_0$ the base change by $\mathop{\mathrm{Spec}}(A/I) \to \mathop{\mathrm{Spec}}(A)$. By Chow's lemma (in the form of Limits, Lemma 32.12.1) there exists a surjective proper morphism $\varphi : X' \to X$ such that $X'$ admits an immersion into $\mathbf{P}^ n_ A$. Set $Y' = \varphi ^{-1}(Y)$. This is an open and closed subscheme of $X'_0$. Suppose the lemma holds for $(X', Y')$. Let $W' \subset X'$ be the open and closed subscheme proper over $A$ such that $Y' = W'_0$. By Morphisms, Lemma 29.41.7 $W = \varphi (W') \subset X$ and $Q = \varphi (X' \setminus W') \subset X$ are closed subsets and by Morphisms, Lemma 29.41.9 $W$ is proper over $A$. The image of $W \cap Q$ in $\mathop{\mathrm{Spec}}(A)$ is closed. Since $(A, I)$ is henselian, if $W \cap Q$ is nonempty, then we find that $W \cap Q$ has a point lying over $\mathop{\mathrm{Spec}}(A/I)$. This is impossible as $W'_0 = Y' = \varphi ^{-1}(Y)$. We conclude that $W$ is an open and closed subscheme of $X$ proper over $A$ with $W_0 = Y$. Thus we reduce to the case described in the next paragraph.

Assume there exists an immersion $j : X \to \mathbf{P}^ n_ A$ over $A$. Let $\overline{X}$ be the scheme theoretic image of $j$. Since $j$ is a quasi-compact morphism (Schemes, Lemma 26.21.14) we see that $j : X \to \overline{X}$ is an open immersion (Morphisms, Lemma 29.7.7). Hence the base change $j_0 : X_0 \to \overline{X}_0$ is an open immersion as well. Thus $j_0(Y) \subset \overline{X}_0$ is open. It is also closed by Morphisms, Lemma 29.41.7. Suppose that the lemma holds for $(\overline{X}, j_0(Y))$. Let $\overline{W} \subset \overline{X}$ be the corresponding open and closed subscheme proper over $A$ such that $j_0(Y) = \overline{W}_0$. Then $T = \overline{W} \setminus j(X)$ is closed in $\overline{W}$, hence has closed image in $\mathop{\mathrm{Spec}}(A)$ by properness of $\overline{W}$ over $A$. Since $(A, I)$ is henselian, we find that if $T$ is nonempty, then there is a point of $T$ mapping into $\mathop{\mathrm{Spec}}(A/I)$. This is impossible because $j_0(Y) = \overline{W}_0$ is contained in $j(X)$. Hence $\overline{W}$ is contained in $j(X)$ and we can set $W \subset X$ equal to the unique open and closed subscheme mapping isomorphically to $\overline{W}$ via $j$. Thus we reduce to the case described in the next paragraph.

Assume $X \subset \mathbf{P}^ n_ A$ is a closed subscheme. Then $X \to \mathop{\mathrm{Spec}}(A)$ is a proper morphism. Let $Z = X_0 \setminus Y$. This is an open and closed subscheme of $X_0$ and $X_0 = Y \amalg Z$. Let $X \to X' \to \mathop{\mathrm{Spec}}(A)$ be the Stein factorization as in Theorem 37.53.5. Let $Y' \subset X'_0$ and $Z' \subset X'_0$ be the images of $Y$ and $Z$. Since the fibres of $X \to Z$ are geometrically connected, we see that $Y' \cap Z' = \emptyset$. Hence $X'_0 = Y' \amalg Z'$ as $X \to X'$ is surjective. Since $X' \to \mathop{\mathrm{Spec}}(A)$ is integral, we see that $X'$ is the spectrum of an $A$-algebra integral over $A$. Recall that open and closed subsets of spectra correspond $1$-to-$1$ with idempotents in the corresponding ring, see Algebra, Lemma 10.21.3. Hence by More on Algebra, Lemma 15.11.6 we see that we may write $X' = W' \amalg V'$ with $W'$ and $V'$ open and closed and with $Y' = W'_0$ and $Z' = V'_0$. Let $W$ be the inverse image in $X$ to finish the proof. $\square$

Comment #2742 by on

A reference for an adic Noehterian base is EGA III_1, Proposition 5.5.1.

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