MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\varepsilon: 0\to A\to B \to C\to 0$ be an exact sequence of ${\cal O}_X$-modules with $X$ a quasi-compact space. $\varepsilon$ is called pure if the induced sequence $0\rightarrow Hom(F,A)\rightarrow Hom (F,B)\rightarrow Hom(F,C)\rightarrow 0$ (with $Hom$ a functor) is exact for each finitely presented ${\cal O}_X$-module $F$. Do we get the same exact sequence with Hom replace with shef hom?

I have also another question: Is there any relation between a finitely presented sheaf of ${\cal O}_X$-modules and finitely presented quasi-coherent sheaves? It seems that a finitely presented sheaf is quasi-coherent, so what is a finitely presented quasi-coherent sheaf?

share|cite|improve this question

If $F$ is finitely presented, then localization commutes with $Hom(F,-)$. Since a sequence is exact iff it is exact stalkwise, the result follows.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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