Joyal's CatLab Introduction to sheaves on a topological space


Here we will set up some basics of sheaves of sets, and perhaps in the future sheaves with values in an abelian category. Here our sheaves will always be on a topological space, the reader should be aware that there are generalizations of the concept of sheaves. One may generalize from either end, that is one may construct a theory of sheaves on suitable categories, or we can allow the ‘value category’ to change.

Preliminary definitions

Let XX be a topological space, and let TT be the category of open sets of XX, whose morphisms are the inclusion morphisms.

Presheaves, Sheaves

A presheaf of sets on XX is a contravariant functor from T opT^{\mathrm{op}} to Sets\mathrm{Sets}.

A sheaf of sets on XX is a presheaf, we will denote it by :T opSets\mathcal{F}: T^{\mathrm{op}} \rightarrow \mathrm{Sets}, which satisfies that for every open set UU and every open covering {U i} iI\{ U_i\}_{i \in I}of UU,

(U) i(U i) j,k(U jU k) \mathcal{F}(U) \rightarrow \prod_i \mathcal{F}(U_i) \rightrightarrows \prod_{j,k} \mathcal{F}(U_j \cap U_k)

Is an equalizer diagram, where the maps are being induced via U iU jU iUU_i \cap U_j \hookrightarrow U_i \hookrightarrow U and U kU iU iUU_k \cap U_i \hookrightarrow U_i \hookrightarrow U. For an even more categorical flavor, note that this the same as U i× UU jU iUU_i \times_U U_j \rightarrow U_i \rightarrow U and U k× UU iU iUU_k \times_U U_i \rightarrow U_i \rightarrow U, so we can rewrite this as

(U) i(U i) j,k(U j× UU k) \mathcal{F}(U) \rightarrow \prod_i \mathcal{F}(U_i) \rightrightarrows \prod_{j,k} \mathcal{F}(U_j \times_U U_k)

being an equalizer diagram for every open UU and open cover {U i} iI\{ U_i \}_{i \in I}.

Another method to define a sheaf uses two axioms:

  1. if we have an open cover {U i} iI\{ U_i \}_{i \in I} of UU, and a f i(U i)f_i \in \mathcal{F}(U_i) with (i U iU j,U i)(f i)=(i U iU j,U j)(f j)\mathcal{F}(i_{U_i\cap U_j,U_i})(f_i)=\mathcal{F}(i_{U_i \cap U_j ,U_j})(f_j) for each i,jIi,j \in I then there is a ‘gluing’ f(U)f \in \mathcal{F}(U) where f i=(i U i,U)(f)f_i = \mathcal{F}(i_{U_i,U})(f)

  2. any such gluing is unique.

Note there is a notion of a monopresheaf which does not satisfy the above diagram being an equalizer diagram, but the left-most map is injective. Equivalently it satisfies axiom 2 above.

Morphisms of presheaves and sheaves

Since presheaves are functors, we may simply the category PSh\mathrm{PSh} of presheaves of sets on XX to be PSh(X):=Sets T op\mathrm{PSh}(X) := \mathrm{Sets}^{T^{\mathrm{op}}} the functor category from T opT^{\mathrm{op}}. The category Sh(X)\mathrm{Sh}(X) of sheaves of sets on XX is defined to be the full subcategory of presheaves containing the sheaves as objects. Since sheaves form a full subcategory of presheaves, we have a natural forgetful functor I:Psh(X)Sh\mathrm{I}: \mathrm{Psh}(X) \rightarrow \mathrm{Sh}

To decategorify: a morphism of presheaves ϕ:𝒢\phi: \mathcal{F} \rightarrow \mathcal{G} is a natural transformation from the functor \mathcal{F} to the functor 𝒢\mathcal{G}, that is a set of morphisms ϕ U:(U)𝒢(U)\phi_U: \mathcal{F}(U) \rightarrow \mathcal{G}(U) for each open set UU such that for any i:VUi: V \rightarrow U, ϕ V(i)=𝒢(i)ϕ U\phi_V \circ \mathcal{F}(i) = \mathcal{G}(i) \circ \phi_U.


Let xXx \in X and \mathscr{F} a presheaf of sets on XX. Define the stalk of \mathcal{F} at xx to be colim Ux(U)\mathrm{colim}_{U \ni x} \mathcal{F}(U).


Sheafification via Étalé Spaces

Sheafification as a left adjoint to the forgetful functor

Created on September 2, 2012 at 02:55:35 by jstalfos