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$

There are also:

• 2 comment(s) on Section 35.7: Descent of finiteness properties of modules

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