Lemma 67.15.1. 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 $U$ be a scheme and let $\varphi : U \to X$ be an étale morphism. Then
where the left hand side is the support of $\varphi ^*\mathcal{F}$ as a quasi-coherent module on the scheme $U$.
Proof. Let $u\in U$ be a (usual) point and let $\overline{x}$ be a geometric point lying over $u$. By Properties of Spaces, Lemma 66.29.4 we have $(\varphi ^*\mathcal{F})_ u \otimes _{\mathcal{O}_{U, u}} \mathcal{O}_{X, \overline{x}} = \mathcal{F}_{\overline{x}}$. Since $\mathcal{O}_{U, u} \to \mathcal{O}_{X, \overline{x}}$ is the strict henselization by Properties of Spaces, Lemma 66.22.1 we see that it is faithfully flat (see More on Algebra, Lemma 15.45.1). Thus we see that $(\varphi ^*\mathcal{F})_ u = 0$ if and only if $\mathcal{F}_{\overline{x}} = 0$. This proves the lemma. $\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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)