Sheaves track local data that must agree on overlaps
In mathematics a sheaf systematically attaches algebraic or set-like data to open patches of a space so that local pieces glue when they match on overlaps. Sheaf theory studies those objects. Definitions are technical, yet the intuition is neighborhood gossip that stays consistent.
Many kinds of mathematical data live naturally on pieces of a space: continuous or smoothly differentiable functions, bounded functions, vector fields, sections of a vector bundle. Each can be cut down from a larger open set to a smaller one. Any rule that assigns data to open sets and supplies such cutting-down maps is a presheaf, provided two conditions hold: restricting a set to itself changes nothing, and restricting in two stages gives the same answer as restricting in one. The data over an open set U are called its sections, often written Γ(U, F), and sheaves are usually named with capital letters.
A sheaf is a presheaf whose sections are pinned down by their local pieces. Its first axiom, locality, says two sections that agree on every patch of a cover are equal. The second, gluing, says that if chosen pieces match wherever their patches overlap, they combine into a single section of the whole. Pieces that match in this way are called compatible, and a presheaf meeting only the first axiom is known as separated, or a monopresheaf. Continuous real functions form a genuine sheaf. Constant functions, surprisingly, usually do not, because the assignment breaks the locality rule on the empty set.
Sheaves of one type over a fixed space, together with the maps between them, make up a category. Every continuous map between spaces also produces a direct image functor carrying sheaves forward and an inverse image functor pulling them back, and these are central tools of the theory.
The payoff is broad. Differentiable manifolds and schemes can be described as spaces equipped with a sheaf of rings, and vector bundles and divisors are phrased through sheaves. Sheaf cohomology contains ordinary singular cohomology and ties topology to geometry, especially for complex manifolds. D-modules built on sheaves feed into differential equations, and sheaves on categories with a Grothendieck topology reach logic and number theory.
Source: Sheaf (mathematics)
