Lemma 35.7.6. Let $X$ be a scheme. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. Let $\{ f_ i : X_ i \to X\} _{i \in I}$ be an fpqc covering such that each $f_ i^*\mathcal{F}$ is a finite locally free $\mathcal{O}_{X_ i}$-module. Then $\mathcal{F}$ is a finite locally free $\mathcal{O}_ X$-module.
Proof. This follows from the fact that a quasi-coherent sheaf is finite locally free if and only if it is of finite presentation and flat, see Algebra, Lemma 10.78.2. Namely, if each $f_ i^*\mathcal{F}$ is flat and of finite presentation, then so is $\mathcal{F}$ by Lemmas 35.7.5 and 35.7.3. $\square$
Comments (0)
There are also: