Lemma 97.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

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

2. $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 97.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 97.9.1 which guarantees that $F \to U$ is surjective in the situation above. $\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).