1
$\begingroup$

The Wikipedia article on coherent sheaves makes the following claim (without any reference), which I had trouble proving or finding a reference for: on an algebraic variety X (or I guess possibly even on a locally noetherian scheme), the coherent sheaves can be defined as the smallest class of sheaves of $\mathcal{O}_X$-modules with the following two properties:

i) the sheaf $\mathcal{O}_X$ is itself coherent;

ii) if, in a short exact sequence of sheaves, two of the sheaves are coherent, then so is the third.

I'm skeptical, but I would still like to know if this is true. If so, does anyone know a reference?

$\endgroup$
3
  • 1
    $\begingroup$ Wouldn't the first Chern class of every sheaf in that class be zero, since $c_1$ is additive over short exact sequences? $\endgroup$
    – MartinG
    May 20, 2010 at 14:25
  • $\begingroup$ It isn't silly, after all it was claimed at Wikipedia, and you were skeptical.. $\endgroup$
    – MartinG
    May 20, 2010 at 18:21
  • $\begingroup$ I think if you replace (ii) with the requirement that the kernel and cokernel of any morphism between coherent sheaves is coherent, then it works. $\endgroup$ Jun 19, 2011 at 2:34

1 Answer 1

7
$\begingroup$

This is false. Every sheaf in that class would have zero first Chern class, since $c_1$ is additive over short exact sequences.

$\endgroup$
1
  • 1
    $\begingroup$ Perhaps the original Wikipedia article meant to have "$\mathcal{O}_{Z}$ is coherent for every subvariety $Z\subseteq X$" in place of (i). Then the fact that the smallest class of sheaves satisfying (i) and (ii) is the category of coherent sheaves is an application of the usual dévissage-type argument. $\endgroup$
    – Mike Roth
    May 26, 2010 at 3:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.