Serre-Dualität

Ein Dualitätssatz für eigentliche glatte algebraische oder komplex-analytische Räume der Dimension n, der ein natürliches perfektes Paar zwischen der Kohomologie eines kohärenten Garbens und der Kohomologie seines Duals, getwistet mit dem kanonischen (dualierenden) Garben, liefert; typischerweise in der Form H^i(X,F) ≅ Hom(H^{n-i}(X, ω_X ⊗ F^∨), k)^* oder H^i(X,F)^* ≅ H^{n-i}(X, ω_X ⊗ F^∨).