## [Serre-Dualität](/de/node/63711) Definition 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^∨). ## Prinzip Prinzip Existenz eines dualisierenden Garbens ω_X und einer Spur- (Serre-)Abbildung; kohärente Kohomologie in komplementären Graden paart in den Spitzengrad und dann über die Spur mit dem Grundkörper, wodurch unter Voraussetzungen von Eigentlichkeit und Glätte die Dualitätsisomorphismen entstehen. ## Demonstration Demonstration Beispiel: Für eine glatte projektive Kurve C vom Geschlecht g liefert die Serre-Dualität H^0(C,L)^* ≅ H^1(C, ω_C ⊗ L^∨), sodass Schnitte eines Geradenbündels dual zur Kohomologie in Grad eins mit kanonischer Drehung sind; dies bildet die Grundlage klassischer Riemann–Roch-Berechnungen. ## Fehlanwendung Fehlanwendung Serre-Dualität auf nicht-eigentliche oder stark singuläre Räume anzuwenden, ohne ein wohlverhaltendes dualisierendes Komplex zu haben, oder Kohärenzbedingungen zu ignorieren; den dualisierenden Garben dort als trivial anzunehmen, wo er nicht global definiert oder nicht invertierbar ist. ## Konsequenz Konsequenz Ermöglicht Dimensionszählungen und Dualitäten in kohomologischen Rechnungen, bildet die Grundlage für Riemann–Roch und Verschwindungssätze und liefert Serre-Funktoren in abgeleiteten Kategorien, die Adjunkte und Autoäquivalenzen identifizieren. ## Umkehrung Umkehrung Die Verdier-Dualität verallgemeinert die Serre-Dualität auf abgeleitete Kategorien und auf eventuell singuläre oder nicht kompakte Kontexte, indem kohärente Kohomologie durch abgeleitete Bildfunktoren und das dualisierende Komplex ersetzt wird; Serre-Dualität ist die Spezialisierung auf den glatten, eigentlichen kohärenten Fall. ## Abgrenzung Abgrenzung Setzt Eigentlichkeit und Glätte (oder zumindest ein wohlverstandenes dualisierendes Komplex) sowie kohärente Garbe voraus; versagt im Allgemeinen für nicht-eigentliche Räume, nicht-kohärente Koeffizienten oder wenn Singularitäten eine einfache Beschreibung des dualisierenden Garbens verhindern. ## Semantische Spannung Semantische Spannung Wird oft mit der Poincaré-Dualität in der Topologie verglichen: beide paaren komplementäre Gradsätze, doch Serre-Dualität verwendet den algebraisch/analytischen dualisierenden Garben und kohärente Kohomologie statt singulärer Kohomologie und Orientierungs-Klassen. ## Synthese Synthese Serre-Dualität identifiziert Kohomologiegruppen in komplementären Graden mittels des dualisierenden Garbens und einer Spurabbildung und verwandelt kanonische geometrische Daten in algebraische Dualitäten, die Dimensionsformeln und Serre-Funktoren in abgeleiteten Kategorien antreiben.