Une construction qui associe à un morphisme de complexes un nouveau complexe (le cône de mapping) dont l'homologie mesure l'échec du morphisme à être une quasi-isomorphie et qui fournit des suites exactes longues en homologie.

Principe

Former le cône en joignant une copie décalée du complexe cible au complexe source avec une différentielle combinant les différentielles originales et le morphisme ; le cône s'insère dans une suite exacte courte de complexes dont l'homologie donne la suite exacte longue de raccordement.

Démonstration

Pour un morphisme de chaînes f : A -> B, le cône de mapping Cone(f) a pour module gradué sous-jacent B ⊕ A[1] avec différentielle d(b,a) = (d_B b + f(a), -d_A a) ; si f est une quasi-isomorphie alors Cone(f) est acyclique, sinon son homologie détecte l'obstruction.

Mauvaise application

Confondre le cône de mapping avec le conoyau ou ignorer les signes et décalages en degrés nécessaires lors de la formation du cône, ou utiliser le cône sans vérifier que le modèle choisi respecte les conventions d'homotopie ou de structure triangulée.

Conséquence

Le cône de mapping fournit un outil concret pour détecter les quasi-isomorphismes, construire des triangles distingués dans les catégories dérivées, et produire des homomorphismes de raccordement et des suites exactes longues en homologie.

Inversion

Plutôt que de former un cône pour encoder l'échec du morphisme, on peut former une fibre de mapping (notion duale) pour encoder les noyaux d'homotopie ; l'inversion met en lumière la dualité entre constructions cofibres (cône) et fibres.

Limite

S'applique aux complexes (de chaînes) dans des catégories additives avec décalages et cônes de morphismes ; les conventions de signes et les foncteurs de suspension sont essentiels et la construction doit être employée avec soin en contexte différentiel gradué et triangulé pour respecter la structure.

Tension sémantique

Il existe une tension entre considérer le cône de mapping comme un simple gadget algébrique pour suites exactes et le voir comme le cofibres homotopique dans les catégories triangulées ou dérivées ; le point de vue catégorique impose une naturalité et des axiomes de triangle supplémentaires.

Synthèse

Le cône de mapping est le complexe canonique construit à partir d'un morphisme de chaînes qui emballe l'échec de ce morphisme à être une quasi-isomorphie dans son homologie, fournit des suites exactes longues et réalise des cofibres/triangles en contexte homotopique quand on respecte signes et décalages.