## [Grothendieck-Dualität](/de/node/63733) Definition 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 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 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 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 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 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 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 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 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.