Aussage in der algebraischen Geometrie.

Ist X eine glatte projektivealgebraische Varietät über ℂ, ist \(\begin{eqnarray} {\mathcal L} \end{eqnarray}\)einamples Geradenbündel, und bezeichnet \({\Omega}_{X}^{q}\)die Garbe der (holomorphen) q-Formen auf X, so ist\begin{eqnarray}{H}^{p}\,\,(X,\,{\Omega}_{X}^{q}\,\otimes \, {\mathcal L} ),=0\end{eqnarray}für p + q >n = dim X.

Hieraus folgt insbesondere (durch Serre-Dualität) \begin{eqnarray}{H}^{i}\left(X,{{\mathcal L} }^{-1}\right)=0\quad\mathrm f\ddot{\mathrm u}\mathrm r\,\,i\lt\,n.\end{eqnarray}