Eine Konstruktion, die zu einer Kettenabbildung zwischen Komplexen einen neuen Komplex (den Mappingkegel) assoziiert, dessen Homologie das Versagen der Abbildung, eine Quasi-Isomorphie zu sein, misst und lange exakte Sequenzen in der Homologie liefert.

Prinzip

Man bildet den Kegel, indem man eine verschobene Kopie des Zielkomplexes an den Quellkomplex angefügt und die Differentiale mit der Abbildung kombiniert; der Kegel fügt sich in eine kurze exakte Sequenz von Komplexen ein, deren Homologie die verbindende lange exakte Sequenz liefert.

Demonstration

Für eine Kettenabbildung f: A -> B hat der Mappingkegel Cone(f) die zugrundeliegende graduierte Modulgruppe B ⊕ A[1] mit Differential d(b,a) = (d_B b + f(a), -d_A a); ist f eine Quasi-Isomorphie, so ist Cone(f) azyklisch, andernfalls detektiert seine Homologie das Hindernis.

Fehlanwendung

Den Mappingkegel mit dem Kokernel zu verwechseln oder notwendige Vorzeichen- und Gradverschiebungen bei der Bildung des Kegels zu ignorieren, oder den Kegel zu verwenden, ohne zu überprüfen, dass das gewählte Modell Homotopie- und triangulierte Strukturkonventionen respektiert.

Konsequenz

Der Mappingkegel bietet ein konkretes Werkzeug zur Detektion von Quasi-Isomorphismen, zur Konstruktion distinguierter Dreiecke in derivierten Kategorien und zur Erzeugung verbindender Homomorphismen sowie langer exakter Sequenzen in Homologie-Berechnungen.

Umkehrung

Statt einen Kegel zu bilden, um das Versagen der Abbildung zu kodieren, kann man das duale Konzept der Mapping-Faser bilden, um Homotopie-Kerne zu kodieren; die Umkehrung hebt die Dualität zwischen Kofaser (Kegel) und Faser hervor.

Abgrenzung

Gilt für (Ketten-)Komplexe in additiven Kategorien mit Verschiebungen und Mappingkegeln; Vorzeichenkonventionen und Verschiebungsfunktoren sind entscheidend, und die Konstruktion muss in DG- und triangulierten Kontexten sorgfältig gehandhabt werden, um Strukturen zu respektieren.

Semantische Spannung

Es besteht Spannung zwischen der Betrachtung des Mappingkegels als rein algebraisches Werkzeug für exakte Sequenzen und seiner Auffassung als homotopischer Kokegel in triangulierten oder derivierten Kategorien; die kategoriale Sicht verlangt zusätzliche Natürlichkeit und Dreiecksaxiome.

Synthese

Der Mappingkegel ist der kanonische Komplex, der aus einer Kettenabbildung entsteht, das Versagen der Abbildung in seiner Homologie zusammenfasst, lange exakte Sequenzen liefert und Kofaser-/Dreiecksstrukturen in homotopischen Kontexten realisiert, sofern Vorzeichen und Verschiebungen korrekt behandelt werden.