4
$\begingroup$

Let's say $X$ is a topological space and let's consider the categories of sheaves and presheaves of abelian groups on $X$. Suppose we have a presheaf that is a direct summand (in the category of presheaves) of a sheaf. Can we conclude that the presheaf is also a sheaf? What if we assume further that the complementary direct summand is a sheaf too--does that help us?

I know that in general colimits in the category of sheaves differs than those in the category of presheaves, and in general the quotient of two sheaves (in the category of presheaves) need not be a sheaf (I think). But maybe the fact that things are split helps us?

What about in the general context of sheaves and presheaves on a site?

$\endgroup$
  • $\begingroup$ You should find an example to settle your «(I think)» in the last paragraph! $\endgroup$ – Mariano Suárez-Álvarez Feb 7 '11 at 6:44
8
$\begingroup$

If the presheaf $\mathcal G$ is a summand of the sheaf $\mathcal F$ seen as a presheaf, then there is a morphism of presheaves $\mathcal F\to\mathcal F$ which has $\mathcal G$ as its kernel. Now a map of presheaves between sheaves is a map of sheaves, and the kernel of a map of sheaves is a sheaf.

(Introducing the word site into the picture does not change anything, as far as I can see...)

$\endgroup$
  • $\begingroup$ Thanks, this is perfectly clear. $\endgroup$ – John Cromwell Feb 7 '11 at 6:57

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.