In algebraic topology and algebraic geometry, Leray's theorem (so named after Jean Leray) relates abstract sheaf cohomology with ÃÂech cohomology.
Let be a sheaf on a topological space and an open cover of If is acyclic on every finite intersection of elements of (meaning that for all and all , then
where is the -th ÃÂech cohomology group of with respect to the open cover