Lemma 88.21.13. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of formal algebraic spaces. Assume that $X$ and $Y$ are locally Noetherian and $f$ is a closed immersion. The following are equivalent

$f$ is rig-smooth and rig-surjective,

$f$ is rig-étale and rig-surjective, and

for every affine formal algebraic space $V$ and every morphism $V \to Y$ which is representable by algebraic spaces and étale the morphism $X \times _ Y V \to V$ corresponds to a surjective morphism $B \to A$ in $\textit{WAdm}^{Noeth}$ whose kernel $J$ has the following property: $IJ = 0$ for some ideal of definition $I$ of $B$.

## Comments (0)