d-Cluster Tilting Subcategory Overview

• d-Cluster tilting subcategory is a full, additive, and functorially finite subcategory defined by maximal (d-1)-orthogonality with respect to the Ext functor.
• It generalizes classical tilting theories by encoding higher homological finiteness and rigidity through d-exact sequences and (d+2)-angulated structures.
• It plays a central role in higher Auslander–Reiten theory and higher representation theory, with applications in d-abelian and triangulated categories.

A $d$-cluster tilting subcategory is a full, additive, and functorially finite subcategory of an abelian, exact, or triangulated category that exhibits maximal $(d-1)$-orthogonality with respect to the $\operatorname{Ext}$ functor. It generalizes classical tilting and cluster tilting theory by encoding higher homological finiteness and rigidity. The concept is central to higher Auslander–Reiten theory, higher representation theory, and the structure theory of $d$-abelian and $(d+2)$-angulated categories.

1. Defining Properties and Characterizations

Let $\mathcal{A}$ be an abelian or exact category and $d\geq1$ an integer. A full subcategory $\mathcal{M}\subseteq\mathcal{A}$ is \textit{$d$-cluster tilting} if it satisfies the following:

• Functorial finiteness: $\mathcal{M}$ is both covariantly and contravariantly finite in $(d-1)$0 (every $(d-1)$1 admits both a left and a right $(d-1)$2-approximation).
• Generating and cogenerating: For every $(d-1)$3 there are epimorphisms $(d-1)$4 and monomorphisms $(d-1)$5 for some $(d-1)$6.
• $(d-1)$7-rigidity (Maximal orthogonality):

$(d-1)$8

which ensures $(d-1)$9 for $\operatorname{Ext}$0, and maximality in the sense that no strictly larger subcategory enjoys this vanishing property (Kvamme, 2016, Herschend et al., 2017, Fedele, 2018).

An equivalent statement: any object $\operatorname{Ext}$1 belongs to $\operatorname{Ext}$2 if and only if $\operatorname{Ext}$3 for all $\operatorname{Ext}$4 (Kvamme, 2016, Ebrahimi et al., 2022).

For $\operatorname{Ext}$5 triangulated, the analogous definition replaces $\operatorname{Ext}$6 by $\operatorname{Ext}$7 in shifted degrees, and the subcategory is required to be stable under $\operatorname{Ext}$8-fold suspension (i.e., $\operatorname{Ext}$9) (Fedele, 2018).

2. Higher Abelian and Angulated Structure

The axioms of $d$0-cluster tilting subcategories induce a $d$1-abelian structure in the sense of Jasso. In a $d$2-abelian category (Herschend et al., 2017, Fedele, 2018, Ebrahimi et al., 2022):

• Kernels and cokernels are replaced by $d$3-kernels and $d$4-cokernels—complexes of $d$5 objects satisfying precise homological exactness conditions.
• The role of short exact sequences is taken by $d$6-exact sequences of length $d$7.
• Every morphism admits both a $d$8-kernel and a $d$9-cokernel. Monomorphisms extend to $(d+2)$0-exact sequences, and similarly for epimorphisms.

For triangulated categories containing a $(d+2)$1-cluster tilting subcategory stable under $(d+2)$2-fold suspension, the ambient subcategory can be equipped with a canonical $(d+2)$3-angulated structure—an abstraction of triangulated structure driven by $(d+2)$4-angles instead of triangles (Fedele, 2018, Fedele, 2018).

3. Pathways and Universal Constructions

Every small, projectively generated $(d+2)$5-abelian category is equivalent to a $(d+2)$6-cluster tilting subcategory of an abelian category with enough projectives, via a fully faithful Yoneda-type embedding into a functor category $(d+2)$7, with $(d+2)$8 the category of projectives in $(d+2)$9 (Kvamme, 2016). Universally, every weakly idempotent complete $\mathcal{A}$0-exact category is exact-equivalent to a $\mathcal{A}$1-cluster tilting subcategory of some exact category uniquely determined by a universal property (Kvamme, 28 Feb 2025).

The ind-completion and possible "large" $\mathcal{A}$2-cluster tilting subcategories in Grothendieck or module categories raise foundational questions on $\mathcal{A}$3-rigidity and the extent to which filtrations of classical $\mathcal{A}$4-cluster tilting subcategories remain cluster tilting after passage to filtered colimits (Ebrahimi et al., 2022).

4. Structure Theorems and Examples

Canonical examples include:

• The module category $\mathcal{A}$5 for any artin algebra $\mathcal{A}$6 (the $\mathcal{A}$7 case).
• For an $\mathcal{A}$8-representation-finite algebra (in the sense of Iyama), the full subcategory generated by an $\mathcal{A}$9-cluster tilting module $d\geq1$0; $d\geq1$1 is $d\geq1$2-cluster tilting (Kvamme, 2016, Fedele, 2018).
• $d\geq1$3-cluster tilting subcategories arising as images of functorially finite wide subcategories under restriction of scalars along algebra epimorphisms $d\geq1$4 with $d\geq1$5-pseudoflatness, providing explicit combinatorial classification in the case $d\geq1$6 for suitable $d\geq1$7 (Herschend et al., 2017).
• In triangulated or $d\geq1$8-angulated settings, the additive closure of $d\geq1$9, where $\mathcal{M}\subseteq\mathcal{A}$0 is a $\mathcal{M}\subseteq\mathcal{A}$1-cluster tilting subcategory, carries natural higher angulated structure (Fedele, 2018, Fedele, 2018, Jacobsen et al., 2017).
• For self-injective artin algebras, $\mathcal{M}\subseteq\mathcal{A}$2-cluster tilting subcategories in the module category give rise to higher analogues of classical submodule and functor categories (Asadollahi et al., 2020, Kvamme, 2018).

5. Applications: Auslander–Reiten Theory, Torsion, and Wide Subcategories

$\mathcal{M}\subseteq\mathcal{A}$3-cluster tilting subcategories serve as ambient categories for higher Auslander–Reiten theory. Given a $\mathcal{M}\subseteq\mathcal{A}$4-cluster tilting subcategory $\mathcal{M}\subseteq\mathcal{A}$5, the $\mathcal{M}\subseteq\mathcal{A}$6-Auslander–Reiten (AR) sequences provide left and right almost split $\mathcal{M}\subseteq\mathcal{A}$7-exact sequences for every indecomposable object—not just projectives—encoding mutation phenomena and the higher analogues of AR theory. A $\mathcal{M}\subseteq\mathcal{A}$8-exact sequence in a $\mathcal{M}\subseteq\mathcal{A}$9-abelian category is a higher analogue of a short exact sequence, and the structure of $d$0-AR sequences is central (Fedele, 2018).

Further, the theory of wide subcategories and $d$1-torsion classes generalizes classical notions. Every functorially finite wide subcategory of a $d$2-cluster tilting subcategory arises via pushforward along a $d$3-pseudoflat algebra epimorphism (classification theorem) (Herschend et al., 2017). $d$4-torsion classes, maximal $d$5-rigid pairs, and associated silting complexes encode the structure of full extension-closed subcategories in such settings, with explicit combinatorics available for type A higher Auslander and Nakayama algebras (August et al., 3 Feb 2026, Kvamme, 28 Feb 2025).

6. Grothendieck Groups, Completion, and Singularity Categories

The Grothendieck group of a triangulated category $d$6 with $d$7-cluster tilting subcategory $d$8 closed under $d$9-suspension is a quotient of the split Grothendieck group of $\mathcal{M}$0 by relations arising from $\mathcal{M}$1-angles, which plays a central role in higher homological algebra (Fedele, 2018). The completion of a $\mathcal{M}$2-abelian category in the sense of filtered colimits, denoted $\mathcal{M}$3, is universally equivalent to the subcategory of left $\mathcal{M}$4-exact functors, and the question of whether this ind-completion is $\mathcal{M}$5-rigid provides a higher analogue of pure semisimplicity and local finiteness (Ebrahimi et al., 2022, Ebrahimi et al., 2019).

In singularity categories and stabilized homotopy, $\mathcal{M}$6-cluster tilting subcategories persist and can be constructed by passage from the exact category with enough projectives, through the stable and singularity categories, leading to explicit new examples in non-Iwanaga-Gorenstein settings (Kvamme, 2018).

7. Open Problems and Current Developments

Key questions remain regarding the reach of the cluster tilting framework:

• Characterization and construction of "big" or ind-completed $\mathcal{M}$7-cluster tilting subcategories, $\mathcal{M}$8-rigidity for ind-completions, and the equivalence with questions of finiteness and pure semisimplicity (Ebrahimi et al., 2022, Ebrahimi et al., 2019).
• The nature of $\mathcal{M}$9-torsion classes, their combinatorial classification, and interaction with maximal $(d-1)$00-rigid pairs and silting theory in higher homological dimensions (August et al., 3 Feb 2026, Kvamme, 28 Feb 2025).
• Explicit realizations in singularity and stable categories, particularly for non-Gorenstein and infinite-dimensional cases (Kvamme, 2018).

These directions underpin ongoing research in higher homological algebra, representation theory, and their applications.