Skip to main content
1 of 2

I don't really know what you need, but here is my understanding:
There are two ways to define a sheaf of abelian groups:
I.as a local homeomorphic projection with some properties on fibers.
II.as a presheaf (with S1.gluing and S2.local-global uniqueness properties).

Sheafification is a functor from II to I, which can be viewed as a natural transformation of sheaf functors. If a presheaf satisfying S1 and S2, sheafification is an equivalence. Thus one may want to identify I and II as a definition of sheaf, but this is NOT the correct thing to do, and the obstruction of identifying them is exactly the cohomology of the subsheaf.

In details, on one hand, the group structures in I. is given fiberwisely and homomorphism of sheaves are continuous maps which are homomorphisms on the fibers; on the other, the group structures in II, is given more globally on open sets. So passing from I to II is exactly asking the lifting question from local to global.


When we define exact sequence stalkwisely, it may fails to be surjective when pass to global, for example, let X be $C^*$, the exact sequence $0 \rightarrow Z \rightarrow \mathcal{O} \rightarrow \mathcal{O^*} \rightarrow0 $ fails to be surjective since log is not defined on $C^*$. That means we have some global sections in the "quotient sheaf" which are not quotient of global sections, this is because some local data do gluing together in the local compatible sense, but after gluing fails to be a quotient of global sections. see Here for another example.
This suggests that it may fails if we want to define quotient sheaf in a brutal way as you suggested, because you may fails to have enough global data to realize a gluing. For a sheaf functor you really mean a presheaf functor, despite it commutes with colimit, you also need to check S1 & S2 for being a sheaf.

It is worth mention there are also important cases of presheaves which fails S1, so we have to do sheafification in order to give sheaf cohomology. That is the presheaf of cochains. In this case we lost the clarity of supports and restriction, and give rise to difficulty of considering cohomology of subsets and of pairs.