The Stacks project

Lemma 69.12.3. Let $S$ be a scheme. Let $X$ be a locally Noetherian algebraic space over $S$. The category of coherent $\mathcal{O}_ X$-modules is abelian. More precisely, the kernel and cokernel of a map of coherent $\mathcal{O}_ X$-modules are coherent. Any extension of coherent sheaves is coherent.

Proof. Choose a scheme $U$ and a surjective étale morphism $f : U \to X$. Pullback $f^*$ is an exact functor as it equals a restriction functor, see Properties of Spaces, Equation ( By Lemma 69.12.2 we can check whether an $\mathcal{O}_ X$-module $\mathcal{F}$ is coherent by checking whether $f^*\mathcal{F}$ is coherent. Hence the lemma follows from the case of schemes which is Cohomology of Schemes, Lemma 30.9.2. $\square$

Comments (2)

Comment #7867 by Anonymous on

It seems to me that the proof implicitly uses some comparison results between modules on small Zariski and small étale sites. I wonder if adding some links to these results might be good (e.g. Lemma 35.8.10 and Lemma 35.10.2 or Lemma 35.10.3).

Comment #8083 by on

Dear Anonymous, this is a rare instance where I slightly disagree with you. I think that this lemma and its proof never refers to modules in the Zariski topology. However, in translating to the case of schemes (at the very end), one just needs to know that the categories of (quasi-)coherent modules on a locally Noetherian scheme are the same as the corresponding categories of (quasi-)coherent modules on viewed as an algebraic space to be able to conclude. This was discussed for quasi-coherent modules much earlier, but was somehow missing in this section. So I've added that in this commit and I hope that this will help the future readers.

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 07UC. Beware of the difference between the letter 'O' and the digit '0'.