Lemma 65.29.4. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. Let $x \in |X|$ be a point and let $\overline{x}$ be a geometric point lying over $x$. Finally, let $\varphi : (U, \overline{u}) \to (X, \overline{x})$ be an étale neighbourhood where $U$ is a scheme. Then

\[ (\varphi ^*\mathcal{F})_ u \otimes _{\mathcal{O}_{U, u}} \mathcal{O}_{X, \overline{x}} = \mathcal{F}_{\overline{x}} \]

where $u \in U$ is the image of $\overline{u}$.

**Proof.**
Note that $\mathcal{O}_{X, \overline{x}} = \mathcal{O}_{U, u}^{sh}$ by Lemma 65.22.1 hence the tensor product makes sense. Moreover, from Definition 65.19.6 it is clear that

\[ \mathcal{F}_{\overline{u}} = \mathop{\mathrm{colim}}\nolimits (\varphi ^*\mathcal{F})_ u \]

where the colimit is over $\varphi : (U, \overline{u}) \to (X, \overline{x})$ as in the lemma. Hence there is a canonical map from left to right in the statement of the lemma. We have a similar colimit description for $\mathcal{O}_{X, \overline{x}}$ and by Lemma 65.29.3 we have

\[ ((\varphi ')^*\mathcal{F})_{u'} = (\varphi ^*\mathcal{F})_ u \otimes _{\mathcal{O}_{U, u}} \mathcal{O}_{U', u'} \]

whenever $(U', \overline{u}') \to (U, \overline{u})$ is a morphism of étale neighbourhoods. To complete the proof we use that $\otimes $ commutes with colimits.
$\square$

## Comments (0)