Second in our survey of some technical tools are sheaves. Sheaves have a reputation for being terrifying and technical and some people I know have trouble seeing their purpose at all. In my opinion, they’re very nice, convenient ways to organize information. Sheaves do require a bit of topology to use, and I recommend John Armstrong’s exposition as a basic reference. I talked a bit about the topology relevant in algebraic geometry (which is rather different than that in most point set topology settings, note that we make use of the concept of irreducibility quite often) but the basics and the notion of connectedness are both still rather important.
So now for sheaves. Let be a topological space. We define a presheaf of abelian groups to be an assignment
which assigns to each open set an abelian group (called the group of sections) and for each inclusion
we get a homomorphism of abelian groups
such that
,
is the identity homomorphism, and if
then
.
If we replace “abelian group” in the definition we can get other sorts of presheaves. The most common choices we’ll be making there are sets, rings and modules, though I’ve heard of people using presheaves of other things as well. Also, a common convention that we’ll be using is that we’ll denote by
which should be read as “
restricted to
“, because we want to try to think of these things as behaving like functions. Another useful notation is
. Particularly, it is useful when we want to take sections over the same open set of several sheaves or presheaves.
So if we have defined presheaves, what’s a sheaf? A sheaf is simply a presheaf such that, for each open set and every open cover
of
, we have two properties (which can be considered a uniqueness property and an existence property)
- If
satisfies
for all
, then
. (Uniqueness)
- If we have
such that for each
and
,
, then there exists
such that
for all
.
Now that’s a lot to take in, but it can be remembered fairly simply: a presheaf is a sheaf if compatible sections glue together uniquely. This is all set up to make sections act as much like functions as possible. With that in mind, we should be able to take functions to be a sheaf…and we can! Probably the single most important sheaf on any variety takes
open and assigns to it the collection of regular functions on
. This is the ring we earlier referred to as
. Now the reason for that notation should be getting a bit clearer, and we will call this sheaf
, the structure sheaf of the variety. We’ll encounter quite a few other sheaves as we go along.
Other examples of sheaves include the continuous functions to on any topological space, differentiable functions on a manifold and holomorphic functions on a complex manifold. Another class of examples can be constructed as follows: let
be an abelian group. Define
to be the direct product of copies of
, one for each connected component of
. This is called the constant sheaf, and consists of the locally constant functions
.
So you might remember that for the local ring of a point we used the notation
. This suggests a connection to the structure sheaf and we’ll look at it now, first in the context of a general presheaf. First we take the collection of pairs
with
and
. We say that
and
are equivalent if there exists
containing
contained in the intersection such that
. This is called the stalk at
, denoted by
, and will have whatever structure we put on the original presheaf. So for a sheaf of rings, like
, we will get a ring (by performing the ring operation on the first open set on which the two sections are both defined). Sometimes the elements of the stalk are referred to as germs.
So the point is, sheaves collect local data all into one place, and let us look at what happens to that data as we focus on a single point. Though they are a bit technical, we all have intuition about them (whether or not we realize it) by just thinking of them as the functions on a space, and the stalks are just the functions that are defined in SOME neighborhood of the point.
Great. I’ll probably throw a ping back here for the boots-on-the-ground view once I get around to sheaves in my high-level view.
The purhcases I make are entirely based on these articles.
Earlier where?
I believe the first reference to the ring was way back in Morphisms of Varieties https://rigtriv.wordpress.com/2007/12/21/morphisms-of-varieties/
Thanks Charles