In Part 1, I said how to push sheaves forward along a continuous map. Now let’s see how to pull them back! This will set up a pair of adjoint functors with nice properties, called a ‘geometric morphism’.
First recall how we push sheaves forward. I’ll say it more concisely this time. If you have a continuous map between topological spaces, the inverse image of any open set is open, so we get a map
A functor between categories gives a functor between the opposite categories. I’ll use the same name for this, if you can stand it:
A presheaf on is a functor
and we can compose this with to get a presheaf on
We call this presheaf on the direct image or pushforward of along and we write it as In a nutshell:
Even better, this direct image operation extends to a functor from the category of presheaves on to the category of presheaves on
Better still, this functor sends sheaves to sheaves, so it restricts to a functor
This is how we push forward sheaves on to get sheaves on
All this seems very natural and nice. But now let’s stop pushing and start pulling! This will give a functor going the other way:
The inverse image of a sheaf
At first it seems hard how to pull back sheaves, given how natural it was to push them forward. This is where our second picture of sheaves comes in handy!
Remember, a bundle over a topological space is a topological space equipped with a continuous map
We say it’s an etale space over if it has a special property: each point has an open neighborhood such that restricted to this neighborhood is a homeomorphism from this neighborhood to an open subset of In Part 2 we defined the category of bundles over which is called and the full subcategory of this whose objects are etale spaces, called I also sketched how we get an equivalence of categories
So, to pull back sheaves we can just convert them into etale spaces, pull those back, and then convert them back into sheaves!
First I’ll tell you how to pull back a bundle. I’ll assume you know the general concept of ‘pullbacks’, and what they’re like in the category of sets. The category of topological spaces and continuous maps has pullbacks, and they work a lot like they do in the category of sets. Say we’re given a bundle over which is really just a continuous map
and a continuous map
Then we can form their pullback and get a bundle over called
In class I’ll draw the pullback diagram, but it’s too much work to do here! As a set,
It’s a subset of and we make it into a topological space using the subspace topology. The map
does the obvious thing: it sends to
Puzzle. Prove that this construction really obeys the universal property for pullbacks in the category where objects are topological space and morphisms are continuous maps.
Puzzle. Show that this construction extends to a functor
That is, find a natural way to define the pullback of a morphism between bundles, and prove that this makes into a functor.
Puzzle. Prove that if is an etale space over and is any continuous map, then is an etale space over
Putting these puzzles together, it instantly follows that we can restrict the functor
to etale spaces and morphisms between those, and get a functor
Using the equivalence
we then get our desired functor
called the inverse image or pullback functor.
Slick! But what does the inverse image of a sheaf actually look like?
Suppose we have a sheaf on and a continuous map We get an inverse image sheaf on But what is it like, concretely?
That is, suppose we have an open set What does an element of amount to?
Unraveling the definitions, must be a section over of the pullback along of the etale space corresponding to
A point in the etale space corresponding to is the germ at some of some where is some open neighborhood of
Thus, our section is just a continuous function sending each point to some germ of this sort at
There is more to say: we could try to unravel the definitions a bit more, and describe directly in terms of the sheaf without mentioning the corresponding etale space! But maybe one of you reading this can do that more gracefully than I can.
The adjunction between direct and inverse image functors
Once they have direct and inverse images in hand, Mac Lane and Moerdijk prove the following as Theorem 2 in Section II.9:
Theorem. For any continuous map the direct image functor
is left adjoint to the inverse image functor:
I won’t do it here, so please look at their proof if you’re curious! As you might expect, it involves hopping back and forth between our two pictures of sheaves: as presheaves with an extra property, and as bundles with an extra property — namely, etale spaces.
I don’t think there’s anything especially sneaky about their argument. They do however use this: if you take a sheaf, and convert it into an etale space, and convert that back into a sheaf, you get back where you started up to natural isomorphism. This isomorphism is just the counit that I mentioned in Part 3.
Remember, the functor that turns presheaves into bundles
is left adjoint to the functor that turns bundles into presheaves:
So, there’s a unit
and a unit
The fact we need now is that whenever a presheaf is a sheaf, its counit
is an isomorphism. This is part of Theorem 2 in Section II.6 in Mac Lane and Moerdijk.
And by the way, this fact has a partner! Whenever a bundle is an etale space, its unit is an isomorphism. So, converting an etale space into a sheaf and then back into an etale space also gets you back where you started, up to natural isomorphism. But the favored direction of this morphism is in the other direction: any sheaf maps to the sheaf of sections of its associated etale space, while any bundle maps to the etale space of its sheaf of sections.