Grothendieck vanishing
= Grothendieck vanishing
{c}
For a <coherent sheaf> on a <Noetherian scheme>, its <sheaf cohomology> vanishes in degrees greater than its support dimension. In particular, a zero-dimensional projective scheme has no positive-degree coherent cohomology.