1 Foundational ideas
Sheaf theory begins with a simple principle: information known on small parts of a space can often be assembled into information on the whole space, provided the local pieces agree where they overlap. This viewpoint is especially useful when the objects being studied are not just numbers or sets, but functions, geometric sections, algebraic data, or solutions to equations.
1.1 Motivation and local-to-global principles
Many mathematical problems are local in nature. A function may be easy to define near each point, but difficult to describe globally. Similarly, geometric or algebraic structures are often specified piece by piece on open regions. Sheaf theory gives a systematic way to record these local descriptions and determine when they fit together. The central question is whether compatible local data uniquely determines a global object.
1.2 Presheaves
A presheaf is the first level of organization for local data. It assigns data to each open set of a space and specifies how that data changes when one open set lies inside another. Presheaves do not yet require that local information can always be glued, but they provide the framework in which such questions can be asked.
1.2.1 Assigning data to open sets
For each open set, a presheaf assigns a set, group, ring, or other algebraic object. The assigned object is interpreted as the collection of admissible data over that region, such as continuous functions, differentiable functions, or sections of a bundle.
1.2.2 Restriction maps
Whenever one open set is contained in another, a presheaf includes a restriction map from the larger set to the smaller one. This expresses the idea of taking a local view of existing data. Restriction maps must be compatible with inclusions, so that restricting in stages gives the same result as restricting directly.
1.3 Sheaves
A sheaf is a presheaf that satisfies two additional conditions: local agreement determines uniqueness, and compatible local pieces can be glued into a global object. These conditions capture the essential behavior of many naturally occurring mathematical structures.
1.3.1 Identity axiom
If two global sections restrict to the same data on every member of an open cover, then they are equal. This axiom ensures that global objects are determined by their local expressions.
1.3.2 Gluing axiom
If a family of local sections agrees on overlaps, then there exists a unique global section whose restrictions recover the family. This is the formal expression of patching local data into a single coherent whole.
1.4 Sections and stalks
A section is an element of the data assigned to an open set. It may represent a function, a solution, or another structure defined on that region. Stalks collect all local behavior near a point and are useful for studying how data looks infinitesimally close to a given location.
1.4.1 Germs of sections
A germ is an equivalence class of sections near a point, where two sections are considered the same if they agree on some neighborhood of that point. Germs isolate the local behavior that persists arbitrarily close to the point.
1.4.2 Stalkwise interpretation of local data
The stalk at a point is formed from all germs at that point. It summarizes the complete local content of a sheaf near the point and often detects properties that are invisible from larger open sets.
2 Sheaves on topological spaces
On a topological space, sheaves organize information in relation to open sets and coverings. The topology provides the language for locality: open sets represent regions where data is examined, and coverings describe how such regions can be decomposed into smaller pieces.
2.1 Open sets and coverings
Open sets are the basic domains on which sections are defined. A covering of an open set is a family of open subsets whose union equals the set being covered. Sheaf conditions are expressed in terms of such coverings.
2.1.1 Refinements of coverings
A covering may be replaced by a finer one that breaks each piece into smaller open sets. Sheaf-theoretic statements should remain valid under refinement, since local compatibility is ultimately a pointwise phenomenon.
2.1.2 Compatible families of sections
A family of sections on the members of a cover is compatible when all restrictions to overlaps agree. Such families are the input for the gluing axiom and represent local data that can potentially be assembled globally.
2.2 Sheaves of sets
The simplest sheaves take values in sets. They already illustrate the core idea of local data and gluing, without requiring algebraic operations. Many fundamental examples in geometry and topology are sheaves of sets.
2.2.1 Examples from continuous functions
The assignment that sends each open set to the set of continuous functions on it is a standard example. Functions restrict naturally to smaller open sets, and compatible local functions glue to a unique global continuous function.
2.2.2 Constant and locally constant sheaves
A constant sheaf assigns the same set to every sufficiently connected open region, with restrictions behaving in a uniform way. A locally constant sheaf varies only by discrete changes across connected components and often encodes coverings or monodromy phenomena.
2.3 Sheaves of abelian groups
When the values of a sheaf are abelian groups, one can add sections and form differences. This extra structure makes it possible to study kernels, cokernels, and other homological constructions.
2.3.1 Kernels and images
A morphism of sheaves of abelian groups has pointwise kernels and images on open sets and stalks. These constructions are central to defining exactness and to understanding how algebraic information is preserved under maps.
2.3.2 Exactness properties
Exactness describes the fit between successive sheaves in a sequence. In sheaf theory, exactness is often checked on stalks, where local behavior is easier to analyze. This makes sheaves well suited to homological methods.
2.4 Sheaves of rings and modules
Sheaves may carry multiplicative structure as well as additive structure. Sheaves of rings and modules extend the sheaf formalism to settings where local algebra varies across the space.
2.4.1 Ringed spaces
A ringed space is a topological space equipped with a sheaf of rings. It provides a natural setting for doing algebra on spaces, with the sheaf of rings serving as the local coordinate system for algebraic operations.
2.4.2 Sheaves of modules over a sheaf of rings
Given a sheaf of rings, one can define sheaves of modules over it. These module sheaves generalize vector bundles and many other geometric objects, and they form the basic language for coherent and homological constructions.
3 Morphisms of sheaves
Maps between sheaves preserve the local data structure and interact with restriction maps. They allow sheaves to be compared, transported, and classified. The behavior of these maps is often best understood pointwise, through their effects on stalks.
3.1 Maps of presheaves
A map of presheaves assigns compatible functions between the data on each open set. Such maps are required to commute with restriction, ensuring that local information is respected under passage to smaller regions.
3.1.1 Sheaf morphisms
A sheaf morphism is a map of presheaves between sheaves. Because the domain and codomain satisfy the sheaf axioms, these morphisms interact well with gluing and local determination.
3.1.2 Induced maps on stalks
Any sheaf morphism induces a map between stalks at each point. These induced maps often encode the essential local content of the morphism and are frequently used to test whether the morphism is injective, surjective, or an isomorphism.
3.2 Sheaf isomorphisms
An isomorphism of sheaves is a morphism that has an inverse morphism. It identifies sheaves as carrying the same local and global data in a structurally identical way.
3.2.1 Local criteria for isomorphism
A sheaf morphism is often an isomorphism if it becomes an isomorphism on sufficiently small neighborhoods or on a cover. Local verification is powerful because sheaves are designed to be controlled by local behavior.
3.2.2 Equivalence on stalks
For many common categories of sheaves, a morphism is an isomorphism exactly when it induces isomorphisms on all stalks. This criterion reflects the principle that stalks capture all infinitesimal local information.
3.3 Subsheaves and quotient sheaves
A subsheaf is a sheaf embedded inside another sheaf in a compatible way. Quotient sheaves measure the difference between sheaves and are often constructed by sheafifying pointwise quotients.
3.3.1 Sheafification of presheaf quotients
Taking quotients section by section does not always produce a sheaf. The resulting presheaf may need sheafification to restore the gluing property, yielding a true quotient sheaf.
3.3.2 Exact sequences of sheaves
Exact sequences record how sheaves fit together through kernels and images. They are fundamental in cohomology and homological algebra, where they measure how local data propagates through a system of sheaves.
4 Sheafification
Sheafification turns a presheaf into a sheaf while preserving its local content as much as possible. It is the process by which one repairs a presheaf that fails the gluing axioms, producing the closest sheaf approximation.
4.1 Construction of the sheaf associated to a presheaf
The associated sheaf is built by identifying local sections that agree near each point and then assembling the resulting germs into a new presheaf satisfying the sheaf axioms. This construction often passes through stalks or through equivalence classes of locally compatible data.
4.1.1 Universal property
The associated sheaf is characterized by a universal property: any map from the original presheaf to a sheaf factors uniquely through the sheafification. This makes sheafification canonical and functorial.
4.1.2 Separation and gluing completion
Sheafification repairs two defects in a presheaf. It enforces separation, so that locally equal sections become equal, and it completes the gluing process so that compatible families admit global sections.
4.2 Sheafification functor
Sheafification acts as a functor from presheaves to sheaves. It is a systematic transformation that preserves the structure of morphisms while enforcing the sheaf axioms.
4.2.1 Adjunction with the inclusion of sheaves
The sheafification functor is left adjoint to the inclusion of sheaves into presheaves. This adjunction expresses the idea that sheafification is the most efficient way to turn presheaf data into sheaf data.
4.2.2 Preservation of limits and colimits
Sheafification interacts in a controlled way with categorical constructions. It preserves many colimit-like behaviors, while its effect on limits is governed by the general properties of adjoint functors and the ambient category.
4.3 Examples of sheafification
Examples clarify how a presheaf becomes a sheaf in practice. The process is especially natural when the original data already has a local definition but lacks exact gluing behavior.
4.3.1 Presheaves of continuous or smooth functions
A presheaf assigning continuous or smooth functions may already be a sheaf on a suitable space. When modified to describe only locally defined functions, sheafification restores the global compatibility conditions.
4.3.2 Presheaves defined by local algebraic data
Many algebraic presheaves are defined by specifying data on open sets without guaranteeing gluing. Sheafification converts these into sheaves that behave correctly under restriction and patching.
5 Operations on sheaves
Sheaves are stable under a variety of constructions that parallel familiar operations on algebraic or geometric objects. These operations allow one to transport sheaves along maps, combine them, and compare them on subspaces.
5.1 Direct image and inverse image
Given a continuous map between spaces, one can push sheaves forward or pull them back. These operations relate local data on different spaces and are fundamental in functorial geometry.
5.1.1 Functoriality under continuous maps
The direct image and inverse image constructions behave functorially with respect to composition of continuous maps. This makes them compatible with the broader categorical framework of sheaf theory.
5.1.2 Adjunction between pullback and pushforward
Inverse image and direct image are linked by an adjunction. This relationship expresses a basic balance between transporting data backward along a map and aggregating it forward along the same map.
5.2 Tensor products and internal Hom
For sheaves with algebraic structure, one can define operations analogous to tensor products and function spaces. These constructions support richer algebraic and homological analysis.
5.2.1 Sheaf Hom
The sheaf Hom assigns, to each open set, morphisms between restricted sheaves in a compatible way. It packages families of local homomorphisms into a sheaf of maps.
5.2.2 Tensor product of module sheaves
The tensor product combines module sheaves bilinearly, just as tensor products do in algebra. It is used to build new sheaves from old ones and appears frequently in geometry and cohomology.
5.3 Restriction to subspaces
A sheaf on a space can be restricted to an open or closed subspace. This process allows one to focus on a region of interest without losing the local structure inherited from the ambient space.
5.3.1 Open and closed immersions
Open immersions and closed immersions are common ways to include subspaces into a larger space. Restricting a sheaf along such maps yields a sheaf on the subspace that reflects the inherited local data.
5.3.2 Extension by zero
Extension by zero is a method for extending sheaves from an open subspace to the whole space by assigning trivial data outside the subspace. It is especially useful when local information should be confined to a region.
6 Cohomology of sheaves
Sheaf cohomology measures the failure of local data to glue globally and reveals hidden obstructions that are not visible at the level of sections alone. It is one of the main tools that makes sheaf theory powerful in modern mathematics.
6.1 Motivation for sheaf cohomology
Cohomology arises when gluing is imperfect or when a space has global features that cannot be recovered from local pieces alone. Sheaf cohomology quantifies these failures in a structured hierarchy of invariants.
6.1.1 Measuring obstructions to gluing
The first cohomology groups often classify obstructions to patching local sections into global ones. Higher groups detect increasingly subtle failures of compatibility across multiple overlaps.
6.1.2 Derived functor approach
Sheaf cohomology can be defined as a derived functor of global sections. This approach places cohomology within homological algebra and makes its formal properties more transparent.
6.2 Čech cohomology
Čech cohomology computes invariants from an open cover and the overlaps among its members. It is often easier to calculate than derived functor cohomology and provides an intuitive description of cocycles.
6.2.1 Covers and cocycles
A cover gives rise to collections of local data on intersections of open sets. Cocycles are families satisfying compatibility relations, and coboundaries represent those that come from simpler data.
6.2.2 Comparison with derived cohomology
Čech cohomology agrees with derived cohomology in many important cases, though not always in full generality. Comparison theorems explain when the two theories produce the same results.
6.3 Derived functors
Derived functor methods compute cohomology by resolving sheaves into acyclic or injective objects. This framework is conceptually central and supports broad generalizations.
6.3.1 Injective resolutions
An injective resolution replaces a sheaf by a chain complex of injective sheaves that is exact in the appropriate sense. Applying global sections to such a resolution yields cohomology groups.
6.3.2 Higher cohomology groups
Higher cohomology groups capture information beyond the first obstruction level. They are essential in many geometric and algebraic applications, where they control existence, classification, and deformation phenomena.
6.4 Applications of sheaf cohomology
Sheaf cohomology has many uses in geometry and algebra. It detects hidden structure, proves existence results, and measures when local constructions extend globally.
6.4.1 Vanishing theorems
Vanishing theorems assert that certain cohomology groups are zero under suitable hypotheses. Such results often imply global generation, extension properties, or simplifications in classification problems.
6.4.2 Obstruction problems
In obstruction theory, cohomology identifies barriers to constructing global objects from local ones. These barriers may arise in extending sections, lifting maps, or solving patching problems.
7 Advanced constructions
Beyond the basic theory, sheaves interact with derived categories, structured spaces, and generalized topologies. These developments extend the reach of sheaf theory far beyond ordinary topological spaces.
7.1 Derived categories and derived functors of sheaves
Derived categories organize complexes of sheaves up to homological equivalence. They provide a natural environment for refined cohomological constructions and make complicated relations between sheaves more manageable.
7.1.1 Complexes of sheaves
A complex of sheaves is a sequence of sheaves linked by differentials whose successive compositions are zero. Complexes encode layered algebraic information and serve as the input for derived methods.
7.1.2 Hypercohomology
Hypercohomology extends sheaf cohomology to complexes rather than single sheaves. It is especially useful when studying differential forms, exact sequences of complexes, and other multi-level structures.
7.2 Sheaves on ringed and locally ringed spaces
When a space is equipped with a sheaf of rings, one can study sheaves in a more algebraic setting. Locally ringed spaces refine this by requiring that stalks behave like local rings, which is important in algebraic geometry.
7.2.1 Stalkwise local algebra
At the level of stalks, one can examine local algebraic properties such as ideals, units, and modules. This pointwise perspective often reveals the geometric meaning of algebraic conditions.
7.2.2 Morphisms of ringed spaces
A morphism of ringed spaces combines a continuous map with a compatible map of structure sheaves. Such morphisms transport algebraic data between spaces while respecting their local ringed structures.
7.3 Grothendieck topologies and sites
Sheaves need not be defined only on ordinary topological spaces. Grothendieck topologies abstract the notion of covering, allowing sheaf theory to operate on categories equipped with a generalized idea of locality.
7.3.1 Sheaves on sites
A site is a category with a chosen coverage that plays the role of open covers. Sheaves on sites generalize classical sheaves and are central in modern algebraic geometry and related fields.
7.3.2 Étale and Zariski settings
The Zariski and étale frameworks are two major contexts in algebraic geometry where sheaf theory is applied. Each provides a different notion of locality, suited to different geometric questions.
8 Major applications
Sheaf theory has become indispensable in several areas of mathematics. Its ability to relate local and global structure makes it especially effective in fields where objects vary across space.
8.1 Algebraic geometry
In algebraic geometry, sheaves organize functions, modules, and geometric features on varieties and schemes. They are central to modern formulations of geometric and arithmetic problems.
8.1.1 Structure sheaves and coherent sheaves
The structure sheaf records algebraic functions on open sets, while coherent sheaves capture finitely generated algebraic data with good local behavior. Together they form a basic language for studying schemes and their modules.
8.1.2 Divisors and line bundles
Divisors and line bundles are naturally described using sheaves. Line bundles correspond to invertible sheaves, and divisors are often interpreted through sheaf-theoretic constructions that encode local-to-global algebraic information.
8.2 Differential geometry
In differential geometry, sheaves describe smooth local data on manifolds and related spaces. They are particularly useful for organizing sections, differential operators, and geometric structures that depend smoothly on position.
8.2.1 Sheaves of smooth sections
A sheaf of smooth sections assigns to each open set the smooth sections of a bundle or similar object. These sheaves reflect the fact that smooth geometric data can be restricted and glued in a controlled way.
8.2.2 Differential forms and de Rham theory
Differential forms naturally form a sheaf, and their cohomological behavior is captured by de Rham theory. Sheaf methods clarify why local differential information can determine global topological invariants.
8.3 Complex analysis
In complex analysis, sheaf theory provides a precise framework for holomorphic and meromorphic phenomena. It is especially effective for addressing continuation and extension questions.
8.3.1 Holomorphic functions
The sheaf of holomorphic functions assigns holomorphic functions to open subsets of a complex manifold. Its local behavior reflects the analytic rigidity of holomorphic objects.
8.3.2 Analytic continuation and extension problems
Sheaves formalize the process of extending analytic data from one region to another when local compatibility permits it. They also clarify when continuation is unique, when it fails, and how obstructions arise.