Sheaves and Topology

In all branches of science we sooner or later encounter the global vs. local duality. Topology is no different.

In topology we have the global definition of continuity: counter-images of all open sets are open. But we perceive a discontinuity as a local jump. How are the two pictures related, and can we express this topologically, that is without talking about sizes and distances?

All we have at our disposal are open sets, so exactly what properties of open sets are the most relevant? They do form a (thin) category with inclusions as arrows, but so does any set of subsets. As it turns out open sets can be stitched together to create coverings. Such coverings let us zoom in on finer and finer details, thus creating the bridge between the global and the local picture.

Open sets are plump–they can easily fill the bulk of space. They are also skinless, so they can’t touch each other without some overlap. That makes them perfect for constructing covers.

Covering, unlike tiling, requires overlapping. To create a leak-free roof, you need your tiles to overlap. The idea is that, if we were defining functions over a tiling, it would be possible for them to make sudden jumps at tile boundaries. Open coverings overlap, so such functions have to flow continuously.

An open cover of a set $u$ is a family of open sets $\{u_i\}$ such that $u$ is their union:

$u = \bigcup_{i \in I} u_i$

Here $I$ is a set used for indexing the family.

If we have a continuous function $f$ defined over $u$ , then all its restrictions $f|_{u_i}$ are also continuous (this follows from the condition that an intersection of open sets is open). Thus going from global to local is easy.

The converse is more interesting. Suppose that we have a family of functions $f_i$ , one per each open set $u_i$ , and we want to reconstruct the global function $f$ defined over the set $u$ covered by $u_i$ ‘s. This is only possible if the individual functions agree on overlaps.

Take two functions: $f_i$ defined over $u_i$ , and $f_j$ defined over $u_j$ . If the two sets overlap, each of the functions can be restricted to the overlap $u_i \cap u_j$ . We want these restrictions to be equal:

$f_i|_{u_i \cap u_j} = f_j|_{u_i \cap u_j}$

If all individual continuous functions agree on the overlaps then they uniquely determine a global continuous function $f$ defined over the whole set $u$ . You can stitch or collate functions that are defined locally.

In the language of category theory we talk about functions in bulk. We define a functor–a presheaf $P$ –that maps all open sets to sets of continuous functions. In this language, to an open cover $\{u_i\}$ corresponds a family of functions $\{f_i\}$ that are members of the individual sets $P u_i$ . Every such selection forms a giant $I$ -indexed tuple, that is an element of the cartesian product:

$\{f_i | i \in I\} \in \prod_{i} P u_i$

Similarly, we can gather functions that are defined over the intersections of sets into a product:

$\prod_{i j} P (u_i \cap u_j)$

(Notice that every empty intersection corresponds to a single trivial function that we call absurd in Haskell.)

Set inclusions generate function restrictions. In particular, for every intersection $u_i \cap u_j$ we have a pair of restrictions:

$f_i \mapsto f_i|_{u_i \cap u_j}$

$f_j \mapsto f_j|_{u_i \cap u_j}$

These restrictions can be seen as functions between sets:

$P u_i \to P (u_i \cap u_j)$

$P u_j \to P (u_i \cap u_j)$

If all such restrictions are pairwise equal, we call $\{f_i\}$ a matching family, and for every such matching family there is a unique element $f \in P u$ such that $f_i = f|_{u_i}$ , for all $i$ .

These pairs of restrictions define two mappings between our big products:

$p, q : \prod_i P u_i \rightrightarrows \prod_{i j} P (u_i \cap u_j)$

Think of each function as acting on a tuple $\{f_k\}$ and producing a matrix indexed by elements of $I$ :

$(p\; \{f_k\})_{i j} = f_i|_{u_i \cap u_j}$

$(q\; \{f_k\})_{i j} = f_j|_{u_i \cap u_j}$

Our matching condition can be expressed in the language of category theory by saying that the following diagram is an equalizer of $p$ and $q$ (the two parallel arrows):

$P u \xrightarrow{e} \prod_i P u_i \rightrightarrows \prod_{i j} P (u_i \cap u_j)$

Here $e$ is defined as mapping a function $f \in P u$ to a tuple of its restrictions $\{ f|{u_i}\}$ . These restrictions are then required to match when further restricted by $p$ and $q$ to all possible intersections.

A presheaf $P$ is called a sheaf if, for every open covering $\{u_i\}$ , a matching family $\{f_i\}$ uniquely determines the element of $P u$ of the equalizer above. This element corresponds to the function $f$ that is the result of stitching of individual functions.

Notice that, even though we tried to use the categorical language as much as possible, we still had to rely on the language of sets to define coverings. To abstract away from set theory and traditional topology, we need to talk about sites.

Next: Coverages and Sites .

Bartosz Milewski's Programming Cafe