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 $\mathcal{A}$ (every $X\in\mathcal{A}$ admits both a left and a right $\mathcal{M}$-approximation).
• Generating and cogenerating: For every $X\in\mathcal{A}$ there are epimorphisms $M\to X$ and monomorphisms $X\to M'$ for some $M,M'\in\mathcal{M}$.
• $d$-rigidity (Maximal orthogonality):

$$\mathcal{M} = \{\,X \in \mathcal{A} \mid \operatorname{Ext}^i_{\mathcal{A}}(X,\mathcal{M}) = 0\ \forall\ 1 \leq i \leq d-1 \} = \{\,Y \in \mathcal{A} \mid \operatorname{Ext}^i_{\mathcal{A}}(\mathcal{M},Y) = 0\ \forall\ 1 \leq i \leq d-1\}$$

which ensures $$\operatorname{Ext}^i_{\mathcal{A}}(\mathcal{M}, \mathcal{M}) = 0$$ for $1\le i\le d-1$, 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 $X\in\mathcal{A}$ belongs to $\mathcal{M}$ if and only if $$\operatorname{Ext}^i(\mathcal{M},X)=0 = \operatorname{Ext}^i(X,\mathcal{M})$$ for all $1\le i\le d-1$ (Kvamme, 2016, Ebrahimi et al., 2022).

For $\mathcal{A}$ triangulated, the analogous definition replaces $\operatorname{Ext}$ by $\operatorname{Hom}$ in shifted degrees, and the subcategory is required to be stable under $d$-fold suspension (i.e., $\Sigma^d \mathcal{M} = \mathcal{M}$) (Fedele, 2018).

2. Higher Abelian and Angulated Structure

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

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

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

3. Pathways and Universal Constructions

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

The ind-completion and possible "large" $d$-cluster tilting subcategories in Grothendieck or module categories raise foundational questions on $d$-rigidity and the extent to which filtrations of classical $d$-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 $\operatorname{mod}\Lambda$ for any artin algebra $\Lambda$ (the $d=1$ case).
• For an $n$-representation-finite algebra (in the sense of Iyama), the full subcategory generated by an $n$-cluster tilting module $T$; $$\mathcal{M} = \operatorname{add} T \subset \operatorname{mod}\Lambda$$ is $n$-cluster tilting (Kvamme, 2016, Fedele, 2018).
• $d$-cluster tilting subcategories arising as images of functorially finite wide subcategories under restriction of scalars along algebra epimorphisms $\phi: \Phi \rightarrow \Gamma$ with $d$-pseudoflatness, providing explicit combinatorial classification in the case $\Phi = kA_m/(\operatorname{rad}\,kA_m)^\ell$ for suitable $(m,\ell,d)$ (Herschend et al., 2017).
• In triangulated or $(d+2)$-angulated settings, the additive closure of $\{\Sigma^{id} F\mid i\in\mathbb{Z}\}$, where $F$ is a $d$-cluster tilting subcategory, carries natural higher angulated structure (Fedele, 2018, Fedele, 2018, Jacobsen et al., 2017).
• For self-injective artin algebras, $n\mathbb{Z}$-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

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

Further, the theory of wide subcategories and $d$-torsion classes generalizes classical notions. Every functorially finite wide subcategory of a $d$-cluster tilting subcategory arises via pushforward along a $d$-pseudoflat algebra epimorphism (classification theorem) (Herschend et al., 2017). $d$-torsion classes, maximal $d$-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 $\mathcal{C}$ with $d$-cluster tilting subcategory $S$ closed under $d$-suspension is a quotient of the split Grothendieck group of $S$ by relations arising from $(d+2)$-angles, which plays a central role in higher homological algebra (Fedele, 2018). The completion of a $d$-abelian category in the sense of filtered colimits, denoted $\operatorname{Ind}(\mathcal{M})$, is universally equivalent to the subcategory of left $d$-exact functors, and the question of whether this ind-completion is $d$-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, $d\mathbb{Z}$-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 $d$-cluster tilting subcategories, $d$-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 $d$-torsion classes, their combinatorial classification, and interaction with maximal $d$-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.