In mathematics, the AndreottiâÂÂVesentini separation theorem, introduced by states that certain cohomology groups of coherent sheaves are separated.