---
title: Higher Auslander–Reiten Theory
url: https://www.emergentmind.com/topics/higher-auslander-reiten-theory
type: topic
---

# Higher Auslander–Reiten Theory

Higher Auslander–Reiten theory is the higher-dimensional extension of classical Auslander–Reiten theory in which short exact almost split sequences are replaced by \(d\)-exact sequences, \(n\)-exangles, or \((d+2)\)-angles; maximal rigid or cluster-tilting subcategories replace the whole module category as the natural ambient setting; and the classical Auslander–Reiten translation \(\tau\) is replaced by higher translations such as \(\tau_d\) and \(\tau_n\). In its current form it includes the representation theory of Artin algebras, relative higher homological algebra inside \(n\)-cluster tilting subcategories, higher Serre duality in \((d+2)\)-angulated and \(n\)-exangulated categories, commutative higher-degree Auslander–Reiten dualities, and geometric or homotopy-theoretic models built from surfaces, repetitive quivers, and stable \(\infty\)-categories [1610.05458][2311.05879][2410.01834][1910.01454][2511.02731].

## 1. Classical foundations and the higher shift

Classical Auslander–Reiten theory for an Artin algebra \(\Lambda\) studies almost split sequences
\[
0 \longrightarrow \tau N \longrightarrow E \longrightarrow N \longrightarrow 0
\]
for indecomposable non-projective modules \(N\), together with the Auslander–Reiten translation \(\tau\), stable categories, and the Auslander correspondence. Iyama’s higher-dimensional extension keeps the same structural agenda but changes the homological scale: short exact sequences are no longer the relevant carriers of higher homological information, and rigid or cluster-tilting subcategories replace the full module category as the basic domain [1610.05458].

A subcategory \(\mathcal M \subseteq \mathsf{mod}\,\Lambda\) is \(d\)-rigid when
\[
\Ext^i_\Lambda(\mathcal M,\mathcal M)=0 \qquad (1\le i\le d-1),
\]
and it is \(d\)-cluster-tilting when it is functorially finite and satisfies
\[
\mathcal M
=
\{X\in \mathsf{mod}\,\Lambda \mid \Ext^k_\Lambda(X,\mathcal M)=0 \text{ for } 1\le k\le d-1\}
=
\{Y\in \mathsf{mod}\,\Lambda \mid \Ext^k_\Lambda(\mathcal M,Y)=0 \text{ for } 1\le k\le d-1\}.
\]
This is the basic higher replacement for the role played by \(\mathsf{mod}\,\Lambda\) in the classical case. Correspondingly, Auslander algebras with \(\mathrm{gldim}\le 2\le \mathrm{domdim}\) are replaced by \(d\)-Auslander algebras satisfying \(\mathrm{gldim}\le d+1\le \mathrm{domdim}\), and representation generators are replaced by \(d\)-cluster-tilting modules [1610.05458][2402.15889].

The higher analogue of an almost split sequence is a \(d\)-almost split sequence
\[
0 \longrightarrow \tau_d N \longrightarrow M^1 \longrightarrow \cdots \longrightarrow M^d \longrightarrow N \longrightarrow 0
\]
inside a \(d\)-cluster-tilting subcategory. Its end maps are left and right almost split, while the intermediate maps lie in the Jacobson radical when \(d>1\). This formally parallels the classical case but lives in a longer exact complex and is controlled by higher Ext-vanishing rather than by \(\Ext^1\) alone [1610.05458].

## 2. Higher homological environments

Higher Auslander–Reiten theory is not tied to a single categorical framework. In the module-theoretic setting of Iyama and Jasso, \(d\)-cluster-tilting subcategories of \(\mathsf{mod}\,\Lambda\) are \(d\)-abelian or, more generally, \(n\)-abelian: every morphism has an \(n\)-kernel and an \(n\)-cokernel, and the relevant exact objects are \(n\)-exact sequences rather than short exact sequences. A sequence
\[
0 \to A_0 \xrightarrow{f_0} A_1 \xrightarrow{f_1} \cdots \xrightarrow{f_n} A_{n+1} \to 0
\]
is \(n\)-exact when it is both left and right \(n\)-exact, meaning that the induced Hom-sequences are exact in the prescribed higher sense [1610.05458][2410.01834].

The \(n\)-exangulated formalism of Herschend–Liu–Nakaoka unifies \(n\)-exact categories and \((n+2)\)-angulated categories. An \(n\)-exangle
\[
X_0 \xrightarrow{d_0} X_1 \xrightarrow{d_1} \cdots \xrightarrow{d_n} X_{n+1} \overset{\delta}{\dashrightarrow}
\]
is defined by exactness conditions on the Hom-functors against an extension bifunctor \(\mathbb E\). Within this framework, an Auslander–Reiten \(n\)-exangle is a distinguished \(n\)-exangle whose first map is left almost split, whose last map is right almost split, and whose middle maps are radical morphisms when \(n\ge 2\) [2410.01834][2111.06522].

A further ambient setting is that of \((d+2)\)-angulated categories, where the role of triangles is played by \((d+2)\)-angles
\[
A_0 \xrightarrow{f_0} A_1 \xrightarrow{f_1} \cdots \xrightarrow{f_d} A_{d+1} \xrightarrow{f_{d+1}} \Sigma^d A_0.
\]
These categories arise naturally from \(d\)-cluster-tilting subcategories in triangulated categories. In this setting, Auslander–Reiten \((d+2)\)-angles provide the higher analogue of Auslander–Reiten triangles, and their existence is tightly linked to Serre duality [1910.01454].

An important structural bridge between these worlds is provided by cluster-tilting quotients. If \((\mathscr C,\mathbb E,\mathfrak s)\) is \(n\)-exangulated and \(\mathscr X\) is a cluster-tilting subcategory, then under suitable hypotheses the quotient \(\mathscr C/\mathscr X\) is \(n\)-abelian; if \(\mathscr C\) has Auslander–Reiten \(n\)-exangles, then \(\mathscr C/\mathscr X\) has Auslander–Reiten \(n\)-exact sequences. In the Frobenius case, the stable category of an \(n\)-exangulated category becomes \((n+2)\)-angulated, and Auslander–Reiten \(n\)-exangles induce Auslander–Reiten \((n+2)\)-angles there [2410.01834].

## 3. Higher translations, duality, and almost split phenomena

The higher Auslander–Reiten translation is built from syzygy and transpose. In the Artin algebra setting one uses the higher transpose
\[
\mathrm{Tr}_d := \mathrm{Tr}\,\Omega^{d-1},
\]
and the higher Auslander–Reiten translations
\[
\tau_d := D\,\mathrm{Tr}_d,
\qquad
\tau_d^{-} := \mathrm{Tr}_d D.
\]
More generally, in \(n\)-cluster tilting contexts one writes
\[
\tau_n := D\mathrm{Tr}\,\Omega^{n-1},
\qquad
\tau_n^{-1} := \mathrm{Tr}D\,\Omega^{-(n-1)}.
\]
These functors identify the left and right ends of higher almost split sequences and induce equivalences between suitable stable and costable categories [1610.05458][2311.05879].

A central technical tool is the higher defect formula. For a \(d\)-exact sequence \(\delta\), Jasso–Kvamme adapt Krause’s proof of Auslander's defect formula and obtain
\[
D\,\delta^*(X)\cong \delta_*(\tau_d X),
\]
which yields the higher Auslander–Reiten duality
\[
D\,\underline{\Hom}_\Lambda(X,Y)\cong \Ext^d_\Lambda(Y,\tau_d X)
\]
inside a \(d\)-cluster-tilting subcategory. This duality is then used to recover the existence of \(d\)-almost split sequences and to develop higher analogues of morphisms determined by objects [1610.05458].

In \((d+2)\)-angulated categories, Serre duality controls the entire higher Auslander–Reiten package. Every Serre functor is \((d+2)\)-angulated, a \((d+2)\)-angulated category has a Serre functor if and only if it has Auslander–Reiten \((d+2)\)-angles, and the \(d\)-Auslander–Reiten translation is given by
\[
\tau_d = \mathbb S \Sigma^{-d}.
\]
This is the direct higher analogue of the classical triangulated formula \(\tau=\mathbb S[-1]\) [1910.01454].

In \(n\)-exangulated categories, higher Auslander–Reiten theory can also be organized through representability of extension duals. For an Ext-finite, Krull–Schmidt, \(k\)-linear \(n\)-exangulated category, the subcategories
\[
\mathscr C_r=\{X\mid D\mathbb E(X,-)\text{ is representable}\},
\qquad
\mathscr C_l=\{X\mid D\mathbb E(-,X)\text{ is representable}\}
\]
carry a higher Auslander–Reiten translation
\[
\tau_n:\underline{\mathscr C_r}\xrightarrow{\sim}\overline{\mathscr C_l}
\]
with quasi-inverse \(\tau_n^{-}\). Membership in \(\mathscr C_r\) or \(\mathscr C_l\) is equivalent to the existence of Auslander–Reiten \(n\)-exangles ending or starting at the object in question, and these exangles admit equivalent characterizations via morphisms determined by objects [2111.06522].

## 4. Relative and generalized dualities

A major recent extension replaces the full bifunctor \(\Ext^n_{\mathcal M}(-,-)\) on an \(n\)-cluster tilting subcategory \(\mathcal M\) by an additive sub-bifunctor
\[
F\subseteq \Ext^n_{\mathcal M}(-,-).
\]
This yields a relative higher homological algebra in which only selected \(n\)-extensions are retained. The corresponding \(F\)-exact sequences define \(F\)-projective and \(F\)-injective objects, relative stable categories
\[
\mathcal M_F=\mathcal M/\mathcal P(F),
\qquad
{}_F\mathcal M=\mathcal M/\mathcal I(F),
\]
and a relative higher Auslander–Reiten translation
\[
\tau_F:\mathcal M_F \xrightarrow{\sim} {}_F\mathcal M
\]
characterized by the duality formula
\[
D\mathcal M_F(\tau_F^{-1}Y,X)\cong F(X,Y)\cong D\,{}_F\mathcal M(Y,\tau_F X).
\]
This relative theory also has \(F\)-almost split sequences, relative Grothendieck groups, and a finite-type criterion in which relations generated by \(F\)-almost split sequences detect when the ambient \(n\)-cluster tilting subcategory is of finite type [2311.05879].

A different generalization appears over commutative noetherian rings. Sadeghi–Takahashi do not formulate their results in the language of higher Auslander–Reiten theory, but their two duality theorems are explicitly higher-degree generalizations of Auslander–Reiten duality and are presented as fitting naturally into its toolkit and philosophy. The first concerns \((n+1)\)-torsionfree modules relative to a module \(K\): if \(M\) is \((n+1)\)-torsionfree with respect to \(K\) and \(\mathrm{NF}(M)\cap \mathrm{NF}(N)\subseteq \mathrm{Y}^n(K)\), then for \(i\le n-2\)
\[
\Ext_R^i(\underline{\Hom}_R(M,N),K)\cong \Ext_R^i(N,M\otimes_R K),
\]
together with a controlled exact sequence in degree \(n-1\). The second works over a Cohen–Macaulay local ring with canonical module \(\omega\), and for suitable \(M,N\) gives
\[
\underline{\Hom}_R(M,N)^\vee \cong \Ext_R^{d+1}(\mathrm{Tr}M,N^\dagger),
\]
and, when \(M\) is locally totally reflexive on the punctured spectrum,
\[
\Ext_R^i(M,N)^\vee \cong \Ext_R^{(d-1)-i}(M^\dagger,N)
\]
in the stable range. These formulas recover Tate Auslander–Reiten duality in the Gorenstein case and are used to prove freeness criteria and partial results on the Auslander–Reiten conjecture [1807.00380].

These developments show that “higher” in higher Auslander–Reiten theory is not confined to a single formalism. It includes higher exactness, higher cluster-tilting, relative bifunctorial restriction, and higher-degree Ext-dualities in commutative algebra. The common thread is the replacement of first-degree stable duality by duality patterns extending across a homological range.

## 5. Geometric, combinatorial, and abstract models

One of the most concrete families of higher Auslander–Reiten structures is provided by higher analogues of linearly oriented type-\(\mathbb A\) representation theory. The universal \(d\)-Nakayama category \(A_\infty^{(d)}\) is built from weakly decreasing integer \(d\)-tuples, and its interval modules form a \(d\)-cluster-tilting subcategory
\[
\mathcal M_\infty^{(d)}\subset \mathrm{mod}\,A_\infty^{(d)}.
\]
Finite truncations \(A_n^{(d)}\) are the \(d\)-Auslander algebras of type \(\mathbb A_n\); they are \(d\)-representation-finite and \(d\)-hereditary, their unique basic \(d\)-cluster-tilting modules are indexed by higher intervals, and cyclic quotients produce higher analogues of tubes. In the infinite setting, higher cluster categories of type \(\mathbb A_\infty\) arise, and their cluster-tilting combinatorics are controlled by triangulations of the cyclic apeirotope [2402.15889].

Gentle algebras admit a different geometric realization. A coordinated-marked surface \((S,M,\mathcal A_\bullet^*)\) determines a gentle algebra \(A(\mathcal A_\bullet^*)\), and zigzag \(\circ\)-arcs correspond bijectively to indecomposable string modules. Using the identification of oriented intersections with bases of \(\Ext^w\)-spaces, rigid modules correspond to admissible arc systems, and maximal rigid modules correspond to equivalence classes of admissible \(5\)-partial triangulations. If \(P_5\) is such a triangulation, then the associated maximal rigid module has rank
\[
\mathrm{rank}(M)=\mathrm{rank}(A)+f_4+f_5,
\]
where \(f_4\) and \(f_5\) are the numbers of internal \(4\)-gons and \(5\)-gons. The same surface model is then used to realize \(\tau_m\)-closures of injective modules as admissible \((m+2)\)-partial triangulations and to classify gentle algebras that are \(\tau_n\)-finite or \(n\)-complete [2503.06819].

At a more abstract level, Auslander–Reiten quivers and mesh relations can be internalized in stable \(\infty\)-categories. For a finite acyclic quiver \(Q\) and a stable \(\infty\)-category \(\mathcal C\), the repetitive quiver \(\mathbb ZQ\) with its mesh relations yields a mesh \(\infty\)-category \(\mathcal C^{\mathbb ZQ,\mathrm{mesh}}\), and there is a natural equivalence
\[
\mathcal C^Q \simeq \mathcal C^{\mathbb ZQ,\mathrm{mesh}}.
\]
This construction produces abstract reflection functors, Auslander–Reiten translation, Serre-type autoequivalences, and spectral Picard group actions for representations in arbitrary stable homotopy theories [2511.02731]. This suggests that the repetitive-quiver and mesh viewpoint is not specific to derived categories over fields, but is formal at the level of stability itself.

## 6. Applications, invariants, and structural consequences

A categorical reformulation of higher Auslander–Reiten theory is provided by \(t\)-structures on homotopy categories. For an additive subcategory \(\mathcal C\subseteq \mathrm{mod}(R)\), Jørgensen–Kato construct a \(t\)-structure on \(\mathrm K^{-}(\mathcal C)\) whose heart \(\mathcal H_{\mathcal C}\) is an abelian category serving as a natural domain for higher Auslander–Reiten theory. When \(\mathcal C\) is maximal \(n\)-orthogonal, the simple objects of \(\mathcal H_{\mathcal C}\) are precisely Iyama’s higher Auslander–Reiten sequences, and higher Auslander–Reiten duality is recovered from the Serre functor on \(\mathrm D^b(\mathcal H_{\mathcal C})\). If \(\mathcal C\) is functorially finite, then \(\mathcal H_{\mathcal C}\) is a quotient of the classical heart \(\mathcal H_{\mathrm{mod}(R)}\), so higher Auslander–Reiten theory appears as a quotient of classical Auslander–Reiten theory at the level of hearts [1312.4515].

Higher preprojective algebras provide another bridge between homological algebra and higher Auslander–Reiten translation. For an \(n\)-representation-infinite algebra \(L\), Minamoto studies the \((n+1)\)-preprojective algebra
\[
\Pi_{n+1}(L)=T_L(\theta),
\qquad
\theta=\mathbf R\!\Hom_L(D(L),L)[n],
\]
and shows that graded coherentness of this tensor algebra is tied to the eventual behavior of the higher Auslander–Reiten adjunction maps
\[
\eta_{M,s}:\tau_n^{-s}\tau_n^s M \to \tau_n^{-(s+1)}\tau_n^{s+1}M.
\]
If \(\Pi_{n+1}(L)\) is graded coherent, these maps are eventually isomorphisms for every finitely generated \(L\)-module; for \(n\le2\), the converse also holds [1210.5437].

Dominant dimension enters higher Auslander–Reiten theory through higher torsion-free Auslander–Reiten sequences. For a finite-dimensional algebra \(A\), the paper on dominant dimension and higher torsion-free AR sequences proves that \(A\) has \(n\)-torsion-free Auslander–Reiten sequences if and only if
\[
\mathrm{domdim}(A)\ge n
\quad\text{and}\quad
\mathrm{domdim}(\End_A(A\oplus D(A)))\ge n+2.
\]
For gendo-symmetric algebras this simplifies to \(\mathrm{domdim}(A)\ge n+2\). If \(A=\End_B(M)\) is a higher Auslander algebra attached to a \(d\)-cluster tilting object \(M\), then \(A\) has \(d\)-torsion-free Auslander–Reiten sequences exactly when \(B\) is \(d\)-representation-finite. The same work generalizes Reiten’s formula by showing
\[
\mathrm{domdim} A
=
\inf\{\mathrm{grade}(\Ext_A^i(M,A))\}
=
\inf\{\mathrm{grade}(t(M))\}
=
\inf\{\mathrm{grade}(t(S))\},
\]
where \(t(M)=\ker(M\to M^{**})\) and \(S\) ranges over simple modules [2404.02274].

Covering theory also extends to the higher setting. For a locally support-finite category \(C\) with free \(G\)-action, the push-down functor along the Galois covering \(C\to C/G\) sends \(G\)-equivariant \(n\)-precluster tilting subcategories of \(\mathrm{mod}\mbox{-}C\) to \(n\)-precluster tilting subcategories of \(\mathrm{mod}\mbox{-}(C/G)\), and vice versa. Under square-free hypotheses, \(\mathrm{mod}\mbox{-}C\) is \(n\)-minimal Auslander–Gorenstein if and only if \(\mathrm{mod}\mbox{-}(C/G)\) is so. The same push-down formalism preserves support \(\tau_n\)-tilting pairs and local \(\tau_n\)-tilting finiteness [2506.16268].

Taken together, these developments show that higher Auslander–Reiten theory is simultaneously homological, categorical, geometric, and combinatorial. Its core objects are higher translations, higher almost split configurations, and higher duality formulas; its ambient categories range from \(d\)-cluster-tilting subcategories to \(n\)-exangulated, \((d+2)\)-angulated, commutative, and stable \(\infty\)-categorical settings; and its applications run from finite-type criteria and freeness problems to surface models, graded coherence, dominant dimension, and covering theory.

Source: https://www.emergentmind.com/topics/higher-auslander-reiten-theory