Skip to main content
2 of 3
edited body
Donu Arapura
  • 35.2k
  • 2
  • 94
  • 160

Let me address the modified question (as corrected by Jason). There are many intuitions depending on which proof-style you want to use. Here are a few remarks.

The original of proof of Kodaira uses the curvature properties directly to show that there are no nonzero harmonic forms representing elements of $H^q(X, K_X\otimes L)$, when $q>0$ and $L$ is positive. In some sense, this adapts an argument of Bochner that shows that certain Betti numbers vanish for positively curved Riemannian manifolds (like the sphere). There is a slightly slicker proof of a somewhat stronger result due to Akizuki and Nakano. This is the one you find in many textbooks such as Griffiths and Harris. I think this is quite readable, but too long to explain here. One consequence of Kodaira's vanishing, as originally stated, is to prove that a line bundle is positive iff it is ample. Most algebraic geometers prefer to make this substitution in the statement, and I will do it as well below.

The Akizuki-Kodaira-Nakano vanishing implies the Lefschetz hyperplane theorem. Ramanujam turned this around to show that Lefschetz theorem together with the Hodge decomposition actually implies AKN-vanising. There are a bunch of other "topological" proofs to due Esnault-Viehweg and Kollár. Personally, I find these more insightful than the original arguments, but it is really a matter of taste.

There are now purely algebraic proofs due to Deligne-Illusie-Raynaud. The idea is to use a boot-strapping argument. If you can show that $\dim H^q(X, K\otimes L)\le \dim H^q(X, K\otimes L^N)$ for $N\gg 0$. You get Kodaira from Serre vanishing. In order to actually get such an inequality, you have to use certain tricks with the Frobenius (i.e. you work in characteristic $p>0$).

Donu Arapura
  • 35.2k
  • 2
  • 94
  • 160