Lemma 96.10.3. Let $S$ be a scheme. Let $Z \to B$ and $X' \to X \to B$ be morphisms of algebraic spaces over $S$. Assume

$X' \to X$ is étale, and

$Z \to B$ is finite locally free.

Then $\mathit{Mor}_ B(Z, X') \to \mathit{Mor}_ B(Z, X)$ is representable by algebraic spaces and étale. If $X' \to X$ is also surjective, then $\mathit{Mor}_ B(Z, X') \to \mathit{Mor}_ B(Z, X)$ is surjective.

**Proof.**
Let $U$ be a scheme and let $\xi = (a, b)$ be an element of $\mathit{Mor}_ B(Z, X)(U)$. We have to prove that the functor

\[ h_ U \times _{\xi , \mathit{Mor}_ B(Z, X)} \mathit{Mor}_ B(Z, X') \]

is representable by an algebraic space étale over $U$. Set $Z_ U = U \times _{a, B} Z$ and $W = Z_ U \times _{b, X} X'$. Then $W \to Z_ U \to U$ is as in Lemma 96.9.2 and the sheaf $F$ defined there is identified with the fibre product displayed above. Hence the first assertion of the lemma. The second assertion follows from this and Lemma 96.9.1 which guarantees that $F \to U$ is surjective in the situation above.
$\square$

## Comments (0)