Lemma 31.9.5. Let $S$ be a scheme. Let $\mathcal{F}$ be a finite type, quasi-coherent $\mathcal{O}_ S$-module. Let $r \geq 0$. The following are equivalent

$\mathcal{F}$ is finite locally free of rank $r$

$\text{Fit}_{r - 1}(\mathcal{F}) = 0$ and $\text{Fit}_ r(\mathcal{F}) = \mathcal{O}_ S$, and

$\text{Fit}_ k(\mathcal{F}) = 0$ for $k < r$ and $\text{Fit}_ k(\mathcal{F}) = \mathcal{O}_ S$ for $k \geq r$.

## Comments (0)