Una construcción que asocia a una aplicación de cadenas entre complejos un nuevo complejo (el cono de mapping) cuya homología mide el fallo de que la aplicación sea una quasi-isomorfía y que produce secuencias exactas largas en homología.

Principio

Formar el cono adyuntando una copia desplazada del complejo objetivo al complejo fuente con una diferencial que combina las diferenciales originales y la aplicación; el cono encaja en una secuencia exacta corta de complejos cuya homología da la secuencia exacta larga de conexión.

Demostración

Dada una aplicación de cadenas f: A -> B, el cono de mapping Cone(f) tiene como módulo graduado subyacente B ⊕ A[1] con diferencial d(b,a) = (d_B b + f(a), -d_A a); si f es una quasi-isomorfía entonces Cone(f) es acíclico, y en caso contrario su homología detecta la obstrucción.

Aplicación incorrecta

Confundir el cono de mapping con el cokernel o ignorar los signos y desplazamientos de grado necesarios al formar el cono, o usar el cono sin comprobar que el modelo elegido respete las convenciones de homotopía o de estructura triangulada.

Consecuencia

El cono de mapping proporciona una herramienta concreta para detectar quasi-isomorfías, construir triángulos distinguidos en categorías derivadas y producir homomorfismos de conexión y secuencias exactas largas en cálculos de homología.

Inversión

En lugar de formar un cono para codificar el fallo del morfismo, se puede formar una fibra de mapping (noción dual) para codificar núcleos homotópicos; invertir resalta la dualidad entre cofibra (cono) y fibra.

Límite

Se aplica a complejos (de cadenas) en categorías aditivas con desplazamientos y conos de mapping; las convenciones de signos y los funtores de desplazamiento son esenciales y la construcción debe usarse con cuidado en contextos diferencial-graduados y triangulados para respetar la estructura.

Tensión semántica

Existe tensión entre tratar el cono de mapping como un artefacto algebraico para secuencias exactas y verlo como el cofibra homotópico en categorías trianguladas o derivadas; la visión categórica impone adicional naturalidad y axiomas de triángulo.

Síntesis

El cono de mapping es el complejo canónico construido a partir de una aplicación de cadenas que empaqueta en su homología el fallo de que dicha aplicación sea una quasi-isomorfía, produce secuencias exactas largas y realiza cofibra/triángulos en entornos homotópicos cuando se respetan signos y desplazamientos.