Sheaf (mathematics)

From Wikipedia, the free encyclopedia

In mathematics, a sheaf is the basic tool for expressing relationships between small regions of a space and large regions. Beginning with a topological space X, a sheaf assigns to every region (technically, open set) U of X some data F(U), such as a set, a group, or a ring. Often these data are a collection of geometric objects defined on that region, such as functions, vector fields, or differential forms. The data can be restricted to smaller regions, and compatible collections of data can be glued to give data over larger regions.

It is common to write a sheaf using the variable F. This comes from the French word for sheaf, faisceau.

[edit] Introduction

Sheaves are used to keep track of the relationship between local and global data. For this reason they are prominent in topology, differential geometry, and algebraic geometry, but they have also found uses in number theory, analysis, and category theory. Roughly speaking, a sheaf F on a topological space X consists of two types of data and two properties. The first piece of data is a function which takes every open set U of X to a set F(U). (We can require that F(U) have additional structure, but for now we will require only that it be a set.) The second piece of data takes two open sets U and V, with V contained in U, and gives a map

res_V,U : F(U) → F(V)

called the restriction map. Conceptually, the restriction map is analogous to restricting the domain of a function. These data satisfy two properties. The first is a normalization axiom and states that F(∅) is a one-element set. The second is usually called the gluing axiom. Roughly speaking, it says that if an open set U is covered by smaller open sets {U_i}_{i ∈ I}, then an element of F(U) corresponds to compatible choices of elements from each F(U_i). That is, given one element from each F(U_i), and assuming that, for all i and j, the chosen elements of F(U_i) and F(U_j) become equal when restricted to the overlaps U_i ∩ U_j, there exists one and only one element of F(U) which restricts to the original element of each F(U_i).

Before giving the formal definition, we list several examples.

[edit] Sheaves of functions

The most basic example is the sheaf of continuous real-valued functions on a topological space X. A continuous function can be restricted to give a continuous function on an open subset, and continuous functions on open subsets can be used to construct a continuous function on the union of the open sets.

To be precise, on each open set U of X, we let F(U) be the set of continuous real-valued functions f : U → R. Given an open set V contained in U and a function f in F(U), we can restrict the domain of f to V to get f|_V. The restriction f|_V is a continuous real-valued function V → R, so it is member of F(V). This defines the restriction map res_V,U.

The normalization axiom is clear, because there is a unique function from the empty set to R, namely the empty function. To show that the gluing axiom holds, suppose that we have a collection of open sets {U_i}_{i ∈ I}, and let U be the union of the {U_i}. For each i, choose an f_i in F(U_i), that is, a continuous real-valued function U_i → R. The hypothesis of the gluing axiom is that the {f_i} agree on overlaps. This means that when we restrict f_i and f_j to U_i ∩ U_j, they must be equal. In symbols, f_i|_{U_i∩U_j} = f_j|_{U_i∩U_j}. Assuming this, we define a function f : U → R as follows: Every point x of U lies in some U_i. Choose such a U_i, and define f(x) to be f_i(x). Because of our assumption that the functions {f_i} agreed on overlaps, this is unambiguous, so f is well-defined. f is continuous because each f_i is continuous and continuity is a local property of functions. Furthermore, f is the only possible function that could restrict to f_i on U_i, because functions are determined by their values on points. Consequently there is one and only one function gluing the {f_i}, namely f.

In fact, this sheaf is not just a sheaf of sets. Because functions can be added pointwise, it is also a sheaf of groups. Because they can be multiplied pointwise, it is a sheaf of rings. Since they form a vector space, it is a sheaf of algebras.

[edit] Sheaves of solutions to differential equations

For simplicity, we will work on R. Suppose that we have a differential equation F(x, y, y′, y″, … ) = 0. and that we are looking for smooth solutions, that is, smooth functions y : R → R that satisfy F. In the previous example, we found that there was a sheaf of continuous real-valued functions on R. A similar construction gives a sheaf of smooth real-valued functions on R. We will call this sheaf G. G(U) is the set of smooth functions U → R. Some of the members of G(U) are solutions to the differential equation F = 0. It turns out that these solutions themselves form a sheaf.

For each open set U, let H(U) be the set of smooth functions y : U → R such that F(x, y, y′, y″, … ) = 0. The restriction maps are still restriction of functions, just like for G. H(∅) is still the empty function. To check the gluing axiom, let {U_i}_{i ∈ I} be a collection of open sets, and let U be the union of the {U_i}. For each i, choose f_i in H(U_i), and assume that the {f_i} agree on overlaps, that is, f_i|_{U_i∩U_j} = f_j|_{U_i∩U_j}. Construct f in the same way as before: f(x) = f_i(x) whenever f_i is defined. To see that f is still a solution to the differential equation, notice that f satisfies the differential equation near a point x if and only if f satisfies the differential equation after restricting. We can always restrict to some f_i, and we know that f_i satisfies the differential equation. Therefore f is a solution to F = 0. To see that f is unique, notice that just as before, f is determined by its values on points, and those values must restrict to give the values of the f_i. Consequently f is the unique gluing of the {f_i}, so H is a sheaf.

Notice that H(U) is contained in G(U) for each U. Also, if f is in both H(U) and G(U), and if V is contained in U, then applying the restriction function of H to f is the same as applying the restriction function of G to f. This tells us that H is a subsheaf of G.

Depending on the differential equation F, it may be possible to add two solutions to get a third—for example, if F is linear. If this is the case, then H is a sheaf of groups, with the group law given by pointwise addition of functions. In general, however, H is only a sheaf of sets, not a sheaf of groups or a sheaf of rings.

[edit] Sheaves of vector fields

Let M be a smooth manifold. A vector field V on M associates to every point x of M a vector V(x) in T_xM, the tangent space to M at x. V(x) is required to vary smoothly with x. We will define a sheaf $\mathcal{T}$ which gives information about the vector fields on M. For each open set U, we consider U as a smooth manifold and let $\mathcal{T}(U)$ be the set of all vector fields on U. In other words, $\mathcal{T}(U)$ is a set of functions V which take a point x of U to a vector V(x) in T_xU in a smooth varying manner. Note that because U is open, T_xU = T_xM. We define the restriction maps to be restriction of vector fields.

To show that $\mathcal{T}$ is a sheaf, first notice that $\mathcal{T}(\empty)$ is the empty function because there are no points in the empty set. To check the gluing axiom, let {U_i}_{i ∈ I} be a collection of open sets, and let U be the union of the {U_i}. On each open set U_i, we choose a vector field V_i, and we assume that these vector fields agree on overlaps, that is, V_i|_{U_i∩U_j} = V_j|_{U_i∩U_j}. Now we define a new vector field V on U as follows: For each x in U, choose a U_i containing x. Define V(x) to be V_i(x). Because of our assumption that the V_i agreed on overlaps, V is well-defined. Furthermore, V(x) is a vector in T_xM, and that vector varies smoothly with x because V_i(x) varies smoothly with x and "varying smoothly" is a local property. Lastly, V is the only possible gluing of the set of V_i, because V is determined by its values on each x, and those values must restrict to the values of V_i on U_i.

There is another way of expressing $\mathcal{T}$ which involves the tangent bundle TM of M. There is a natural projection map p : TM → M which takes a pair (x, v), where x is a point in M and v is a vector in T_xM, to the point x. A vector field on an open set U is the same as a section of p, that is, it is a smooth map s : U → TM such that ps = id_U, where id_U is the identity function on U. In other words, s takes points x to a pair (x, v) in a smooth fashion. s cannot take a point x to a pair (y, v) with y ≠ x because of the restriction ps = id_U. This lets us express the tangent sheaf $\mathcal{T}$ as a sheaf of sections. In other words, over each U, $\mathcal{T}(U)$ is the collection of all sections of the projection map p, and the restriction maps are restriction of functions. There is an analogous sheaf of sections for any continuous map of topological spaces.

Notice that $\mathcal{T}$ is always a sheaf of groups, with addition given by pointwise addition of vectors. However, $\mathcal{T}$ is not naturally a sheaf of rings because there is no natural multiplication of vectors.

[edit] The formal definition

The first step in defining a sheaf is to define a presheaf, which captures the idea of associating data and restriction maps to the open sets of a topological space. The second step is to require the normalization and gluing axioms. A presheaf which satisfies these axioms is a sheaf.

[edit] Definition of a presheaf

Let X be a topological space, and let C be a category. Usually C is the category of sets, the category of groups, the category of abelian groups, or the category of commutative rings. A presheaf F on X with values in C is given by the following data:

For each open set U of X, an object F(U) in C
For each inclusion of open sets $V\subseteq U$ , a morphism res_V,U : F(U) → F(V) in the category C.

The morphisms res_V,U are called restriction morphisms. The restriction morphisms are required to satisfy two properties.

For every open set U of X, the restriction morphism res_U,U : F(U) → F(U) is the identity morphism on F(U).
If we have three open sets $W\subseteq V\subseteq U$ , then res_W,V o res_V,U = res_W,U.

Informally, the second axiom says it doesn't matter whether we restrict to W in one step or restrict first to V, then to W.

There is a compact way to express the notion of a presheaf in terms of category theory. First we define the category of open sets on X to be the category O(X) whose objects are the open sets of X and whose morphisms are inclusions. Then a C-valued presheaf on X is the same as a contravariant functor from O(X) to C. This definition can be generalized to the case when the source category is not of the form O(X) for any X; see presheaf (category theory).

If F is a C-valued presheaf on X, and U is an open subset of X, then F(U) is called the sections of F over U. If C is a concrete category, then each element of F(U) is called a section. A section over X is called a global section. This is by analogy with sections of fiber bundles or sections of the étale space of a sheaf; see below. F(U) is also often denoted Γ(U,F), especially in contexts such as sheaf cohomology where U tends to be fixed and F tends to be variable.

[edit] Definition of a sheaf

Sheaves are presheaves subject to two axioms. The first is the normalization axiom:

$F(\emptyset)$ is the terminal object of C.

For this definition to make sense, C must have a terminal object, but in practice this is usually the case.

More important is the gluing axiom. Recall that in our examples above, the gluing axiom required that we could paste together sections which agreed on overlaps. For simplicity, we will state the gluing axiom only when C is a concrete category. For a more abstract and general formulation, see the article gluing axiom.

Let $\{U_i\}_{i \in I}$ be a collection of open subsets of $X$ , and let $U = \cup_{i \in I} U_i$ . For each $i$ , choose a section $s_i \in F(U_i)$ . We say that $\{s_i\}_{i \in I}$ are compatible if, for all $i$ and $j$ , $\mbox{res}_{U_i \cap U_j, U_i}(s_i) = \mbox{res}_{U_i \cap U_j, U_j}(s_j)$ . The gluing axiom states:

For every set $\{s_i\}_{i \in I}$ of compatible sections on $\{U_i\}_{i \in I}$ , there exists a unique section $s \in F(U)$ such that $\mbox{res}_{U_i,U}(s) = s_i$ .

The section s is called the gluing, concatenation, or collation of the sections {s_i}.

In the examples we gave above, the sections of the sheaf corresponded to functions. When this is the case, the hypothesis of the gluing axiom is that the two functions are equal where they overlap, and the conclusion is that there is one and only one function on U which pastes together all of functions on the U_i. This is what we showed above to demonstrate that our examples were sheaves.

Sometimes the gluing axiom is split into two axioms, one for existence and one for uniqueness. A presheaf that satisfies only uniqueness but not existence is called a separated presheaf.

[edit] A detailed example: A constant sheaf on a two point space

Constant presheaf on a two-point discrete space

Two-point discrete topological space

Let X be the topological space consisting of two points p and q with the discrete topology. X has four open sets:

∅, {p}, {q}, {p,q}

The nine possible inclusions of the open sets of X are the ones shown in the chart (and the four identity inclusions ∅⊆∅ etc. which are not depicted).

A presheaf on X chooses four sets, one for each of the open sets of X, and nine restriction maps, one for each of the nine inclusions above. The simplest way to choose the sets is to make them all the same. For this example, we will choose all four sets to be Z, the integers, and choose all restriction maps to be the identity. The resulting presheaf F is called the constant presheaf on X with value Z, and it is determined by the data depicted at the right.

Checking that F is a presheaf is the same as checking that F is a functor. This amounts to two facts:

F maps identity maps to identity maps. The identity map of an open set is its inclusion in itself, for instance ∅⊆∅ or {p}⊆{p}. This is true for F because each of these maps is sent to the identity map on Z (these maps are not depicted in the chart above).
F respects composition of maps. The maps in the category of open sets of X are inclusions, so this says that if U, V, and W are open sets with U ⊆ V ⊆ W, then F(U⊆W) = F(U⊆V)oF(V⊆W). Again this is true for F because each of these maps is sent to the identity map on Z.

Intermediate step for the constant sheaf

In particular, each of the restriction maps is injective, so F is a separated presheaf. It is not, however, a sheaf. F fails the normalization axiom, because F(∅) is not the terminal object of the category of sets. Instead it is Z. (F does, however, satisfy the gluing axiom.) To make F closer to a sheaf, we will construct a new presheaf G which satisfies the normalization axiom. G(∅) must be a one element set. We will denote this set by 0. When G is applied to an inclusion where one of the objects is the empty set, such as ∅⊆{p}, then the restriction map must be changed so that its codomain is G(∅). Because 0 is a one element set, there is a unique map from any set to 0 which we will also denote by 0. The resulting presheaf G is shown at the right.

Notice that as a consequence of the normalization, anything involving the empty set is boring. This is true for any presheaf satisfying the normalization axiom, and in particular for any sheaf.

G is a separated presheaf, but it is still not a sheaf. While it satisfies the normalization axiom, it now fails the gluing axiom. The only non-trivial open cover in X is the cover of {p,q} by the two open sets {p} and {q}. The intersection of {p} and {q} is ∅. A section on {p} is the same as an element of G({p}) = Z, that is, it is a number. Call this number m. Similarly, a section on {q} is also a number, say n. Assume that m is not equal to n. G(∅⊆{p})(m) = 0 and G(∅⊆{q})(n) = 0, so the two sections restrict to the same element on ∅. Consequently, the gluing axiom says that there should be a unique section on G({p, q}) which restricts to m on {p} and n on {q}. Call this section s. s is an element of G({p, q}) = Z, so s is an integer. The restriction map G({p}⊆{p,q}) is the identity, and the image of s under restriction to {p} is G({p}⊆{p,q})(s) = m by assumption. Therefore, s = m. By the same reasoning, s = n. But we assumed to start with that m was not n, so this is impossible. So the gluing axiom fails: It is not always possible to glue two sections which agree on overlaps.

Constant sheaf on a two-point topological space

The problem with G is that G({p, q}) is too small to carry information about the two points p and q. The most natural way to remedy this is to enlarge G({p, q}) and leave G({p}) and G({q}) unchanged. This will give us a new presheaf H. H({p, q}) must be at least large enough that it knows what integer lies over p and what integer lies over q, so a natural choice is Z ⊕ Z. The first copy of Z corresponds to the integer over p, and the second copy corresponds to the integer over q. The restriction maps should correspond to choosing one copy or the other of Z. Call the projection onto the first factor π₁ : Z ⊕ Z → Z and the projection onto the second factor π₂ : Z ⊕ Z → Z. H turns out to be a sheaf called the constant sheaf on X with value Z. Because we chose to work with the ring Z, and because all the restriction maps are ring homomorphisms, H is a sheaf of commutative rings.

In general, for any set S and any topological space X there is a constant presheaf F which has F(U) = S for all U and all restriction maps equal to the identity. F is never a sheaf because it fails the normalization axiom. Some authors take a slightly different definition of a constant presheaf analogous to G above. They define the constant presheaf to have G(U) = S for all nonempty U and all restriction maps between nonempty sets equal to the identity. G(∅) is taken to be a one element set, and restriction maps involving the empty set are taken to be the unique map to the one element set. In this case, G is always a separated presheaf, and G is a sheaf if and only if the topological space is irreducible. The argument that it is not a sheaf is analogous to the situation above.

There is also always a constant sheaf with value S, and it is usually denoted $\underline S$ . We let $\underline S(U)$ be the set of all functions from U to S which are constant on each connected component. In other words, if U has a single connected component, then $\underline S(U)$ is S. If U has two connected components, then $\underline S(U)$ is S × S; one factor of S is the section over one component, and the other factor is the section over the other component. Restriction corresponds to restriction of functions. It can be checked that this makes $\underline S$ a sheaf. More generally, if S is an object in a concrete category C which has all set-indexed products, then we define the constant sheaf $\underline S$ to be the sheaf which takes an open set U to the set of all functions U → S which are constant on the connected components of U. For example, this can always be done with Z to get the constant sheaf $\underline \bold{Z}$ ; this is the same as the sheaf H in the example above. If C is a category such as the category of groups or the category of commutative rings, this will give a sheaf of groups or a sheaf of commutative rings, respectively.

[edit] Examples

Because sheaves encode exactly the data needed to pass between local and global situations, there are many examples of sheaves occurring throughout mathematics. Here are some additional examples of sheaves:

Any continuous map of topological spaces determines a sheaf of sets. Let f : Y → X be a continuous map. We define a sheaf $Γ(Y / X)$ on X by setting $Γ(Y / X)(U)$ equal to the sections U → Y, that is, $Γ(Y / X)(U)$ is the set of all functions s : U → Y such that fs = id_U. Restriction is given by restriction of functions. This sheaf is called the sheaf of sections of f, and it is especially important when f is the projection of a fiber bundle onto its base space. Notice that if the image of f does not contain U, then $Γ(Y / X)(U)$ is empty. For a concrete example, take $X={\mathbb C} \backslash \{0\}$ , $Y={\mathbb C}$ , and $f (z) = exp(z)$ . $Γ(Y / X)(U)$ is the set of branches of the logarithm on $U$ .

Fix a point x in X and an object S in a category C. The skyscraper sheaf over x with stalk S is the sheaf S_x defined as follows: If U is an open set containing x, then S_x(U) = S. If U does not contain x, then S_x(U) is the terminal object of C. The restriction maps are either the identity on S, if both open sets contain x, or the unique map from S to the terminal object of C.

Some types of structure are defined by a space and a fixed sheaf on it. For example, a space together with a sheaf of rings is called a ringed space. If the stalks (see below) are all local rings, then it is a locally ringed space. If the sheaf of rings is locally the same as the elements of a commutative ring, we get a scheme.

[edit] Sheaves on manifolds

In the following examples M is an n-dimensional C^k-manifold. The table lists the values of certain sheaves over open subsets U of M and their restriction maps.

Sheaf	Sections over an open set U	Restriction maps	Remarks
Sheaf of j-times continuously differentiable functions $\mathcal{O}^j_M$ , j ≤ k	C^j-functions U → R	Restriction of functions.	This is a sheaf of rings with addition and multiplication given by pointwise addition and multiplication. When j = k, this sheaf is called the structure sheaf and is denoted $\mathcal{O}_M$ .
Sheaf of nonzero k-times continuously differentiable functions $\mathcal{O}_X^\times$	Nowhere zero C^k-functions U → R	Restriction of functions.	A sheaf of groups under pointwise multiplication.
Cotangent sheaves Ω^p_M	Differential forms of degree p on U	Restriction of differential forms.	Ω¹_M and Ωⁿ_M are commonly denoted Ω_M and ω_M, respectively.
Sheaf of distributions $\mathcal{DB}$	Distributions on U	The dual map to extension of smooth compactly supported functions by zero.	Here M is assumed to be smooth.
Sheaf of differential operators $\mathcal{D}_M$	Finite-order differential operators on U	Restriction of differential operators.	Here M is assumed to be smooth.

[edit] Presheaves which are not sheaves

Here are two examples of presheaves which are not sheaves:

Let X be the two-point topological space {x, y} with the discrete topology. Define a presheaf F as follows: F(∅) = ∅, F({x}) = R, F({y}) = R, F({x, y}) = R × R × R. The restriction map F({x, y}) → F({x}) is the projection of R × R × R onto its first coordinate, and the restriction map F({x, y}) → F({y}) is the projection of R × R × R onto its second coordinate. F is a presheaf which is not separated: A global section is determined by three numbers, but the values of that section over {x} and {y} determine only two of those numbers. So while we can glue any two sections over {x} and {y}, we cannot glue them uniquely.

Let X be the real line, and let F(U) be the set of bounded continuous functions on U. This is not a sheaf because it is not always possible to glue. For example, let U_i be the set of all x such that |x| < i. The identity function f(x) = x is bounded on each U_i. Consequently we get a section s_i on U_i. However, these sections do not glue, because the function f is not bounded on the complex plane. Consequently F is a presheaf, but not a sheaf. In fact, F is separated because it is a sub-presheaf of the sheaf of continuous functions.

[edit] Morphisms of sheaves

Heuristically speaking, a morphism of sheaves is analogous to a function between them. However, because sheaves contain data relative to every open set of a topological space, a morphism of sheaves is defined as a collection of functions, one for each open set, which satisfy a compatibility condition.

Let $\mathcal{F}$ and $\mathcal{G}$ be two sheaves on X with values in the category C. A morphism φ : $\mathcal{G}$ → $\mathcal{F}$ takes each open set U of X to a morphism φ(U) : $\mathcal{G}(U)$ → $\mathcal{F}(U)$ , subject to the condition that this morphism is compatible with restriction. In other words, for every open subset U of an open set V, we must have a commutative diagram:

This compatibility condition says that if we have a section s in $\mathcal{G}(V)$ , then mapping s to its image φ(V)(s) in $\mathcal{F}(V)$ and then restricting to U gives the same result as first restricting to U and then mapping the restriction to its image in $\mathcal{F}(U)$ .

Recall that we could also express a sheaf as a special kind of functor. In this language, a morphism of sheaves is a natural transformation of the corresponding functors. With this notion of morphism, there is a category of C-valued sheaves on X for any C. The objects are the C-valued sheaves, and the morphisms are morphisms of sheaves. An isomorphism of sheaves is an isomorphism in this category.

It can be proved that an isomorphism of sheaves is an isomorphism on each open set U. In other words, φ is an isomorphism if and only if for each U, φ(U) is an isomorphism. The same is true of monomorphisms, but not of epimorphisms. See sheaf cohomology.

Notice that we did not use the gluing axiom in defining a morphism of sheaves. Consequently, the above definition makes sense for presheaves as well. The category of C-valued presheaves is then a functor category, the category of contravariant functors from O(X) to C.

[edit] Turning a presheaf into a sheaf

Main article: Gluing axiom

It is frequently useful to take the data contained in a presheaf and to express it as a sheaf. It turns out that there is a best possible way to do this. It takes a presheaf F and produces a new sheaf aF called the sheaving, sheafification or sheaf associated to the presheaf F. a is called the sheaving functor, sheafification functor, or associated sheaf functor. There is a natural morphism of presheaves i : F → aF which has the universal property that for any sheaf G and any morphism of presheaves f : F → G, there is a unique morphism of sheaves $\tilde f : aF \rightarrow G$ such that $f = \tilde f i$ . In fact a is the adjoint functor to the inclusion functor from the category of sheaves to the category of presheaves, and i is the unit of the adjunction.

[edit] Images of sheaves

Image functors for sheaves
direct image f_∗ inverse image f^∗ direct image with compact support f_! exceptional inverse image Rf^! $f^* \leftrightarrows f_*$ $(R)f_! \leftrightarrows (R)f^!$

Main article: Image functors for sheaves

The definition of a morphism on sheaves makes sense only for sheaves on the same space X. This is because the data contained in a sheaf is indexed by the open sets of the space. If we have two sheaves on different spaces, then their data is indexed differently. There is no way to go directly from one set of data to the other.

However, it is possible to move a sheaf from one space to another using a continuous function. Let f : X → Y be a continuous function from a topological space X to a topological space Y. If we have a sheaf on X, we can move it to Y, and vice versa. There are four ways in which sheaves can be moved.

A sheaf $\mathcal{F}$ on X can be moved to Y using the direct image functor $f *$ or the direct image with proper support functor $f!$ .
A sheaf $\mathcal{G}$ on Y can be moved to X using the inverse image functor $f - 1$ or the twisted inverse image functor $f!$ .

The twisted inverse image functor $f!$ is, in general, only defined as a functor between derived categories. These functors come in adjoint pairs: $f - 1$ and $f *$ are left and right adjoints of each other, and $R f!$ and $f!$ are left and right adjoints of each other. The functors are intertwined with each other by Grothendieck duality and Verdier duality.

There is a different inverse image functor for sheaves of modules over sheaves of rings. This functor is usually denoted $f *$ and it is distinct from $f - 1$ . See inverse image functor.

[edit] Stalks of a sheaf

Main article: Stalk (sheaf)

The stalk $\mathcal{F}_x$ of a sheaf $\mathcal{F}$ captures the properties of a sheaf "around" a point x ∈ X. Here, "around" means that, conceptually speaking, one looks at smaller and smaller neighborhood of the point. Of course, no single neighborhood will be small enough, so we will have to take a limit of some sort.

The stalk is defined by

$\mathcal{F}_x = \varinjlim_{U\ni x} \mathcal{F}(U)$ ,

the direct limit being over all open subsets of X containing the given point x. In other words, an element of the stalk is given by a section over some open neighborhood of x, and two such sections are considered equivalent if their restrictions agree on a smaller neighborhood.

The natural morphism F(U) → F_x takes a section s in F(U) to its germ. This generalises the usual definition of a germ.

A different way of defining the stalk is

$\mathcal{F}_x := i^{-1}\mathcal{F}(\{x\})$ ,

where i is the inclusion of the one-point space {x} into X. The equivalence follows from the definition of the inverse image.

In many situations, knowing the stalks of a sheaf is enough to control the sheaf itself. For example, whether or not a morphism of sheaves is a monomorphism, epimorphism, or isomorphism can be tested on the stalks. They also find use in constructions such as Godement resolutions.

[edit] The étale space of a sheaf

In the examples above it was noted that some sheaves occur naturally as sheaves of sections. In fact, all sheaves of sets can be represented as sheaves of sections of a topological space called the étale space. If F is a sheaf over X, then the étale space of F is a topological space E together with a local homeomorphism π: E → X; the sheaf of sections of π is F. E is usually a very strange space, and even if the sheaf F arises from a natural topological situation, E may not have any clear topological interpretation. For example, if F is the sheaf of sections of a continuous function f : Y → X, then E = Y if and only if f is a covering map.

The étale space E is constructed from the stalks of F over X. As a set, it is their disjoint union and π is the obvious map which takes the value x on the stalk of F over x ∈ X. The topology of E is defined as follows. For each element s of F(U) and each x in U, we get a germ of s at x. These germs determine points of E. For any U and s ∈ F(U), the union of these points (for all x ∈ U) is declared to be open in E. Notice that each stalk has the discrete topology. Two morphisms between sheaves determine a continuous map of the corresponding étale spaces which is compatible with the projection maps (in the sense that every germ is mapped to a germ over the same point). This makes the construction into a functor.

This gives an example of an étale space over X. An étale space is a topological space E together with a continuous map π: E → X which is a local homeomorphism such that each fiber of π has the discrete topology. The construction above determines an equivalence of categories between the category of sheaves of sets on X and the category of étalé spaces over X. The construction of an étale space can also be applied to a presheaf, in which case the sheaf of sections of the étale space recovers the sheaf associated to the given presheaf.

The map π is an example of what is sometimes called an étale map. "Étale" here means the same thing as "local homeomorphism". However, the terminology "étale map" is more common in contexts where the right analogue of a local homeomorphism of manifolds is not characterized by the property of being a local homeomorphism. This is the case in algebraic geometry. For more information see the article étale morphism.

This construction makes all sheaves into representable functors on certain categories of topological spaces. As above, let F be a sheaf on X, let E be its étale space, and let π: E → X be the natural projection. Consider the category Top/X of topological spaces over X, that is, the category of topological spaces together with fixed continuous maps to X. Every object of this space is a continuous map f : Y → X, and a morphism from Y → X to Z → X is a continuous map Y → Z which commutes with the two maps to X. There is a functor Γ from Top/X to the category of sets which takes an object f : Y → X to (f⁻¹F)(Y). For example, if i : U → X is the inclusion of an open subset, then Γ(i) = (i⁻¹F)(U) agrees with the usual F(U), and if i : {x} → X is the inclusion of a point, then Γ({x}) = (i⁻¹F)({x}) is the stalk of F at x. There is a natural isomorphism

$(f^{-1}F)(Y) \cong \text{Hom}_{\mathbf{Top}/X}(f, \pi)$

which shows that E represents the functor Γ.

The definition of sheaves by étale spaces is older than the definition given earlier in the article. It is still common in some areas of mathematics such as mathematical analysis.

[edit] Sheaf cohomology

Main article: Sheaf cohomology

It was noted above that the functor $Γ(U, - )$ preserves isomorphisms and monomorphisms, but not epimorphisms. If F is a sheaf of abelian groups, or more generally a sheaf with values in an abelian category, then $Γ(U, - )$ is actually a left exact functor. This means that it is possible to construct derived functors of $Γ(U, - )$ . These derived functors are called the cohomology groups (or modules) of F and are written $H i (U, - )$ .

Unfortunately, applying this definition to a computation is nearly impossible. One way of making computations is by Čech cohomology. Čech cohomology was the first cohomology theory developed for sheaves and it is well-suited to concrete calculations. It relates sections on open subsets of the space to cohomology classes on the space. In most cases, Čech cohomology computes the same cohomology groups as the derived functor cohomology. However, for some pathological spaces, Čech cohomology will give the correct $H 1$ but incorrect higher cohomology groups. To get around this, Jean-Louis Verdier developed hypercoverings. Hypercoverings not only give the correct higher cohomology groups but also allow the open subsets mentioned above to be replaced by certain morphisms from another space. This flexibility is necessary in some applications, such as the construction of Pierre Deligne's mixed Hodge structures.

Unfortunately, computations via Čech cohomology tend to be very messy. A much cleaner approach to the computation of some cohomology groups is the Borel–Bott–Weil theorem, which identifies the cohomology groups of some line bundles on flag manifolds with irreducible representations of Lie groups. This theorem can be used, for example, to easily compute the cohomology groups of all line bundles on projective space.

[edit] Sites and topoi

Main articles: Grothendieck topology and Topos

André Weil's Weil conjectures stated that there was a cohomology theory for algebraic varieties over finite fields which would give an analogue of the Riemann hypothesis. The only natural topology on such a variety, however, is the Zariski topology, but sheaf cohomology in the Zariski topology is badly behaved because there are very few open sets. Alexandre Grothendieck solved this problem by introducing Grothendieck topologies, which axiomatize the notion of covering. Grothendieck's insight was that the definition of a sheaf depends only on the open sets of a topological space, not on the individual points. Once he had axiomatized the notion of covering, open sets could be replaced by other objects. A presheaf takes each one of these objects to data, just as before, and a sheaf is a presheaf that satisfies the gluing axiom with respect to our new notion of covering. This allowed Grothendieck to define étale cohomology and l-adic cohomology, which eventually were used to prove the Weil conjectures.

A category with a Grothendieck topology is called a site. A category of sheaves on a site is called a topos or a Grothendieck topos. The notion of a topos was later abstracted by William Lawvere and Miles Tierney to define an elementary topos, which has connections to mathematical logic.

[edit] History

The first origins of sheaf theory are hard to pin down — they may be co-extensive with the idea of analytic continuation. It took about 15 years for a recognisable, free-standing theory of sheaves to emerge from the foundational work on cohomology.

1936 Eduard Čech introduces the nerve construction, for associating a simplicial complex to an open covering.
1938 Hassler Whitney gives a 'modern' definition of cohomology, summarizing the work since J. W. Alexander and Kolmogorov first defined cochains.
1943 Norman Steenrod publishes on homology with local coefficients.
1945 Jean Leray publishes work carried out as a prisoner of war, motivated by proving fixed point theorems for application to PDE theory; it is the start of sheaf theory and spectral sequences.
1947 Henri Cartan reproves the de Rham theorem by sheaf methods, in correspondence with André Weil (see De Rham-Weil theorem). Leray gives a sheaf definition in his courses via closed sets (the later carapaces).
1948 The Cartan seminar writes up sheaf theory for the first time.
1950 The 'second edition' sheaf theory from the Cartan seminar: the sheaf space (espace étalé) definition is used, with stalkwise structure. Supports are introduced, and cohomology with supports. Continuous mappings give rise to spectral sequences. At the same time Kiyoshi Oka introduces an idea (adjacent to that) of a sheaf of ideals, in several complex variables.
1951 The Cartan seminar proves the Theorems A and B based on Oka's work.
1953 The finiteness theorem for coherent sheaves in the analytic theory is proved by Cartan and Jean-Pierre Serre, as is Serre duality.
1954 Serre's paper Faisceaux algébriques cohérents (published in 1955) introduces sheaves into algebraic geometry. These ideas are immediately exploited by Hirzebruch, who writes a major 1956 book on topological methods.
1955 Alexander Grothendieck in lectures in Kansas defines abelian category and presheaf, and by using injective resolutions allows direct use of sheaf cohomology on all topological spaces, as derived functors.
1956 Oscar Zariski's report Algebraic sheaf theory
1957 Grothendieck's Tohoku paper rewrites homological algebra; he proves Grothendieck duality (i.e., Serre duality for possibly singular algebraic varieties).
1958 Godement's book on sheaf theory is published. At around this time Mikio Sato proposes his hyperfunctions, which will turn out to have sheaf-theoretic nature.
1957 onwards: Grothendieck extends sheaf theory in line with the needs of algebraic geometry, introducing: schemes and general sheaves on them, local cohomology, derived categories (with Verdier), and Grothendieck topologies. There emerges also his influential schematic idea of 'six operations' in homological algebra.

At this point sheaves had become a mainstream part of mathematics, with use by no means restricted to algebraic topology. It was later discovered that the logic in categories of sheaves is intuitionistic logic (this observation is now often referred to as Kripke-Joyal semantics, but probably should be attributed to a number of authors). This shows that some of the facets of sheaf theory can also be traced back as far as Leibniz.

[edit] See also

[edit] References

Bredon, Glen E. (1997), Sheaf theory, vol. 170 (2nd ed.), Graduate Texts in Mathematics, Berlin, New York: Springer-Verlag, MR 1481706, ISBN 978-0-387-94905-5 (oriented towards conventional topological applications)
Godement, Roger (1973), Topologie algébrique et théorie des faisceaux, Paris: Hermann, MR 0345092
Grothendieck, Alexander (1957), “Sur quelques points d'algèbre homologique”, The Tohoku Mathematical Journal. Second Series 9: 119–221, MR 0102537, ISSN 0040-8735
Hirzebruch, Friedrich (1995), Topological methods in algebraic geometry, Classics in Mathematics, Berlin, New York: Springer-Verlag, MR 1335917, ISBN 978-3-540-58663-0 (updated edition of a classic using enough sheaf theory to show its power)
Kashiwara, Masaki & Schapira, Pierre (1994), Sheaves on manifolds, vol. 292, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Berlin, New York: Springer-Verlag, MR 1299726, ISBN 978-3-540-51861-7 (advanced techniques such as the derived category and vanishing cycles on the most reasonable spaces)
Mac Lane, Saunders & Moerdijk, Ieke (1994), Sheaves in geometry and logic, Universitext, Berlin, New York: Springer-Verlag, MR 1300636, ISBN 978-0-387-97710-2 (category theory and toposes emphasised)
Martin, W. T.; Chern, S. S. & Zariski, Oscar (1956), “Scientific report on the Second Summer Institute, several complex variables”, Bulletin of the American Mathematical Society 62: 79–141, MR 0077995, ISSN 0002-9904
Serre, Jean-Pierre (1955), “Faisceaux algébriques cohérents”, Annals of Mathematics. Second Series 61: 197–278, MR 0068874, ISSN 0003-486X, <http://www.jstor.org/view/0003486x/di961745/96p00036/0?currentResult=0003486x%2bdi961745%2b96p00036%2b0%2cFFFFFFFFFFFFEFAFBFFD07&searchUrl=http%3A%2F%2Fwww.jstor.org%2Fsearch%2FBasicResults%3Fhp%3D25%26si%3D1%26gw%3Djtx%26jtxsi%3D1%26jcpsi%3D1%26artsi%3D1%26Query%3Dfaisceaux%2Bserre%26wc%3Don>
Swan, R. G. (1964), The Theory of Sheaves, University of Chicago Press (concise lecture notes)
Tennison, B. R. (1975), Sheaf theory, Cambridge University Press, MR 0404390 (pedagogic treatment)

[edit] External links

Sheaf on PlanetMath