In algebraic geometry, a vanishing theorem gives conditions for coherent cohomology groups to vanish.