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.

1 Introduction
2 The formal definition
- 2.1 Definition of a presheaf
- 2.2 Definition of a sheaf
3 Examples
4 Morphisms of sheaves
5 Turning a presheaf into a sheaf
6 Direct and inverse images
7 Stalks of a sheaf
8 The étalé space of a sheaf
9 Sheaf cohomology
10 Sites and topoi
11 History
12 See also
13 References

[edit] Introduction

Sheaves are used to keep track of the relationship between local and global data. For this reason they are very 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 is 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. It says that if an open set U is covered by smaller open sets {U_i}_{i ∈ I}, then an element of F(U) is the same as a choice of element in F(U_i) for each i, subject to the condition that those elements are equal on the overlaps U_i ∩ U_j.

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. 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 \cap U_j} = f_j|_{U_i \cap 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 that the {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 \cap U_j} = f_j|_{U_i \cap 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. 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 \cap U_j} = V_j|_{U_i \cap 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 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 ⊆ 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 ⊆ V ⊆ 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 Top_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 Top_X to C. This definition can be generalized to the case when the source category is not of the form Top_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. A section over X is called a global section. This is by analogy with sections of fiber bundles or sections of the étalé space of a sheaf; see below. If C is a concrete category, then each element of F(U) is called a section. 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(∅) is the terminal object of C.

For this definition to make sense, C must have a terminal object, but in practice this always happens.

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] 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)$ 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 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.
Any C^k manifold M has a sheaf of k-times continuously differentiable functions. For each U, we set $\mathcal{O}_X(U)$ equal to the set of all C^k-functions U → R. Restriction is given by restriction of functions. This is a sheaf of rings with addition and multiplication given by pointwise addition and multiplication.
M has a sheaf $\mathcal{O}_X^\times$ of nonzero functions. That is, for each U, $\mathcal{O}_X^\times(U)$ equals the set of all non-zero real-valued functions on U. Restriction is given by restriction of functions. This is a sheaf of groups where the group operation is given by pointwise multiplication.
M also has a cotangent sheaf Ω_M. On each open set U, Ω_M(U) is the set of degree one differential forms on U. Restriction is given by restriction of differential forms. Similarly, for every p > 0, there is a sheaf Ω^p of differential p-forms.
If M is smooth, then for each open set U, we have a set $\mathcal{DB}(U)$ of real-valued distributions on U. Restriction is given by restriction of functions. Then $\mathcal{DB}$ is a sheaf called the sheaf of distributions.
If X is a complex manifold and U is an open set of X, let $\mathcal{D}_X(U)$ be the set of finite-order holomorphic differential operators on U. Letting restriction be given by restriction of functions, we get a sheaf $\mathcal{D}_X$ called the sheaf of holomorphic differential operators.
For any set S and any topological space X, there is a constant presheaf F which has F(U) = S for all U and restriction maps equal to the identity. F is not a sheaf: Let U and V be disjoint open sets and s and t be distinct elements of S. s determines a section in F(U), because s is in S and S = F(U). Similarly, t determines a section in F(V). Since U and V are disjoint, the hypothesis of the gluing axiom is vacuously true. Consequently there must be a section in F(U ∪ V) which restricts to s on U and to t on V, but that's impossible. So F is a presheaf, and even a separated presheaf, but not a sheaf.
However, there is a sheaf, called the constant sheaf on S, which is very similar to the constant presheaf. 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 be done when S is a ring such as Z to get the constant sheaf $\underline \bold{Z}$ . 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.
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.

Here is are 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 complex plane, and let F(U) be the set of bounded holomorphic 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 z such that |z| < i. The function f(z) = z is bounded on each U_i. Consequently we get a section s_i on U_i which is the restriction of the constant function to 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 subsheaf of the sheaf of holomorphic 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 φ(U)(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 Top_X to C.

[edit] Turning a presheaf into a sheaf

See the article gluing axiom for more information

It is frequently useful to take the data contained in a presheaf and to try 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 $\tilde F$ called the sheaving, sheafification or sheaf associated to the presheaf $F$ . There is a natural morphism of presheaves $a : F \rightarrow \tilde F$ , and this morphism satisfies a universal property: If $G$ is a sheaf and $f : F \rightarrow G$ is a morphism of presheaves, then there is a unique morphism of sheaves $\tilde f : \tilde F \rightarrow G$ such that $f = \tilde f a$ . In fact, a is the adjoint functor to the inclusion functor from the category of sheaves to the category of presheaves.

[edit] Direct and inverse images

See the main articles direct image functor and inverse image functor

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.

Concretely, let $\mathcal{F}$ be a sheaf on X. We define the direct image or pushforward $f_*\mathcal{F}$ of $\mathcal{F}$ to be the sheaf on Y that takes open sets U of Y to the object $\mathcal{F}(f^{-1}(U))$ . If V is an open subset of U, then the restriction map res_V,U is defined to be the restriction map $\mbox{res}_{f^{-1}(V),f^{-1}(U)} : \mathcal{F}(f^{-1}(U)) \rightarrow \mathcal{F}(f^{-1}(V))$ . It can be checked that this is still a sheaf.

Suppose instead that we have a sheaf $\mathcal{G}$ on Y and that we want to transport $\mathcal{G}$ to X using f. We will call the result the inverse image or pullback sheaf $f^{-1}\mathcal{G}$ . If we try to imitate the direct image by setting $f^{-1}\mathcal{G}(U) = \mathcal{G}(f(U))$ for each open set U of X, we immediately run into a problem: f(U) is not necessarily open. The best we can do is to approximate it by open sets, and even then we will get a presheaf, not a sheaf. Consequently we define $f^{-1}\mathcal{G}$ to be the sheaf associated to the presheaf:

$U \mapsto \varinjlim_{V\supseteq f(U)}\mathcal{G}(V)$

To define the restriction maps, we use the universal property of direct limits.

It is possible to define the direct image and the inverse image of a morphism of sheaves as well, and using this definition, f_* and f^-1 become functors. In fact, f^-1 is the left adjoint of f_*. This implies that there are natural unit and counit morphisms $\mathcal{G} \rightarrow f_*f^{-1}\mathcal{G}$ and $f^{-1}f_*\mathcal{F} \rightarrow \mathcal{F}$ . However, these are almost never isomorphisms.

There is a different inverse image functor f^* which appears when working with sheaves of modules on ringed spaces. It is related to, but not the same as, the inverse image functor f^-1. See the main article on the inverse image functor.

[edit] Stalks of a sheaf

Sheaves are defined on open sets, but the underlying topological space X consists of points. It is reasonable to attempt to isolate the behavior of a sheaf at a single fixed point x of X. Conceptually speaking, we do this by looking at small neighboorhoods of the point. If we look at a sufficiently small neighboorhood of x, the behavior of the sheaf $\mathcal{F}$ on that small neighboorhood should be the same as the behavior of $\mathcal{F}$ at that point. Of course, no single neighboorhood will be small enough, so we will have to take a limit of some sort.

To make this precise, remember that if we have an inclusion of an open set V into an open set U, we get a restriction map $\mathcal{F}(U) \rightarrow \mathcal{F}(V)$ . Every restriction map gets us closer to a small neighboorhood of x, so to get the local behavior of $\mathcal{F}$ at x, we want to take a limit over all the open sets and all the restriction maps. In other words, we want to take a direct limit indexed over all the open sets containing x. We define the stalk of $\mathcal{F}$ at x to be:

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

For some categories C this may not exist. However, it exists for most categories which occur in practice, such as the category of sets or most categories of algebraic objects such as abelian groups or rings.

Because we defined the germ as a direct limit over open sets, there is a natural morphism F(U) → F_x for any open set U containing x. This takes a section s in F(U) to its germ. This is a generalization of the usual concept of a germ, which can be recovered by looking at the stalks of the sheaf of continuous functions on X.

For some sheaves, germs give good local information. For example, the germ of an analytic function at a point determines the function in a small neighboorhood of the point because the germ records the function's power series expansion. However, the germ of a smooth function at a point is often too small to give useful information: A bump function cannot be distinguished from a constant function!

There is another approach to defining a germ which is useful in some contexts. Choose a point x of X, and let i be the inclusion of the one point space {x} into X. Then the stalk $\mathcal{F}_x$ is the same as the inverse image sheaf $i^{-1}\mathcal{F}$ . Notice that the only open sets of the one point space {x} are {x} and ∅, and there is no data over the empty set. Over {x}, however, we get:

$i^{-1}\mathcal{F}(\{x\}) = \varinjlim_{U\supseteq\{x\}} \mathcal{F}(U) = \varinjlim_{U\ni x} \mathcal{F}(U) = \mathcal{F}_x$ .

[edit] The étalé 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. If F is a sheaf, then this topological space is called the étalé space of F. It is a topological space E together with a continuous map π : E → X. π is a local homeomorphism, and the sheaf of sections of π is F.

E is constructed from the stalks of X. As a set, it is their disjoint union. 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. The union of these germs is declared to be open, and from this we get a topology on E. Notice that each stalk has the discrete topology. Two morphisms between sheaves determine a continuous map of the corresponding étalé 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.

The spaces that we get are étalé spaces over X, that is, topological spaces 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 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. For example, this is the case in algebraic geometry. See the article étale morphism.

The definition of sheaves by étalé spaces is older than the definition used above. It is still common in some areas of mathematics such as mathematical analysis.

[edit] Sheaf cohomology

See the 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. To make computations, we can apply Č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.

[edit] Sites and topoi

See the main articles Grothendieck topology, Topos, and Background and genesis of topos theory

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 of 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 were eventually 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 POW, 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 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, Scientific report on the Second summer Institute : Several complex variables [1954, Boulder (Col.)], Part III., Bull. Amer. math. Soc., t. 62, 1956, p. 117-141.
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, the derived category (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

Topologie algébrique et théorie des faisceaux, Roger Godement
The Theory of Sheaves (University of Chicago Press,1964) R. G. Swan (concise lecture notes)
Sheaf Theory (London Math. Soc.Lecture Note Series 20, Cambridge University Press, 1975) B. R. Tennison (pedagogic treatment)
Sheaf Theory, 2nd Edition (1997) Glen E. Bredon (oriented towards conventional topological applications)
Sheaves in Geometry and Logic (Springer-Verlag, 1992) S. Mac Lane and I. Moerdijk (category theory and toposes emphasised)
Topological methods in algebraic geometry (Springer-Verlag, Berlin, 1995) F. Hirzebruch (updated edition of a classic using enough sheaf theory to show its power)
Sheaves on Manifolds (1990) M. Kashiwara and P. Schapira (advanced techniques such as the derived category and vanishing cycles on the most reasonable spaces)

Retrieved from "http://en.wikipedia.org../../../s/h/e/Sheaf_%28mathematics%29.html"

Categories: Sheaf theory | Topological methods of algebraic geometry | Algebraic topology

See also ebooksgratis.com: no banners, no cookies, totally FREE.