In homological algebra, the mapping cone is a construction on a map of chain complexes inspired by the analogous construction in topology. In the theory of triangulated categories it is a kind of combined kernel and cokernel: if the chain complexes take their terms in an abelian category, so that we can talk about cohomology, then the cone of a map f being acyclic means that the map is a quasi-isomorphism; if we pass to the derived category of complexes, this means that f is an isomorphism there, which recalls the familiar property of maps of groups, modules over a ring, or elements of an arbitrary abelian category that if the kernel and cokernel both vanish, then the map is an isomorphism. If we are working in a t-category, then in fact the cone furnishes both the kernel and cokernel of maps between objects of its core.
The cone may be defined in the category of cochain complexes over any additive category (i.e., a category whose morphisms form abelian groups and in which we may construct a direct sum of any two objects). Let
A,B
dA,dB;
A=...\toAn
n-1 | |
\xrightarrow{d | |
A |
B.
For a map of complexes
f:A\toB,
\operatorname{Cone}(f)
C(f),
C(f)=A[1] ⊕ B=...\toAn ⊕ Bn\toAn ⊕ Bn\toAn ⊕ Bn\to …
dC(f)=\begin{pmatrix}dA[1]&0\ f[1]&dB\end{pmatrix}
A[1]
A[1]n=An
n | |
d | |
A[1] |
n+1 | |
=-d | |
A |
C(f)
A[1] ⊕ B
Thus, if for example our complexes are of abelian groups, the differential would act as
n | |
\begin{array}{ccl} d | |
C(f) |
(an,bn)&=&\begin{pmatrix}
n | |
d | |
A[1] |
&0\ f[1]n&
n | |
d | |
B |
\end{pmatrix}\begin{pmatrix}an\ bn\end{pmatrix}\\ &=&\begin{pmatrix}-
n+1 | |
d | |
A |
&0\ fn&
n | |
d | |
B |
\end{pmatrix}\begin{pmatrix}an\ bn\end{pmatrix}\\ &=&\begin{pmatrix}-
n+1 | |
d | |
A |
(an)\ fn(an)+
n) | |
d | |
B(b |
\end{pmatrix}\\ &=&\left(-
n+1 | |
d | |
A |
(an),fn(an)+
n)\right). \end{array} | |
d | |
B(b |
Suppose now that we are working over an abelian category, so that the homology of a complex is defined. The main use of the cone is to identify quasi-isomorphisms: if the cone is acyclic, then the map is a quasi-isomorphism. To see this, we use the existence of a triangle
A\xrightarrow{f}B\toC(f)\toA[1]
where the maps
B\toC(f),C(f)\toA[1]
...\toHi(C(f))\toHi(A)\xrightarrow{f*}Hi(B)\toHi(C(f))\to …
C(f)
f*
This fact recalls the usual alternative characterization of isomorphisms in an abelian category as those maps whose kernel and cokernel both vanish. This appearance of a cone as a combined kernel and cokernel is not accidental; in fact, under certain circumstances the cone literally embodies both. Say for example that we are working over an abelian category and
A,B
A=...\to0\toA0\to0\to … ,
B=...\to0\toB0\to0\to … ,
f\colonA\toB
f0\colonA0\toB0
C(f)=...\to0\to\underset{[-1]}{A0}\xrightarrow{f0}\underset{[0]}{B0}\to0\to … .
H-1(C(f))=\operatorname{ker}(f0),
H0(C(f))=\operatorname{coker}(f0),
Hi(C(f))=0fori ≠ -1,0.
A related notion is the mapping cylinder: let
f\colonA\toB
g\colon\operatorname{Cone}(f)[-1]\toA
This complex is called the cone in analogy to the mapping cone (topology) of a continuous map of topological spaces
\phi:X → Y
cone(\phi)