For a proper scheme X over a field k and any coherent sheaf E on X, the cohomology groups Hi(X,E) have finite dimension as k-vector spaces [REF].
The finite-dimensionality of cohomology also holds in the analogous situation of coherent analytic sheaves on any compact complex space, by a very different argument.