Since I cannot concentrate anyway, here comes the third installment of my reading Merkulov. We now get to the funky stuff - introducing sheaves and getting to what should be at the very start of basically any modern geometry course. At least if I am to believe the geometers I know.

So, let's launch straight to it. A *presheaf* [tex]\mathcal F[/tex] on
the topological space [tex]\mathcal M[/tex] is just a contravariant
functor from [tex]Top(\mathcal M)[/tex] to [tex]Ab[/tex], where
[tex]Top(\mathcal M)[/tex] is the category of open subsets of
[tex]\mathcal M[/tex] with morphisms being inclusion maps.

And for our definition of presheaves? We can read out that for every inclusion of open subsets of our space [tex]U\subseteq V[/tex] we get a group homomorphism [tex]\rho_U^V:\mathcal F(V)\to\mathcal F(U)[/tex]. Functoriality requires these homomorphisms to be sane - i.e. [tex]\rho_U^U=\mathbb 1_{\mathcal F(U)}[/tex] and [tex]\rho_W^V\circ\rho_V^U=\rho_W^U[/tex] whenever [tex]W\subseteq V\subseteq U[/tex].

We will most often, as soon as it is clear what sheaf we work with, stick to denoting the [tex]\rho^U_V(f)[/tex] with [tex]f\mid_V[/tex] and call it the restriction of [tex]f[/tex] to [tex]V[/tex].

## Example

Our first example will be the constant presheaf: for [tex]\mathcal M[/tex] a topological space and [tex]\mathcal A[/tex] an abelian group, we define [tex]\mathcal F(U)=\mathcal A[/tex] if [tex]U\subseteq\mathcal M[/tex] is non-empty, and [tex]\mathcal F(\emptyset)=0[/tex]. The restriction homomorphisms are the identity whenever the subset is nonempty and the zero homomorphism to the empty set.

Completely analogously, presheaves of sets, graded vector spaces, algebras, modules over an algebra et.c. can be defined. Throughout, the presheaves are just contravariant functors from [tex]Top(\mathcal M)[/tex] to the relevant category.

### Presheaves over presheaves

Suppose [tex]\mathcal R[/tex] is a presheaf of rings with restrictions [tex]\rho[/tex] and [tex]\mathcal M[/tex] is a presheaf of abelian groups with restrictions [tex]\hat\rho[/tex] on some topological space [tex]\mathcal T[/tex] such that whenever [tex]U\subseteq\mathcal T[/tex] we know that [tex]\mathcal M(U)[/tex] is a [tex]\mathcal R(U)[/tex]-module and for any [tex]V\subseteq U\subseteq\mathcal T[/tex] we also know that [tex]\hat\rho_V^U(ax)=\rho_V^U(a)\hat\rho_V^U(x)[/tex] for [tex]a\in\mathcal R(U)[/tex] and [tex]x\in\mathcal M(U)[/tex] so that the restrictions agree with the module structure. Then we call [tex]\mathcal M[/tex] a presheaf of modules over a presheaf of rings [tex]\mathcal R[/tex]. By adding structure to the modules in [tex]\mathcal M[/tex] we can define presheaves of algebras or Lie algebras et.c. over a fixed presheaf of (graded) commutative rings [tex]\mathcal R[/tex].

## Example

*derivation*of [tex]R[/tex] of degree [tex]n[/tex] is an element [tex]d\in\Hom_n(R,R)[/tex] satisfying the condition

Now, if [tex]\mathcal R[/tex] is a presheaf of algebras, then the associated collection [tex]Der\mathcal R[/tex] is naturally a presheaf of [tex]\mathcal R[/tex]-modules. It is also a presheaf of Lie algebras on the space.

## Example

For an open subset [tex]U\subseteq M[/tex] of a fixed topological space [tex]M[/tex] let [tex]\mathcal E^0(U)[/tex] be the vector space of all complex valued continuous functions on [tex]U[/tex]. For every pair of open subsets [tex]V\subseteq U[/tex] let [tex]\rho^U_V:\mathcal E^0(U)\to\mathcal E^0(V)[/tex] be the usual restriction of a continuous function [tex]f:U\to\mathbb C[/tex] to [tex]f\mid_V:V\to\mathbb C[/tex], so for [tex]v\in V f\mid_V(v)=f(v)[/tex]. Then [tex]\mathcal E^0[/tex] is a presheaf of continuous functions on [tex]M[/tex] and is often denoted by [tex]\mathcal E^0_M[/tex].

If [tex]M[/tex] is a smooth manifold we can take smooth functions everywhere instead, we get a presheaf [tex]\mathcal E^\infty_M[/tex] of smooth functions on [tex]M[/tex].

If [tex]M[/tex] is a complex manifold we can take holomorphic functions everywhere to get a presheaf [tex]\mathcal O_M[/tex] of holomorphic functions on [tex]M[/tex].

### Sheaves

So a sheaf is a presheaf such that if for a covering of an open set equality on all covering sets implies equality in the covered set and where if a family seems to have come from an object higher up, then that object really does exist.

Note that the constant presheaf above is only a sheaf if either the abelian group is trivial or the space contains no non-intersecting open sets. If both of these conditions fail, then for a pair of non-intersecting [tex]U,V[/tex] and distinct [tex]f_1,f_2[/tex] we know that [tex]U\cap V=\emptyset[/tex] and thus that [tex]f_1\mid_{U\cap V}=f_2\mid_{U\cap V}=0[/tex] but there is no [tex]f\in\mathcal f(U\cup V)=A[/tex] such that [tex]f\mid_U=f_1[/tex] and [tex]f\mid_V=f_2[/tex] since all restrictions are identity homomorphisms and [tex]f_1\neq f_2[/tex]. Thus it's no sheaf.

This defect, however, is easily fixed. We define for an open subset [tex]U \mathcal F(U)[/tex] to be the set of all locally constant maps [tex]f:U\to A[/tex]. Clearly, if [tex]U[/tex] is connected, then [tex]\mathcal F(U)=A[/tex] since each map then is uniquely determined by its image. The restriction maps are then the usual restrictions of maps. The result is a sheaf of locally constant functions with values in [tex]A[/tex], and is often denoted by the same symbol [tex]A[/tex].

All the presheaves [tex]\mathcal E^0_M[/tex], [tex]\mathcal E^\infty_M[/tex] and [tex]\mathcal O_M[/tex] are sheaves though. Their presheaves of derivations are also sheaves.

The sheaf [tex]\mathcal E^\infty_M[/tex] is called the *structure
sheaf of a smooth manifold* [tex]M[/tex], whereas the associated sheaf
[tex]\mathcal T_M=Der\mathcal E^\infty_M[/tex] is called the
*tangent sheaf* or the *sheaf of smooth vector fields on [tex]M[/tex]*.

The sheaf [tex]\mathcal O_M[/tex] is called the *structure sheaf of a
complex manifold [tex]M[/tex]* and the *tangent sheaf* or *sheaf or
holomorphic vector fields on [tex]M[/tex]* is defined as above as the
sheaf of derivations. Note that any complex manifold also has a
structure of smooth real manifold and thus also has the associated
sheaves [tex]\mathcal E^\infty_{M_r}[/tex] and [tex]\mathcal
T_{M_r}[/tex].

## Example

Let's define a presheaf on the complex plane as a complex manifold. For open [tex]U\subseteq\mathbb C[/tex] define [tex]\mathcal F(U)[/tex] to be the vector space of all bounded holomorphic functions on [tex]U[/tex], with the restriction being the usual restriction of a holomorphic function. This is obviously a presheaf. However, it's not a sheaf, since with a covering [tex]\mathbb C=\bigcup_{i\in\mathbb N}U_i [/tex]for [tex]U_i=\{z\in\mathbb C\mid|z|

From this we learn that non-local properties on presheaves often cause the presheaf to fail being a sheaf.

### Morphisms and categorical structure

A morphism of (pre)sheaves [tex]\mathcal F\to\mathcal G[/tex] is defined in the obvious way - as a family of homomorphisms of abelian groups [tex]\mathcal F(U)\to\mathcal G(U)[/tex] such that the obvious diagrams commute. That is it doesn't matter if you first restrict and then follow the morphism or first follow the morphism and then restrict - the result should be the same. These morphisms make the definition needed to have a category of sheaves, and in this category, we receive the usual definition of an isomorphism, of inclusions, et.c.

For the next installment, we're going to stalks and exact sequences. And germs! Wouldya look at that? We've gone from maritime terminology to agricultural terminology...