Sheaf (mathematics) - Citizendia

In mathematics, a sheaf is the basic tool for expressing relationships between small regions of a space and large regions. Mathematics is the body of Knowledge and Academic discipline that studies such concepts as Quantity, Structure, Space and Space is the extent within which Matter is physically extended and objects and Events have positions relative to one another 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. Topological spaces are mathematical structures that allow the formal definition of concepts such as Convergence, connectedness, and continuity. In Metric topology and related fields of Mathematics, a set U is called open if intuitively speaking starting from any point x in In Mathematics, a group is a set of elements together with an operation that combines any two of its elements to form a third element In Mathematics, a ring is an Algebraic structure which generalizes the algebraic properties of the Integers though the rational, real Often these data are a collection of geometric objects defined on that region, such as functions, vector fields, or differential forms. The Mathematical concept of a function expresses dependence between two quantities one of which is given (the independent variable, argument of the function In Mathematics a vector field is a construction in Vector calculus which associates a vector to every point in a (locally Euclidean space. In the mathematical fields of Differential geometry and Tensor calculus, differential forms are an approach to Multivariable calculus which is 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.

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. Topology ( Greek topos, "place" and logos, "study" is the branch of Mathematics that studies the properties of Differential geometry is a mathematical discipline that uses the methods of differential and integral Calculus to study problems in Geometry Algebraic geometry is a branch of Mathematics which as the name suggests combines techniques of Abstract algebra, especially Commutative algebra, with Number theory is the branch of Pure mathematics concerned with the properties of Numbers in general and Integers in particular as well as the wider classes Analysis has its beginnings in the rigorous formulation of Calculus. In Mathematics, category theory deals in an abstract way with mathematical Structures and relationships between them it abstracts from sets 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. In Mathematics, the gluing axiom is introduced to define what a sheaf F on a Topological space X must satisfy given that it is a 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.

Sheaves of functions

The most basic example is the sheaf of continuous real-valued functions on a topological space X. Topological spaces are mathematical structures that allow the formal definition of concepts such as Convergence, connectedness, and continuity. 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. In Mathematics, a vector space (or linear space) is a collection of objects (called vectors) that informally speaking may be scaled and added In Mathematics, specifically in Ring theory, an algebra over a commutative ring is a generalization of the concept of an algebra over a field, where the

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 Mathematical analysis, a differentiability class is a classification of functions according to the properties of their Derivatives Higher order differentiability 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.

Sheaves of vector fields

Let M be a smooth manifold. A differentiable manifold is a type of Manifold that is locally similar enough to Euclidean space to allow one to do Calculus. 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. In Mathematics a vector field is a construction in Vector calculus which associates a vector to every point in a (locally Euclidean space. In Mathematics, the tangent space of a Manifold is a concept which facilitates the generalization of vectors from Affine spaces to general manifolds since 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. In Mathematics, the tangent bundle of a smooth (or differentiable manifold M, denoted by T ( M) or just TM, is the 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.

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.

Definition of a presheaf

Let X be a topological space, and let C be a category. In Mathematics, a category is a fundamental and abstract way to describe mathematical entities and their relationships Usually C is the category of sets, the category of groups, the category of abelian groups, or the category of commutative rings. In Mathematics, the category of sets, denoted as Set, is the category whose objects are all sets and whose Morphisms are In Mathematics, the category Grp has the class of all groups for objects and Group homomorphisms for Morphisms As such In Mathematics, the category Ab has the Abelian groups as objects and Group homomorphisms as Morphisms This is the prototype In Mathematics, the category of rings, denoted by Ring, is the category whose objects are rings (with identity and whose Morphisms 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. In Mathematics, a morphism is an abstraction derived from structure-preserving mappings between two Mathematical structures The study of morphisms and

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. In Mathematics, category theory deals in an abstract way with mathematical Structures and relationships between them it abstracts from sets 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. In Mathematics, a category is a fundamental and abstract way to describe mathematical entities and their relationships Then a C-valued presheaf on X is the same as a contravariant functor from O(X) to C. In Category theory, a branch of Mathematics, a functor is a special type of mapping between categories 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). In Category theory, a branch of Mathematics, a V-valued presheaf F on a category C is a functor FC^\mathrm{op}\to\mathbf{V}

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. In Mathematics, a concrete category is commonly understood as a category whose objects are structured sets, whose Morphisms are structure-preserving 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. In Mathematics, in particular in Topology, a fiber bundle (or fibre bundle) is a space which looks locally like a Product space. 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. In Mathematics, sheaf cohomology is the aspect of Sheaf theory, concerned with sheaves of Abelian groups that applies Homological algebra to

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. In Mathematics, a concrete category is commonly understood as a category whose objects are structured sets, whose Morphisms are structure-preserving For a more abstract and general formulation, see the article gluing axiom. In Mathematics, the gluing axiom is introduced to define what a sheaf F on a Topological space X must satisfy given that it is a

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.

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. In Topology, a discrete space is a particularly simple example of a Topological space or similar structure one in which the points are " isolated " 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. In Mathematics, a hyperconnected space is a Topological space X that cannot be written as the union of two proper closed sets 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.

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. In Mathematics, in particular in Topology, a fiber bundle (or fibre bundle) is a space which looks locally like a Product 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. In Mathematics, a ringed space is intuitively speaking a space together with a collection of Commutative rings the elements of which are "functions" on If the stalks (see below) are all local rings, then it is a locally ringed space. In Mathematics, more particularly in Abstract algebra, local rings are certain rings that are comparatively simple and serve to describe what is called In Mathematics, a ringed space is intuitively speaking a space together with a collection of Commutative rings the elements of which are "functions" on If the sheaf of rings is locally the same as the elements of a commutative ring, we get a scheme. In Mathematics, a scheme is an important concept connecting the fields of Algebraic geometry, Commutative algebra and Number theory.

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. In the mathematical fields of Differential geometry and Tensor calculus, differential forms are an approach to Multivariable calculus which is	Ω¹_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. In Mathematical analysis, distributions (also known as generalized functions) are objects which generalize functions and Probability distributions	Here M is assumed to be smooth.
Sheaf of differential operators $\mathcal{D}_M$	Finite-order differential operators on U	Restriction of differential operators. In Mathematics, a differential operator is an Operator defined as a function of the differentiation operator	Here M is assumed to be smooth.

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. In Mathematics, the real line is simply the set R of singleton Real numbers However this term is usually used when R is to be treated as a In Mathematics, a function f defined on some set X with real or complex values is called bounded, if the set 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.

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 Mathematics, a morphism is an abstraction derived from structure-preserving mappings between two Mathematical structures The study of morphisms and 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)$ . In mathematics and especially in Category theory a commutative diagram is a Diagram of objects also known as vertices, and Morphisms also

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. In Category theory, a branch of Mathematics, a natural transformation provides a way of transforming one Functor into another while respecting the internal 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. In Abstract algebra, an isomorphism ( Greek: ἴσος isos "equal" and μορφή morphe "shape" is a bijective

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. In the context of Abstract algebra or Universal algebra, a monomorphism is simply an Injective Homomorphism. In Category theory an epimorphism (also called an epic morphism or an epi) is a Morphism f: X &rarr Y which See sheaf cohomology. In Mathematics, sheaf cohomology is the aspect of Sheaf theory, concerned with sheaves of Abelian groups that applies Homological algebra to

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. In Category theory, a branch of Mathematics, the Functors between two given categories can themselves be turned into a category the morphisms in this functor

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. In Mathematics, the gluing axiom is introduced to define what a sheaf F on a Topological space X must satisfy given that it is a 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.

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. In Mathematics, especially in sheaf theory, a domain applied in areas such as Topology, Logic and Algebraic geometry, there are four image In Mathematics, in the field of Sheaf theory and especially in Algebraic geometry, the direct image functor generalizes the notion of a Section of In Mathematics, the inverse image functor is a Contravariant construction of sheaves In Mathematics, in the theory of sheaves the direct image with compact support is an image Functor for sheaves In Mathematics, more specifically Sheaf theory, a branch of Topology and Algebraic geometry, the exceptional inverse image functor is the fourth In Mathematics, especially in sheaf theory, a domain applied in areas such as Topology, Logic and Algebraic geometry, there are four image 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!$ . In Mathematics, in the field of Sheaf theory and especially in Algebraic geometry, the direct image functor generalizes the notion of a Section of
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!$ . In Mathematics, the inverse image functor is a Contravariant construction of sheaves

The twisted inverse image functor $f!$ is, in general, only defined as a functor between derived categories. In Mathematics, the derived category D ( C) of an Abelian category C is a construction of Homological algebra introduced 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. Coherent duality in Mathematics refers to a number of generalisations of Serre duality, applying to Coherent sheaves, in Algebraic geometry and In mathematics Verdier duality is a generalization of the Poincaré duality of Manifolds to spaces with singularities

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. In Mathematics, the inverse image functor is a Contravariant construction of sheaves

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. The stalk of a sheaf is a mathematical construction capturing the behaviour of a sheaf around a given point Here, "around" means that, conceptually speaking, one looks at smaller and smaller neighborhood of the point. In Topology and related areas of Mathematics, a neighbourhood (or neighborhood) is one of the basic concepts in a Topological space. 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 Mathematics, the direct limit (also called the inductive limit) is a general method of taking colimits of "directed families of objects" 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. In Mathematics, a germ of ( continuous, differentiable or analytic) functions is an Equivalence class of (continuous differentiable

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 Mathematics, the inverse image functor is a Contravariant construction of sheaves

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. In Algebraic geometry, the Godement resolution, named after Roger Godement, of a Sheaf allows one to view all of its local information globally

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. In Topology, a local homeomorphism is a map from one Topological space to another that respects locally the topological structure of the two spaces 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. In Mathematics, a covering space is a Topological space C which "covers" another space X by a Surjective Local homeomorphism

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. In Set theory, a disjoint union (or discriminated union) is a modified union operation which indexes the elements according to which set they originated 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. In Topology, a discrete space is a particularly simple example of a Topological space or similar structure one in which the points are " isolated " 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. In Category theory, an abstract branch of Mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are 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. Algebraic geometry is a branch of Mathematics which as the name suggests combines techniques of Abstract algebra, especially Commutative algebra, with For more information see the article étale morphism. In Algebraic geometry, a field of Mathematics, an étale morphism (pronunciation /etal/) is an algebraic analogue of the notion of a local isomorphism in

This construction makes all sheaves into representable functors on certain categories of topological spaces. In Mathematics, especially in Category theory, a representable functor is a Functor of a special form from an arbitrary category into the 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. Analysis has its beginnings in the rigorous formulation of Calculus.

Sheaf cohomology

Main article: Sheaf cohomology

It was noted above that the functor $Γ(U, - )$ preserves isomorphisms and monomorphisms, but not epimorphisms. In Mathematics, sheaf cohomology is the aspect of Sheaf theory, concerned with sheaves of Abelian groups that applies Homological algebra to 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. In Mathematics, an abelian category is a category in which Morphisms and objects can be added and in which kernels and Cokernels exist In Homological algebra, an exact functor is a Functor, from some category to another which preserves Exact sequences Exact functors are very This means that it is possible to construct derived functors of $Γ(U, - )$ . In Mathematics, certain Functors may be derived to obtain other functors closely related to the original ones 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 is a particular type of Cohomology in Mathematics. Č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. Jean-Louis Verdier (1935 &ndash 1989 was a French Mathematician who worked under the guidance of Alexander Grothendieck, on derived categories 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. Pierre René Viscount Deligne (born 3 October 1944 in Brussels) is a Belgian Mathematician. In mathematics a Hodge structure is an algebraic structure at the level of Linear algebra, similar to the one that Hodge theory gives to the Cohomology groups

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. In Mathematics, the Borel–Bott–Weil theorem is a basic result in the Representation theory of Lie groups showing how a family of representations can In Mathematics, a line bundle expresses the concept of a line that varies from point to point of a space In the mathematical field of Representation theory, group representations describe abstract groups in terms of Linear transformations of In Mathematics, a Lie group (ˈliː sounds like "Lee" is a group which is also a Differentiable manifold, with the property that the group This theorem can be used, for example, to easily compute the cohomology groups of all line bundles on projective space.

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. In Category theory, a branch of Mathematics, a Grothendieck topology is a structure on a category C which makes the objects of C act like the In Mathematics, a topos (plural "topoi" or "toposes" is a type of category that behaves like the category of sheaves of sets André Weil should not be confused with two other mathematicians with similar names Hermann Weyl (1885-1955 who made substantial contributions In Mathematics, the Weil conjectures, which had become theorems by 1974 were some highly-influential proposals from the late 1940s by André Weil on the In Algebraic geometry, a subfield of Mathematics, a Weil cohomology or Weil cohomology theory is a cohomology satisfying certain axioms concerning the interplay This article is about algebraic varieties For the term "a variety of algebras" and an explanation of the difference between a variety of algebras and an algebraic variety In Abstract algebra, a finite field or Galois field (so named in honor of Évariste Galois) is a field that contains only finitely many elements The Riemann hypothesis (also called the Riemann zeta-hypothesis) first formulated by Bernhard Riemann in 1859 is one of the most famous and important unsolved 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. In Mathematics, namely Algebraic geometry, the Zariski topology is a particular Topology chosen for algebraic varieties that reflects the algebraic Alexandre Grothendieck solved this problem by introducing Grothendieck topologies, which axiomatize the notion of covering. Experimental infobox see Wikipedia talkPersondata before changing --> Alexander Grothendieck (born March 28, 1928 in Berlin, Germany In Category theory, a branch of Mathematics, a Grothendieck topology is a structure on a category C which makes the objects of C act like the 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. In Mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological In Mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological

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. Francis William Lawvere (b February 9 1937 in Muncie Indiana is a Mathematician known for his work in Category theory, topos theory and the Philosophy In Mathematics, a topos (plural "topoi" or "toposes" is a type of category that behaves like the category of sheaves of sets Mathematical logic is a subfield of Logic and Mathematics with close connections to Computer science and Philosophical logic.

History

The first origins of sheaf theory are hard to pin down — they may be co-extensive with the idea of analytic continuation. In Complex analysis, a branch of Mathematics, analytic continuation is a technique to extend the domain of definition of a given Analytic function. It took about 15 years for a recognisable, free-standing theory of sheaves to emerge from the foundational work on cohomology. In Mathematics, specifically in Algebraic topology, cohomology is a general term for a Sequence of Abelian groups defined from a Cochain

1936 Eduard Čech introduces the nerve construction, for associating a simplicial complex to an open covering. Eduard Čech (ˈʧɛx ( June 29, 1893 – March 15, 1960) was a Czech Mathematician born in Stračov, Bohemia In Mathematics, the nerve of an open covering is a construction in Topology, of an Abstract simplicial complex from an Open covering of a In Mathematics, a simplicial complex is a Topological space of a particular kind constructed by "gluing together" points Line segments
1938 Hassler Whitney gives a 'modern' definition of cohomology, summarizing the work since J. W. Alexander and Kolmogorov first defined cochains. Hassler Whitney ( 23 March 1907 &ndash 10 May 1989) was an American Mathematician. James Waddell Alexander II ( September 19, 1888 – September 23, 1971) was an important Topologist of the pre-WWII era and part of Andrey Nikolaevich Kolmogorov (Андрей Николаевич Колмогоров ( April 25, 1903 - October 20, 1987) was a Soviet In Mathematics, a chain complex is a construct originally used in the field of Algebraic topology.
1943 Norman Steenrod publishes on homology with local coefficients. Norman Earl Steenrod ( April 22, 1910 – October 14, 1971) was a preeminent Mathematical Topologist who most widely known for his contributions In Mathematics, local coefficients is an idea from Algebraic topology, a kind of half-way stage between Homology theory or Cohomology theory
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. Jean Leray ( 7 November 1906 &ndash 10 November 1998) was a French Mathematician, who worked on both Partial differential In Mathematics, partial differential equations ( PDE) are a type of Differential equation, i In the area of Mathematics known as Homological algebra, especially in Algebraic topology and Group cohomology, a spectral sequence is a
1947 Henri Cartan reproves the de Rham theorem by sheaf methods, in correspondence with André Weil (see De Rham-Weil theorem). Henri Paul Cartan ( July 8, 1904 &ndash August 13, 2008) was a son of Élie Cartan, and was as his father was a distinguished In Mathematics, de Rham cohomology (after Georges de Rham) is a tool belonging both to Algebraic topology and to Differential topology, capable André Weil should not be confused with two other mathematicians with similar names Hermann Weyl (1885-1955 who made substantial contributions In Algebraic topology, the De Rham-Weil theorem allows computation of Sheaf cohomology using an acyclic resolution of the sheaf in question 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. In Mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the Open sets of a Topological space. Supports are introduced, and cohomology with supports. Continuous mappings give rise to spectral sequences. In the area of Mathematics known as Homological algebra, especially in Algebraic topology and Group cohomology, a spectral sequence is a At the same time Kiyoshi Oka introduces an idea (adjacent to that) of a sheaf of ideals, in several complex variables. ( April 19, 1901 &ndash March 1, 1978) was a Japanese Mathematician, who did fundamental work in the theory of Several complex The theory of functions of several complex variables is the branch of Mathematics dealing with functions f ( z1 z2
1951 The Cartan seminar proves the Theorems A and B based on Oka's work. In Mathematics, Cartan's theorems A and B are two results proved by Henri Cartan around 1951 concerning a Coherent sheaf F on a
1953 The finiteness theorem for coherent sheaves in the analytic theory is proved by Cartan and Jean-Pierre Serre, as is Serre duality. In Mathematics, especially in Algebraic geometry and the theory of Complex manifolds coherent sheaves are specific class of sheaves having In Algebraic geometry, a branch of Mathematics, Serre duality is a duality present on Non-singular projective algebraic varieties
1954 Serre's paper Faisceaux algébriques cohérents (published in 1955) introduces sheaves into algebraic geometry. Algebraic geometry is a branch of Mathematics which as the name suggests combines techniques of Abstract algebra, especially Commutative algebra, with These ideas are immediately exploited by Hirzebruch, who writes a major 1956 book on topological methods. Friedrich EP Hirzebruch (born 17 October 1927) is a German mathematician working in the fields of Topology, Complex
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. Experimental infobox see Wikipedia talkPersondata before changing --> Alexander Grothendieck (born March 28, 1928 in Berlin, Germany Kansas ( is a Midwestern state in the central region of the United States of America, an area often referred to as the American " In Mathematics, an abelian category is a category in which Morphisms and objects can be added and in which kernels and Cokernels exist In Mathematics, especially in the area of Abstract algebra known as Module theory, an injective module is a module Q that shares certain In Mathematics, certain Functors may be derived to obtain other functors closely related to the original ones
1956 Oscar Zariski's report Algebraic sheaf theory
1957 Grothendieck's Tohoku paper rewrites homological algebra; he proves Grothendieck duality (i. Oscar Zariski (born Oscher Zaritsky 24 April 1899 in Kobrin, Poland (today Belarus) died 4 July Homological algebra is the branch of Mathematics which studies homology in a general algebraic setting Coherent duality in Mathematics refers to a number of generalisations of Serre duality, applying to Coherent sheaves, in Algebraic geometry and e. , Serre duality for possibly singular algebraic varieties). In Mathematics, a singularity is in general a point at which a given mathematical object is not defined or a point of an exceptional set where it fails to be
1958 Godement's book on sheaf theory is published. Roger Godement (born in 1921 is a French mathematician known for his work in Functional analysis, and also his expository books At around this time Mikio Sato proposes his hyperfunctions, which will turn out to have sheaf-theoretic nature. Mikio Sato ( Japanese: 佐藤幹夫 Sato Mikio; born April 18, 1928) is a Japanese Mathematician, working in what he calls In Mathematics, hyperfunctions are generalizations of functions as a 'jump' from one Holomorphic function to another at a boundary and can be thought of informally
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. In Mathematics, a scheme is an important concept connecting the fields of Algebraic geometry, Commutative algebra and Number theory. In Mathematics, local cohomology is a chapter of Homological algebra and Sheaf theory introduced into Algebraic geometry by Alexander Grothendieck In Mathematics, the derived category D ( C) of an Abelian category C is a construction of Homological algebra introduced In Category theory, a branch of Mathematics, a Grothendieck topology is a structure on a category C which makes the objects of C act like the 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. Algebraic topology is a branch of Mathematics which uses tools from Abstract algebra to study Topological spaces The basic goal is to find algebraic 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). Intuitionistic logic, or constructivist logic, is the Symbolic logic system originally developed by Arend Heyting to provide a formal basis for Brouwer Kripke semantics (also known as relational semantics or frame semantics, and often confused with Possible world semantics) is a formal Semantics This shows that some of the facets of sheaf theory can also be traced back as far as Leibniz.

References

Bredon, Glen E. In Mathematics, a gerbe is a construct in Homological algebra and Topology. In Mathematics a stack is an Abstract entity used to formalise some of the main concepts of Descent theory. (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. Springer Science+Business Media or Springer (ˈʃpʁɪŋɐ is a worldwide Publishing company based in Germany, which publishes textbooks academic Mathematical Reviews is a journal and online database published by the American Mathematical Society that contains brief synopses (and occasionally evaluations of many Roger Godement (born in 1921 is a French mathematician known for his work in Functional analysis, and also his expository books Mathematical Reviews is a journal and online database published by the American Mathematical Society that contains brief synopses (and occasionally evaluations of many Experimental infobox see Wikipedia talkPersondata before changing --> Alexander Grothendieck (born March 28, 1928 in Berlin, Germany 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. Mathematical Reviews is a journal and online database published by the American Mathematical Society that contains brief synopses (and occasionally evaluations of many An International Standard Serial Number ( ISSN) is a unique eight-digit number used to identify a print or electronic Periodical publication. Friedrich EP Hirzebruch (born 17 October 1927) is a German mathematician working in the fields of Topology, Complex Springer Science+Business Media or Springer (ˈʃpʁɪŋɐ is a worldwide Publishing company based in Germany, which publishes textbooks academic Mathematical Reviews is a journal and online database published by the American Mathematical Society that contains brief synopses (and occasionally evaluations of many Masaki Kashiwara ( Japanese: 柏原正樹 Kashiwara Masaki, born 1947 is a Japanese Mathematician. 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. Springer Science+Business Media or Springer (ˈʃpʁɪŋɐ is a worldwide Publishing company based in Germany, which publishes textbooks academic Mathematical Reviews is a journal and online database published by the American Mathematical Society that contains brief synopses (and occasionally evaluations of many In Mathematics, the derived category D ( C) of an Abelian category C is a construction of Homological algebra introduced In Mathematics, vanishing cycles are studied in Singularity theory and other part of Algebraic geometry. Saunders Mac Lane ( 4 August 1909, Taftville, Connecticut – 14 April 2005, San Francisco) was an American Springer Science+Business Media or Springer (ˈʃpʁɪŋɐ is a worldwide Publishing company based in Germany, which publishes textbooks academic Mathematical Reviews is a journal and online database published by the American Mathematical Society that contains brief synopses (and occasionally evaluations of many 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. Shiing-Shen Chern (陳省身 pinyin: Chén Xǐngshēn October 26 1911 &ndash December 3 2004) was a Chinese American Mathematician Oscar Zariski (born Oscher Zaritsky 24 April 1899 in Kobrin, Poland (today Belarus) died 4 July Bulletin of the American Mathematical Society (often abbreviated as Bull Mathematical Reviews is a journal and online database published by the American Mathematical Society that contains brief synopses (and occasionally evaluations of many An International Standard Serial Number ( ISSN) is a unique eight-digit number used to identify a print or electronic Periodical publication. The Annals of Mathematics (ISSN 0003-486X abbreviated as Ann of Math Mathematical Reviews is a journal and online database published by the American Mathematical Society that contains brief synopses (and occasionally evaluations of many An International Standard Serial Number ( ISSN) is a unique eight-digit number used to identify a print or electronic Periodical publication. 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)

External links

Sheaf on PlanetMath

Cambridge University Press (known colloquially as CUP is a Publisher given a Royal Charter by Henry VIII in 1534 Mathematical Reviews is a journal and online database published by the American Mathematical Society that contains brief synopses (and occasionally evaluations of many PlanetMath is a free, collaborative online Mathematics Encyclopedia.

© 2009 citizendia.org; parts available under the terms of GNU Free Documentation License, from http://en.wikipedia.org
network: | |

Contents