Reading Merkulov: Differential geometry for an algebraist (3 in a series)

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.

So that's the one-line definition. But what does it mean?
Well, a functor is a map between categories that takes objects to objects and morphisms to morphisms. So we have that [tex]\mathcal F(U)[/tex] is an abelian group for any open set [tex]U\subset\mathcal M[/tex]. For such a map to really be a functor, it has to be sane in a rather precisely defined sense: namely morphism composition should still be associative and the identity endomorphism on a group shouldn't actually, ya'know, change the morphisms before or after it.
For the functor to be contravariant means precisely that for [tex]f:U\to V[/tex] we get [tex]\mathcal F(f):\mathcal F(V)\to\mathcal F(U)[/tex] - all arrows reverse by application of the functor.

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

Let [tex]R[/tex] be a graded [tex]k[/tex]-algebra for a field [tex]k[/tex]. A derivation of [tex]R[/tex] of degree [tex]n[/tex] is an element [tex]d\in\Hom_n(R,R)[/tex] satisfying the condition
[tex]d(ab)=(da)b+(-1)^{|a|}a(db)[/tex]
Let [tex]Der_nR[/tex] be the vector space of all derivations of degree [tex]n[/tex] and let
[tex]Der R=\bigoplus_{n\in\mathbb Z}Der_n R[/tex]
Now, [tex]DerR[/tex] has a natural [tex]R[/tex]-module structure by [tex]ad=l_a\circ d[/tex] where [tex]l_a:b\mapsto ab[/tex] for [tex]a,b\in R[/tex]. Furthermore, there is a natural structure of graded Lie algebra to [tex]DerR[/tex] with brackets given as [tex][d_1,d_2]=d_1\circ d_2-(-1)^{|d_1||d_2|}d_2\circ d_1[/tex].

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

A presheaf [tex]\mathcal F[/tex] on a topological manifold is called a sheaf if, for every open set[tex] U\subseteq M[/tex] and every family of open subsets [tex]U_i\subseteq U[/tex] with [tex]U=\bigcup U_i[/tex] the following conditions are satisfied:
If for all [tex]i[/tex], and [tex]f, g\in\mathcal F(U)[/tex] we have
[tex]f\mid_{U_i}=g\mid_{U_i}[/tex]
then [tex]f=g[/tex] and
for every family of elements [tex]f_i\in\mathcal F(U_i)[/tex] with the property that [tex]f_i\mid_{U_i\cap U_j}=f_j\mid_{U_i\cap U_j}[/tex] there is some [tex]f\in\mathcal F(U)[/tex] such that [tex]f\mid_{U_i}=f_i[/tex] for all [tex]i[/tex].

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.

Note that the following inclusion maps are all morphisms of sheaves of rings:
[tex]\mathbb C\to\mathcal O[/tex]
[tex]\mathcal O\to\mathcal E^\infty[/tex]
[tex]\mathcal E^\infty\to\mathcal E^0[/tex]

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...

social