Lemma 18.42.5. Let $\mathcal{C}$ be a site. Let $\Lambda$ be a ring and let $M$ be a $\Lambda$-module. Assume $\mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ is not the empty topos. Then

1. $\underline{M}$ is a finite type sheaf of $\underline{\Lambda }$-modules if and only if $M$ is a finite $\Lambda$-module, and

2. $\underline{M}$ is a finitely presented sheaf of $\underline{\Lambda }$-modules if and only if $M$ is a finitely presented $\Lambda$-module.

Proof. Proof of (1). If $M$ is generated by $x_1, \ldots , x_ r$ then $x_1, \ldots , x_ r$ define global sections of $\underline{M}$ which generate it, hence $\underline{M}$ is of finite type. Conversely, assume $\underline{M}$ is of finite type. Let $U \in \mathcal{C}$ be an object which is not sheaf theoretically empty (Sites, Definition 7.42.1). Such an object exists as we assumed $\mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ is not the empty topos. Then there exists a covering $\{ U_ i \to U\}$ and finitely many sections $s_{ij} \in \underline{M}(U_ i)$ generating $\underline{M}|_{U_ i}$. After refining the covering we may assume that $s_{ij}$ come from elements $x_{ij}$ of $M$. Then $x_{ij}$ define global sections of $\underline{M}$ whose restriction to $U$ generate $\underline{M}$.

Assume there exist elements $x_1, \ldots , x_ r$ of $M$ which define global sections of $\underline{M}$ generating $\underline{M}$ as a sheaf of $\underline{\Lambda }$-modules. We will show that $x_1, \ldots , x_ r$ generate $M$ as a $\Lambda$-module. Let $x \in M$. We can find a covering $\{ U_ i \to U\} _{i \in I}$ and $f_{i, j} \in \underline{\Lambda }(U_ i)$ such that $x|_{U_ i} = \sum f_{i, j} x_ j|_{U_ i}$. After refining the covering we may assume $f_{i, j} \in \Lambda$. Since $U$ is not sheaf theoretically empty, there is at least one $i \in I$ such that $U_ i$ is not sheaf theoretically empty. Then the map $M \to \underline{M}(U_ i)$ is injective (details omitted). We conclude that $x = \sum f_{i, j}x_ j$ in $M$ as desired.

Proof of (2). Assume $\underline{M}$ is a $\underline{\Lambda }$-module of finite presentation. By (1) we see that $M$ is of finite type. Choose generators $x_1, \ldots , x_ r$ of $M$ as a $\Lambda$-module. This determines a short exact sequence $0 \to K \to \Lambda ^{\oplus r} \to M \to 0$ which turns into a short exact sequence

$0 \to \underline{K} \to \underline{\Lambda }^{\oplus r} \to \underline{M} \to 0$

by Lemma 18.42.1. By Lemma 18.24.1 we see that $\underline{K}$ is of finite type. Hence $K$ is a finite $\Lambda$-module by (1). Thus $M$ is a $\Lambda$-module of finite presentation. $\square$

Comment #6337 by Owen on

it is a minor quibble, but I think we should ensure that we pick an $i\in I$ so that $U_i$ is also not sheaf-theoretically empty, since otherwise the equality $x|_{U_i}=\sum f_{ij}x_j|_{U_i}$ would imply nothing about equality in $M$. If $U_i$ is not sheaf-theoretically empty, M embeds in $\underline M(U_i)$ and we have the desired conclusion. (for this last claim, let M' be the presheaf that has M as sections over every U in C that is not sheaf-theoretically empty and {0} as sections over every U that is; then M' is separated.)

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