Math 2.0

Category theory; homological algebra Definition

Distinguished triangle

Builds on Triangulated category

Definition

Let (𝒯,Σ)(\mathcal{T}, \Sigma) be a triangulated category. A triangle in 𝒯\mathcal{T} is a diagram X→uY→vZ→wΣXX \xrightarrow{u} Y \xrightarrow{v} Z \xrightarrow{w} \Sigma X of objects and morphisms of 𝒯\mathcal{T}. A distinguished triangle, or exact triangle, is a triangle in the class of distinguished triangles that is part of the structure of 𝒯\mathcal{T}.

Remarks

In a distinguished triangle, consecutive maps compose to zero: vu=0v u = 0, wv=0w v = 0 and (Σu)w=0(\Sigma u) w = 0. For each object WW, applying Hom⁡(W,−)\Hom(W, -) gives a long exact sequence ⋯→Hom⁡(W,X)→Hom⁡(W,Y)→Hom⁡(W,Z)→Hom⁡(W,ΣX)→⋯\cdots \to \Hom(W, X) \to \Hom(W, Y) \to \Hom(W, Z) \to \Hom(W, \Sigma X) \to \cdots. By TR1 and TR3, the third object ZZ is determined by uu up to a non-unique isomorphism; it is called a cone of uu. Example: X→id⁡X→0→ΣXX \xrightarrow{\id} X \to 0 \to \Sigma X is distinguished for every XX, by the axiom TR1. Non-example: if X≠0X \ne 0, then X→0→0→ΣXX \to 0 \to 0 \to \Sigma X is not distinguished. Indeed, the long exact sequence for W=ΣXW = \Sigma X would give Hom⁡(ΣX,0)→Hom⁡(ΣX,ΣX)→Hom⁡(ΣX,Σ0)\Hom(\Sigma X, 0) \to \Hom(\Sigma X, \Sigma X) \to \Hom(\Sigma X, \Sigma 0) exact, which forces Hom⁡(ΣX,ΣX)=0\Hom(\Sigma X, \Sigma X) = 0, but id⁡ΣX≠0\id_{\Sigma X} \ne 0. In the homotopy category of complexes, the distinguished triangles are those isomorphic to X→fY→Cone⁡(f)→X[1]X \xrightarrow{f} Y \to \operatorname{Cone}(f) \to X[1] for a chain map ff.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Triangulated category concept
  2. Distinguished triangle definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Triangulated_category
About this page
Tag9KP392QCGV
URIm2://9KP392QCGV
Kinddefinition
WritingW0 stub
MSC18G80
DefinesDistinguished triangle
UsesTriangulated category
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.