 Leray's theorem

If every nonempty finite intersection of members of an open cover has vanishing higher sheaf cohomology for $\mathcal{F}$, then the cover's Čech cohomology computes $H^p(X,\mathcal{F})$. An affine open cover of a separated scheme satisfies this condition for a quasi-coherent sheaf because its finite intersections are affine.

Leray's theorem, often referred to in the context of topology or functional analysis, generally pertains to the existence of solutions for certain types of partial differential equations (PDEs) or, more broadly, variational problems. One of the prominent formulations of Leray's theorem deals with the existence of weak solutions for the Navier-Stokes equations, which describe the motion of fluid substances.