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

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

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$

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)