Distinguished triangle

1 Definition and Basic Form

1.1 Triangulated categories in brief

A triangulated category is an additive category equipped with an autoequivalence (the shift functor) and a class of diagrams called distinguished triangles. The defining feature is that these triangles behave like the patterns produced by short exact sequences of chain complexes, but in a setting where one cannot rely on ordinary notions of exactness of sequences. Instead, the axioms governing distinguished triangles encode how they transform under shifts and how morphisms interact with them.

1.2 Distinguished triangle: notation and structure

A distinguished triangle is a diagram of the form \[ X \xrightarrow{f} Y \xrightarrow{g} Z \xrightarrow{h} X[1], \] where \(X[1]\) denotes the shift of \(X\). The three objects together with the three morphisms are treated as a unit. The triangle is “distinguished” in the sense that it is selected by the triangulated structure; not every triple of morphisms qualifies. Informally, one may view a distinguished triangle as a categorical substitute for a short exact sequence, with the morphisms arranged so that homological information flows from one object to the next and then “closes” via the shift.

1.3 Morphisms of distinguished triangles

A morphism between two distinguished triangles \[ X \xrightarrow{f} Y \xrightarrow{g} Z \xrightarrow{h} X[1], \quad X' \xrightarrow{f'} Y' \xrightarrow{g'} Z' \xrightarrow{h'} X'[1] \] is given by a triple (or equivalently a commutative diagram) of maps \(a:X\to X'\), \(b:Y\to Y'\), \(c:Z\to Z'\) such that the obvious compatibility conditions hold: \[ b f = f' a,\quad c g = g' b,\quad a[1]\, h = h'\, c. \] Requiring these relations ensures that the “triangle pattern” respects the triangulated structure rather than merely matching objects.

1.4 The shift (suspension) and rotation of triangles

The shift functor \( [1] \) plays the role of a suspension operator. A key feature is that distinguished triangles remain distinguished after appropriate rotation. Concretely, from a triangle \[ X \xrightarrow{f} Y \xrightarrow{g} Z \xrightarrow{h} X[1] \] one can form rotated triangles such as \[ Y \xrightarrow{g} Z \xrightarrow{h} X[1] \xrightarrow{-f[1]} Y[1], \] and similarly for further rotations. These rotations reflect the idea that the distinguishedness is stable under moving the “break” point in the cyclic diagram, with sign adjustments dictated by the axioms.

2 Axioms Governing Distinguished Triangles

2.1 (TR1) Existence of basic distinguished triangles

One axiom postulates that there are canonical distinguished triangles associated with identity morphisms and with zero morphisms. In a typical formulation, the triangle \[ X \xrightarrow{\mathrm{id}} X \to 0 \to X[1] \] is distinguished, and more generally, any triangle built from the identity and the zero object in the prescribed pattern belongs to the distinguished class. This anchors the theory by guaranteeing that the triangulated structure is not empty and aligns with the homological behavior of trivial extensions.

2.2 (TR1) Isomorphism invariance

Distinguishedness is required to be invariant under isomorphism of triangles. If a diagram is distinguished and another triangle is isomorphic to it via a morphism of triangles whose components are isomorphisms, then the second triangle is also distinguished. This axiom ensures that the concept is intrinsic to the categorical structure rather than to a particular chosen model.

2.3 (TR2) Rotation and sign conventions

The axioms specify that rotating a distinguished triangle yields another distinguished triangle. Because morphisms are not purely formal, the rotation rules include sign conventions, frequently expressed through a minus sign in the last map after a single rotation. These signs are important to make subsequent constructions consistent, especially when iterating rotations and forming pasting diagrams.

2.4 (TR3) “Morphism extension” properties

Given a morphism between the first objects of two distinguished triangles, TR3 supplies conditions under which one can extend it to a morphism of triangles. In practice, one starts with maps \(a:X\to X'\) and \(b:Y\to Y'\) that satisfy compatibility with the first morphism in the triangles, and then the axiom guarantees the existence of a third map \(c:Z\to Z'\) (possibly after using additional structure) so that the entire diagram commutes. This property is essential for constructing morphisms between derived or homotopical objects and for controlling how exactness-like statements transfer.

2.5 (TR4) Octahedral axiom intuition and consequences

The octahedral axiom asserts that when composable morphisms are arranged into triangles, the resulting third data can be organized into a coherent “octahedron” diagram. Informally, it formalizes the compatibility of cones: taking cones iteratively in two different orders yields objects that fit into a controlled triangulated pattern. Consequences include the ability to derive long exact sequences that behave well under composition and to manage higher-order relations among morphisms in derived settings.

2.6 Examples of how axioms are checked

In standard constructions—especially those coming from chain complexes—one can verify the axioms by translating distinguished triangles into cone constructions and then using properties of complexes (such as mapping cone quasi-isomorphisms, homotopy invariance, and standard diagram lemmas). Model checks often proceed by: (i) showing the base triangles from identities are distinguished; (ii) proving stability under isomorphisms; (iii) verifying rotation through explicit cone shifts; (iv) using lifting or extension arguments for morphisms of cones; and (v) establishing the octahedral compatibility via explicit cone comparison diagrams.

3 Construction via Mapping Cones

3.1 Chain complexes and the cone construction

Given a chain complex morphism \(f^\bullet: A^\bullet \to B^\bullet\), the mapping cone \(C(f)^\bullet\) is built so that it contains \(B^\bullet\) and a shifted copy of \(A^\bullet\) with a differential encoding both the differentials of \(A^\bullet\) and \(B^\bullet\) and the map \(f^\bullet\). The cone provides a canonical object that measures the “failure” of \(f^\bullet\) to be an isomorphism at the chain level, and in homological contexts it controls how cohomology changes along \(f^\bullet\).

3.2 From a morphism to a distinguished triangle

In many triangulated categories arising from complexes, the mapping cone construction yields a distinguished triangle of the form \[ A^\bullet \xrightarrow{f^\bullet} B^\bullet \to C(f^\bullet)^\bullet \to A^\bullet[1]. \] The third map in the triangle is induced by the cone structure and the shift. This establishes a bridge between explicit homological models (chain complexes) and abstract triangulated structures (distinguished triangles).

3.3 Properties of cones (functoriality up to isomorphism)

While cones can be defined functorially only up to choices, their dependence on morphisms is controlled enough that different constructions lead to canonically isomorphic objects in the triangulated sense. As a result, one can treat the cone as producing a well-defined distinguished triangle up to isomorphism. This “up to isomorphism” behavior is typical: it permits coherent reasoning in derived categories even when strict functoriality at the chain level is not available.

3.4 When cones yield standard distinguished triangles

Cone triangles become the standard distinguished triangles in derived categories constructed from chain complexes modulo quasi-isomorphisms, and also in related triangulated settings where the homotopy category carries a triangulated structure. In such frameworks, any triangle is often shown to be isomorphic to one constructed from a morphism via a cone. This gives a practical method: to understand an abstract triangle, replace it by a cone triangle and work concretely with complexes.

4 Long Exact Sequences and Cohomological Consequences

4.1 Applying cohomological functors

A cohomological functor from a triangulated category to an abelian category (or to the category of graded abelian groups) is designed so that distinguished triangles induce exactness statements. Concretely, one expects that applying the functor to a distinguished triangle produces a sequence of morphisms between objects whose algebraic structure reflects the “triangulated exactness” of the original diagram.

4.2 Deriving long exact sequences from distinguished triangles

Given a distinguished triangle \[ X \to Y \to Z \to X[1], \] and a suitable cohomological functor \(H\), the output forms a long exact sequence in which consecutive maps compose to zero and the image of one map equals the kernel of the next. The shift \(X[1]\) ensures continuation of the sequence to higher degrees by repeatedly applying the functor to shifted objects. This is the formal mechanism by which derived and triangulated methods recover familiar cohomological exactness patterns.

4.3 Exactness at the level of hom-sets (Hom long exact sequences)

A standard example uses the functor \(\operatorname{Hom}(T,-)\) or \(\operatorname{Hom}(-,T)\) into abelian groups. When \(T\) is fixed, applying \(\operatorname{Hom}(T,-)\) to a distinguished triangle yields a long exact sequence of abelian groups: \[ \cdots \to \operatorname{Hom}(T,X[n]) \to \operatorname{Hom}(T,Y[n]) \to \operatorname{Hom}(T,Z[n]) \to \operatorname{Hom}(T,X[n+1]) \to \cdots \] This provides a practical tool: many properties of morphisms can be detected by their effect on such Hom groups, and vanishing results often translate into splitting or equivalence statements.

4.4 Connecting homomorphisms and their interpretation

The long exact sequence contains connecting morphisms (often called boundary or connecting homomorphisms) associated to the third arrow of the triangle. These maps are not arbitrary; they are determined by the triangulated structure and correspond, in cone models, to the natural transitions between cohomology groups produced by a mapping cone. Conceptually, they measure the obstruction to extending cycles or lifting classes across the triangle.

5 Standard Examples and Model Cases

5.1 Derived categories: typical distinguished triangles

In the derived category of an abelian category, distinguished triangles arise from chain complexes via cone constructions. If \(f:A^\bullet\to B^\bullet\) is a morphism of complexes, the triangle built from \(A^\bullet\), \(B^\bullet\), and \(C(f)^\bullet\) becomes distinguished. More generally, any distinguished triangle in the derived category is isomorphic to one constructed from an appropriate morphism of complexes, reflecting that the derived setting is designed to encode homological information with a triangulated structure.

5.2 Homotopy categories and triangulated structures

The homotopy category of chain complexes typically carries a triangulated structure where distinguished triangles correspond to mapping cone triangles at the chain level. Here, two morphisms that differ by a chain homotopy become equal, and cones still produce the triangles that encode how homological data changes under maps. This makes the homotopy category a bridge between concrete homological algebra and the abstract framework of triangulated categories.

5.3 Stable categories and triangulated analogues

Triangulated behavior also appears in stable settings, such as stable module categories and other categories where morphisms factoring through designated “projective-like” objects are collapsed. Distinguished triangles can often be described using analogues of mapping cones or by using exact sequences in the underlying additive structure. The resulting triangles capture how extension data behaves after passing to the stable quotient.

5.4 Triangles arising from short exact sequences of complexes

When dealing with short exact sequences of chain complexes \[ 0\to A^\bullet \to B^\bullet \to C^\bullet \to 0, \] one can associate a distinguished triangle \[ A^\bullet \to B^\bullet \to C^\bullet \to A^\bullet[1] \] in the derived or related triangulated categories. This is a familiar model: the triangulated triangle plays the role of the short exact sequence but translated into the language of homotopy and derived objects, where shifts naturally reflect the “degree shift” in connecting homomorphisms.

6 Operations and Structural Behavior

6.1 Rotation equivalences and repeated shifting

Because distinguished triangles are closed under rotation, one can apply rotation multiple times and relate the resulting triangles to each other up to sign and shifts. Repeated application of the shift functor turns the triangle into a new one where all morphisms have been transported along the suspension. These equivalences provide flexibility: one may choose the orientation that makes a computation or diagram chase most convenient.

6.2 Direct sums of distinguished triangles

Triangulated structures are compatible with finite direct sums. If one has distinguished triangles for pairs of objects, their direct sum yields another distinguished triangle obtained by summing the diagrams componentwise. This reflects additivity of the category and ensures that cohomological long exact sequences split correspondingly, component by component.

6.3 Composition and pasting diagrams

A triangulated category supports “pasting” constructions: when parts of distinguished triangles are assembled along common morphisms, the axioms guarantee that the completed diagram contains distinguished triangles in the appropriate places. Diagrammatic reasoning often uses the TR3 and TR4 axioms to extend partial data to full triangles and to compare the cones associated with different ways of composing maps.

6.4 Functorial images: exact functors and preservation of triangles

Certain functors between triangulated categories preserve distinguished triangles. Such a functor is typically required to commute with the shift up to coherent isomorphism and to take distinguished triangles to distinguished triangles. When this holds, cohomological consequences and long exact sequences are transported across the functor, allowing results proved in one triangulated category to transfer to another.

7 Verification Techniques and Criteria

7.1 Checking distinguishedness in practice

In concrete categories built from complexes, verifying that a triangle is distinguished often reduces to showing it is isomorphic to a cone triangle of some morphism. In more abstract settings, one may use the axioms: show that a triangle fits the patterns forced by the distinguished class, or that it is stable under isomorphism and rotation and can be produced via the extension properties.

7.2 Using cones vs. axiomatic characterization

Two complementary approaches exist. The first is constructive: express the triangle as a cone triangle. The second is axiomatic: use TR1–TR4 behavior to prove that a candidate triangle lies in the distinguished class, typically by embedding it into an octahedral or extension diagram built from known distinguished triangles.

7.3 Criteria based on vanishing or split triangles

If a triangle splits in a suitable sense, meaning it decomposes into simpler pieces, then it often becomes distinguishable by a general criterion. For example, triangles where one morphism is a split monomorphism or split epimorphism commonly correspond to “trivial” distinguished triangles associated with direct sum decompositions. Vanishing of certain morphism groups can also imply that a triangle must split, which provides an indirect verification method.

7.4 Recognizing triangles from universal properties

Some triangles can be recognized because they satisfy a universal characterization derived from cones. In cone terms, the distinguished triangle is characterized by how morphisms to or from it correspond to certain mapping cone constructions. This viewpoint is useful when a direct cone computation is inconvenient, but the defining universal behavior can be checked.

8 Related Concepts and Terminology

8.1 Truncated triangles and partial constructions

In triangulated settings, one sometimes works with “partial” diagrams obtained by deleting one vertex or morphism and focusing on the remaining structure. Although such partial data may not itself be a distinguished triangle, it can still encode meaningful information, especially when completed via rotation or extension axioms. These truncated forms are a bookkeeping device for computations that eventually require completion into a full distinguished triangle.

8.2 Split distinguished triangles

A split distinguished triangle is one that is equivalent to a triangle arising from a direct sum decomposition in which the connecting morphism is compatible with the splitting. Such triangles behave like degenerate exact sequences: their associated long exact sequences often break into short exact pieces, reflecting the absence of nontrivial extension information.

8.3 Verdier localization perspective (triangles under localization)

Verdier localization constructs a new category by formally inverting a class of morphisms. Under suitable conditions, distinguished triangles descend to the localized category, preserving triangulated structure. From this perspective, distinguished triangles can be interpreted as robust under passage to quotients where specific morphisms become invertible, mirroring how derived categories incorporate quasi-isomorphisms by localization.

8.4 Relation to exact sequences in abelian categories

Exact sequences in abelian categories provide the classical source of long exact sequences in homological algebra. Distinguished triangles serve as the triangulated analogue of this exactness: they package three objects and three morphisms so that applying suitable functors recovers exactness patterns. While the triangulated setting does not require an underlying abelian exact sequence, it is engineered so that the homological consequences match those of short exact sequences once translated through derived constructions.