MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Hi,

The first axiom for a Grothendieck (pre)topology on a category $C$ says that for every object $X\in C$, the family consisting of just the identity $1_X : X\to X$ should be a covering family.

Why is this axiom needed? Obviously a functor $F : C^{opp}\to Sets$ will satisfy the sheaf condition with respect to this family, so nothing seems to be gained by adding this covering family...

Am I missing something?

Thanks!

share|cite|improve this question
1  
You can make do with much less than a Grothendieck pretopology: all you need to have a good notion of sheaf (i.e. one that generates a topos) is a coverage. See here: ncatlab.org/nlab/show/coverage – Zhen Lin Apr 19 '13 at 14:49
4  
I'll just add that Grothendieck probably thought of this as analogous to saying a topology on a set $S$ always has $S$ itself as an open subset. – Colin McLarty Apr 21 '13 at 0:22

The only important axiom in order to define a notion of sheaf is the stability under pullback. There is a proposition in SGA4 saying that if you have a family of sieves only satisfying the pullback stability condition then a presheaf is a sheaf with respect to this family if and only if it is a sheaf with respect to the topology it generates. Hence to some extend the identity axiom is useless, as well is the locality axiom.

The reason why this two other axioms are important is that when you have all three axioms then you can prove that if two topologies defines the same notion of sheaf then they are equal: adding new covering will reduces the number of sheaf, and this is the case only if the three axioms are satisfied.

share|cite|improve this answer

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.