Sheaves: A guest post by Joe Heavner
Let me just preface this by saying that I look forward to writing, in an accessible way, about the realm of algebraic geometry with Ayush on this blog.
In the study of algebraic geometry, one often hopes to delve into abstract notions, research tools, and topics such as those of cohomology, schemes, orbifolds, and stacks (or maybe you just want to prove that there are 27 lines on a cubic surface). But, all of these things probably seem very far away, because algebraic geometry is a very rich, very technical field. It is also one that was inaccessible to most until recently, despite often being concerned with rather simple ideas and objects. Luckily, today we all need not read the SGA and EGA. While I think it unwise to jump ahead to something as modern as schemes just yet, it should be possible to study one of algebraic geometry’s most important and deceivingly intuitive tools: sheaves.
In not-so-technical terms, a sheaf is a device used to track locally defined information attached to the open sets of some (topological) space. Basically, this is a nice tool to organize information. To get a bit more formal, we’ll need to first define what a presheaf is.
Presheaf: A presheaf on a topological space is a functor with values in some category defined as follows:
For each open set , there is a corresponding object in
For each inclusion of sets there exists a corresponding morphism, called the restriction morphism, in
must satisfy the following:
For all , is the identity morphism on
For open sets , ,
i.e. restriction can be done all at once or in steps.
Presheaves are certainly important, but I will stay focused on our goal to understand sheaves instead of dealing with details about presheaves. With that having been said, recall the property of locality from our loose definition of a sheaf, as it is also our first axiom for sheaves, with the other being concatenation or gluing. These two axioms may also be thought of as ensuring existence and uniqueness.
Sheaf: A presheaf satisfying the following:
(Locality) If is an open covering of the open , and if such that for each , then .
(Gluing) Suppose is an open cover of . Further suppose that if for all a section is given such that for each pairing of the covering sets , then there exists where .
In other words, a sheaf is a presheaf if we can uniquely “glue” pieces together.
For the sake of brevity and simplicity, we will ignore some technical details henceforth. We will also focus on functions and let the reader work out the details for the same reason.
For our first example, consider topological spaces and with a “rule” such that open is associated with
This is a sheaf. It is actually a pretty well-known example too. (Hint: In justifying that this is a sheaf, it may be a good strategy to begin by considering restriction maps.)
For our second and final example, we shall consider the sheaf of infinitely differentiable ( smooth) functions. The sheaf of infinitely differentiable functions of a differential manifold has two properties:
For all open sets the ring of functions is associated from to
The restriction map is a function restriction
Again, it’s worth playing around with this sheaf a bit.
So, to review a sheaf is a tool used in algebraic geometry and other fields, and it serves as a sort of data collection method such that the data is all put in one place, i.e. a point.
It’s worth noting that there are tons of different definitions of presheaves and sheaves, but I think the provided one is most intuitive and works well for many instances.
An alternate notation for is ; keep this in mind if you plan to read more on this topic.
Be sure to keep functions in mind while you’re developing an understanding of sheaves.