Apologies for the blog silence! I’d like to get this thing back underway with a relatively brief post outlining one of the really *weird *things which happens with sheaves. After this post, I’d like to spend some time moving forward to talking about schemes and possibly a return to more concrete areas with a first look at elliptic curves.

First, suppose is a topological space with a base of open sets . If is a target category (think sets or groups) and we are given objects and morphisms for each inclusion of basic open sets such that these objects and morphisms obey the sheaf conditions with respect to inclusions and covering of basic opens by basic opens, we call a -sheaf on . A nice result is that every -sheaf extends uniquely (up to isomorphism!) to a sheaf on ; similarly each morphism of -sheaves (a collection of morphisms for each basic open set commuting with restrictions of the basic open sets) extends uniquely to a morphism of sheaves on . This is all obtained by setting, for an open set , . The properties above are ensured by the UMP of the limit.

Now suppose is an open cover for a topological space . Suppose for each we have a sheaf (in whatever category you want – sets, say) . Furthermore suppose we are given isomorphisms such that on the intersection .

Then there is a unique sheaf on whose restriction to each is isomorphic to via isomorphisms such that for all open sets

To see this, define a base for the topology on – set as collection of open sets contained in some open set in the cover . For each arbitrarily choose some containing and set $F(V) = F_U (V)$. The conditions above allow us to make well-defined restriction maps. This gives us a -sheaf, which extends uniquely to a sheaf.

I didn’t really spell out how these maps compose correctly, but it isn’t too tricky to check everything works out. The important thing is what is actually said here. Starting with sheaves on each open set in a covering of a topological space which are *isomorphic* (not necessarily equal) on the overlaps between those open sets we obtain a unique sheaf on the space which, when restricted to each open set in the cover, is isomorphic to one of the original sheaves. This exactly mirrors what happens a level down internally to sheaves – given sections for each open set in a covering of a topological space which are equal on overlaps, there is a global section such that the restriction of to is equal to .

This is quite freaky, because it looks like the sheaves defined on open covers of a space behave similarly (although not identically) to the sections internal to all those sheaves. In other words, the set of sheaves defined on open covers of a topological space is almost a sheaf itself! The technical difference is how at this level our sheaves and their restrictions are not equal to each other but rather isomorphic. This leads one already into a 2-categorical “stacky” world which I’m not quite ready to deal with at the moment. But it is an interesting point to which I would like to return soon…