In algebraic topology and algebraic geometry, Leray's theorem (so named after Jean Leray) relates abstract sheaf cohomology with Čech cohomology. Let F {\displaystyle {\mathcal {F}}} be a sheaf on a topological space X {\displaystyle X} and U {\displaystyle {\mathcal {U}}} an open cover of X . {\displaystyle X.} If F {\displaystyle {\mathcal {F}}} is acyclic on every finite intersection of elements of U {\displaystyle {\mathcal {U}}} (meaning that H i ( U 1 ∩ ⋯ ∩ U p , F ) = 0 {\displaystyle H^{i}(U_{1}\cap \dots \cap U_{p},{\mathcal {F}})=0} for all i ≥ 1 {\displaystyle i\geq 1} and all U 1 , … , U p ∈ U ) {\displaystyle U_{1},\dots ,U_{p}\in {\mathcal {U}})} , then
H ˇ q ( U , F ) = H q ( X , F ) , {\displaystyle {\check {H}}^{q}({\mathcal {U}},{\mathcal {F}})=H^{q}(X,{\mathcal {F}}),}
where H ˇ q ( U , F ) {\displaystyle {\check {H}}^{q}({\mathcal {U}},{\mathcal {F}})} is the q {\displaystyle q} -th Čech cohomology group of F {\displaystyle {\mathcal {F}}} with respect to the open cover U . {\displaystyle {\mathcal {U}}.}
References Bonavero, Laurent. Cohomology of Line Bundles on Toric Varieties, Vanishing Theorems. Lectures 16-17 from "Summer School 2000: Geometry of Toric Varieties." This article incorporates material from Leray's theorem on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.
