Eine injektive Auflösung eines Objekts M in einer abelschen Kategorie ist ein exakter Komplex 0→M→I^0→I^1→… mit injektiven I^i; eine solche Koresolution dient zur Berechnung rechter abgeleiteter Funktoren, z. B. Ext^i(−,M) oder der abgeleiteten Funktoren R^iΓ für einen links‑exakten Funktor Γ.

Prinzip

Injektive Objekte absorbieren Extensionen: Einbettung von M in eine injektive Hülle und Iteration liefert eine Koresolution, deren Hom in andere Objekte exakt ist. Die ordnende Idee ist, M durch einen handhabbaren Komplex von koflachen Objekten zu ersetzen, der Ext‑Hindernisse eliminiert, wenn man links‑exakte kovariante Funktoren anwendet.

Demonstration

In der Kategorie der abelschen Gruppen ist jede teilbare Gruppe (z. B. die rationalen Zahlen Q) injektiv; für eine Gruppe A konstruiert man eine injektive Auflösung, indem man A in eine injektive Gruppe I^0 (z. B. eine injektive Hülle) einbettet, dann den Kokern nimmt und diesen in I^1 einbettet usw. Wendet man Hom(−,N) auf die Auflösung an, so erhält man einen Komplex, dessen Kohomologie Ext^*(A,N) berechnet.

Fehlanwendung

Nichtinjektive Moduln an die Stelle injektiver Terme zu setzen, zerstört die Exaktheit, die zur Berechnung abgeleiteter Funktoren nötig ist, und führt zu falschen Ext‑ oder Kohomologiegruppen. Ein weiterer häufiger Fehler ist die Annahme, in jeder abelschen Kategorie existierten injektive Auflösungen, ohne die Bedingung 'genügend Injektive' zu prüfen; manche Kategorien erfordern Alternativen (K‑injektive Komplexe, Brown‑Repräsentabilität oder Modellkategorien), wenn Injektive fehlen.

Konsequenz

Wenn injektive Auflösungen existieren, liefern sie die Standardmethode zur Berechnung rechter abgeleiteter Funktoren, zur konkreten Definition derivierter Kategorien und zum Studium lokaler Kohomologie und Dualitätstheorien (Matlis‑Dualität, Grothendieck‑Dualität), wo injektive Koresolutionen Extensions‑ und Supportsphänomene sichtbar machen.

Umkehrung

Die duale Vorstellung ist die projektive Auflösung zur Berechnung linker abgeleiteter Funktoren; der Vergleich zeigt, dass linke bzw. rechte abgeleitete Berechnungen projektive bzw. injektive Ersatzobjekte benötigen und dass man in vielen praktischen Kategorien die Seite (projektiv oder injektiv) wählt, für die es genügend geeignete Objekte gibt.

Abgrenzung

Voraussetzung ist eine abelsche Kategorie mit genügend Injektiven, damit injektive Auflösungen existieren; in Kategorien ohne genügend Injektive muss man auf Alternativen zurückgreifen (K‑injektive Komplexe, Brown‑Repräsentabilität oder Modellkategorien). Selbst wenn sie existieren, können injektive Auflösungen groß oder nicht konstruktiv sein, was explizite Berechnungen in der Praxis erschwert.

Semantische Spannung

Steht im Wettbewerb mit projektiven Auflösungen und anderen Ersatztechniken (K‑injektive, injektive Modellstrukturen): injektive Auflösungen sind kanonisch, wenn verfügbar, können aber unhandlich sein, während derivatorische Methoden flexiblere, aber abstraktere Ersatzobjekte erlauben; Verwirrung entsteht, wenn man Existenz, Berechenbarkeit und Funktorialität gleichsetzt.

Synthese

Eine injektive Auflösung ist die kanonische Koresolution eines Objekts durch Injektive, deren Hom‑Komplexe rechte abgeleitete Funktoren berechnen; sie ist das duale Werkzeug zu projektiven Auflösungen, unentbehrlich zur Berechnung von Ext, lokaler Kohomologie und Dualitätsphänomenen, wobei in Kategorien ohne genügend Injektive Alternativen nötig sind.