sheaf cohomology
Generated by GPT-5-miniExpansion Funnel Raw 54 → Dedup 0 → NER 0 → Enqueued 0
| sheaf cohomology | |
|---|---|
| Name | Sheaf cohomology |
| Field | Mathematics |
| Introduced | 20th century |
| Contributors | Henri Cartan; Jean-Pierre Serre; Alexander Grothendieck; Jean Leray |
sheaf cohomology provides a unified framework to compute global invariants from local data on topological spaces, complex manifolds, and schemes. Originating in work of Jean Leray, Henri Cartan, Jean-Pierre Serre, and Alexander Grothendieck, it connects local-to-global principles with homological algebra and has become central in modern Paris-based and Bourbaki-influenced research in algebraic geometry, complex geometry, and topology. The theory synthesizes techniques developed in the context of the Leray spectral sequence, the Cartan–Serre theorem, and Grothendieck's treatment of cohomological operations in the setting of École normale supérieure mathematics.
Introduction
Sheaf cohomology arose from attempts by Jean Leray during the Second World War to control obstructions in extending local solutions of differential equations and from later advances by Henri Cartan in Nancy seminars and Jean-Pierre Serre's foundational work in 1955. It formalizes the passage from sections of a sheaf on open sets to global sections via derived functors of the global section functor, encoding extension and obstruction classes studied in École normale supérieure circles and in correspondence between André Weil and Claude Chevalley. Subsequent developments by Alexander Grothendieck introduced schemes and cohomological machinery used across Institute for Advanced Study and IHÉS research programs.
Definitions and basic properties
One begins with a topological space or a scheme X and a sheaf F (of abelian groups, modules, or O_X-modules) and defines right derived functors R^i Γ(X,−) of the global section functor Γ, yielding cohomology groups H^i(X,F). The foundational existence proofs use injective resolutions developed in Homological algebra traditions influenced by Samuel Eilenberg and Saunders Mac Lane and are often presented alongside spectral sequence tools such as the Leray spectral sequence and the Grothendieck spectral sequence. Key properties include long exact sequences in cohomology arising from short exact sequences of sheaves, vanishing theorems like those proved by Jean-Pierre Serre and later generalized by Alexander Grothendieck in the context of coherent sheaves on projective schemes, and functoriality with respect to morphisms of spaces studied in Grothendieck's Tohoku paper and seminars at IHÉS.
Computation methods and examples
Practical computation uses Čech methods on good covers, injective or flasque resolutions, and spectral sequences developed in seminars by Jean Leray and Grothendieck. Classical examples include computation of H^i for constant sheaves on spheres and tori as in work related to Hermann Weyl and Élie Cartan seminars, calculation of cohomology of line bundles on projective space via the Borel–Weil–Bott theorem and Serre duality proved by Jean-Pierre Serre, and determination of cohomology of coherent sheaves on curves using methods from Riemann–Roch theorem traditions associated with Bernhard Riemann and Gustav Roch. Explicit algebraic computations appear in the work of Oscar Zariski and Daniel Quillen's developments linking K-theory and cohomology, while analytic examples are treated in the frameworks developed at Institut Henri Poincaré and École normale supérieure.
Čech cohomology and derived functor approach
Čech cohomology, introduced in work by Élie Cartan and formalized by Jean Leray, computes cohomology via alternating Čech complexes for open covers and is closely compared to derived functor cohomology in results proved by Henri Cartan and Jean-Pierre Serre. The comparison theorems, spectral sequence arguments, and conditions under which Čech and derived functor cohomology coincide were developed further by Alexander Grothendieck in his seminars and in the context of Grothendieck topologies at IHÉS and Université Paris-Sud. The theory of hypercohomology and resolutions by acyclic sheaves connects with techniques from Homological algebra and with the derived category perspective later systematized by Pierre Deligne and Jean-Louis Verdier.
Applications in algebraic geometry and complex geometry
In algebraic geometry, sheaf cohomology underpins proofs of the Riemann–Roch theorem, Serre duality, and the cohomological study of coherent sheaves on projective schemes central to Grothendieck's work on schemes at IHÉS and Institut des Hautes Études Scientifiques. In complex geometry, it appears in Hodge theory as developed by W. V. D. Hodge and generalized by Pierre Deligne and Phillip Griffiths, and in the analysis of deformation problems influenced by seminars at Institute for Advanced Study. Applications extend to proving existence of sections via Kodaira-type vanishing theorems associated with Kawamata and Shigefumi Mori in the minimal model program discussions at Rutgers University and Université Paris-Saclay research groups.
Relationships with other cohomology theories
Sheaf cohomology relates to singular cohomology via the de Rham theorem connecting differential forms and topology developed by Georges de Rham, and to étale cohomology introduced by Alexander Grothendieck to tackle the Weil conjectures later proved by Pierre Deligne. Connections to crystalline cohomology, motivic cohomology, and algebraic K-theory link work of Michael Artin, Alexander Grothendieck, Spencer Bloch, and Daniel Quillen and enter the landscape of the Langlands program and arithmetic geometry as explored at Princeton University and Harvard University. Spectral sequences such as the Leray and Grothendieck spectral sequences mediate comparisons with sheaf-theoretic incarnations of cohomology used across Institute for Advanced Study and IHÉS research.