Lemma 18.23.3. Let $(\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O})$ be a ringed topos. Let $\mathcal{F}$ be an $\mathcal{O}$-module. Assume that the site $\mathcal{C}$ has a final object $X$. Then

The following are equivalent

$\mathcal{F}$ is locally free,

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is a locally free $\mathcal{O}_{X_ i}$-module, and

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is a free $\mathcal{O}_{X_ i}$-module.

The following are equivalent

$\mathcal{F}$ is finite locally free,

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is a finite locally free $\mathcal{O}_{X_ i}$-module, and

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is a finite free $\mathcal{O}_{X_ i}$-module.

The following are equivalent

$\mathcal{F}$ is locally generated by sections,

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is an $\mathcal{O}_{X_ i}$-module locally generated by sections, and

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is an $\mathcal{O}_{X_ i}$-module globally generated by sections.

Given $r \geq 0$, the following are equivalent

$\mathcal{F}$ is locally generated by $r$ sections,

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is an $\mathcal{O}_{X_ i}$-module locally generated by $r$ sections, and

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is an $\mathcal{O}_{X_ i}$-module globally generated by $r$ sections.

The following are equivalent

$\mathcal{F}$ is of finite type,

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is an $\mathcal{O}_{X_ i}$-module of finite type, and

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is an $\mathcal{O}_{X_ i}$-module globally generated by finitely many sections.

The following are equivalent

$\mathcal{F}$ is quasi-coherent,

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is a quasi-coherent $\mathcal{O}_{X_ i}$-module, and

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is an $\mathcal{O}_{X_ i}$-module which has a global presentation.

The following are equivalent

$\mathcal{F}$ is of finite presentation,

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is an $\mathcal{O}_{X_ i}$-module of finite presentation, and

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is an $\mathcal{O}_{X_ i}$-module has a finite global presentation.

The following are equivalent

$\mathcal{F}$ is coherent, and

there exists a covering $\{ X_ i \to X\} $ in $\mathcal{C}$ such that each restriction $\mathcal{F}|_{\mathcal{C}/X_ i}$ is a coherent $\mathcal{O}_{X_ i}$-module.

## Comments (0)