1
$\begingroup$

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?

Improve this question
$\endgroup$

1 Answer 1

Reset to default
3
$\begingroup$

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

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .