Derived Categories and Triangulated Categories

⚡ Key Takeaways

Triangulated categories are additive categories equipped with a shift functor and a class of "distinguished triangles" satisfying four axioms (TR1–TR4), abstracting the homotopy-theoretic notion of cofiber sequences. Derived categories are the principal example: given an abelian category $\mathcal{A}$ , the derived category $D(\mathcal{A})$ is obtained from the category of cochain complexes by formally inverting quasi-isomorphisms, providing the natural home for derived functors, Ext, Tor, and duality theory. Used pervasively in algebraic geometry (coherent sheaves, Fourier–Mukai transforms), representation theory (perverse sheaves, tilting), and homological algebra. Foundations laid by Grothendieck and Verdier (c. 1963–67).

💡 The Core Insight

The "right" objects of homological algebra are not modules but complexes considered up to quasi-isomorphism. Short exact sequences are too rigid for derived functors; they must be replaced by distinguished triangles, which encode "the cofiber" rather than "the cokernel." A long exact sequence in cohomology is then not a theorem about exact sequences but a definitional consequence of the triangle axioms. The slogan: replace exactness with the mapping cone.

DefinitionCochain Complexes and Quasi-isomorphisms

Let $\mathcal{A}$ be an abelian category. A cochain complex is a sequence

1

\quad \cdots \to X^{n-1} \xrightarrow{d^{n-1}} X^n \xrightarrow{d^n} X^{n+1} \to \cdots, \qquad d^n \circ d^{n-1} = 0.

Derivation hint: the condition $d^2=0$ is exactly what makes the cohomology objects $H^n(X)=\ker d^n/\operatorname{im} d^{n-1}$ well-defined. The cohomology is

2

\quad H^n(X) = \frac{\ker(d^n : X^n \to X^{n+1})}{\operatorname{im}(d^{n-1} : X^{n-1} \to X^n)}.

Derivation hint: well-definedness uses $\operatorname{im} d^{n-1} \subseteq \ker d^n$ , which is equivalent to $d^n d^{n-1}=0$ . A morphism $f: X \to Y$ is a quasi-isomorphism if $H^n(f): H^n(X) \to H^n(Y)$ is an isomorphism for all $n$ . The derived category is the localization

3

\quad D(\mathcal{A}) = \mathrm{Ch}(\mathcal{A})[\mathrm{qis}^{-1}],

the universal category receiving a functor from $\mathrm{Ch}(\mathcal{A})$ that sends every quasi-isomorphism to an isomorphism. Derivation hint: localization is defined by the universal property; existence requires a set-theoretic or calculus-of-fractions argument (see below).

DefinitionThe Shift Functor and Mapping Cone

The shift (translation) functor $[1]$ on complexes is

4

\quad (X[1])^n = X^{n+1}, \qquad d_{X[1]}^n = -\,d_X^{n+1}.

Derivation hint: the sign $-d$ is forced so that $[1]$ is a chain map functor and so cone sequences compose correctly; it is the homological "Koszul sign." Given $f: X \to Y$ , the mapping cone $\operatorname{Cone}(f)$ is the complex

5

\quad \operatorname{Cone}(f)^n = X^{n+1} \oplus Y^n, \qquad d = \begin{pmatrix} -d_X^{n+1} & 0 \\ f^{n+1} & d_Y^n \end{pmatrix}.

Derivation hint: this is the total complex of the double complex $X \xrightarrow{f} Y$ ; the signs make $d^2=0$ given $df=fd$ . There is a canonical sequence $X \xrightarrow{f} Y \xrightarrow{i} \operatorname{Cone}(f) \xrightarrow{p} X[1]$ , whose image in $D(\mathcal{A})$ is the prototype of a distinguished triangle.

DefinitionTriangulated Category — Axioms TR1–TR4

A triangulated category is an additive category $\mathcal{T}$ with:

an autoequivalence (shift) $[1]: \mathcal{T} \to \mathcal{T}$ ;
a class of distinguished triangles $X \to Y \to Z \to X[1]$ ,

satisfying:

(TR1) Every morphism $f: X \to Y$ embeds in a triangle $X \xrightarrow{f} Y \to Z \to X[1]$ ; the triangle $X \xrightarrow{\mathrm{id}} X \to 0 \to X[1]$ is distinguished; and any triangle isomorphic to a distinguished one is distinguished.

(TR2) (Rotation) $X \xrightarrow{f} Y \xrightarrow{g} Z \xrightarrow{h} X[1]$ is distinguished iff

6

\quad Y \xrightarrow{g} Z \xrightarrow{h} X[1] \xrightarrow{-f[1]} Y[1] \text{ is distinguished.}

Derivation hint: rotation makes the triangle "self-similar"; the sign $-f[1]$ is the analogue of the cone sign and is required for consistency under repeated rotation.

(TR3) (Morphism of triangles) Given two triangles and a commuting square on the first two terms, there exists a (not necessarily unique) fill-in on the third:

7

\quad \begin{array}{ccccccc} X & \to & Y & \to & Z & \to & X[1] \\ \downarrow u && \downarrow v && \downarrow \exists w && \downarrow u[1] \\ X' & \to & Y' & \to & Z' & \to & X'[1] \end{array}

Derivation hint: non-uniqueness of $w$ is the source of the failure of $\mathcal{T}$ to be abelian; cones are weak (co)limits.

(TR4) (Octahedral axiom) For composable $X \xrightarrow{f} Y \xrightarrow{g} Z$ , the cones of $f$ , $g$ , and $gf$ fit into a fourth distinguished triangle relating them.

Theorem

D(\mathcal{A})

is Triangulated

For any abelian category $\mathcal{A}$ , the derived category $D(\mathcal{A})$ — and likewise the homotopy category $K(\mathcal{A})$ — is a triangulated category, with shift $[1]$ as in (4) and distinguished triangles defined as those isomorphic (in $D(\mathcal{A})$ ) to mapping-cone triangles $X \to Y \to \operatorname{Cone}(f) \to X[1]$ . The cohomology functors $H^n : D(\mathcal{A}) \to \mathcal{A}$ are cohomological: each distinguished triangle yields a long exact sequence

8

\quad \cdots \to H^n(X) \to H^n(Y) \to H^n(Z) \to H^{n+1}(X) \to \cdots.

Derivation hint: apply $H^*$ to the cone short exact sequence $0 \to Y \to \operatorname{Cone}(f) \to X[1] \to 0$ of complexes and take the snake-lemma connecting map.

ProofConstruction of

D(\mathcal{A})

via Calculus of Fractions

We construct the localization concretely.

Step 1 — Pass to the homotopy category. Define $K(\mathcal{A})$ with the same objects as $\mathrm{Ch}(\mathcal{A})$ but morphisms = chain maps modulo chain homotopy. Homotopic maps induce equal maps on cohomology, so quasi-isomorphisms are well-defined in $K(\mathcal{A})$ . Crucially, $K(\mathcal{A})$ is already triangulated (cones are defined up to homotopy).

Step 2 — Quasi-isomorphisms form a multiplicative system. The class $S$ of quasi-isomorphisms in $K(\mathcal{A})$ admits a calculus of (left and right) fractions:

$S$ contains identities and is closed under composition;
(Ore condition) any diagram $X' \xleftarrow{s} X \xrightarrow{f} Y$ with $s \in S$ completes to a square with the new map in $S$ ;
if $sf = sg$ for $s \in S$ , then $f, g$ are equalized by some $t \in S$ .

The triangulated structure is exactly what makes these conditions hold: given $s$ , embed it in a triangle and use TR3 to produce the completion.

Step 3 — Define morphisms as roofs. A morphism $X \to Y$ in $D(\mathcal{A})$ is an equivalence class of roofs

9

\quad X \xleftarrow{s} X' \xrightarrow{f} Y, \qquad s \in S,

with two roofs identified if they are dominated by a common third roof. Derivation hint: the Ore condition guarantees roofs compose; the third axiom guarantees the equivalence relation is well-behaved.

Step 4 — Localization inherits triangulation. A triangle in $D(\mathcal{A})$ is declared distinguished iff isomorphic to the image of a distinguished triangle in $K(\mathcal{A})$ . One checks TR1–TR4 descend because $S$ is compatible with the triangulation (a thick/épaisse localizing system in Verdier's sense). $\blacksquare$

∎

ProofThe Octahedral Axiom from Mapping Cones

Let $X \xrightarrow{f} Y \xrightarrow{g} Z$ . Form cones $C_f = \operatorname{Cone}(f)$ , $C_g = \operatorname{Cone}(g)$ , $C_{gf} = \operatorname{Cone}(gf)$ .

Step 1. There are natural maps $C_f \to C_{gf}$ (induced by $g$ on the $Y$ -component) and $C_{gf} \to C_g$ (induced by $f$ on the $X[1]$ -component).

Step 2. These assemble into a candidate triangle

10

\quad C_f \to C_{gf} \to C_g \to C_f[1].

Derivation hint: write all three cones as explicit two-row complexes; the maps are the evident projections/inclusions, and the connecting map $C_g \to C_f[1]$ comes from the $Z$ -component composed with $p_f[1]$ .

Step 3. A direct (if tedious) verification with the cone differentials of (5) shows (10) is the mapping cone of the map $C_f \to C_{gf}$ , hence distinguished. This is the octahedron: the four triangles (on $f$ , $g$ , $gf$ , and (10)) are its four "upper/lower faces." The non-canonicity of TR3's fill-in is what makes a clean abstract proof impossible without these explicit models; this is the historical reason the axiom is considered the subtle one. $\blacksquare$

∎

Figure

The octahedral axiom: cones of

f

,

g

,

gf

and their interlocking triangles

mathematician · Jean-Louis Verdier | 1935–1989

Verdier, a student of Grothendieck, formalized triangulated and derived categories in his thesis Des catégories dérivées des catégories abéliennes (defended in fragments from the early 1960s, published in full only posthumously in 1996). Grothendieck conceived derived categories around 1957–63 to provide the correct setting for duality in algebraic geometry (Grothendieck–Serre duality), but it was Verdier who isolated the axioms TR1–TR4, defined distinguished triangles, and proved the localization theorem. Verdier duality — the formalism of $f^!$ and the dualizing complex — is named for him. He later turned to analytic geometry and singularities. The notorious subtlety of the octahedral axiom, and the realization decades later (via stable $\infty$ -categories) that triangulated categories are a "shadow" of richer structure, are both anticipated in the tension within his original framework.

🧠 Intuition

Think of a complex as a "smeared-out object" carrying cohomology in several degrees, like a particle delocalized across energy levels. A quasi-isomorphism is a change of representative that preserves all the cohomological "charges" — so in $D(\mathcal{A})$ we identify any object with its resolutions. A distinguished triangle $X \to Y \to Z \to X[1]$ is the homological replacement for a short exact sequence $0 \to X \to Y \to Z \to 0$ . But it is better: it is symmetric under rotation, and it always exists for any map $f$ (the cone $Z$ measures the failure of $f$ to be an isomorphism — if $f$ is a quasi-iso, the cone is zero). The connecting map $Z \to X[1]$ is the "boundary operator" of the long exact sequence, now built into the structure rather than constructed by the snake lemma. The reason $D(\mathcal{A})$ is not abelian: cones are only weak colimits. The fill-in $w$ in TR3 exists but is not unique, so cones do not satisfy a universal property — there are no genuine kernels or cokernels. This is the price of working "up to homotopy," and it is exactly the deficiency that $\infty$ -categories repair.

ExampleResolving a module:

\mathbb{Z}/n

over

\mathbb{Z}

Given: $\mathcal{A} = \mathbb{Z}\text{-Mod}$ , the module $M = \mathbb{Z}/n$ . We compute its place in $D(\mathbb{Z})$ .

Step 1. A free resolution: $0 \to \mathbb{Z} \xrightarrow{\,n\,} \mathbb{Z} \to 0$ sitting in degrees $-1, 0$ , call it $P^\bullet$ .

Step 2. The augmentation $P^\bullet \to \mathbb{Z}/n[0]$ is a quasi-isomorphism: $H^0(P^\bullet) = \mathbb{Z}/n$ , $H^{-1}(P^\bullet)= \ker(n) = 0$ .

Step 3. Hence in $D(\mathbb{Z})$ , $\;M \cong P^\bullet$ . Now compute $\operatorname{Tor}$ via the cone/derived tensor. Apply $-\otimes \mathbb{Z}/m$ :

11

\quad \mathbb{Z}/m \xrightarrow{\,n\,} \mathbb{Z}/m \;=\; \mathbb{Z}/m \xrightarrow{\,n \bmod m\,} \mathbb{Z}/m.

Derivation hint: tensoring the free resolution turns derived functors into ordinary cohomology of the resulting complex.

Step 4. Cohomology: with $d=\gcd(n,m)$ ,

12

\quad H^0 = \mathbb{Z}/m \big/ n\mathbb{Z}/m = \mathbb{Z}/d, \qquad H^{-1} = \ker = \mathbb{Z}/d.

Derivation hint: multiplication by $n$ on $\mathbb{Z}/m$ has kernel and cokernel both of order $d=\gcd(n,m)$ .

\boxed{\operatorname{Tor}_0(\mathbb{Z}/n,\mathbb{Z}/m)=\mathbb{Z}/d,\quad \operatorname{Tor}_1(\mathbb{Z}/n,\mathbb{Z}/m)=\mathbb{Z}/d,\ \ d=\gcd(n,m).}

ExampleA distinguished triangle and its long exact sequence

Given: In $D(\mathbb{Z})$ , the multiplication-by- $2$ map $f:\mathbb{Z}\xrightarrow{2}\mathbb{Z}$ (both in degree 0).

Step 1. The cone is $\operatorname{Cone}(f)= [\mathbb{Z}\xrightarrow{2}\mathbb{Z}]$ in degrees $-1,0$ , which is quasi-isomorphic to $\mathbb{Z}/2$ in degree $0$ .

Step 2. The distinguished triangle is

13

\quad \mathbb{Z} \xrightarrow{2} \mathbb{Z} \to \mathbb{Z}/2 \to \mathbb{Z}[1].

Derivation hint: identify the cone with its cohomology since the complex is concentrated after resolution.

Step 3. Apply $H^*$ (here trivial since all concentrated in degree 0, giving the familiar exact sequence):

14

\quad 0 \to H^0(\mathbb{Z}) \xrightarrow{2} H^0(\mathbb{Z}) \to H^0(\mathbb{Z}/2) \to H^1(\mathbb{Z}[1]) \to \cdots

0 \to \mathbb{Z}\xrightarrow{2}\mathbb{Z}\to\mathbb{Z}/2\to 0.

Derivation hint: equation (8) applied to triangle (13); the connecting map vanishes here.

\boxed{\text{The short exact sequence } 0\to\mathbb{Z}\xrightarrow{2}\mathbb{Z}\to\mathbb{Z}/2\to0 \text{ IS a distinguished triangle in } D(\mathbb{Z}).}

This illustrates the general fact: short exact sequences in $\mathcal{A}$ give distinguished triangles in $D(\mathcal{A})$ .

⚠️ Common mistake

(1) $D(\mathcal{A})$ is not abelian. It has no kernels or cokernels in general; "exactness" is only meaningful via distinguished triangles. Never speak of "the image" of a morphism in $D(\mathcal{A})$ .

(2) The cone is not a functor. $\operatorname{Cone}(f)$ depends on $f$ only up to non-canonical isomorphism in $D(\mathcal{A})$ , because the fill-in $w$ in TR3 is non-unique. There is no functor $\operatorname{Cone}: \operatorname{Arr}(\mathcal{T}) \to \mathcal{T}$ . This is a genuine defect, not a notational nuisance.

(3) Distinguished triangles ≠ exact sequences of complexes. A short exact sequence of complexes gives a distinguished triangle, but not every distinguished triangle arises from a degreewise short exact sequence.

(4) Quasi-isomorphism is directional in $K$ , symmetric in $D$ . Two quasi-isomorphic complexes need not be related by a single chain map; you may need a roof. Forgetting this leads to false computations.

CounterexampleTriangulated structure is not determined by the underlying category

Two triangulated categories can have equivalent underlying additive categories with the same shift functor but different, non-equivalent classes of distinguished triangles. Moreover (Verdier's example, refined by others): the cone construction is genuinely non-functorial — there exist morphisms of triangles where no fill-in is an isomorphism even though the outer maps are. A striking consequence: a triangulated category does not determine its homotopy colimits canonically, and there exist non-isomorphic complexes that are not distinguishable by any triangulated invariant but become distinguishable in the underlying dg- or $\infty$ -enhancement. This "phantom map" phenomenon (nonzero maps inducing zero on all cohomology) shows triangulated categories lose information present in the model.

connection

Derived categories sit at the crossroads of several frameworks:

Abelian Categories: $D(\mathcal{A})$ is built from $\mathcal{A}$ ; conversely the heart of a t-structure on a triangulated category recovers an abelian category, allowing one to extract new abelian categories (e.g. perverse sheaves) from a fixed $D(\mathcal{A})$ .
Derived Functors: the total derived functors $Lf$ , $Rf$ live naturally on $D(\mathcal{A})$ ; classical $\operatorname{Ext}^n$ and $\operatorname{Tor}_n$ become $\operatorname{Hom}_{D(\mathcal{A})}(X, Y[n])$ and cohomology of $\otimes^{\mathbb{L}}$ .
Stable Infinity Categories: every stable $\infty$ -category has a triangulated homotopy category; this is the modern correction to the non-functoriality defects, and dg-categories give an intermediate enhancement.
Model Categories: $D(\mathcal{A})$ is the homotopy category of a model structure on $\mathrm{Ch}(\mathcal{A})$ (projective/injective), connecting to abstract homotopy theory.
Spectral Sequences: filtered complexes and t-structures produce spectral sequences as a structural consequence of triangle decompositions.

🔬 Where this appears

⏳ History

- 1955–57 — Cartan–Eilenberg's Homological Algebra systematizes derived functors via resolutions, but without derived categories; the "right" framework is conspicuously absent.

- c. 1957–1963 — Grothendieck, seeking the correct formulation of coherent duality, conceives of working with complexes up to quasi-isomorphism; outlines in letters and the Tôhoku paper foundations (abelian categories, enough injectives).

- 1963 — Verdier begins his thesis under Grothendieck, isolating the axioms of triangulated categories and the localization construction.

- 1966 — Hartshorne's Residues and Duality (Springer LNM 20), based on Grothendieck's seminar notes, gives the first widely available account of derived categories and Grothendieck duality.

- 1967 — Verdier's Catégories dérivées, état 0 circulated; SGA 4½ later includes related material.

- 1977 — Beilinson, Bernstein, Deligne develop t-structures; perverse sheaves emerge (published 1982 in Faisceaux pervers, Astérisque 100).

- 1981 — Mukai constructs the Fourier–Mukai transform, the first dramatic derived equivalence of distinct varieties.

- 1988–89 — Rickard's Morita theory for derived categories (tilting complexes) revolutionizes representation theory.

- 1994–96 — Verdier's thesis published in full (Astérisque 239); Bondal–Kapranov and others develop enhancements; Kontsevich announces homological mirror symmetry (ICM 1994), reframing derived categories at the center of mathematical physics.

open-problem

The most fundamental subtlety is that triangulated categories are structurally deficient: the cone is non-functorial, homotopy (co)limits are not canonically defined, and triangulated structures do not glue (the derived category of a non-affine scheme is not the derived category of any abelian category in an obvious way; functoriality of $D$ along open covers is delicate). This motivates enhancements — dg-categories, stable $\infty$ -categories, or stable derivators — which carry the same homotopy category but repair the defects. Open and active questions include:

Uniqueness of enhancement: Is the dg/∞-enhancement of a given triangulated category unique? (Lunts–Orlov proved uniqueness in important cases; counterexamples exist (Schlichting, and Canonaco–Stellari), so the answer is subtle.)
Brown representability and compact generation: Precisely which triangulated categories admit good adjoint functor existence (Neeman's theory) — central but not fully classified.
Reconstruction: To what extent does $D^b(\mathrm{Coh}\,X)$ determine $X$ ? (Bondal–Orlov: yes if $X$ has ample (anti)canonical bundle; in general, derived equivalent but non-isomorphic varieties exist — the boundary is not fully understood.)
Existence of stability conditions on $D^b(\mathrm{Coh}\,X)$ for general $X$ (e.g. higher-dimensional varieties, Calabi–Yau 3-folds): largely open and tied to Bogomolov–Gieseker-type inequalities.

Derived Categories and Triangulated Categories

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also