Leray's theorem

Leray's theorem Leray's theorem is a foundational result in sheaf cohomology and algebraic topology linking Čech cohomology to derived functor cohomology under acyclic covering hypotheses. It clarifies when computations using coverings and open covers of topological spaces, complex manifolds, or algebraic varieties recover global cohomological invariants, influencing work in homological algebra, complex geometry, and partial differential equations.

Statement

Leray's theorem states that for a topological space X and a sheaf F of Abelian groups on X, if U = {U_i} is an open cover such that each finite intersection U_{i0} ∩ ... ∩ U_{ik} is F-acyclic (vanishing higher cohomology), then the Čech cohomology H^p(Cech(U,F)) is isomorphic to the sheaf cohomology H^p(X,F) for all p ≥ 0. The hypothesis of acyclicity is the key bridge between local data and global derived functors, making computational methods compatible with abstract results like those of Cartan, Godement, and Grothendieck. The theorem is often invoked alongside the de Rham theorem, Dolbeault theorem, and Serre duality in contexts where covers by contractible or Stein opens occur.

Context and Motivation

Jean Leray proved his results while working on Lagrangian manifolds and spectral sequences during and after World War II; his work influenced Henri Cartan, Jean-Pierre Serre, and Alexander Grothendieck. The theorem addresses calculations in contexts including sheaves on manifolds studied by Élie Cartan, Alexander Grothendieck's studies of schemes, and André Weil's work on algebraic varieties. Motivation arose from the need to compute cohomology in concrete situations encountered by Henri Poincaré, Émile Picard, and Friedrich Hirzebruch, and to connect topological invariants used by William Thurston and René Thom with analytic tools developed by Kiyoshi Oka, Kunihiko Kodaira, and Oscar Zariski. Leray's approach anticipated later formalism by Grothendieck and Jean-Louis Verdier surrounding spectral sequences and derived categories.

Proof Outline

The proof constructs a spectral sequence comparing Čech cohomology for the cover U to the derived functor cohomology R^qΓ(X,−) of the global sections functor Γ(X,−). Leray used the Čech-to-derived spectral sequence, originally influenced by ideas of Henri Cartan and Jean-Pierre Serre, to show E_2^{p,q} collapses when intersection acyclicity forces R^qΓ(U_{i0}∩...∩U_{ip},F)=0 for q>0. The collapse yields isomorphisms between Čech cohomology and sheaf cohomology; this argument was later recast using Grothendieck's derived functor machinery, Verdier's derived categories, and the Godement resolution pioneered by Roger Godement. Variants of the proof use fine resolutions on differentiable manifolds (as in de Rham theory), soft sheaves in the sense of Henri Cartan, or flasque sheaves related to Jean-Louis Verdier and Grothendieck.

Applications

Leray's theorem is used to compute sheaf cohomology via explicit covers in many classical settings: Stein manifolds studied by Kiyoshi Oka and Henri Cartan; complex projective varieties in the work of André Weil, Oscar Zariski, and Kunihiko Kodaira; differentiable manifolds treated by Élie Cartan and Hassler Whitney; and schemes developed by Alexander Grothendieck and Jean-Pierre Serre. It underpins proofs of the Dolbeault theorem relating Dolbeault cohomology to sheaf cohomology, the Hodge decomposition used by W. V. D. Hodge and Phillip Griffiths, and the de Rham theorem connecting de Rham cohomology with singular cohomology as in the work of Henri Poincaré and Élie Cartan. In PDE theory it interacts with ideas of Lars Hörmander and Solomon Lefschetz in solving ∂-equations on Stein spaces. In algebraic geometry Leray's criterion is fundamental for Čech computations in Serre's GAGA framework, in the development of coherent sheaf theory central to Grothendieck, Alexander Grothendieck, and Jean-Pierre Serre, and for cohomology vanishing theorems like Kodaira vanishing and Kawamata–Viehweg vanishing.

Generalizations and Related Results

Generalizations include Leray spectral sequence for a continuous map f: X → Y, relating R^q f_*F and H^p(Y,R^q f_*F) to H^{p+q}(X,F), central in the work of Grothendieck, Jean-Louis Verdier, and Jean-Pierre Serre. Verdier duality and Grothendieck duality extend Leray-type comparisons to dualizing complexes and coherent cohomology on schemes studied by Alexander Grothendieck and Robin Hartshorne. Cartan’s theorems A and B for Stein manifolds, Serre's finiteness theorems, and Godement resolutions provide alternate acyclicity tools related to Leray's hypothesis. The Čech-to-derived spectral sequence framework has been adapted by Pierre Deligne, Alexander Grothendieck, and Jean-Louis Verdier in étale cohomology, crystalline cohomology, and perverse sheaves used by Pierre Deligne, Masaki Kashiwara, and Joseph Bernstein. Further links connect to Hodge theory of Claire Voisin and Phillip Griffiths, to the Riemann–Roch theorems of Friedrich Hirzebruch and Armand Borel, and to modern derived algebraic geometry developed by Jacob Lurie and Bertrand Toën.

Category:Sheaf theory