Lemma 65.16.3. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. The following are equivalent:

$f$ is étale,

there exists a surjective étale morphism $\varphi : U \to X$, where $U$ is a scheme, such that the composition $f \circ \varphi $ is étale (as a morphism of algebraic spaces),

there exists a surjective étale morphism $\psi : V \to Y$, where $V$ is a scheme, such that the base change $V \times _ X Y \to V$ is étale (as a morphism of algebraic spaces),

there exists a commutative diagram

\[ \xymatrix{ U \ar[d] \ar[r] & V \ar[d] \\ X \ar[r] & Y } \]where $U$, $V$ are schemes, the vertical arrows are étale, and the left vertical arrow is surjective such that the horizontal arrow is étale.

## Comments (2)

Comment #2316 by Nithi Rungtanapirom on

Comment #2392 by Johan on