Michi’s blog » Blog Archive » Reading Merkulov: Differential geometry for an algebraist (4 in a series)

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

April 24th, 2006

Suppose we have a presheaf $\mathcal F$ of abelian groups over and pick a point . On the collection of all abelian groups defined over some neighbourhood of (disjoint union) we put an equivalence relation which identifies $f\in\mathcal F(U)$ and $g\in\mathcal F(V)$ precisely if there is some open in the intersection where and coincide. (or more precisely, their restrictions coincide). The set of equivalence classes turns out to be an Abelian group $\mathcal F_x$ called the stalk of the presheaf $\mathcal F$ at .

So, with more fluff introduced, the stalk is all the elements in the presheaf that are defined above any neighbourhood of the point, and counted as the same if they seem to be.

For an open set and a point $x\in U$ there is a canonical group morphism $\rho_x:\mathcal F(U)\to\mathcal F_x$ which sends an element $f\in\mathcal F(U)$ to its equivalence class. This image is the germ of at .

Example

Let $\mathcal O$ be the presheaf of holomorphic function on $\mathbb C$ . Then $\mathcal O_{z_0}$ is precisely the set of all convergent power series of the form $\sum_{n=0}^\infty c_n(z-z_0)^n$ for complex c_n . The germ of some defined on a neighbourhood of z_0 is precisely the Taylor series around that point.

Example

Take $\mathbb Z$ the constant presheaf where over each open set, the additive group of all integers hovers. Then we have for the construction of the stalk a disjoint union of copies of $\mathbb Z$ indiced by all the neighbourhoods of the point. Since all the neighbourhoods contain they all have a non-empty intersection, on which elements agree if they have the same value. So $\mathcal F_x=\mathbb Z$ for any point . The germ of $i\in\mathbb Z=\mathcal F(U)$ at is $i\in\mathbb Z=\mathcal F_x$ .

We define exact sequences by looking at the induced maps of the stalks. A sequence of sheave morphisms is exact if for every point on the underlying space, the corresponding induced stalk map sequences are exact.

Example

We can construct a morphism of sheaves of abelian groups from $\mathbb C$ to $\mathcal O$ by sending $c\in\mathbb C(U)$ to the function f(z)=c in $\mathcal O(U)$ . For some point z_0 , this induces a stalk map that takes in $\mathbb C_{z_0}$ and sends it to the function defined by the convergent power series c(z-z_0)^0=c . Regardless of z_0 , this map is obviously an injection, and so this map is a monomorphism.

Space Ã©talÃ© and sheafifications

Given a presheaf $\mathcal F$ , we construct the set $|\mathcal F|$ as the disjoint union of all stalks $\mathcal F_x$ . There’s an natural projection $\pi:f_x\mapsto x$ down to the underlying topological space. We can introduce a topology on $|\mathcal F|$ by constructing, for each open set $U\subseteq M$ and each element $f\in\mathcal F(U)$ , the set $[U,f]=\{\rho_x(f)\mid x\inU\}\subseteq|\mathcal F|$ and take these sets to be a basis of our topology. So an open set is given from the [U,f] by a sequence of (possibly infinite) unions and finite intersections.

This turns out to be a covering of $\mathcal F$ , i.e. each $e\in|\mathcal F|$ has an open neighbourhood which is homeomorphic to its image under the projection $\pi$ . We call the topological space $|\mathcal F|$ with this topology the space Ã©talÃ© of the presheaf $\mathcal F$ .

Using the space Ã©talÃ©, then, we can construct a canonical sheaf. A continuous section of a covering space $\pi\colon\mathcal F\to M$ over a subset $U\subseteq M$ is a continuous map $\sigma\colon U\to|\mathcal F|$ such that $\pi\circ\sigma=\mathbb 1$ .

Example

$\mathbb R$ is a covering space of the circle (viewed as the interval [0,1] with 0 identified with 1) with the projection $x\mapsto x\pmod1$ . A continuous section of the upper open halfcircle is a map $\sigma_n\colon x\mapsto x+n$ . Indeed, $\pi\circ\sigma_n$ takes some point to x+n and then to $x+n\pmod1$

Now, let $\Gamma(U,|\mathcal F|)$ denote the set of all continuous sections of $|\mathcal F|$ over . This ends up in the same category that $\mathcal F$ goes to. From this, we then define a sheaf $\hat{\mathcal F}$ by setting $\hat{\mathcal F}(U)=\Gamma(U,|\mathcal F|)$ , and letting restriction be the usual restriction of maps. This gives us a functor from presheaves to sheaves called sheafification.

Example

We already saw that $\mathbb Z_{\text{const}}$ assigning the group $\mathbb Z$ to each open subset of a manifold and with all restrictions being identity morphisms is not a sheaf. What happens if we sheafify? First, we need to construct our space Ã©talÃ©. This is the disjoint union of all stalks. A stalk over a point is the quotient of the disjoint union of all $\mathbb Z_{\text{const}}(U)$ for $x\in U$ with the equivalence relation that identifies $(n,U)\equiv(m,V)$ if there is some $W\subset U\cap V$ such that n|_W=m|_W . Now, all neighbourhoods of intersect in some open subset, and since all restrictions are identities, we identify (n,U) with (n,V) for all pairs of open neighbourhoods ,; so in end-effect all stalks are isomorphic, as groups, to $\mathbb Z$ .

The space Ã©talÃ© is thus the disjoint union for all points $x\in M$ of copies of $\mathbb Z$ ; i.e. the set of ordered pairs on the form (x,n) for $x\in M$ and $n\in\mathbb Z$ . Finally, our sheafified sheaf assigns to each open subset $U\subseteq M$ the group of sections $\Gamma(U,|\mathbb Z_{\text{const}}|)$ , thus a point there is a function $U\to U\times\mathbb Z$ such that $x\mapsto n_x$ for some $n_x\in\mathbb Z$ . Since this map has to be continuous, the map is constant on neighbourhoods. And thus we recover the sheaf of locally constant maps for the constant sheaf; just as exhibited earlier.

Kernels and quotients

Let $\tau:\mathcal A\to\mathcal B$ be a map of sheaves. For any open $U\subseteq M$ , we define $\mathcal K(U)=\ker\tau_U\colon\mathcal A(U)\to\mathcal B(U)$ . The sheaf $\mathcal K$ formed by these groups together with the induced morphisms from is called the kernel of the sheaf map.

The quotient of a sheaf map is formed almost the same way - pointwise components are formed as expected, but the presheaf thus formed need not be a sheaf. So we sheafify it.

Algebra, Differential geometry, English, Geometry, Mathematics, Topology

Want your say?

post navigation

about: Michi is a recent PhD working in homological algebra and applied algebraic topology. This blog is his outlet for texts with some manner of thought put into them. Over at his LiveJournal intimate details and streams of consciousness might be found.
Not all here is mathematics. All here, though, are my personal thoughts and opinions. Please read the about page (linked above) for more details.
This blog uses statcounter.com for logging and traffic analysis. In order to identify return visitors, this site will issue a cookie on viewing the blog.

Travel plans

Recent Comments

Tags

Categories

Blogroll

Family

Mathematician blogs

Archives