Lemma 96.11.3. Let $S$ be a scheme. Let $X' \to X \to Z \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 $\text{Res}_{Z/B}(X') \to \text{Res}_{Z/B}(X)$ is representable by algebraic spaces and étale. If $X' \to X$ is also surjective, then $\text{Res}_{Z/B}(X') \to \text{Res}_{Z/B}(X)$ is surjective.

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

$h_ U \times _{\xi , \text{Res}_{Z/B}(X)} \text{Res}_{Z/B}(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$

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