**Proof.**
Condition (2) of Definition 17.12.1 holds for any subsheaf of a coherent sheaf. Thus we get (1).

Assume the hypotheses of (2). Let us show that $\mathop{\mathrm{Ker}}(\varphi )$ is of finite type. Pick $x \in X$. Choose an open neighbourhood $U$ of $x$ in $X$ such that $\mathcal{F}|_ U$ is generated by $s_1, \ldots , s_ n$. By Definition 17.12.1 the kernel $\mathcal{K}$ of the induced map $\bigoplus _{i = 1}^ n \mathcal{O}_ U \to \mathcal{G}$, $e_ i \mapsto \varphi (s_ i)$ is of finite type. Hence $\mathop{\mathrm{Ker}}(\varphi )$ which is the image of the composition $\mathcal{K} \to \bigoplus _{i = 1}^ n \mathcal{O}_ U \to \mathcal{F}$ is of finite type.

Assume the hypotheses of (3). By (2) the kernel of $\varphi $ is of finite type and hence by (1) it is coherent.

With the same hypotheses let us show that $\mathop{\mathrm{Coker}}(\varphi )$ is coherent. Since $\mathcal{G}$ is of finite type so is $\mathop{\mathrm{Coker}}(\varphi )$. Let $U \subset X$ be open and let $\overline{s}_ i \in \mathop{\mathrm{Coker}}(\varphi )(U)$, $i = 1, \ldots , n$ be sections. We have to show that the kernel of the associated morphism $\overline{\Psi } : \bigoplus _{i = 1}^ n \mathcal{O}_ U \to \mathop{\mathrm{Coker}}(\varphi )$ has finite type. There exists an open covering of $U$ such that on each open all the sections $\overline{s}_ i$ lift to sections $s_ i$ of $\mathcal{G}$. Hence we may assume this is the case over $U$. We may in addition assume there are sections $t_ j$, $j = 1, \ldots , m$ of $\mathop{\mathrm{Im}}(\varphi )$ over $U$ which generate $\mathop{\mathrm{Im}}(\varphi )$ over $U$. Let $\Phi : \bigoplus _{j = 1}^ m \mathcal{O}_ U \to \mathop{\mathrm{Im}}(\varphi )$ be defined using $t_ j$ and $\Psi : \bigoplus _{j = 1}^ m \mathcal{O}_ U \oplus \bigoplus _{i = 1}^ n \mathcal{O}_ U \to \mathcal{G}$ using $t_ j$ and $s_ i$. Consider the following commutative diagram

\[ \xymatrix{ 0 \ar[r] & \bigoplus _{j = 1}^ m \mathcal{O}_ U \ar[d]_\Phi \ar[r] & \bigoplus _{j = 1}^ m \mathcal{O}_ U \oplus \bigoplus _{i = 1}^ n \mathcal{O}_ U \ar[d]_\Psi \ar[r] & \bigoplus _{i = 1}^ n \mathcal{O}_ U \ar[d]_{\overline{\Psi }} \ar[r] & 0 \\ 0 \ar[r] & \mathop{\mathrm{Im}}(\varphi ) \ar[r] & \mathcal{G} \ar[r] & \mathop{\mathrm{Coker}}(\varphi ) \ar[r] & 0 } \]

By the snake lemma we get an exact sequence $\mathop{\mathrm{Ker}}(\Psi ) \to \mathop{\mathrm{Ker}}(\overline{\Psi }) \to 0$. Since $\mathop{\mathrm{Ker}}(\Psi )$ is a finite type module, we see that $\mathop{\mathrm{Ker}}(\overline{\Psi })$ has finite type.

Proof of part (4). Let $0 \to \mathcal{F}_1 \to \mathcal{F}_2 \to \mathcal{F}_3 \to 0$ be a short exact sequence of $\mathcal{O}_ X$-modules. By part (3) it suffices to prove that if $\mathcal{F}_1$ and $\mathcal{F}_3$ are coherent so is $\mathcal{F}_2$. By Lemma 17.9.3 we see that $\mathcal{F}_2$ has finite type. Let $s_1, \ldots , s_ n$ be finitely many local sections of $\mathcal{F}_2$ defined over a common open $U$ of $X$. We have to show that the module of relations $\mathcal{K}$ between them is of finite type. Consider the following commutative diagram

\[ \xymatrix{ 0 \ar[r] & 0 \ar[r] \ar[d] & \bigoplus _{i = 1}^{n} \mathcal{O}_ U \ar[r] \ar[d] & \bigoplus _{i = 1}^{n} \mathcal{O}_ U \ar[r] \ar[d] & 0 \\ 0 \ar[r] & \mathcal{F}_1 \ar[r] & \mathcal{F}_2 \ar[r] & \mathcal{F}_3 \ar[r] & 0 } \]

with obvious notation. By the snake lemma we get a short exact sequence $0 \to \mathcal{K} \to \mathcal{K}_3 \to \mathcal{F}_1$ where $\mathcal{K}_3$ is the module of relations among the images of the sections $s_ i$ in $\mathcal{F}_3$. Since $\mathcal{F}_1$ is coherent we see that $\mathcal{K}$ is the kernel of a map from a finite type module to a coherent module and hence finite type by (2).

Proof of (5). This follows because (3) and (4) show that Homology, Lemma 12.10.3 applies.
$\square$

## Comments (8)

Comment #975 by JuanPablo on

Comment #976 by JuanPablo on

Comment #977 by JuanPablo on

Comment #1008 by Johan on

Comment #2366 by Katharina on

Comment #2429 by Johan on

Comment #3045 by Dongryul Kim on

Comment #3150 by Johan on

There are also: