Welcome to MathOverflow

Question

0

1

Is there an example that the category of sheaves of abelian groups on a site is not an abelian category?

edited Feb 12 2010 at 6:34

asked Feb 12 2010 at 6:05

Taisong Jing
731●3●10

3

Sheaves of what? – Qiaochu Yuan Feb 12 2010 at 6:15

Abelian groups, sorry for the unclearness – Taisong Jing Feb 12 2010 at 6:35

3

The Wikipedia article on abelian categories says that all such categories are abelian. – Qiaochu Yuan Feb 12 2010 at 6:39

I see, thanks a lot! – Taisong Jing Feb 12 2010 at 6:50

David Roberts · Answer 1 · 2011-02-17 22:33:59Z UTC

1

The category of sheaves of abelian groups on a site is always abelian. See Theorem 2.1.4 on page 20 of

Michael Artin - Grothendieck Topologies (1962)

which is available online: http://www.math.ubc.ca/~gor/Artin-GT.pdf

Once you construct the sheafification functor in the context of an arbitrary site most of the basic results in the classical theory of sheaves can be carried over to the context of sites without (much) modification.

edited Feb 17 2011 at 22:33

David Roberts

answered Feb 17 2011 at 21:14

Beren Sanders
1,375●12●19

2

I would argue that this suggestion has the wrong flavor to it. First, it is not true in general that there exists a sheafification functor for sheaves taking values in an arbitrary category. This is known to fail in almost every case. It is known, however, that there is always a sheafification for sheaves of sets. Then, instead of saying that we have a sheaf of abelian groups, we really have an abelian group in the category of sheaves of sets. We can see that the category of abelian groups in a Grothendieck topos is necessarily abelian with just a little bit more effort. – Harry Gindi Feb 17 2011 at 21:38

But sheafification always exists for sheaves taking values in the category of abelian groups. It seems odd to me to disregard sheafification simply because it doesn't work for arbitrarily-valued sheaves. All of the intuition from the classical theory of abelian sheaves carries over to the context of sites by thinking in this way. Other than sheaves of sets, how often do we come across sheaves with values is a non-abelian category? – Beren Sanders Feb 17 2011 at 22:14

4

@Beren: You'd be surprised what computer-scientists and logicians do with sheaves. – Andrej Bauer Feb 17 2011 at 22:18

Although it is nice that we can think about sheaves of abelian groups as abelian group objects in the category of sheaves of sets (the Grothendieck topos Harry refers to), personally this isn't the most transparent way for me to understand why the category of abelian sheaves on a site in abelian. – Beren Sanders Feb 17 2011 at 22:20

2

I edited, because it is simply not true that sheaves on an arbitrary site form an abelian category. Only sheaves of abelian groups. You may argue this is common usage in algebraic geometry, but not in category theory, and someone stumbling across this answer may get in a muddle. As to sheaves valued in other categories, what about sheaves of groupoids? Sheaves of crossed modules? Sheaves of arbitrary groups? e.g. arxiv.org/abs/0909.3350 – David Roberts Feb 17 2011 at 22:36

show 3 more comments

The category of sheaves on a site that is not abelian

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.