A Presheaf Image that is not a Sheaf Image
The Global Sections Functor is not Exact
Presheaf morphisms are the same as sheaf morphisms; they’re natural transformations: we get one sequence for each open set. So, it seems odd that exactness can hold globally, but not for each component. After all, an exact sequence is a bunch of objects and morphisms between them. Yet, taking sections of an exact sequence of sheaves does not, in general, yield exact sequences.
How? Because, an exact sequence is not just some objects and morphisms. An exact sequence is also the fact that the image of each morphism is the kernel of the next. The image and the kernel are objects that depend on an ambient abelian category.
Definition 1. Let be an abelian category and a morphism is Then, the kernel of is a map universal with respect to the property that
Definition 2. Let be an abelian category and a morphism is Then, the cokernel of is a map such that universally. The image of is
Let be a morphism of presheaves. The kernel of is a presheaf given by The image presheaf is defined the same way. Now, the presheaf kernel of a map of sheaves is always a sheaf. In particular, the presheaf kernel is isomorphic to the sheaf kernel. But, the presheaf image of a map of sheaves is in general not a sheaf! Images in the abelian category of sheaves are constructed by sheafifying the presheaf image.
Let Consider the exponential sequence of sheaves on
with maps given by and On each open set, it is an exact sequence of abelian groups. So, it is an exact sequence as a sequence of presheaves of abelian groups. Moreover, one checks that exp is surjective on the stalks. It is a fact that exactness of a sequence of sheaves can be checked at the level of stalks. Thus, this is an exact sequence of sheaves.
Taking global sections does not yield an exact sequence because there is no global logarithm. So, the exponential is not surjective at the level of global sections.
As suggested, this is because the presheaf image of the exponential is not a sheaf. Consider the sections Using the logarithm function, there are sections such that Since the sheaf axioms glue the exp to get a global section that restricts to on each But, the identity is not in the image of exp. So, im fails the gluing axiom.