## [Konstruktion des Mappingkegels](/de/node/63951) Definition 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 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 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 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 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 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 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 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 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.