The Verdier quotient of a triangulated category

Intuition Beginner

Imagine a large collection of objects together with a way to glue any map into a three-part chain called a triangle. Some of these objects we decide to treat as negligible: they carry information we want to ignore.

The Verdier quotient is the recipe for throwing those negligible objects away. We do not delete them one by one. Instead, we declare every map whose "difference" is negligible to be reversible, the way a fraction lets us reverse multiplication.

The result is a new collection with fewer distinctions. Two objects that differed only by something negligible now count as the same. The triangle structure survives the process, so we can keep doing the same kind of reasoning afterward.

Visual Beginner

The shaded blob is the family we ignore. Maps whose third object falls inside the blob become reversible, and after we reverse them the blob shrinks to a single point.

Worked example Beginner

Take complexes of abelian groups and treat as negligible exactly those complexes with no cohomology. A map between complexes that induces the same cohomology has a negligible third object.

In the ordinary world such a map need not have an inverse. After the Verdier recipe, every such map becomes reversible. Two complexes with matching cohomology become the same object.

What this tells us: the familiar derived category is one instance of the Verdier recipe, where the negligible family is the complexes that vanish on cohomology.

Check your understanding Beginner

Formal definition Intermediate+

Let $\mathcal{T}$ be a triangulated category with shift $[1]$ and a class of distinguished triangles 04.03.10. A full triangulated subcategory $\mathcal{N}\subseteq \mathcal{T}$ is thick (épaisse) when it is closed under direct summands: if $A\oplus B\in \mathcal{N}$ then $A\in \mathcal{N}$.

Given such an $\mathcal{N}$, define the class of morphisms $$ S_{\mathcal N} = {, s : X \to Y \mid \text{some cone } \operatorname{Cone}(s) \text{ lies in } \mathcal N ,}. $$

The Verdier quotient is the localization $$ \mathcal T / \mathcal N = \mathcal T[,S_{\mathcal N}^{-1},], $$ the category obtained from $\mathcal{T}$ by formally inverting every morphism in $S_{\mathcal{N}}$, with localization functor $$ Q : \mathcal T \to \mathcal T / \mathcal N . $$

Morphisms in the quotient are represented by roofs $$ X \xleftarrow{,s,} X' \xrightarrow{,f,} Y, \qquad s \in S_{\mathcal N}, $$ and $$ \operatorname{Hom}{\mathcal T/\mathcal N}(X, Y) = \operatorname*{colim}{(s : X' \to X) \in S_{\mathcal N}} \operatorname{Hom}{\mathcal T}(X', Y), $$ the colimit taken over the filtered system of $S{\mathcal N}$-morphismsinto$X$.

Counterexamples to common slips

• A triangulated subcategory closed under isomorphism need not be thick; the summand-closure condition is separate and is what makes the kernel of $Q$ come out exactly equal to $\mathcal{N}$.
• $S_{\mathcal{N}}$ is not the class of maps that become isomorphisms by accident; it is pinned down by the cone-membership condition.
• A roof is not the same as a single morphism; the same arrow $X\to Y$ in $\mathcal{T}/\mathcal{N}$ can arise from many different roofs that are identified in the colimit.

Key theorem with proof Intermediate+

Theorem (Verdier). Let $\mathcal{N}\subseteq \mathcal{T}$ be a thick triangulated subcategory. Then $S_{\mathcal{N}}$ is a saturated multiplicative system compatible with the triangulation, so $\mathcal{T}/\mathcal{N}$ carries a unique triangulated structure for which $Q$ is a triangulated functor; the kernel $\ker Q=\{X:Q(X)\cong 0\}$ equals $\mathcal{N}$; and $Q$ is universal: any triangulated functor $F:\mathcal{T}\to \mathcal{D}$ with $F(\mathcal{N})=0$ factors as $F=\bar{F}\circ Q$ for a unique triangulated $\bar{F}$.

Proof. We check the calculus-of-fractions axioms for $S_{\mathcal{N}}$. Identities lie in $S_{\mathcal{N}}$ since their cone is a zero object, and a zero object lies in any triangulated subcategory. For composition, suppose $s:X\to Y$ and $t:Y\to Z$ are in $S_{\mathcal{N}}$. The octahedral axiom 04.03.10 applied to $ts$ produces a distinguished triangle relating $\mathrm{Cone}(s)$, $\mathrm{Cone}(t)$, and $\mathrm{Cone}(ts)$. Since $\mathcal{N}$ is closed under cones of its own maps and under extensions inside triangles, $\mathrm{Cone}(ts)\in \mathcal{N}$, so $ts\in S_{\mathcal{N}}$.

For the left Ore condition: given $f:X\to Y$ and $s:Z\to Y$ in $S_{\mathcal{N}}$, complete $s$ to a triangle $Z\stackrel{s}{\to }Y\to N\to Z[1]$ with $N\in \mathcal{N}$. Forming the triangle on the composite $X\stackrel{f}{\to }Y\to N$ and using TR3 yields a square $X^{\prime }\to X$, $X^{\prime }\to Z$ with $X^{\prime }\to X$ having cone $N$, hence in $S_{\mathcal{N}}$. The right Ore condition is the dual, applied to the rotated triangles.

Saturation: if $s$ becomes invertible in $\mathcal{T}/\mathcal{N}$ then its cone maps to a zero object, and since $\mathcal{N}$ is thick the cone is a summand of an object of $\mathcal{N}$, hence in $\mathcal{N}$, so $s\in S_{\mathcal{N}}$. Compatibility with the shift holds because $\mathrm{Cone}(s[1])=\mathrm{Cone}(s)[1]\in \mathcal{N}$.

Triangulated structure: declare a triangle in $\mathcal{T}/\mathcal{N}$ distinguished when it is isomorphic to the image under $Q$ of a distinguished triangle of $\mathcal{T}$. The fraction calculus makes this well defined, and TR1-TR4 transport across $Q$. For the kernel, $Q(X)\cong 0$ means the map $0\to X$ lies in $S_{\mathcal{N}}$, i.e. $X=\mathrm{Cone}(0\to X)$ lies in $\mathcal{N}$ up to summands, which thickness upgrades to $X\in \mathcal{N}$. Universality: $F(\mathcal{N})=0$ forces $F$ to send each $s\in S_{\mathcal{N}}$ to an isomorphism (its cone dies), so $F$ factors through the localization, and the factor is triangulated because $Q$ is essentially surjective on triangles. $\square$

Bridge. This theorem builds toward every quotient construction in derived algebraic geometry, and the same fraction calculus appears again in the singularity category and in Bousfield localization below. The foundational reason the construction works is that the octahedral axiom turns "cone lies in $\mathcal{N}$" into a composable condition; this is exactly the calculus of fractions of 04.03.11 specialised to a cone-defined multiplicative system, so the abstract quotient generalises the qis-localization of the derived category. The central insight is that thickness is precisely what aligns the categorical kernel with the chosen subcategory, and putting these together shows the bridge is the passage from "negligible objects" to "invertible maps."

Exercises Intermediate+

Advanced results Master

The Verdier quotient organises a family of constructions that look unrelated until viewed through the cone-defined multiplicative system.

The first instance recovers the derived category. Take $\mathcal{T}=K(\mathcal{A})$, the homotopy category of complexes over an abelian category, and let $\mathcal{N}=K_{\mathrm{ac}}(\mathcal{A})$ be the thick subcategory of acyclic complexes. A map of complexes has acyclic cone exactly when it is a quasi-isomorphism, so $S_{\mathcal{N}}$ is the class of quasi-isomorphisms and $$ K(\mathcal A) / K_{\mathrm{ac}}(\mathcal A) = D(\mathcal A) $$ reproduces the derived category of 04.03.11. The abstract universal property specialises to the universal property of $D(\mathcal{A})$.

The second instance is the singularity category. For a Noetherian scheme, $\mathrm{Perf}(X)\subseteq D^b(\mathrm{coh}X)$ of perfect complexes is thick, and $$ D_{\mathrm{sg}}(X) = D^b(\operatorname{coh} X) / \operatorname{Perf}(X) $$ is a measure of how singular $X$ is: it vanishes precisely when $X$ is regular. Buchweitz identified $D_{\mathrm{sg}}$ for Gorenstein rings with the stable category of maximal Cohen-Macaulay modules and with Tate cohomology, and Orlov tied it to Landau-Ginzburg models and matrix factorisations ^{[Orlov 2004]}.

A third family is localizing subcategories and Bousfield localization. When $\mathcal{N}$ is a localizing subcategory of a compactly generated $\mathcal{T}$ (thick and closed under coproducts), the quotient $Q$ admits a right adjoint, producing an idempotent localization functor on $\mathcal{T}$ itself; this is the triangulated form of Bousfield's homotopy-theoretic localization and underlies the recollement diagrams referenced in 04.03.19.

The kernel-equals-$\mathcal{N}$ statement also explains why distinct thick subcategories give distinct quotients, which is what makes thick-subcategory classifications meaningful invariants of a triangulated category.

Synthesis. The Verdier quotient is the foundational reason that "inverting quasi-isomorphisms" and "killing perfect complexes" are the same kind of operation: each is a cone-defined multiplicative system, and the construction generalises both. This is exactly the abstract pattern that recurs in recollements and Bousfield localization, where the quotient $Q$ and its adjoints assemble a localization sequence; the central insight is that thickness aligns the categorical kernel with the chosen ideal of negligible objects, and putting these together shows the bridge from homological algebra to the geometry of singularities is a single universal property. The derived category is dual to nothing exotic here — it is simply the first quotient one meets.

Full proof set Master

Proposition 1 (cone-membership is shift-stable). If $s\in S_{\mathcal{N}}$ then $s[1]\in S_{\mathcal{N}}$ and $s[-1]\in S_{\mathcal{N}}$.

Proof. The shift functor on a triangulated category is an autoequivalence preserving distinguished triangles, so $\mathrm{Cone}(s[n])=\mathrm{Cone}(s)[n]$. Since $\mathcal{N}$ is a triangulated subcategory it is stable under $[1]$ and $[-1]$, hence $\mathrm{Cone}(s)[n]\in \mathcal{N}$ for all $n\in \mathbb{Z}$, giving $s[n]\in S_{\mathcal{N}}$. $\square$

Proposition 2 (the quotient of an acyclic-style subcategory is the derived category). With $\mathcal{T}=K(\mathcal{A})$ and $\mathcal{N}=K_{\mathrm{ac}}(\mathcal{A})$ the thick subcategory of acyclic complexes, the multiplicative system $S_{\mathcal{N}}$ equals the class of quasi-isomorphisms, and $K(\mathcal{A})/K_{\mathrm{ac}}(\mathcal{A})\cong D(\mathcal{A})$.

Proof. By the cone criterion of 04.03.11, a chain map $s$ is a quasi-isomorphism if and only if $\mathrm{Cone}(s)$ is acyclic, i.e. $\mathrm{Cone}(s)\in K_{\mathrm{ac}}(\mathcal{A})$. Thus $S_{\mathcal{N}}$ is exactly the quasi-isomorphisms. The Verdier quotient inverts precisely this class, which is the defining construction of $D(\mathcal{A})$, so the two localizations of $K(\mathcal{A})$ at the same multiplicative system are canonically isomorphic. $\square$

Proposition 3 (composition of quotients). If $\mathcal{N}\subseteq \mathcal{M}\subseteq \mathcal{T}$ are thick triangulated subcategories, then the image $\bar{\mathcal{M}}=\mathcal{M}/\mathcal{N}$ is thick in $\mathcal{T}/\mathcal{N}$ and $$ (\mathcal T/\mathcal N)\big/(\mathcal M/\mathcal N) \cong \mathcal T/\mathcal M . $$

Proof. The composite $Q_{\mathcal{M}}:\mathcal{T}\to \mathcal{T}/\mathcal{M}$ is triangulated and annihilates $\mathcal{N}\subseteq \mathcal{M}$, so by the universal property it factors through $Q_{\mathcal{N}}$ as a triangulated functor $\Phi :\mathcal{T}/\mathcal{N}\to \mathcal{T}/\mathcal{M}$. The functor $\Phi$ annihilates $\bar{\mathcal{M}}$ and inverts every morphism whose cone lies in $\bar{\mathcal{M}}$, while every object killed by $\Phi$ lifts to an object of $\mathcal{M}$ and hence lands in $\bar{\mathcal{M}}$. Thus $\Phi$ satisfies the universal property of the quotient by $\bar{\mathcal{M}}$, giving the stated isomorphism. $\square$

Connections Master

• Triangulated categories 04.03.10. The Verdier quotient takes a triangulated category and a thick subcategory as input; the octahedral axiom is what makes the cone-defined class $S_{\mathcal{N}}$ closed under composition, so the quotient inherits its own TR1-TR4 structure.

• Derived category as localisation 04.03.11. The derived category $D(\mathcal{A})=K(\mathcal{A})/K_{\mathrm{ac}}(\mathcal{A})$ is the leading example of a Verdier quotient: inverting quasi-isomorphisms is inverting maps whose cone is acyclic, exactly the construction here specialised to one subcategory.

• Mapping cone and distinguished triangle 01.02.32. The cone is the engine of the whole construction; membership $\mathrm{Cone}(s)\in \mathcal{N}$ defines the multiplicative system, and the cone long exact sequence is what lets thickness pin the kernel of $Q$ to $\mathcal{N}$.

• Perverse sheaves 04.03.19. Recollements, which glue perverse sheaves across a stratification, are localization sequences built from a Verdier quotient together with an adjoint inclusion; the quotient functor in a recollement is exactly $Q$.

Historical & philosophical context Master

Jean-Louis Verdier introduced the quotient in his 1963 thesis, written under Grothendieck and published posthumously as Des catégories dérivées des catégories abéliennes ^{[Verdier 1996]}. Grothendieck wanted derived functors and duality to be intrinsic, not tied to a choice of resolution, and Verdier supplied the general localization machine: a triangulated category modulo a thick subcategory, with the derived category as the case where the subcategory is the acyclic complexes. The word épaisse (thick) is Verdier's, naming the summand-closure condition that makes the kernel of the quotient functor behave.

Amnon Neeman later rebuilt the theory on Bousfield localization and compact generation, clarifying when the quotient functor admits adjoints and connecting it to Brown representability ^{[Neeman 2001]}. The singularity category $D_{\mathrm{sg}}=D^b(\mathrm{coh})/\mathrm{Perf}$, a Verdier quotient measuring failure of regularity, was developed by Buchweitz and then Orlov, who linked it to matrix factorisations and mirror symmetry ^{[Orlov 2004]}. Philosophically, the construction encodes a choice about what counts as negligible: fixing a thick subcategory is fixing an ideal of objects to forget, and the universal property says the forgetting can be done once and for all.

Bibliography Master

@book{Verdier1996DerivedCategories,
  author = {Verdier, Jean-Louis},
  title = {Des categories derivees des categories abeliennes},
  series = {Asterisque},
  volume = {239},
  publisher = {Societe Mathematique de France},
  year = {1996}
}

@book{Neeman2001Triangulated,
  author = {Neeman, Amnon},
  title = {Triangulated Categories},
  series = {Annals of Mathematics Studies},
  volume = {148},
  publisher = {Princeton University Press},
  year = {2001}
}

@book{GelfandManin2003Methods,
  author = {Gelfand, Sergei I. and Manin, Yuri I.},
  title = {Methods of Homological Algebra},
  edition = {2},
  publisher = {Springer},
  year = {2003}
}

@incollection{Krause2010Localization,
  author = {Krause, Henning},
  title = {Localization theory for triangulated categories},
  booktitle = {Triangulated Categories},
  series = {London Mathematical Society Lecture Note Series},
  volume = {375},
  publisher = {Cambridge University Press},
  year = {2010},
  pages = {161--235}
}

@article{Orlov2004Singularities,
  author = {Orlov, Dmitri},
  title = {Triangulated categories of singularities and D-branes in Landau-Ginzburg models},
  journal = {Proceedings of the Steklov Institute of Mathematics},
  volume = {246},
  year = {2004},
  pages = {227--248}
}

@book{Buchweitz2021MCM,
  author = {Buchweitz, Ragnar-Olaf},
  title = {Maximal Cohen-Macaulay Modules and Tate Cohomology},
  series = {Mathematical Surveys and Monographs},
  volume = {262},
  publisher = {American Mathematical Society},
  year = {2021}
}