Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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?

share|improve this question
    
You should find an example to settle your «(I think)» in the last paragraph! –  Mariano Suárez-Alvarez Feb 7 '11 at 6:44
add comment

1 Answer

up vote 8 down vote accepted

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

share|improve this answer
    
Thanks, this is perfectly clear. –  John Cromwell Feb 7 '11 at 6:57
add comment

Your Answer

 
discard

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.