 Kodaira vanishing theorem

On a compact Kähler manifold $X$, if $P$ is a positive holomorphic line bundle, then $H^i(X,K_X\otimes P)=0$ for $i>0$. The canonical-bundle twist is part of the hypothesis and conclusion; positivity alone does not remove it on a general manifold. For a complex torus, the canonical bundle is trivial, so higher cohomology of a positive line bundle vanishes without an additional twist.

The Kodaira vanishing theorem is a fundamental result in algebraic geometry, named after Kunihiko Kodaira. It provides important information about the cohomology of certain types of sheaves on smooth projective varieties. ### Statement of the Theorem In its classical form, the Kodaira vanishing theorem can be stated as follows: Let \( X \) be a smooth projective variety over the complex numbers, and let \( L \) be an ample line bundle on \( X \).