Verdier Quotient in Triangulated Categories

• Verdier quotient is a localization in a triangulated category that inverts morphisms whose cones lie in a given subcategory, characterized by a universal property.
• It unifies abstract universal factorization with explicit morphism inversion, underpinning constructions in derived categories, homotopy theory, and representation theory.
• Concrete models, such as roof representations and triangulated subfactors, facilitate practical computations and resolve categorical size challenges in various algebraic frameworks.

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 (Quick et al., 2015, Drew, 2015).

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 $\mathcal{S}$0 denotes the quotient functor, then for any triangulated category $\mathcal{S}$1, composition with $\mathcal{S}$2 identifies triangulated functors $\mathcal{S}$3 with triangulated functors $\mathcal{S}$4 whose restriction to $\mathcal{S}$5 is zero. In a related formulation, if $\mathcal{S}$6 is an exact functor with kernel $\mathcal{S}$7, then $\mathcal{S}$8 is the universal recipient through which $\mathcal{S}$9 factors (Quick et al., 2015, Drew, 2015).

Verdier’s construction is also a localization. If $\mathcal{T}/\mathcal{S}$0 denotes the class of morphisms in $\mathcal{T}/\mathcal{S}$1 whose cones belong to $\mathcal{T}/\mathcal{S}$2, then $\mathcal{T}/\mathcal{S}$3 can be realized as $\mathcal{T}/\mathcal{S}$4. 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 (Drew, 2015).

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 $\mathcal{T}/\mathcal{S}$5, morphisms are represented by roofs

$\mathcal{T}/\mathcal{S}$6

with $\mathcal{T}/\mathcal{S}$7. The suspension functor is inherited from $\mathcal{T}/\mathcal{S}$8 (Chen et al., 2019).

A related explicit model appears for $\mathcal{T}/\mathcal{S}$9, where $\mathcal{S}$0 is the full subcategory of totally acyclic complexes. There, morphisms from $\mathcal{S}$1 to $\mathcal{S}$2 are equivalence classes of triples $\mathcal{S}$3 with $\mathcal{S}$4 in the class $\mathcal{S}$5 of morphisms whose cones lie in $\mathcal{S}$6, and $\mathcal{S}$7. The paper emphasizes that in general $\mathcal{S}$8 need not be a set, but may be a proper class; one of the structural questions is when the quotient has small Hom-sets (Cortés-Izurdiaga, 2023).

In favorable cases, the quotient admits concrete algebraic interpretations. For objects $\mathcal{S}$9 viewed as stalk complexes in degree zero, one has

$\mathcal{T}$0

and for $\mathcal{T}$1,

$\mathcal{T}$2

The same source shows that

$\mathcal{T}$3

so positive suspended Hom groups encode lower extension groups, while negative suspended Hom groups vanish (Chen et al., 2019).

3. Derived and homotopy-theoretic instances

A large class of examples comes from homotopy and derived categories. For a full additive subcategory $\mathcal{T}$4 of an abelian category, Verdier quotients of the homotopy categories $\mathcal{T}$5 organize a network of localization sequences and recollement diagrams. In the abelian case, many of these quotients split. One representative equivalence is

$\mathcal{T}$6

and the general picture is that many distinct-looking Verdier quotients of homotopy categories turn out to be equivalent (Zhou et al., 2017).

For a commutative noetherian local ring $\mathcal{T}$7, the quotient

$\mathcal{T}$8

is also identified with

$\mathcal{T}$9

The paper describing this category interprets it as the category of “singularities on the punctured spectrum.” It proves that every object of $\mathcal{S}$0 becomes isomorphic in $\mathcal{S}$1 to $\mathcal{S}$2 for some module $\mathcal{S}$3 and some $\mathcal{S}$4, and that $\mathcal{S}$5 if and only if $\mathcal{S}$6 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 (Mifune et al., 2023).

In the homotopy category of projective modules, the quotient $\mathcal{S}$7 links categorical size questions to Gorenstein homological algebra. If $\mathcal{S}$8 has enough $\mathcal{S}$9-injective objects, then the quotient has small Hom-sets; that condition implies the existence of Gorenstein-projective precovers in $T$0 and of totally acyclic precovers in $T$1 (Cortés-Izurdiaga, 2023).

4. Subfactor realizations and $T$2-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 $T$3, a triangulated subcategory $T$4, and an $T$5-localization triple $T$6 satisfying the Verdier condition, with $T$7 special $T$8-monic closed and $T$9 special $S \subseteq T$0-epic closed, the natural functor

$S \subseteq T$1

is a triangulated equivalence. Under suitable Frobenius hypotheses this recovers Iyama–Yoshino triangulated subfactors as Verdier quotients (Li, 2016).

Here the stable category

$S \subseteq T$2

has the same objects as $S \subseteq T$3, while morphisms are taken modulo those factoring through objects of $S \subseteq T$4: $S \subseteq T$5 The significance of the realization theorem is that it replaces a formal localization by a subfactor category with an explicit triangulated structure (Li, 2016).

In stable quasi-categories, the Verdier quotient admits a higher-categorical formulation. If $S \subseteq T$6 is the inclusion of a stable sub-quasi-category, then $S \subseteq T$7 is defined as the cofiber of $S \subseteq T$8 in the $S \subseteq T$9-category of small stable quasi-categories. If $T/S$0 is the class of morphisms in $T/S$1 whose cofibers belong to $T/S$2, then

$T/S$3

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 $T/S$4, then it descends to the quotient, yielding a symmetric monoidal Verdier quotient (Drew, 2015).

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 $T/S$5-Calabi–Yau dg algebra $T/S$6 and a subset of vertices $T/S$7, the quotient is described by

$T/S$8

and similarly for the perfect derived categories. This fits into a short exact sequence of triangulated categories

$T/S$9

The quotient category is typically not Calabi–Yau and not Hom-finite, but bounded $T$0-structures, hearts, exchange graphs, and silting theory descend in a controlled way: quotient hearts are of the form

$T$1

and the Koszul isomorphism between exchange graphs of hearts and silting objects is preserved under Verdier quotient (Barbieri et al., 2024).

In commutative algebra, Verdier quotients support a refined theory of support varieties. For a complete intersection $T$2 and a thick subcategory

$T$3

the quotient

$T$4

carries a support theory defined by

$T$5

Within this quotient, the paper establishes a generalized Auslander–Reiten property, Murthy’s property of order $T$6, and a partial Avramov–Buchweitz symmetry statement for vanishing of cohomology (Puthenpurakal, 2021).

In motivic homotopy theory, the stable homotopy category $T$7 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 (Quick et al., 2015).

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,

$T$8

together with Verdier’s specialization formula

$T$9

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 (Fullwood, 2015).

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 $\mathcal{S}$00-filtrations, with

$\mathcal{S}$01

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

$\mathcal{S}$02

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 (Chen et al., 2023, Fullwood, 2015).