One of the themes that pervade mathematics is the study of sets and functions between sets. In previous posts we have seen some interesting things that we can do with sets; for instance we can put an “arrangement” or “organization” on them using the concept of a topology (see Basics of Topology and Continuous Functions), or we can define a law of composition on them (see Groups), so that we can say that they are closed under some kind of operation (see also Rings, Fields, and Ideals, More on Ideals, and Vector Spaces, Modules, and Linear Algebra).
We will now construct yet another interesting thing from sets. We will need two kinds; the first is a set equipped with a topology, or topological space; the other is either just an ordinary set, or equipped with a law of composition, either groups, or rings, or modules. Note that functions between sets also themselves form sets; we now use this to construct a motivating example for the concepts that we are about to introduce.
Consider the set of all complex numbers (also called the complex plane) equipped with the topology where we declare the closed sets to be the finite sets of complex numbers (which can be imagined as a finite number of points in the complex plane). The open sets are therefore the complements of these closed sets. This is a special case of what is called the Zariski topology.
Consider also the functions from the complex numbers to the complex numbers which are of the form where and are polynomials (the functions we refer to in the rest of this post will be of this form). Examples of these functions are , , , and so on. Consider now the function
It is not actually a function from the complex numbers to the complex numbers. Why? Because it does not send the complex number anywhere, and a function must send every element of its domain to some element in its range. But we can say that it is a function from the set of complex numbers except for the complex number , written or , to the complex numbers. This set is of course a subset, and actually an open subset, of the set of all complex numbers .
For ease of notation, we keep the range of our functions fixed (in this case it is the complex numbers) and speak informally of functions “on”, or sometimes “living on” their respective domains.
Although is “smaller” than , there are actually more functions on than on . Aside from , we also have , , and all other functions whose denominator otherwise would have been on the complex number and nowhere else on the complex plane . If we take an even “smaller” open subset of , such as , we will obtain even more functions on this open subset, such as and .
At the same time, for every function on there is also a corresponding function on the open subset which assigns to every element of the same element that the function on assigns to every element of . Technically is a different function from because it has a different domain. It is called the restriction of to . For every function on there are also corresponding restrictions to .
In order to formalize this, we note that if is a subset of , usually written , then we have a function called an inclusion function, or inclusion, from to , which sends every element of to the same element in . If we write the set of functions on as , and the set of functions on as , we obtain a map from to that assigns to every function on its restriction to . This mapping from to is called a restriction function, or restriction map.
We can summarize and generalize our discussion above as the condition that whenever we have an inclusion from to , then we also have a restriction map from to . We now obtain the “classical” notion of a presheaf. For the more rigorous definition, we quote from the book Algebraic Geometry by Robin Hartshorne:
Let be a topological space. A presheaf of abelian groups on consists of the data
(a) for every open subset , an abelian group , and
(b) for every inclusion of open subsets of , a morphism of abelian groups ,
subject to the conditions
(0) , where is the empty set,
(1) is the identity map, ,
(2) if are three open subsets, then .
Since this particular definition in the book of Hartshorne only defines presheaves of abelian groups, the functions are required to be morphisms, which means that they respect the abelian group structure on and , i.e. if we write the law of composition of the abelian group using ““, and we have in the domain, then a morphism of abelian groups is a function that satisfies . However, presheaves can be defined for more general sets and functions.
We quote some more useful terminology from the book of Hartshorne:
If is a presheaf on , we refer to as the sections of the presheaf over the open set , and we sometimes use the notation to denote the group . We call the maps restriction maps, and we sometimes write instead of , if .
The concept of presheaf can be generalized even further so that the functions from to need not be inclusion functions. Together with the generalization of the concept of open covers in topology, and the concept of a sheaf, this leads to the concepts of site and topos.
Algebraic Geometry by Robin Hartshorne
Sheaves in Geometry and Logic: A First Introduction to Topos Theory by Saunders Mac Lane and Ieke Moerdijk