Lemma 68.6.1. Let $S$ be a scheme. Let $f_ i : U_ i \to X$ be étale morphisms of algebraic spaces over $S$. Then there are isomorphisms

$f_{1, !}\underline{\mathbf{Z}} \otimes _{\mathbf{Z}} f_{2, !}\underline{\mathbf{Z}} \longrightarrow f_{12, !}\underline{\mathbf{Z}}$

where $f_{12} : U_1 \times _ X U_2 \to X$ is the structure morphism and

$(f_1 \amalg f_2)_! \underline{\mathbf{Z}} \longrightarrow f_{1, !}\underline{\mathbf{Z}} \oplus f_{2, !}\underline{\mathbf{Z}}$

Proof. Once we have defined the map it will be an isomorphism by our description of stalks above. To define the map it suffices to work on the level of presheaves. Thus we have to define a map

$\left(\bigoplus \nolimits _{\varphi _1 \in \mathop{\mathrm{Mor}}\nolimits _ X(V, U_1)} \mathbf{Z}\right) \otimes _{\mathbf{Z}} \left(\bigoplus \nolimits _{\varphi _2 \in \mathop{\mathrm{Mor}}\nolimits _ X(V, U_2)} \mathbf{Z}\right) \longrightarrow \bigoplus \nolimits _{\varphi \in \mathop{\mathrm{Mor}}\nolimits _ X(V, U_1 \times _ X U_2)} \mathbf{Z}$

We map the element $1_{\varphi _1} \otimes 1_{\varphi _2}$ to the element $1_{\varphi _1 \times \varphi _2}$ with obvious notation. We omit the proof of the second equality. $\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).