Examples of Sheaves

Since the posts of sheaves have been more than a bit confusing, I'm going to take
the time to go through a couple of examples of real sheaves that are used in
algebraic topology and related fields. Todays example will be the most canonical one:
a sheaf of continuous functions over a topological space. This can be done for *any* topological space, because a topological space *must* be continuous and gluable with
other topological spaces.

Let's quickly recall the definition of sheaves. A sheaf *F* is a mapping from open sets in
a topological space **T** to objects in a category **C** that has a set of essential properties:

1. Every open set S in **T** is mapped to an object *F*(S) in **C**.
2. For all pairs of open sets in **T**, there is a *restriction morphism* that provides
a mapping between objects that respects the intersection property of the open sets.
3. The category **C** has a terminal object t, and *F*(∅)=t.
4. For all sets U={ui} of open sets with compatible section in **T** there is exactly one unique section on which the restriction morphisms agree; more formally, there is exactly one section s∈F(U) such that ∀ i, ρui,U(S)=si.

You can't show examples of sheaves without starting with the most basic one: sheaves of continuous functions; that is, a sheaf mapping from topological functions to the category
**Top** of sets with continuous functions as morphisms. We can take any topological space **T**, and define a sheaf of continuous functions on it.

First we'll define the presheaf. Let the presheaf *F* for **T** by doing the following:

* For each open set *O* in **T**, Let *F*(*O*) be the set of *continuous* functions f : *O* → ℜ.
* Given two open sets *O* and *P* such that *P* ⊂ *O*, let the restriction morphism
ρ*P,O* take each function *f* and map it to the function generated by
restricting the domain of *f* to the set *P*.

To show that *F* is not just a presheaf but a full sheaf, we need to show that the
normalization and gluing axioms hold. Normalization, as usual, is pretty trivial. There's
only one function f : ∅ → ℜ: the empty function. Bingo, normalization.

The gluing axiom is harder. And what it comes down to is going to *look* circular. What we *want* is for the functions in the sheaf to behave in a particular way. So we're going to
*define* the value of the functions included in the sheaf so that they work properly. As long as the functions for an open set *u* *exist* in the set of functions from *u* to ℜ, we
can define the sheaf so that it only includes the functions that have the properties that we want. We'll select exactly the functions that give us a sheaf of continuous functions
over the topology.

So. We start by looking at a set of open sets: U = { ui }.

For any function fi on an open set ui, there is a function
f\* ∈ F(U) such that fi = f\* restricted to
ui. If we restrict the functions in the sheaf to all be restrictions of continuous
functions over **T**, then each of the *sections* over each open set *ui are
functions over **T** restricted to *ui*; and two sections are *compatible*
if they are restrictions of the *same* function over **T**. Then, basically by definition,
the gluing axiom will hold - the sections will agree on overlaps, because they've been constructed that way.

So what does this tell us? Basically that gluing topological spaces together will
always result in a topological space - you can't build a structure that won't
be a valid topological space by gluing topological spaces together.

But it says more than that. What it really says is that the things you can do to
functions, you can do to topologies. So the fact that there is this sheaf of functions that can be constructed over any topological space means that you can do *algebra* on topological spaces. Since you can create continuous functions from a space **T** to ℜ by
adding together two continuous functions from **T** to ℜ, and you can create the additive inverse of a function from **T** to ℜ, that means that you've actually got a sheaf of groups. And do the same trick with multiplication, and you can see that this is also a sheaf of rings!

Tags

More like this

I've mostly been taking it easy this week, since readership is way down during the holidays, and I'm stuck at home with my kids, who don't generally give me a lot of time for sitting and reading math books. But I think I've finally got time to get back to the stuff I originally messed up about…
Continuing from where we left off yesterday... Yesterday, I managed to describe what a *presheaf* was. Today, I'm going to continue on that line, and get to what a full sheaf is. A sheaf is a presheaf with two additional properties. The more interesting of those two properties is something called…
Suppose we've got a topological space. So far, in our discussion of topology, we've tended to focus either very narrowly on local properties of **T** (as in manifolds, where locally, the space appears euclidean), or on global properties of **T**. We haven't done much to *connect* those two views.…
There's another classic example of sheaves; this one is restricted to manifolds, rather than general topological spaces. But it provides the key to why we can do calculus on a manifold. For any manifold, there is a sheaf of vector fields over the manifold. Let's start by explaining what a vector…

Mark writes: "This can be done for any topological space, because a topological space must be continuous"

What do you mean when you say that topological spaces are "continuous"? In standard mathematical usage, "continuous" is an adjective that can modify "function", but talking about "continuous topological spaces" is like saying that mauve has more RAM.

By Nat Whilk (not verified) on 02 Jan 2007 #permalink