Silting Subcategory in Triangulated Categories

• Silting subcategory is an additive subcategory characterized by self-orthogonality (vanishing positive degree morphisms) and the generation of its triangulated category.
• It enables mutation processes via approximations that yield presilting subcategories and organizes a partial order through irreducible mutations.
• Applications include establishing connections with t-structures, torsion theories, and categorification in higher homological algebra.

A silting subcategory is a full additive subcategory of a triangulated (or extriangulated) category that both generates the ambient category and satisfies a vanishing condition on positive degree morphisms. Silting subcategories form the core connective tissue between tilting theory, t-structures, torsion/cotorsion theory, and categorical mutation, appearing in both algebraic and categorical representation theory. The following sections provide a technical overview, emphasizing definitions, structural properties, reduction and mutation techniques, correspondences with t-structures and cluster-tilting theory, and salient applications.

1. Definitions and Characteristic Properties

Let $\mathcal{T}$ be a triangulated category (or, more generally, an extriangulated category). A full additive subcategory $\mathcal{M} \subseteq \mathcal{T}$ is called a silting subcategory if:

1. Self-orthogonality:

$$\operatorname{Hom}_{\mathcal{T}}(M, M'[i]) = 0 \quad \text{for all } M, M' \in \mathcal{M}, \, i > 0.$$

This is often referred to as semi-selforthogonality, and such an $\mathcal{M}$ is called presilting.

2. Generating property:

$\operatorname{thick}(\mathcal{M}) = \mathcal{T},$

where $\operatorname{thick}(\mathcal{M})$ is the smallest thick subcategory containing $\mathcal{M}$ (i.e., closed under shifts, cones, extensions, and direct summands).

In the presence of (co)products, one may alternatively require closure under all (co)products in the “large” setting. For a single object $M$, the silting subcategory is typically $\operatorname{add}(M)$. These definitions extend coherently to extriangulated categories by replacing $\operatorname{Hom}$ with the relevant extension bifunctor $\mathcal{M} \subseteq \mathcal{T}$0 and using closure under appropriate s-conflations (Adachi et al., 2023).

Silting subcategories generalize tilting subcategories: a tilting subcategory requires vanishing in all nonzero degrees, while silting only requires vanishing in positive degrees.

2. Silting Mutation and Partial Orders

A hallmark property is the existence of silting mutations (Aihara et al., 2010, Adachi et al., 2023). Given a silting subcategory $\mathcal{M} \subseteq \mathcal{T}$1 and a covariantly finite subcategory $\mathcal{M} \subseteq \mathcal{T}$2, for each $\mathcal{M} \subseteq \mathcal{T}$3 one chooses a left $\mathcal{M} \subseteq \mathcal{T}$4-approximation $\mathcal{M} \subseteq \mathcal{T}$5 and then constructs a triangle: $\mathcal{M} \subseteq \mathcal{T}$6 The left mutation is: $\mathcal{M} \subseteq \mathcal{T}$7 This process always yields a presilting (often silting) subcategory, circumventing obstructions present in classical tilting mutation (Aihara et al., 2010).

Silting subcategories are naturally partially ordered: for silting subcategories $\mathcal{M} \subseteq \mathcal{T}$8,

$\mathcal{M} \subseteq \mathcal{T}$9

The Hasse quiver of this poset encodes irreducible silting mutations, which organize the “mutation graph” of silting objects and track their combinatorics (Aihara et al., 2010, Adachi et al., 2023).

3. Reduction Procedures and Silting Intervals

Silting reduction removes a (pre)silting subcategory $$\operatorname{Hom}_{\mathcal{T}}(M, M'[i]) = 0 \quad \text{for all } M, M' \in \mathcal{M}, \, i > 0.$$0 by forming the Verdier quotient $$\operatorname{Hom}_{\mathcal{T}}(M, M'[i]) = 0 \quad \text{for all } M, M' \in \mathcal{M}, \, i > 0.$$1 (Iyama et al., 2014, Børve, 2024). Under mild hypotheses, there are bijections: $$\operatorname{Hom}_{\mathcal{T}}(M, M'[i]) = 0 \quad \text{for all } M, M' \in \mathcal{M}, \, i > 0.$$2 This reduction is compatible with partial orders and mutation (Iyama et al., 2014), and is generalized in extriangulated categories using cotorsion pairs and ideal quotients (Børve, 2024).

A refinement is silting interval reduction (Pan et al., 2024): given silting subcategories $$\operatorname{Hom}_{\mathcal{T}}(M, M'[i]) = 0 \quad \text{for all } M, M' \in \mathcal{M}, \, i > 0.$$3, the set $$\operatorname{Hom}_{\mathcal{T}}(M, M'[i]) = 0 \quad \text{for all } M, M' \in \mathcal{M}, \, i > 0.$$4 of silting subcategories intermediate between them is naturally identified with the silting subcategories of $$\operatorname{Hom}_{\mathcal{T}}(M, M'[i]) = 0 \quad \text{for all } M, M' \in \mathcal{M}, \, i > 0.$$5. This enables a “local-to-global” classification by reducing to smaller subcategories.

4. Correspondences with t-Structures and Torsion Theories

There is a deep correspondence between silting subcategories and t-structures (and their dual co-t-structures) (Liu et al., 2012, Hügel, 2018, Hügel et al., 2016). Given a silting subcategory $$\operatorname{Hom}_{\mathcal{T}}(M, M'[i]) = 0 \quad \text{for all } M, M' \in \mathcal{M}, \, i > 0.$$6 in $$\operatorname{Hom}_{\mathcal{T}}(M, M'[i]) = 0 \quad \text{for all } M, M' \in \mathcal{M}, \, i > 0.$$7, define: $$\operatorname{Hom}_{\mathcal{T}}(M, M'[i]) = 0 \quad \text{for all } M, M' \in \mathcal{M}, \, i > 0.$$8

$$\operatorname{Hom}_{\mathcal{T}}(M, M'[i]) = 0 \quad \text{for all } M, M' \in \mathcal{M}, \, i > 0.$$9

Then $\mathcal{M}$0 is a t-structure whose heart, in many cases, contains (or is generated by) $\mathcal{M}$1 (Aihara et al., 2010).

Silting subcategories also induce co-t–structures and are in bijection with bounded co-t–structures whose cohearts are $\mathcal{M}$2 (Liu et al., 2012). Via TTF (torsion-torsionfree) triples, silting subcategories play a universal role in classifying the ambient category’s “torsion-theoretic” decompositions (Hügel, 2018, Hügel et al., 2019).

Over finite-dimensional algebras, the poset of (two-term) silting objects in $\mathcal{M}$3 is isomorphic to the poset of functorially finite torsion (and cotorsion) classes in $\mathcal{M}$4 and in suitable truncated categories (Zhou et al., 2018, Gupta, 2024).

5. Gluing, Complements, and Structural Decomposition

Gluing techniques enable the explicit construction of silting objects in categories realized as recollements, or via ring epimorphisms and universal localizations (Liu et al., 2012, Bonometti, 2020). If $\mathcal{M}$5 has a recollement built from categories $\mathcal{M}$6 and $\mathcal{M}$7 with silting objects $\mathcal{M}$8 and $\mathcal{M}$9, then the glued silting object is

$\operatorname{thick}(\mathcal{M}) = \mathcal{T},$0

where $\operatorname{thick}(\mathcal{M}) = \mathcal{T},$1 is defined by a distinguished triangle involving truncations in the co-t–structures of $\operatorname{thick}(\mathcal{M}) = \mathcal{T},$2 and $\operatorname{thick}(\mathcal{M}) = \mathcal{T},$3. Explicit criteria are given for when the glued silting is tilting (orthogonality conditions for functor images of the summands) (Liu et al., 2012).

Complements and completions are addressed via the averaging of coaisles/co-t–structures: a presilting object $\operatorname{thick}(\mathcal{M}) = \mathcal{T},$4 can be completed to a silting object $\operatorname{thick}(\mathcal{M}) = \mathcal{T},$5 if and only if $\operatorname{thick}(\mathcal{M}) = \mathcal{T},$6 is intermediate with respect to some silting $\operatorname{thick}(\mathcal{M}) = \mathcal{T},$7 and the intersection of associated coaisles is itself a coaisle. For hereditary and silting-discrete algebras, every presilting admits a complement (Hügel et al., 2024).

6. Mutation Graphs, Discreteness, and Classification

Silting mutation produces a quiver on the set of silting subcategories—the silting quiver. In many settings (e.g., derived-discrete/silting-discrete algebras, local, hereditary, or canonical algebras) this quiver is connected, meaning that any silting object can be reached from any other by iterated mutation (Aihara et al., 2010, Hügel, 2018). For silting-discrete algebras, every large silting object is equivalent to a compact/classically silting object (Hügel et al., 2024).

Classification results for silting subcategories in derived categories of commutative noetherian rings are tightly linked to spectral topological data (Thomason filtrations), while in finite-dimensional settings, combinatorial tools such as poset lattices, cluster combinatorics, and Hasse quivers (and, for extriangulated/0-Auslander categories, picture categories) mediate parametrization and mutation (Hügel, 2018, Børve, 2024).

7. Applications in Higher and Cluster Categories

Recent work extends silting theory to $\operatorname{thick}(\mathcal{M}) = \mathcal{T},$8-silting objects associated with higher homological algebra and Calabi–Yau categories. For a dg algebra $\operatorname{thick}(\mathcal{M}) = \mathcal{T},$9 and its $\operatorname{thick}(\mathcal{M})$0-Calabi–Yau completion $\operatorname{thick}(\mathcal{M})$1, the induction functor

$\operatorname{thick}(\mathcal{M})$2

embeds $\operatorname{thick}(\mathcal{M})$3-silting objects into the silting objects of $\operatorname{thick}(\mathcal{M})$4, with tight connections to $\operatorname{thick}(\mathcal{M})$5-cluster tilting subcategories in the associated cluster category $\operatorname{thick}(\mathcal{M})$6 (Hanihara et al., 18 Aug 2025). For “$\operatorname{thick}(\mathcal{M})$7-liftable” Calabi–Yau dg algebras, every $\operatorname{thick}(\mathcal{M})$8-cluster tilting in $\operatorname{thick}(\mathcal{M})$9 can be realized by a silting object in the fundamental domain—a property which is equivalent to $\mathcal{M}$0 being a Calabi–Yau completion of a hereditary algebra in the class $\mathcal{M}$1 hereditary, (Hanihara et al., 18 Aug 2025).

Reduction and mutation techniques, cluster-tilting correspondences, and explicit geometric or dg models all further enable applications in the categorification of cluster algebras, representation-theoretic parametrization, and the description of singularity categories.

---

Table: Characteristic Conditions for a Silting Subcategory in $\mathcal{M}$2

Property	Formulation	Context
Presilting	$\mathcal{M}$3 for $\mathcal{M}$4	All $\mathcal{M}$5
Silting	Presilting $\mathcal{M}$6 $\mathcal{M}$7	Generated subcategory
Mutation	$\mathcal{M}$8	Cov. finite $\mathcal{M}$9
t-structure aisle	$M$0	Silting $M$1

• (Aihara et al., 2010): "Silting mutation in triangulated categories"
• (Liu et al., 2012): "Glueing silting objects"
• (Iyama et al., 2014): "Silting reduction and Calabi--Yau reduction of triangulated categories"
• (Wei, 2015): "Relative singularity categories, Gorenstein objects and silting theory"
• (Marks et al., 2016): "Universal localisations via silting"
• (Hügel et al., 2016): "Torsion pairs in silting theory"
• (Hügel, 2018): "Silting objects"
• (Zhou et al., 2018): "Two-term relative cluster tilting subcategories, $M$2-tilting modules and silting subcategories"
• (Hügel et al., 2019): "Partial silting objects and smashing subcategories"
• (Bonometti, 2020): "Gluing silting objects along recollements of well generated triangulated categories"
• (Chang et al., 2020): "A geometric realization of silting theory for gentle algebras"
• (Liu et al., 2021): "Silting reduction in extriangulated categories"
• (Breaz et al., 2022): "Silting, cosilting, and extensions of commutative ring"
• (Gao et al., 2022): "(Gorenstein) silting modules in recollements"
• (Adachi et al., 2023): "An assortment of properties of silting subcategories of extriangulated categories"
• (Pan et al., 2024): "Silting interval reduction and 0-Auslander extriangulated categories"
• (Hügel et al., 2024): "Fishing for complements"
• (Børve, 2024): "Silting reduction and picture categories of 0-Auslander extriangulated categories"
• (Gupta, 2024): "$M$3-term silting objects, torsion classes, and cotorsion classes"
• (Hanihara et al., 18 Aug 2025): "Silting correspondences and Calabi-Yau dg algebras"

---

Silting subcategories are thus at the intersection of categorical, geometric, algebraic, and combinatoric approaches, providing a flexible and unifying structure underpinning modern developments in higher homological algebra and the theory of triangulated and extriangulated categories.