sheaf theory

sheaf theory
Name	Sheaf theory
Field	Mathematics
Subfield	Algebraic topology; Algebraic geometry; Homological algebra
Introduced	1940s
Key people	Henri Cartan; Jean Leray; Alexandre Grothendieck; Jean-Pierre Serre; Alexander Grothendieck
Notable works	"Tohoku Paper"; "Éléments de géométrie algébrique"; "Faisceaux algébriques cohérents"

sheaf theory Sheaf theory provides a framework for systematically tracking local-to-global relationships on spaces, introduced and developed in mid-20th century mathematics. It unifies techniques across topology, algebraic geometry, differential geometry, and analysis, interacting with many pivotal figures and institutions in modern mathematics.

Introduction

Sheaf-theoretic ideas arose in the work of Jean Leray during World War II, were advanced by Henri Cartan and Jean-Pierre Serre in France, and were revolutionized by Alexandre Grothendieck in the context of Grothendieck topology and Éléments de géométrie algébrique. Foundational developments appeared in lectures and papers associated with École Normale Supérieure, Collège de France, Université de Paris, and seminars at Institut des Hautes Études Scientifiques. Sheaves connect to major structures studied by Élie Cartan, André Weil, Oscar Zariski, Alexander Grothendieck and influenced later work by Pierre Deligne, Jean-Louis Verdier, Michael Artin, David Mumford, John Tate, Serge Lang, Armand Borel, Friedrich Hirzebruch, Raoul Bott, Isadore Singer, Sir Michael Atiyah, Gerd Faltings, Arakelov, Grothendieck–Riemann–Roch, and research at institutions such as IHÉS, Institute for Advanced Study, Princeton University, Harvard University, University of California, Berkeley, and Cambridge University.

Definitions and Basic Examples

A sheaf on a topological space was formalized by Jean Leray and further axiomatized by Henri Cartan and Jean-Pierre Serre; early examples include the sheaf of continuous functions studied in seminars at École Normale Supérieure and the sheaf of holomorphic functions central to École Normale Supérieure complex analysis. Classical exemplars appear in the work of Riemann on Riemann surfaces, in constructions used by Bernhard Riemann and later by Felix Klein and Hermann Weyl. Algebraic examples arise from sheaves of regular functions in the research programs of Oscar Zariski and André Weil, while étale sheaves were axiomatized through lectures by Alexander Grothendieck and later refined by Michael Artin and Pierre Deligne. Fundamental models include the constant sheaf used in Lefschetz fixed-point theorem contexts, the skyscraper sheaf appearing in treatments by Jean-Pierre Serre and Alexander Grothendieck, and local systems studied by Élie Cartan and Hermann Weyl.

Sheaf Operations and Constructions

Operations such as restriction, pushforward, and pullback were formalized in seminars led by Henri Cartan and Jean-Pierre Serre and later generalized by Alexander Grothendieck. The direct image functor and inverse image functor play central roles in the Grothendieck school, with adjunctions and base change theorems developed in the context of the Grothendieck spectral sequence and the Leray spectral sequence. Constructions like the sheafification process were standardized in textbooks influenced by authors at Cambridge University Press and Princeton University Press, while the notion of sections and stalks connects to methods used by Riemann, André Weil, and Oscar Zariski. Notions of exactness, flasque and injective resolutions became standard tools through the influence of Jean-Pierre Serre and the homological algebra of Samuel Eilenberg and Saunders Mac Lane.

Cohomology of Sheaves

Sheaf cohomology emerged from work by Jean Leray during World War II and was systematically developed by Henri Cartan and Jean-Pierre Serre; it was incorporated into the Grothendieck formalism and linked to the Riemann–Roch theorem and later generalizations by David Mumford and Michael Artin. Spectral sequences, including the Leray spectral sequence and the Grothendieck spectral sequence, provide computational frameworks also used in investigations by Jean-Louis Verdier and Pierre Deligne. Étale cohomology, introduced by Alexander Grothendieck and refined by Pierre Deligne, led to proofs of major conjectures such as those proven by Pierre Deligne in the context of the Weil conjectures, impacting work by John Tate, Alexander Grothendieck, Georges Laumon, Nicholas Katz, and Gunter Harder.

Sheaves in Algebraic Geometry and Topology

Sheaves are integral to the schemes of Alexander Grothendieck and the development of modern algebraic geometry carried out at IHÉS, Université de Paris and Princeton University. Coherent sheaves and quasi-coherent sheaves became central in the work of Jean-Pierre Serre, David Mumford, Alexander Grothendieck, and Pierre Deligne; they underpin results like Serre duality and the structure theory used by Andre Weil and Oscar Zariski. In topology, sheaves connect to local systems, constructible sheaves, and perverse sheaves used in studies by Masaki Kashiwara, Pierre Deligne, Jean-Louis Verdier, Robert MacPherson, and MacPherson's work at institutions such as Harvard University and Columbia University.

Derived and Advanced Topics

Derived categories and derived functors, introduced through work by Grothendieck and formalized by Jean-Louis Verdier, extended sheaf-theoretic methods and influenced breakthroughs by Pierre Deligne and Maxim Kontsevich. The theory of perverse sheaves and t-structures was developed by Joseph Bernstein, Alexander Beilinson, and Pierre Deligne, while applications to representation theory and mirror symmetry involved contributions from Maxim Kontsevich, Edward Witten, Richard Thomas, Paul Seidel, and Anton Kapustin. Stacks and derived algebraic geometry evolved from ideas by Alexander Grothendieck and were advanced further by Jacob Lurie, Bertrand Toën, Gabriele Vezzosi, and research groups at Harvard University, MIT, and University of Cambridge.

Applications and Related Concepts

Sheaf-theoretic techniques have been applied to the proof of the Weil conjectures via étale cohomology by Pierre Deligne, to index theorems developed by Atiyah–Singer influenced by Michael Atiyah and Isadore Singer, and to Hodge theory advanced by Jean-Pierre Serre, Pierre Deligne, Phillip Griffiths, and Wilfried Schmid. Connections with mathematical physics appear in mirror symmetry research involving Maxim Kontsevich, Edward Witten, Cumrun Vafa, Kentaro Hori, and institutions such as Institute for Advanced Study and Perimeter Institute. Computational and categorical perspectives connect to homological algebra developed by Samuel Eilenberg and Saunders Mac Lane, and to moduli problems studied by David Mumford, Georges Laumon, and Ngô Bảo Châu.

Category:Mathematics