The Stacks project

Proof. We omit the proof of the equivalence of (1) and (2). We omit the proof that (3) implies (1). Given $\mathcal{F}_ n$ as in (1) to prove (3) we set $\mathcal{G} = \mathop{\mathrm{colim}}\nolimits \mathcal{F}_ n$ where the maps $\mathcal{F}_1 \to \mathcal{F}_2 \to \mathcal{F}_3 \to \ldots$ are as in (1). The map $f : \mathcal{G} \to \mathcal{G}$ is surjective as the image of $\mathcal{F}_{n + 1} \subset \mathcal{G}$ is $\mathcal{F}_ n \subset \mathcal{G}$ by the short exact sequence (1). Thus $\mathcal{G}$ is an $f$-divisible $\mathcal{O}_ X$-module with $\mathcal{F}_ n = \mathcal{G}[f^ n]$.

Assume given $\mathcal{F}$ as in (4). The map $\mathcal{F}/f^{n + 1}\mathcal{F} \to \mathcal{F}/f^ n\mathcal{F}$ is always surjective with kernel the image of the map $\mathcal{F}/f\mathcal{F} \to \mathcal{F}/f^{n + 1}\mathcal{F}$ induced by multiplication with $f^ n$. To verify (2) it suffices to see that the kernel of $f^ n : \mathcal{F} \to \mathcal{F}/f^{n + 1}\mathcal{F}$ is $f\mathcal{F}$. To see this it suffices to show that given sections $s, t$ of $\mathcal{F}$ over an open $U \subset X$ with $f^ ns = f^{n + 1}t$ we have $s = ft$. This is clear because $f : \mathcal{F} \to \mathcal{F}$ is injective as $\mathcal{F}$ is $f$-torsion free. $\square$