ConceptComplete

Distinguished Triangle

Distinguished triangles are the replacement for short exact sequences in triangulated categories. While a short exact sequence 0ABC00 \to A \to B \to C \to 0 lives in an abelian category, a distinguished triangle ABCA[1]A \to B \to C \to A[1] lives in a triangulated category. The key difference is the third morphism CA[1]C \to A[1], which encodes the connecting homomorphism.


Definition

Definition5.3Triangle

A triangle in a triangulated category T\mathcal{T} is a sequence of morphisms

XuYvZwX[1]X \xrightarrow{u} Y \xrightarrow{v} Z \xrightarrow{w} X[1]

A morphism of triangles from (X,Y,Z,u,v,w)(X, Y, Z, u, v, w) to (X,Y,Z,u,v,w)(X', Y', Z', u', v', w') is a triple (α,β,γ)(\alpha, \beta, \gamma) making the obvious diagram commute.

Definition5.4Distinguished Triangle

A triangle is distinguished (or exact) if it belongs to the specified class of distinguished triangles in the triangulated structure. In K(A)K(\mathcal{A}) and D(A)D(\mathcal{A}), the distinguished triangles are those isomorphic to mapping cone triangles AfBCone(f)A[1]A \xrightarrow{f} B \to \mathrm{Cone}(f) \to A[1].


Examples

ExampleMapping cone triangle

For any chain map f:ABf : A^\bullet \to B^\bullet, the triangle AfBιCone(f)pA[1]A \xrightarrow{f} B \xrightarrow{\iota} \mathrm{Cone}(f) \xrightarrow{p} A[1] is distinguished in K(A)K(\mathcal{A}). Here Cone(f)n=An+1Bn\mathrm{Cone}(f)^n = A^{n+1} \oplus B^n with differential d(a,b)=(da,f(a)+db)d(a, b) = (-da, f(a) + db).

ExampleShort exact sequence gives a triangle

In D(A)D(\mathcal{A}), a short exact sequence 0ABC00 \to A \to B \to C \to 0 in A\mathcal{A} gives a distinguished triangle ABCδA[1]A \to B \to C \xrightarrow{\delta} A[1]. The morphism δ\delta corresponds to the extension class in Ext1(C,A)\mathrm{Ext}^1(C, A).

ExampleSplit triangle

The triangle AABBA[1]A \to A \oplus B \to B \to A[1] with the obvious maps and w=0w = 0 is distinguished. This corresponds to the split short exact sequence. The zero connecting homomorphism means the extension is trivial.

ExampleCofiber sequence in topology

In the stable homotopy category, for f:XYf : X \to Y, the cofiber sequence XfYY/XΣXX \xrightarrow{f} Y \to Y/X \to \Sigma X is a distinguished triangle. The shift [1][1] is the suspension Σ\Sigma.

ExampleRotation

If XuYvZwX[1]X \xrightarrow{u} Y \xrightarrow{v} Z \xrightarrow{w} X[1] is distinguished, then YvZwX[1]u[1]Y[1]Y \xrightarrow{v} Z \xrightarrow{w} X[1] \xrightarrow{-u[1]} Y[1] is also distinguished. The sign u[1]-u[1] is essential.

ExampleLong exact sequence from a triangle

Applying Hom(W,)\mathrm{Hom}(W, -) to a distinguished triangle XYZX[1]X \to Y \to Z \to X[1] gives the long exact sequence:

Hom(W,X[n])Hom(W,Y[n])Hom(W,Z[n])Hom(W,X[n+1])\cdots \to \mathrm{Hom}(W, X[n]) \to \mathrm{Hom}(W, Y[n]) \to \mathrm{Hom}(W, Z[n]) \to \mathrm{Hom}(W, X[n+1]) \to \cdots

ExampleAcyclicity from a triangle

In D(A)D(\mathcal{A}), a complex CC^\bullet is acyclic iff C0C^\bullet \cong 0 iff 0C00[1]0 \to C^\bullet \to 0 \to 0[1] is a distinguished triangle iff CC^\bullet sits in a distinguished triangle C0?C[1]C \to 0 \to ? \to C[1].

ExampleExt and triangles

Extn(X,Y)=HomD(A)(X,Y[n])\mathrm{Ext}^n(X, Y) = \mathrm{Hom}_{D(\mathcal{A})}(X, Y[n]). A class ξExt1(C,A)\xi \in \mathrm{Ext}^1(C, A) corresponds to a distinguished triangle ABCξA[1]A \to B \to C \xrightarrow{\xi} A[1] where BB is the extension.

ExampleKoszul triangle

For an element xRx \in R and an RR-module MM, the Koszul triangle is MxMM/xMM[1]M \xrightarrow{x} M \to M/xM \to M[1] in D(R)D(R). This is the triangle associated to the short exact sequence 0MxMM/xM00 \to M \xrightarrow{x} M \to M/xM \to 0 (when xx is a non-zero-divisor on MM).

ExampleDirect sum of triangles

If XiYiZiXi[1]X_i \to Y_i \to Z_i \to X_i[1] are distinguished for i=1,2i = 1, 2, then X1X2Y1Y2Z1Z2(X1X2)[1]X_1 \oplus X_2 \to Y_1 \oplus Y_2 \to Z_1 \oplus Z_2 \to (X_1 \oplus X_2)[1] is distinguished. Distinguished triangles are preserved by direct sums.

ExampleVerdier quotient triangles

In the Verdier quotient T/S\mathcal{T}/\mathcal{S}, a triangle is distinguished iff it is isomorphic to the image of a distinguished triangle in T\mathcal{T}. The localization functor TT/S\mathcal{T} \to \mathcal{T}/\mathcal{S} is exact (preserves distinguished triangles).

ExampleDistinguished triangle and Euler characteristic

For a distinguished triangle XYZX[1]X \to Y \to Z \to X[1] in Db(A)D^b(\mathcal{A}), χ(Y)=χ(X)+χ(Z)\chi(Y) = \chi(X) + \chi(Z), where χ=(1)n[Hn]\chi = \sum (-1)^n [H^n] in the Grothendieck group.


Key Properties

Theorem5.1Properties of distinguished triangles
  1. The composition vu=0v \circ u = 0 for any distinguished triangle XuYvZX[1]X \xrightarrow{u} Y \xrightarrow{v} Z \to X[1].
  2. If two of three vertices of a morphism of distinguished triangles are isomorphisms, so is the third.
  3. The cone ZZ is determined by uu up to (non-unique) isomorphism.
RemarkNon-functoriality

Unlike kernels in abelian categories, the cone ZZ in a distinguished triangle XuYZX[1]X \xrightarrow{u} Y \to Z \to X[1] depends on uu but is not functorial in uu. This is a fundamental deficiency: given a commutative square, the induced map on cones exists but is not unique. This motivates DG and \infty-categorical enhancements.