So 5am rolls around, and I’m still not asleep. Of course. It’s not like I have to be up in 2.5 hours or anything. My brain is conspiring against me.
Whilst rolling around in bed NOT SLEEPING, my thoughts turned to sheaves: just what are they? I posted a bit ago (longer than I like) about sheaves, but it was kind of a lame post, caught up in the definition of the objects. This is a way of remedying that, and a bit more of some dry definitions (you really can’t escape them, unfortunately).
Put simply, I think of a sheaf (of sets) as a means of “observing” or “exploring” a space . A topological space is a mathematical object, independent of our puny reality and ordinary means of observation. Think of a scientist walking around “in/ on” . Let’s call him monsieur Faisceau. Monsieur Faisceau walks around , recording what he sees in every open set . He starts noticing patterns in his observations…like happens to look red at every open set. Being a good scientist and having dutifully recorded all of his observations, he sees that the observation of looking red in every open set agrees “on overlaps”. That is, whenever he compares the results of his observations, they agree. He then deduces (and maybe even publishes a paper) that “ looks red”.
This is obviously a vast simplification of what scientists can do (i.e. serve us better than acting as locally constant functions). Monsieur Faisceau could be taking temperature readings on every open set of , i.e. compiling a family of continuous functions (or smooth, depending on what he wants/ if is a smooth manifold) that give the give the temperature of at every point. Suppose, for the sake of the argument, that . Again, he notices that his results agree on overlaps. In mathspeak, , for any (in whatever indexing set we’re dealing with). Being a good lazy intellectual, he doesn’t like keeping the data of each function , so he instead defines a function via if . This is well defined, since if and . He then, of course, publishes a paper about his findings.
There’s then a theorem that says specifying a family of sheaves on an open cover (i.e. is a sheaf on for each ) subject to some nice “gluing” conditions amounts to specifying a unique sheaf defined on all of (see Hartshorne’s Algebraic Geometry, ex. 22 in section 2.1). This can then be thought of as a collection of scientists who work together observing . They each work on their own open set, and talk to each other whenever they work on overlapping interests. That is, scientist specializes in studying the open set , and scientist specializes in studying . Thus they both specialize in studying as well, and any observation made by one scientist on is communicated “isomorphically” to the other scientist about that area. Obviously, any scientist communicates with himself about his work without having to do any extra work. Papers published about global results then amount to “joint work” by the scientists.
Another fundamental process to understand is “sheafification” (an AWESOME word, btw). To understand this, we must understand why presheaves are so lacking. These can be thought of as people with really poor memory who are walking around in . They’re just as smart as a scientist, and thus see all the same things when they look at each open set . They just have a hard time remembering their results/ observations, and can’t infer global data by “gluing” local data. This puts the “forgetful functor (now aptly named) in a new perspective: it takes a scientist and hits him in the head, rendering him unable to remember anything he sees.
Hopefully this makes some sense to other people. I’ll return with sheafification soon.