Sheaf (mathematics)

Sheaf (mathematics)
Name	Sheaf
Field	Mathematics
Introduced	1940s
Key people	Jean Leray, Alexander Grothendieck, Jean-Pierre Serre, Henri Cartan

Sheaf (mathematics). A sheaf is a tool for systematically tracking locally defined data attached to open sets of a topological space and for controlling how those local pieces glue to global objects. Originating in the work of Jean Leray and developed by Henri Cartan, Jean-Pierre Serre, and Alexander Grothendieck, sheaves unify constructions across topology, algebraic geometry, and differential geometry and underpin modern cohomological methods.

Definition and basic examples

A sheaf F on a topological space X assigns to each open set U of X a set (or group, ring, module, category) F(U) and to each inclusion V ⊆ U a restriction map res_{U,V}: F(U) → F(V), satisfying locality and gluing axioms. Basic examples include the sheaf of continuous real-valued functions on a manifold modeled on Henri Poincaré, the sheaf of holomorphic functions on a Riemann surface as studied by Bernhard Riemann and Karl Weierstrass, the constant sheaf associated to an abelian group relevant in Lefschetz fixed-point theorem contexts, and the structure sheaf O_X on a scheme central to Alexander Grothendieck's reformulation of algebraic geometry.

Sheaves vs. presheaves; stalks and germs

A presheaf drops the gluing axiom and need not allow reconstruction of global sections from compatible local data; sheafification is the universal process producing a sheaf from a presheaf, used extensively by Alexander Grothendieck and in the work of Jean Leray. The stalk F_x at a point x ∈ X is the direct limit of F(U) over neighborhoods U of x and encodes germ-level information, paralleling the role of local rings in the theory of Algebraic variety and the local systems considered by Élie Cartan and André Weil.

Operations on sheaves (pullback, pushforward, restriction)

Given a continuous map f: X → Y between spaces, the direct image (pushforward) f_* sends a sheaf on X to a sheaf on Y by U ↦ F(f^{-1}(U)), a construction used in the study of derived direct images in Grothendieck duality and in the formulation of the proper base change theorem applied in contexts like the Weil conjectures. The inverse image (pullback) f^{-1} and the left exact pullback of O-modules f^* transport sheaves along f and are central in comparisons between sheaves on Riemann surface and their images on Complex manifold or between schemes in the theory of Étale cohomology. Restriction to open subsets is a basic functor, while extensions by zero and direct/inverse image with compact support appear in the analysis on Lorentzian manifold and in the definition of perverse sheaves used in the work of Pierre Deligne.

Cohomology of sheaves

Sheaf cohomology assigns derived functors R^iΓ(X,−) to the global section functor Γ, yielding invariants such as H^i(X, F) that generalize classical topological cohomology theories; these tools were developed by Henri Cartan, Jean-Pierre Serre, and Jean Leray. Cohomological vanishing theorems—Serre's vanishing for coherent sheaves on projective schemes, Cartan's theorems A and B for coherent analytic sheaves on Stein manifolds—play pivotal roles in proofs of results like the Riemann–Roch theorem and in the formulation of duality theorems such as Serre duality and Grothendieck duality. Derived categories and derived functors of sheaves, pioneered by Alexander Grothendieck and furthered by Joseph Bernstein and Pierre Deligne, permit the use of spectral sequences, hypercohomology, and the formalism of six operations central to modern algebraic geometry and number theory, including applications to the Langlands program.

Sheaves in algebraic and analytic geometry

In algebraic geometry, the structure sheaf O_X on a scheme X encodes local algebraic functions and makes schemes into locally ringed spaces, a viewpoint introduced by Alexander Grothendieck in the Éléments de géométrie algébrique era; coherent and quasi-coherent sheaves generalize vector bundles and ideal sheaves used in the study of divisors and moduli problems addressed by David Mumford and Pierre Deligne. In complex analytic geometry, sheaves of holomorphic functions and of germs of meromorphic functions are instrumental in the work of Kiyoshi Oka and Hermann Weyl on complex manifolds; analytic continuation, the Cousin problems, and coherence theorems connect to foundational results by Henri Cartan and Kuranishi-style deformation theory.

Applications and related concepts

Sheaves interface with many areas: constructible and perverse sheaves appear in the microlocal study of singularities and in the proof of the decomposition theorem used by Beilinson, Bernstein, and Deligne; étale sheaves underpin Évariste Galois-style analogues in arithmetic geometry and the proof of the Weil conjectures by Pierre Deligne; sheaf-theoretic methods underlie D-module theory in the work of Joseph Bernšteĭn and Masaki Kashiwara and the Riemann–Hilbert correspondence connecting differential equations to constructible sheaves. Connections reach into mathematical physics via topological field theories and category-theoretic enhancements such as higher stacks and derived algebraic geometry developed by Jacob Lurie and Bertrand Toën.

Category:Algebraic geometry Category:Topology