---
title: Verdier Quotient in Triangulated Categories
url: https://www.emergentmind.com/topics/verdier-quotient
type: topic
---

# Verdier Quotient in Triangulated Categories

The **Verdier quotient** is a construction in triangulated categories: given a triangulated category $\mathcal{T}$ and a triangulated subcategory $\mathcal{S}$, the quotient $\mathcal{T}/\mathcal{S}$ is a new triangulated category obtained by formally inverting the morphisms whose cone lies in $\mathcal{S}$. Equivalently, it is characterized by a universal property: every triangulated functor out of $\mathcal{T}$ that annihilates $\mathcal{S}$ factors through the quotient. In this form, the Verdier quotient is a basic mechanism behind derived categories, stable homotopy categories, and a wide range of localization procedures in homological algebra, representation theory, and geometry [1504.00537, 1511.08287].

## 1. Definition, universal property, and localization

For a triangulated category $T$ and a triangulated subcategory $S \subseteq T$, the Verdier quotient $T/S$ is defined by a universal property with respect to triangulated functors out of $T$. If $q:T\to T/S$ denotes the quotient functor, then for any triangulated category $D$, composition with $q$ identifies triangulated functors $T/S\to D$ with triangulated functors $T\to D$ whose restriction to $S$ is zero. In a related formulation, if $F:\mathcal{T}\to\mathcal{T}'$ is an exact functor with kernel $\mathcal{S}$, then $\mathcal{T}/\mathcal{S}$ is the universal recipient through which $F$ factors [1504.00537, 1511.08287].

Verdier’s construction is also a localization. If $W$ denotes the class of morphisms in $T$ whose cones belong to $S$, then $T/S$ can be realized as $T[W^{-1}]$. This converts the abstract universal property into an explicit inversion procedure. The same principle persists in higher-categorical settings: the essential operation is localization at the morphisms whose cofibers land in the subcategory being killed [1511.08287].

This dual viewpoint—universal quotient and explicit localization—is central to the utility of the construction. The universal property controls functoriality, while the localization description makes clear which morphisms become isomorphisms.

## 2. Morphisms and concrete models

Although the objects of a Verdier quotient are the same as those of the ambient triangulated category, the morphisms are more subtle. In the quotient $K^b(\mathcal{A})/K^b(\mathcal{X})$, morphisms are represented by roofs
\[
A \xleftarrow{s} C \xrightarrow{f} B
\]
with $\operatorname{Cone}(s)\in K^b(\mathcal{X})$. The suspension functor is inherited from $K^b(\mathcal{A})$ [1909.10672].

A related explicit model appears for $\mathbf K(\mathrm{Proj})/\mathcal K$, where $\mathcal K$ is the full subcategory of totally acyclic complexes. There, morphisms from $X$ to $Y$ are equivalence classes of triples $(Z,f,g)$ with $f:Z\to X$ in the class $\mathrm{Mor}_{\mathcal K}$ of morphisms whose cones lie in $\mathcal K$, and $g:Z\to Y$. The paper emphasizes that in general $\mathrm{Hom}_{\mathcal T/\mathcal D}(X,Y)$ need not be a set, but may be a proper class; one of the structural questions is when the quotient has small Hom-sets [2309.11209].

In favorable cases, the quotient admits concrete algebraic interpretations. For objects $A,B\in\mathcal A$ viewed as stalk complexes in degree zero, one has
\[
\mathcal{A}/[\mathcal{X}](A,B)\cong \operatorname{Hom}_{K^b(\mathcal{A})/K^b(\mathcal{X})}(A,B),
\]
and for $n\geq 1$,
\[
\operatorname{Ext}_{\mathcal X}^n(A,B)\cong \operatorname{Hom}_{K^b(\mathcal{A})/K^b(\mathcal{X})}(\Sigma^n A,B).
\]
The same source shows that
\[
\operatorname{Hom}_{K^b(\mathcal{A})/K^b(\mathcal{X})}(\Sigma^{-n}A,B)=0 \qquad (n\geq 1),
\]
so positive suspended Hom groups encode lower extension groups, while negative suspended Hom groups vanish [1909.10672].

## 3. Derived and homotopy-theoretic instances

A large class of examples comes from homotopy and derived categories. For a full additive subcategory $\mathcal E$ of an abelian category, Verdier quotients of the homotopy categories $K^{x,y}(\mathcal E)$ organize a network of localization sequences and recollement diagrams. In the abelian case, many of these quotients split. One representative equivalence is
\[
K(\mathcal A)/K^b(\mathcal A)\cong K^+(\mathcal A)/K^b(\mathcal A)\times K^-(\mathcal A)/K^b(\mathcal A),
\]
and the general picture is that many distinct-looking Verdier quotients of homotopy categories turn out to be equivalent [1711.05445].

For a commutative noetherian local ring $R$, the quotient
\[
\mathcal Q(R):=\mathsf{D}^b(R)/\mathsf{thick}(R\oplus k)
\]
is also identified with
\[
\mathsf{D_{sg}}(R)/\mathsf{thick}(k).
\]
The paper describing this category interprets it as the category of “singularities on the punctured spectrum.” It proves that every object of $\mathsf{D}^b(R)$ becomes isomorphic in $\mathcal Q(R)$ to $M[n]$ for some module $M$ and some $n\in\mathbb Z$, and that $\mathcal Q(R)=0$ if and only if $R$ is an isolated singularity. The existence of an additive generator is characterized under hypotheses involving finite Cohen–Macaulay type on the punctured spectrum, with a converse under a local Gorenstein assumption on that punctured spectrum [2312.13544].

In the homotopy category of projective modules, the quotient $\mathbf K(\mathrm{Proj})/\mathcal K$ links categorical size questions to Gorenstein homological algebra. If $\mathbf K(\mathrm{Proj})$ has enough $\mathrm{Mor}_{\mathcal K}$-injective objects, then the quotient has small Hom-sets; that condition implies the existence of Gorenstein-projective precovers in $\mathrm{Mod}\text{-}R$ and of totally acyclic precovers in $\mathbf C(\mathrm{Mod}\text{-}R)$ [2309.11209].

## 4. Subfactor realizations and $\infty$-categorical refinements

A recurring difficulty is that Verdier quotient morphisms are hard to describe intrinsically. One approach is to realize the quotient as a triangulated subfactor. Given a triangulated category $\mathcal T$, a triangulated subcategory $\mathcal N$, and an $\mathcal N$-localization triple $(\mathcal U,\mathcal X,\mathcal V)$ satisfying the Verdier condition, with $\mathcal U$ special $\mathcal X$-monic closed and $\mathcal V$ special $\mathcal X$-epic closed, the natural functor
\[
(\mathcal U\cap \mathcal V)/[\mathcal X]\longrightarrow \mathcal T/\mathcal N
\]
is a triangulated equivalence. Under suitable Frobenius hypotheses this recovers Iyama–Yoshino triangulated subfactors as Verdier quotients [1612.08340].

Here the stable category
\[
C/[\mathcal X]
\]
has the same objects as $C$, while morphisms are taken modulo those factoring through objects of $\mathcal X$:
\[
\operatorname{Hom}_{C/[\mathcal X]}(A,B)=\operatorname{Hom}_C(A,B)/\{\text{morphisms factoring through some }X\in\mathcal X\}.
\]
The significance of the realization theorem is that it replaces a formal localization by a subfactor category with an explicit triangulated structure [1612.08340].

In stable quasi-categories, the Verdier quotient admits a higher-categorical formulation. If $\iota:\mathcal A\hookrightarrow\mathcal C$ is the inclusion of a stable sub-quasi-category, then $\mathcal C/\mathcal A$ is defined as the cofiber of $\iota$ in the $\infty$-category of small stable quasi-categories. If $S$ is the class of morphisms in $\mathcal C$ whose cofibers belong to $\mathcal A$, then
\[
\mathcal C[S^{-1}] \simeq \mathcal C/\mathcal A.
\]
This equivalence shows that the stable quasi-categorical Verdier quotient is again a localization. The same paper records that if a symmetric monoidal structure preserves $\mathcal A$, then it descends to the quotient, yielding a symmetric monoidal Verdier quotient [1511.08287].

## 5. Representation-theoretic and geometric applications

Verdier quotients are central in recent representation-theoretic work on Calabi–Yau categories from quivers with potential. For a Ginzburg $3$-Calabi–Yau dg algebra $\Gamma=\Gamma(Q,W)$ and a subset of vertices $I\subset Q_0$, the quotient is described by
\[
pvd(\Gamma)/pvd(\Gamma_I)\simeq pvd(e\Gamma e),
\]
and similarly for the perfect derived categories. This fits into a short exact sequence of triangulated categories
\[
0\to pvd(\Gamma_I)\xrightarrow{\iota} pvd(\Gamma)\xrightarrow{\pi} pvd(e\Gamma e)\to 0.
\]
The quotient category is typically not Calabi–Yau and not Hom-finite, but bounded $t$-structures, hearts, exchange graphs, and silting theory descend in a controlled way: quotient hearts are of the form
\[
H/(H\cap pvd(\Gamma_I)),
\]
and the Koszul isomorphism between exchange graphs of hearts and silting objects is preserved under Verdier quotient [2411.00207].

In commutative algebra, Verdier quotients support a refined theory of support varieties. For a complete intersection $A$ and a thick subcategory
\[
\mathcal S_X=\{M\in \underline{\operatorname{CM}(A)}\mid V^*(M)\subseteq X\},
\]
the quotient
\[
\mathcal T_X=\underline{\operatorname{CM}(A)}/\mathcal S_X
\]
carries a support theory defined by
\[
V_X(M)=V^*(M)\setminus X.
\]
Within this quotient, the paper establishes a generalized Auslander–Reiten property, Murthy’s property of order $c$, and a partial Avramov–Buchweitz symmetry statement for vanishing of cohomology [2108.00204].

In motivic homotopy theory, the stable homotopy category $\mathrm{SH}(S)$ is presented as a Verdier quotient of the model category of motivic spectra by stable equivalences. The étale version of the theory is then controlled by hypercovers: localizing with respect to hypercovers yields the homotopy category encoding descent for the topology, and the Verdier hypercovering theorem computes étale cohomology of a smooth scheme as a colimit over étale hypercovers [1504.00537].

## 6. Verdier quotient and Verdier specialization

The Verdier quotient is distinct from **Verdier specialization**. In work on Chern class identities and tadpole relations, the central construction is a specialization morphism on constructible functions,
\[
\sigma:F(\mathscr Y)\to F(Y_0),
\]
together with Verdier’s specialization formula
\[
\sigma_H\bigl(c_{\mathrm{SM}}(\vartheta|_{Z_t})\bigr)=c_{\mathrm{SM}}(\sigma_F(\vartheta)).
\]
That paper explicitly notes that the Verdier quotient in triangulated categories is not its main technical tool; the focus is instead on specialization morphisms and their behavior under degeneration [1511.03752].

At the same time, the quotient formalism remains part of the categorical background of specialization theory. In the study of Hodge modules, Verdier specialization is constructed via deformation to the normal cone and $V$-filtrations, with
\[
\operatorname{Sp}_Z M:=\bigoplus_{\alpha\in(0,1]}\operatorname{Gr}_V^\alpha(j_+q^*M).
\]
The same work states that the Verdier quotient provides the categorical setting for the specialization functor: one passes through exact triangles and localization phenomena associated with the special fiber, and obtains formulas such as
\[
i_Z^!M=(i'_Z)^*\operatorname{Sp}_Z M,\qquad i_Z^*M=(i'_Z)^!\operatorname{Sp}_Z M.
\]
A persistent source of confusion is therefore avoided by distinguishing the two notions: the Verdier quotient is a localization of triangulated or stable categories, whereas Verdier specialization is a functorial degeneration procedure on sheaf-theoretic or Hodge-theoretic objects [2304.13644, 1511.03752].

Source: https://www.emergentmind.com/topics/verdier-quotient