Lemma 68.12.2. Let $S$ be a scheme. Let $X$ be a locally Noetherian algebraic space over $S$. Let $\mathcal{F}$ be an $\mathcal{O}_ X$-module. The following are equivalent

1. $\mathcal{F}$ is coherent,

2. $\mathcal{F}$ is a quasi-coherent, finite type $\mathcal{O}_ X$-module,

3. $\mathcal{F}$ is a finitely presented $\mathcal{O}_ X$-module,

4. for any étale morphism $\varphi : U \to X$ where $U$ is a scheme the pullback $\varphi ^*\mathcal{F}$ is a coherent module on $U$, and

5. there exists a surjective étale morphism $\varphi : U \to X$ where $U$ is a scheme such that the pullback $\varphi ^*\mathcal{F}$ is a coherent module on $U$.

In particular $\mathcal{O}_ X$ is coherent, any invertible $\mathcal{O}_ X$-module is coherent, and more generally any finite locally free $\mathcal{O}_ X$-module is coherent.

Proof. To be sure, if $X$ is a locally Noetherian algebraic space and $U \to X$ is an étale morphism, then $U$ is locally Noetherian, see Properties of Spaces, Section 65.7. The lemma then follows from the points (1) – (5) made in Properties of Spaces, Section 65.30 and the corresponding result for coherent modules on locally Noetherian schemes, see Cohomology of Schemes, Lemma 30.9.1. $\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).