---
title: d-Cluster Tilting Subcategory Overview
url: https://www.emergentmind.com/topics/d-cluster-tilting-subcategory
type: topic
---

# d-Cluster Tilting Subcategory Overview

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 [1608.07985][1705.02246][1808.02709].

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$ [1608.07985][2210.00265].

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}$) [1812.08493].

## 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 [1705.02246][1808.02709][2210.00265]:

- 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 [1812.08493][1803.07002].

## 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}$ [1608.07985]. 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 [2502.21064].

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 [2210.00265].

## 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 [1608.07985][1808.02709].
- $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)$ [1705.02246].
- 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 [1812.08493][1803.07002][1712.07851].
- 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 [2008.04178][1808.03511].

## 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 [1808.02709].

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) [1705.02246]. $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 [2602.03659][2502.21064].

## 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 [1812.08493]. 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 [2210.00265][1903.11307].

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 [1808.03511].

## 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 [2210.00265][1903.11307].
- The nature of $d$-torsion classes, their combinatorial classification, and interaction with maximal $d$-rigid pairs and silting theory in higher homological dimensions [2602.03659][2502.21064].
- Explicit realizations in singularity and stable categories, particularly for non-Gorenstein and infinite-dimensional cases [1808.03511].

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

Source: https://www.emergentmind.com/topics/d-cluster-tilting-subcategory