In mathematics, the Andreotti–Grauert theorem, introduced by Andreotti and Grauert (1962), gives conditions for cohomology groups of coherent sheaves over complex manifolds to vanish or to be finite-dimensional.