Ein Formalismus in der dériven Kategorie (und in kohärenten/kompakten Kontexten), der eine Dualität zwischen Pushforward- und außerordentlichem Pullback-Funktoren beschreibt: Für einen geeignet endlichen Morphismus f gibt es eine Adjungierte zwischen Rf_* und f^!, vermittelt durch ein relatives dualisierendes Komplex, und damit eine Verallgemeinerung von Serre- und Verdier-Dualität.

Prinzip

Das Vorhandensein eines dualisierenden Komplexes ω_f und die funktorielle Adjunktion Rf_* RHom(–, f^!O_Y) ≅ RHom(Rf_*(–), O_Y) fassen zusammen, wie Kohomologie mit kompaktem Träger oder kohärente Kohomologie sich unter properen Abbildungen verhält; Kohärenz- und Endlichkeitsbedingungen sichern die Erhaltung der Beschränktheit der abgeleiteten Funktoren.

Demonstration

Für einen properen glatten Morphismus f: X → Y relativer Dimension d zwischen glatten projektiven Varietäten gilt f^!O_Y ≅ ω_{X/Y}[d] und die Grothendieck-Dualität liefert Serre-Dualität auf den Fasern sowie globale Adjunktionen zwischen Rf_* und f^! für kohärente Garben.

Fehlanwendung

Die Dualität als Isomorphie naiver Pushforwards ohne derivierten Kontext oder Dualisierer-Verschiebungen zu behandeln, sie ohne Endlichkeits‑/Propernessannahmen anzuwenden oder Kohärenzbedingungen zu ignorieren führt zu falschen Aussagen.

Konsequenz

Sie liefert ein konzeptionelles und rechnerisches Werkzeug, um kohomologische Daten entlang von Morphismen zu übertragen, erzeugt Spurabbildungen und Dualitätspaarungen und bildet die Grundlage für Basiswechsel- und Verträglichkeitsresultate in Deformationstheorie und Schnitttheorie.

Umkehrung

Die Umkehrung betont f^! als den 'richtigen' Weg, dualisierende Daten zurückzuziehen: Während der gewöhnliche Pullback f^* linksadjungiert zu Rf_* ist, ist der außerordentliche Pullback f^! rechtsadjungiert nach Anwendung der Dualität und offenbart duale Perspektiven auf Pushforwards und Pullbacks.

Abgrenzung

Gilt unter Voraussetzungen wie Properness, endlicher Tor-Dimension oder allgemein für getrennte Morphismen endlichen Typs zwischen noetherschen Schemata mit kohärenten dualisierenden Komplexen; in nicht-noetherschen, unendlich‑typischen oder schematischen Pfadologien sind Anpassungen nötig.

Semantische Spannung

Spannungen bestehen zwischen Grothendieck-Dualität, Serre-Dualität (Spezialfall auf glatten projektiven Varietäten) und Verdier-Dualität (für konstruktive Garben): Gemeinsame Strukturformen, aber verschiedene Voraussetzungen, Kategorien und dualisierende Objekte.

Synthese

Die Grothendieck-Dualität fasst eine derivierte Adjunktion zusammen, vermittelt durch einen dualisierenden Komplex, verallgemeinert Serre- und Verdier-Dualität und liefert Spurabbildungen sowie ein strukturiertes Verständnis, wie Kohomologie unter properen, endlichen Morphismen transformiert wird.