Informally speaking, the collection of all functions on all open subsets of a space is termed as a sheaf. There are several ways of getting hold of them:
In terms of open sets.
In terms of stalks.
In terms of a base of a topology.
Germ of differentiable functions
The ring of functions on each open set of topological space is written as . If , then the following diagram commutes:
Two additional facts:
Let be a covering of , and . If , then . Thus, we can identify functions by looking at them on a covering of open sets.
Given all agreeing pairwise, we can glue them together to make one differentiable function on all of , .
Germ of a differentiable function at a point is defined as:
modulo the relation , if there is some open set , , such that (i.e. ). Intuitively, two functions that are the same in an open neighborhood of , but different elsewhere, have the same germ. We call this set of germs at the stalk at , denoted by . If is defined on and is defined on , then is defined on . If additionally, then we get the map . We're talking about germs as colimits. Moreover, is a local ring, since it has exactly one maximal ideal , the ideal of germs vanishing at . We can interpret the value of the function, or the value of the germ, at a point, as an element of the local ring modulo the maximal ideal: this doesn't work for all sheaves, but does work for things behaving like sheaves of functions, formalized later as a locally ringed space.
Definition of presheaf and sheaf
We will be considering sheafs on sets, and this can be done without loss in generality. The fact that is a presheaf or sheaf on topological space is written as:
A presheaf on topological space is the following data:
To each open set , we have a set . The elements of are called the sections of .
For each inclusion of open sets, we have the restriction map .
The data is required to satisfy identity and composition:
For the inclusion , the following diagram commutes:
A presheaf is the same thing as a contravariant functor.
The stalk of a presheaf is defined to be the set of germs of at point , denoted :
modulo the relation , where .
Another equivalent definition in terms of colimits is:
If , then is called the ring of germs of at point .
A sheaf is defined as a presheaf along with two additional axioms:
Identity axiom: Let be a covering of , and . If , then .
Gluability axiom: Given all agreeing pairwise, we can glue them together to make one differentiable function on all of , .
Here, the identity axiom asserts that there is atmost one way to glue, and the gluability axiom asserts that there is atleast one way to glue.
As an example, consider . Here, we use the fact that is the final object.
The two axioms for a sheaf can be interpreted as "exactnesss" of the equalizer exact sequence:
where identity is exactness over , and gluability is exactness over .
As an example, consider the restriction of sheaf on , for all open subsets .
As another example, consider the skyscraper sheaf. Suppose is a topological space, , and is a set. Let be the inclusion; then is defined by:
where is any one-point set. This is called the skyscraper sheaf, because the informal picture looks like a skyscraper at point .
Let be a topological space, and a set. Then, for all open sets , and is called the constant presheaf associated to .
Let be maps to that are locally constant; i.e. for any point , there is an open neighborhood of where the function is constant. This is called the constant sheaf associated to , and is denoted by .
Suppose is a continuous map, and is a presheaf on . Then define by , where is an open subset of . Then, is called the pushforward of by . The skyscraper sheaf can be interpreted as a pushforward of the constant sheaf on a one-point space , under the inclusion morphism .
Example: Suppose is a sheaf of rings on topological space ; i.e. a sheaf on with values in the category of rings. Then, is called a ringed space, and is called the structuce sheaf of the ringed space. Sections of on an open subset are called the functions on . The stalk of at point is represented as .
Just as we have modules over a ring, we have -modules over the sheaf of rings . The definition of -module is a sheaf of abelian groups of along with the following additional structure: for each , the sheaf is an -module, and given , the following diagram commutes:
Just as an -module generalizes the notion of an abelian group, since an abelian group is the same thing as a -module, an -module generalizes the notion of a sheaf of abelian groups, as the latter is the same thing as a -module.
Morphisms of presheaves and sheaves
A morphism of presheaves or sheaves, , is the data of maps , for all , behaving well with respect to the restriction: if , then the following diagram commutes:
An example of a morphism of sheaves is that from differentiable functions on to continuous functions; this is a forgetful map, forgetting that functions are differentiable, and only remembering that they are continuous.
If we interpret a presheaf on as a functor from the category of open sets, then a morphism of presheaves on is a natural transform.
Suppose are two sheaves in topological space ; then we define as:
This is a sheaf, called sheaf , of sets on . The functor is contravariant in its first argument and covariant in its second argument. , however, does not commute with taking stalks; i.e. is not isomorphic to .
We can make module-like constructions using presheaves of abelian groups on a topological space . We can clearly add maps of presheaves to get another map of presheaves. Indeed, . We say that presheaves of abelian groups form an additive category.
If is a morphism of presheaves, then the kernel of this map is defined by . satisfies the universal property for kernels. The cokernel is defined similarly. It can readily be verified that presheaves of abelian groups form an abelian category.
Sheaves of abelian groups also form an abelian category, albeit with an additional complication of sheafification. forms an additive category, just as with presheaves, and the definition of kernel of a sheaf gives us no problems; in fact . The issue arises in cokernels.
Lots of properties of sheaves can be checked at the level of stalks. This isn't true of presheaves, and reflects the local nature of sheaves.
Suppose is a sheaf of abelian groups of , and is a global section of . Let the support of be the points where has a nonzero germ:
We can think of this as the subset of "where section lives". The complement is the locus where is the -section.
We say that an element of consists of compatible germs, for all , if there is some representative
for (where ), such that the germ is for all . Equivalently, there an open cover of and sections , such that if , then is the germ of at . Hence, any section of over gives a choice of compatible germs for .
Just as groupification gives an abelian group that best approximates to an abelian semigroup, sheafification gives a sheaf that best approximates to a presheaf, with an analogus universal property. If is a presheaf, then on is the sheafification of . If is a sheaf, then for any sheaf , and the presheaf morphism , there exists a unique morphism of sheaves making the following diagram commute:
Next, we want to show that any presheaf has a sheafification. Indeed, define to be the set of compatible germs of the presheaf over . More precisely, such that for all , there exists an open neighborhood of contained in , and with for all . Here, means the germ of at ; i.e. the image of in the stalk .
Let be a morphism of sheaves on topological space . Then is called the quotient sheaf of if is an epimorphism in the category of sheaves, or equivalently if is surjective on the level of stalks: is surjective for all . Monomorphism and epimorphism - sheafiness and quotient sheafiness - may be checked at the level of stalks.
As an example, consider the exponential exact sequence. Let in classical topology, be the sheaf of holomorphic functions, and be the sheaf of invertible holomorphic functions. This is a sheaf of abelian groups under multiplication. We have the map:
where is the constant sheaf associated to .
Sheaves on a base
We have discussed how to get a hold of sheaves using stalks (invoking compatible germs), and we describe the second way now. Suppose we have the sheaf on topological space, and a base of open sets on . Then, consider the following information:
We can recover the sheaf from this information, because we can recover stalks when germs are compatible.
A sheaf on is the following information. For each base in , we have the set . If , then we have with . Further, if , then . This is the definition of presheaf on a base. For the definition of sheaf on a base, we need two additional axioms:
The base identity axiom. If , then if such that for all , then .
The base gluability axiom. If , and we have such that agress with on any basic open set , then there exists such that for all .
Suppose is a base on , and is a sheaf of sets on this base, then there exists sheaf extending , with isomorphisms agreeing with restriction maps. This sheaf is unique upto isomorphism. To prove this, let be the sheaf of compatible germs of . Define stalk of a presheaf on a base by where colimit is over all in the base containing . A family of germs in open set is compatible near if there is a section over some containing such that the germs over are the germs of ; more precisely,
such that for all there exists with , , with for all , where is in our base. This a sheaf for the same reason a sheaf of compatible germs was. Now, we claim that is an isomorphism, and that is unique upto isomorphism, completing our proof.
Sheaves are abelian categories
We will see that sheaves of abelian groups and -modules are abelian categories. The properties of kernels, cokernels, exactness and so forth can be understood at the level of stalks (which are just abelian groups), and compatibility of germs will come for free.
We have shown that the category of sheaves is an additive category. To show that it is an abelian category, we must show that has a kernel and cokernel. We have already shown that it has a kernel: the presheaf kernel is a sheaf, and is a kernel in the category of sheaves. Further, has a cokernel in the category of presheaves: call it , and let be its sheafification. Then the cokernel is the colimit of the diagram:
Now, the morphism is a cokernel of in the category of sheaves. To prove this, consider the following diagram, where is any sheaf:
We want to show that there is a unique morphism . Since is a cokernel in the category of presheaves, there exists a unique morphism of presheaves . By universality of sheafification, there is a unique morphism making the diagram commute. Hence, we have shown that the sheaves of abelian groups over topological space form an abelian category. Everything we've discussed carries over to sheaves of -modules identically, because a sequence of -modules is exact iff the underlying sequence of abelian groups is exact.
Inverse image sheaf
Given continuous map , we get . Define as left-adjoint to . We then get canonical maps from associated to the identity morphism and associated to the identity morphism :