Eine Cartan–Eilenberg‑Auflösung ist ein Doppelkomplex (eine Bi‑Auflösung), aufgebaut aus projektiven (oder injektiven) Objekten, der ein Objekt sowohl horizontal als auch vertikal auflöst; sie dient zur Berechnung abgeleiteter Funktoren von Funktorkompositionen und zur Erzeugung derjenigen Spektralsequenzen, die diese abgeleiteten Funktoren in Beziehung setzen.

Prinzip

Indem man Objekte in zwei Richtungen auflöst, erhält man einen Total­komplex, dessen Homologie die abgeleiteten Funktoren des Kompositums berechnet; die ordnende Idee ist, eine Komposition nichtexakter Funktoren durch einen Bikonplex aus exakten Stücken zu ersetzen, so dass Spektralsequenz‑Methoden das Zielobjekt schrittweise gewinnen können.

Demonstration

In abelschen Kategorien mit genügend Projektiven nimmt man zur Berechnung der linken abgeleiteten Funktoren L_*(F∘G) eine projektive Auflösung P→X, wendet G an, erhält den Komplex G(P) und nimmt dann für jedes G(P_i) projektive Auflösungen, die zu einem Doppelkomplex im ersten Quadranten zusammengefügt werden. Die assoziierten Spektralsequenzen berechnen die Homologie des Totalcomplexes und konvergieren zu L_*(F∘G)(X), was in konkreten Rechnungen zu den Grothendieck‑ bzw. Cartan–Eilenberg‑Spektralsequenzen führt.

Fehlanwendung

Einen Cartan–Eilenberg‑Doppelkomplex mit nichtprojektiven (oder nichtinjektiven) Zeilen/Spalten zu bauen, untergräbt die Exacteigenschaften, die nötig sind, um Seiten der Spektralsequenz zu identifizieren; ebenso führt das automatische Annehmen von Konvergenz ohne Prüfung von Begrenzungen oder Nulllinien zu falschen Schlüssen über abgeleitete Funktoren.

Konsequenz

Stellt eine systematische Maschine zur Berechnung und Verknüpfung abgeleiteter Funktoren von Kompositionen bereit und erzeugt konvergente Spektralsequenzen, die schwierige Rechnungen in handhabbare Stufen aufteilen; sie macht die Herkunft von Extensionsproblemen und Filtrationsstrukturen in abgeleiteten Zielen transparent.

Umkehrung

Das duale Bild verwendet injektive Cartan–Eilenberg‑Auflösungen zur Berechnung rechter abgeleiteter Funktoren: man ersetzt Objekte durch injektive Koresolutionen in beiden Richtungen und erhält analoge Spektralsequenzen für Kompositionen rechter abgeleiteter Funktoren. Diese Umkehrung betont die Allgemeinheit des Bikonplex‑Ansatzes für linke versus rechte Kontexte.

Abgrenzung

Erfordert die Arbeit in abelschen Kategorien mit genügend Projektiven oder genügend Injektiven; für die praktische Nutzung werden in der Regel Begrenzungs‑ oder Endlichkeitsbedingungen vorausgesetzt, um Konvergenz der Spektralsequenzen und effektive Berechenbarkeit sicherzustellen; außerhalb dieser Rahmen können subtile Konvergenz‑ oder Größenprobleme die Methode blockieren.

Semantische Spannung

Steht in Beziehung zu anderen Konstruktionen von Spektralsequenzen (gefilterte Komplexe, Hyperkohomologie‑Spektralsequenzen): Cartan–Eilenberg‑Auflösungen geben einen Bikomplex‑Filtrationsblick, während gefilterte Komplexe eine intrinsische Treppenfiltration liefern; die Wahl hängt davon ab, welche Filtration oder Funktorialität für das Problem am besten geeignet ist.

Synthese

Eine Cartan–Eilenberg‑Auflösung ist das Bikomplex‑Werkzeug, das eine Komposition nichtexakter Funktoren durch einen Doppelkomplex aus Projektiven oder Injektiven ersetzt, sodass der Totalkomplex und seine Spektralsequenzen die abgeleiteten Funktoren in Stufen berechnen; sie verpackt homologische Daten in Filtrationen und Seiten, die Extensions‑ und Konvergenzphänomene isolieren.