Dualidad de Serre

Un teorema de dualidad para espacios algebraicos o analíticos complejos propios y lisos de dimensión n que establece un apareamiento perfecto natural entre la cohomología de un haz coherente y la cohomología de su dual teñida por el haz canónico (dualizante), generalmente expresado como H^i(X,F) ≅ Hom(H^{n-i}(X, ω_X ⊗ F^∨), k)^* o H^i(X,F)^* ≅ H^{n-i}(X, ω_X ⊗ F^∨).