## [Construcción del Cono de Mapping](/es/node/63951) Definición 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 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 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 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 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 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 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 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 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.