Definition 13.3.1. Let $\mathcal{D}$ be an additive category. Let $[n] : \mathcal{D} \to \mathcal{D}$, $E \mapsto E[n]$ be a collection of additive functors indexed by $n \in \mathbf{Z}$ such that $[n] \circ [m] = [n + m]$ and $[0] = \text{id}$ (equality as functors). In this situation we define a *triangle* to be a sextuple $(X, Y, Z, f, g, h)$ where $X, Y, Z \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D})$ and $f : X \to Y$, $g : Y \to Z$ and $h : Z \to X[1]$ are morphisms of $\mathcal{D}$. A *morphism of triangles* $(X, Y, Z, f, g, h) \to (X', Y', Z', f', g', h')$ is given by morphisms $a : X \to X'$, $b : Y \to Y'$ and $c : Z \to Z'$ of $\mathcal{D}$ such that $b \circ f = f' \circ a$, $c \circ g = g' \circ b$ and $a[1] \circ h = h' \circ c$.

## 13.3 The definition of a triangulated category

In this section we collect most of the definitions concerning triangulated and pre-triangulated categories.

A morphism of triangles is visualized by the following commutative diagram

Here is the definition of a triangulated category as given in Verdier's thesis.

Definition 13.3.2. A *triangulated category* consists of a triple $(\mathcal{D}, \{ [n]\} _{n\in \mathbf{Z}}, \mathcal{T})$ where

$\mathcal{D}$ is an additive category,

$[n] : \mathcal{D} \to \mathcal{D}$, $E \mapsto E[n]$ is a collection of additive functors indexed by $n \in \mathbf{Z}$ such that $[n] \circ [m] = [n + m]$ and $[0] = \text{id}$ (equality as functors), and

$\mathcal{T}$ is a set of triangles called the

*distinguished triangles*

subject to the following conditions

Any triangle isomorphic to a distinguished triangle is a distinguished triangle. Any triangle of the form $(X, X, 0, \text{id}, 0, 0)$ is distinguished. For any morphism $f : X \to Y$ of $\mathcal{D}$ there exists a distinguished triangle of the form $(X, Y, Z, f, g, h)$.

The triangle $(X, Y, Z, f, g, h)$ is distinguished if and only if the triangle $(Y, Z, X[1], g, h, -f[1])$ is.

Given a solid diagram

\[ \xymatrix{ X \ar[r]^ f \ar[d]^ a & Y \ar[r]^ g \ar[d]^ b & Z \ar[r]^ h \ar@{-->}[d] & X[1] \ar[d]^{a[1]} \\ X' \ar[r]^{f'} & Y' \ar[r]^{g'} & Z' \ar[r]^{h'} & X'[1] } \]whose rows are distinguished triangles and which satisfies $b \circ f = f' \circ a$, there exists a morphism $c : Z \to Z'$ such that $(a, b, c)$ is a morphism of triangles.

Given objects $X$, $Y$, $Z$ of $\mathcal{D}$, and morphisms $f : X \to Y$, $g : Y \to Z$, and distinguished triangles $(X, Y, Q_1, f, p_1, d_1)$, $(X, Z, Q_2, g \circ f, p_2, d_2)$, and $(Y, Z, Q_3, g, p_3, d_3)$, there exist morphisms $a : Q_1 \to Q_2$ and $b : Q_2 \to Q_3$ such that

$(Q_1, Q_2, Q_3, a, b, p_1[1] \circ d_3)$ is a distinguished triangle,

the triple $(\text{id}_ X, g, a)$ is a morphism of triangles $(X, Y, Q_1, f, p_1, d_1) \to (X, Z, Q_2, g \circ f, p_2, d_2)$, and

the triple $(f, \text{id}_ Z, b)$ is a morphism of triangles $(X, Z, Q_2, g \circ f, p_2, d_2) \to (Y, Z, Q_3, g, p_3, d_3)$.

We will call $(\mathcal{D}, [\ ], \mathcal{T})$ a *pre-triangulated category* if TR1, TR2 and TR3 hold.^{1}

The explanation of TR4 is that if you think of $Q_1$ as $Y/X$, $Q_2$ as $Z/X$ and $Q_3$ as $Z/Y$, then TR4(a) expresses the isomorphism $(Z/X)/(Y/X) \cong Z/Y$ and TR4(b) and TR4(c) express that we can compare the triangles $X \to Y \to Q_1 \to X[1]$ etc with morphisms of triangles. For a more precise reformulation of this idea see the proof of Lemma 13.10.2.

The sign in TR2 means that if $(X, Y, Z, f, g, h)$ is a distinguished triangle then in the long sequence

each four term sequence gives a distinguished triangle.

As usual we abuse notation and we simply speak of a (pre-)triangulated category $\mathcal{D}$ without explicitly introducing notation for the additional data. The notion of a pre-triangulated category is useful in finding statements equivalent to TR4.

We have the following definition of a triangulated functor.

Definition 13.3.3. Let $\mathcal{D}$, $\mathcal{D}'$ be pre-triangulated categories. An *exact functor*, or a *triangulated functor* from $\mathcal{D}$ to $\mathcal{D}'$ is a functor $F : \mathcal{D} \to \mathcal{D}'$ together with given functorial isomorphisms $\xi _ X : F(X[1]) \to F(X)[1]$ such that for every distinguished triangle $(X, Y, Z, f, g, h)$ of $\mathcal{D}$ the triangle $(F(X), F(Y), F(Z), F(f), F(g), \xi _ X \circ F(h))$ is a distinguished triangle of $\mathcal{D}'$.

An exact functor is additive, see Lemma 13.4.17. When we say two triangulated categories are equivalent we mean that they are equivalent in the $2$-category of triangulated categories. A $2$-morphism $a : (F, \xi ) \to (F', \xi ')$ in this $2$-category is simply a transformation of functors $a : F \to F'$ which is compatible with $\xi $ and $\xi '$, i.e.,

commutes.

Definition 13.3.4. Let $(\mathcal{D}, [\ ], \mathcal{T})$ be a pre-triangulated category. A *pre-triangulated subcategory*^{2} is a pair $(\mathcal{D}', \mathcal{T}')$ such that

$\mathcal{D}'$ is an additive subcategory of $\mathcal{D}$ which is preserved under $[1]$ and $[-1]$,

$\mathcal{T}' \subset \mathcal{T}$ is a subset such that for every $(X, Y, Z, f, g, h) \in \mathcal{T}'$ we have $X, Y, Z \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D}')$ and $f, g, h \in \text{Arrows}(\mathcal{D}')$, and

$(\mathcal{D}', [\ ], \mathcal{T}')$ is a pre-triangulated category.

If $\mathcal{D}$ is a triangulated category, then we say $(\mathcal{D}', \mathcal{T}')$ is a *triangulated subcategory* if it is a pre-triangulated subcategory and $(\mathcal{D}', [\ ], \mathcal{T}')$ is a triangulated category.

In this situation the inclusion functor $\mathcal{D}' \to \mathcal{D}$ is an exact functor with $\xi _ X : X[1] \to X[1]$ given by the identity on $X[1]$.

We will see in Lemma 13.4.1 that for a distinguished triangle $(X, Y, Z, f, g, h)$ in a pre-triangulated category the composition $g \circ f : X \to Z$ is zero. Thus the sequence (13.3.2.1) is a complex. A homological functor is one that turns this complex into a long exact sequence.

Definition 13.3.5. Let $\mathcal{D}$ be a pre-triangulated category. Let $\mathcal{A}$ be an abelian category. An additive functor $H : \mathcal{D} \to \mathcal{A}$ is called *homological* if for every distinguished triangle $(X, Y, Z, f, g, h)$ the sequence

is exact in the abelian category $\mathcal{A}$. An additive functor $H : \mathcal{D}^{opp} \to \mathcal{A}$ is called *cohomological* if the corresponding functor $\mathcal{D} \to \mathcal{A}^{opp}$ is homological.

If $H : \mathcal{D} \to \mathcal{A}$ is a homological functor we often write $H^ n(X) = H(X[n])$ so that $H(X) = H^0(X)$. Our discussion of TR2 above implies that a distinguished triangle $(X, Y, Z, f, g, h)$ determines a long exact sequence

This will be called the *long exact sequence* associated to the distinguished triangle and the homological functor. As indicated we will not use any signs for the morphisms in the long exact sequence. This has the side effect that maps in the long exact sequence associated to the rotation (TR2) of a distinguished triangle differ from the maps in the sequence above by some signs.

Definition 13.3.6. Let $\mathcal{A}$ be an abelian category. Let $\mathcal{D}$ be a triangulated category. A *$\delta $-functor from $\mathcal{A}$ to $\mathcal{D}$* is given by a functor $G : \mathcal{A} \to \mathcal{D}$ and a rule which assigns to every short exact sequence

a morphism $\delta = \delta _{A \to B \to C} : G(C) \to G(A)[1]$ such that

the triangle $(G(A), G(B), G(C), G(a), G(b), \delta _{A \to B \to C})$ is a distinguished triangle of $\mathcal{D}$ for any short exact sequence as above, and

for every morphism $(A \to B \to C) \to (A' \to B' \to C')$ of short exact sequences the diagram

\[ \xymatrix{ G(C) \ar[d] \ar[rr]_{\delta _{A \to B \to C}} & & G(A)[1] \ar[d] \\ G(C') \ar[rr]^{\delta _{A' \to B' \to C'}} & & G(A')[1] } \]is commutative.

In this situation we call $(G(A), G(B), G(C), G(a), G(b), \delta _{A \to B \to C})$ the *image of the short exact sequence under the given $\delta $-functor*.

Note how a $\delta $-functor comes equipped with additional structure. Strictly speaking it does not make sense to say that a given functor $\mathcal{A} \to \mathcal{D}$ is a $\delta $-functor, but we will often do so anyway.

## Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (3)

Comment #359 by Fan on

Comment #446 by Matthieu Romagny on

Comment #448 by Johan on