sheaf
Generated by GPT-5-miniExpansion Funnel Raw 3 → Dedup 0 → NER 0 → Enqueued 0
| sheaf | |
|---|---|
| Name | Sheaf |
| Field | Algebraic geometry; Topology; Category theory |
| Introduced | 20th century |
| Notable | Jean Leray; Alexandre Grothendieck; Henri Cartan |
sheaf
A sheaf is a mathematical tool that systematically relates local data on a space to global structures, originating in the work of Jean Leray and further developed by Henri Cartan and Alexandre Grothendieck. It appears across topology, algebraic geometry, complex analysis and differential geometry, interacting with concepts from Émile Picard to Alexander Grothendieck's schemes and from Henri Poincaré to Jean-Pierre Serre. Sheaves unify local-to-global principles used in the study of manifolds, varieties, analytic spaces and cohomological theories linked to the work of Alexander Grothendieck, David Hilbert and Noether.
Definition and basic examples
A sheaf assigns to each open set of a topological space a set or algebraic structure satisfying locality and gluing conditions, as in the classical examples of continuous real-valued functions on a manifold like those studied by Bernhard Riemann, or holomorphic functions on a Riemann surface investigated by Felix Klein. Other fundamental examples include the structure sheaf of an algebraic variety central to Grothendieck's Éléments de géométrie algébrique program, the constant sheaf arising in the study of covering spaces considered by Henri Poincaré, and the sheaf of sections of a vector bundle relevant in the work of Shiing-Shen Chern. Concrete instances studied by Jean-Pierre Serre include the sheaf of regular functions on affine varieties, while those used by Alexander Grothendieck underpin the definition of schemes and the use of étale cohomology in proofs like the Weil conjectures addressed by Pierre Deligne.
Presheaves and sheaf axioms
A presheaf, a precursor in the analysis by Leray and Cartan, assigns data to opens with restriction maps but may fail gluing; the sheaf axioms remedy this by requiring that compatible local sections uniquely determine a global section. The distinction between presheaf and sheaf is essential in the work of Grothendieck on sites and toposes, and in the development of homological algebra by Henri Cartan and Samuel Eilenberg. Notions of exactness, injective and projective resolutions for sheaves appear in the literature of Jean Leray, Jean-Pierre Serre, and Alexander Grothendieck, and are indispensable in formulating derived functors like the right derived functor RΓ used by Grothendieck, Verdier, and Hartshorne.
Sheaf constructions and operations
Standard constructions include sheafification, direct image and inverse image functors f_* and f^{-1} associated to a continuous map f, tensor products and Hom sheaves used in duality theories explored by Grothendieck and Alexander Grothendieck's collaborators, and pushforward with compact support used in the development of Lefschetz-type theorems studied by Solomon Lefschetz. Operations on sheaves play a key role in the formalism of derived categories introduced by Grothendieck and Verdier, in the formulation of the Riemann–Roch theorem refined by Grothendieck and Hirzebruch, and in the study of perverse sheaves developed by Goresky and MacPherson with applications in representation theory studied by George Lusztig.
Stalks, sections, and local properties
The stalk at a point captures the germ of sections and is fundamental in comparing local and global behavior, as in the local analysis on complex manifolds explored by Henri Cartan and Friedrich Hirzebruch. Global sections form Γ(X, F) and relate to cohomological invariants computed by Jean-Pierre Serre in his foundational work on GAGA and coherent cohomology. Local properties such as coherence, flabbiness, soft and fine sheaves appear in Grothendieck's and Godement's expositions and are used in analytic problems handled by Lars Ahlfors, Rolf Nevanlinna, and Kiyoshi Oka. The concept of support and cosupport in stalkwise analysis is central to microlocal studies by Masaki Kashiwara and Pierre Schapira.
Sheaf cohomology
Sheaf cohomology, introduced by Jean Leray and systematized by Cartan, Serre and Grothendieck, produces derived functors H^i(X, F) which detect obstructions to gluing and control extension problems studied by Grothendieck and Jean-Pierre Serre. Techniques include Čech cohomology linked to Henri Cartan and Maxime Bôcher's classical analysis, injective resolutions utilized by Cartan and Eilenberg, spectral sequences like the Leray spectral sequence named for Jean Leray, and duality theorems such as Serre duality and Grothendieck duality that generalize the work of Serre and Alexander Grothendieck. Cohomological tools underpin major results, including the proof of the Riemann–Roch theorem by Grothendieck, the study of Hodge theory connected to W. V. D. Hodge, and the application of étale cohomology in Deligne's proof of the Weil conjectures.
Applications and examples in mathematics
Sheaves are used to define schemes central to Grothendieck's revolution in algebraic geometry and appear in the proof of the Weil conjectures by Pierre Deligne, in the formulation of the Riemann–Hilbert correspondence studied by Mikio Sato, and in the description of D-modules developed by Kashiwara. In topology and differential geometry they organize de Rham cohomology as in the work of Élie Cartan, Hodge theory associated with W. V. D. Hodge, and index theorems related to Michael Atiyah and Isadore Singer. Representation theory benefits from perverse sheaves and intersection cohomology pioneered by Goresky and MacPherson and refined by George Lusztig, while mathematical physics employs sheaf-theoretic methods in mirror symmetry investigated by Maxim Kontsevich and in topological quantum field theory touched on by Edward Witten. Further applications include complex analytic geometry via Kiyoshi Oka, arithmetic geometry via Alexander Grothendieck and Jean-Pierre Serre, and category-theoretic formulations involving William Lawvere and F. William Lawvere's categorical logic.