Distinguished Triangle
Distinguished triangles are the replacement for short exact sequences in triangulated categories. While a short exact sequence lives in an abelian category, a distinguished triangle lives in a triangulated category. The key difference is the third morphism , which encodes the connecting homomorphism.
Definition
A triangle in a triangulated category is a sequence of morphisms
A morphism of triangles from to is a triple making the obvious diagram commute.
A triangle is distinguished (or exact) if it belongs to the specified class of distinguished triangles in the triangulated structure. In and , the distinguished triangles are those isomorphic to mapping cone triangles .
Examples
For any chain map , the triangle is distinguished in . Here with differential .
In , a short exact sequence in gives a distinguished triangle . The morphism corresponds to the extension class in .
The triangle with the obvious maps and is distinguished. This corresponds to the split short exact sequence. The zero connecting homomorphism means the extension is trivial.
In the stable homotopy category, for , the cofiber sequence is a distinguished triangle. The shift is the suspension .
If is distinguished, then is also distinguished. The sign is essential.
Applying to a distinguished triangle gives the long exact sequence:
In , a complex is acyclic iff iff is a distinguished triangle iff sits in a distinguished triangle .
. A class corresponds to a distinguished triangle where is the extension.
For an element and an -module , the Koszul triangle is in . This is the triangle associated to the short exact sequence (when is a non-zero-divisor on ).
If are distinguished for , then is distinguished. Distinguished triangles are preserved by direct sums.
In the Verdier quotient , a triangle is distinguished iff it is isomorphic to the image of a distinguished triangle in . The localization functor is exact (preserves distinguished triangles).
For a distinguished triangle in , , where in the Grothendieck group.
Key Properties
- The composition for any distinguished triangle .
- If two of three vertices of a morphism of distinguished triangles are isomorphisms, so is the third.
- The cone is determined by up to (non-unique) isomorphism.
Unlike kernels in abelian categories, the cone in a distinguished triangle depends on but is not functorial in . This is a fundamental deficiency: given a commutative square, the induced map on cones exists but is not unique. This motivates DG and -categorical enhancements.