Dualité de Serre

Un théorème de dualité pour les espaces algébriques ou analytiques propres et lisses de dimension n, fournissant un appariement parfait naturel entre la cohomologie d’un faisceau cohérent et la cohomologie de son dual tordu par le faisceau canonique (faisceau dualisant), souvent formulé H^i(X,F) ≅ Hom(H^{n-i}(X, ω_X ⊗ F^∨), k)^* ou H^i(X,F)^* ≅ H^{n-i}(X, ω_X ⊗ F^∨).