---
title: Auslander-Reiten Bijection
url: https://www.emergentmind.com/topics/auslander-reiten-bijection
type: topic
---

# Auslander-Reiten Bijection

Auslander-Reiten bijection denotes a family of closely related correspondences in representation theory and higher homological algebra that are organized by almost split sequences, the Auslander-Reiten translate, and duality between morphisms and extensions. In the classical module-theoretic setting for an Artin algebra \(\Lambda\), it is expressed by the bifunctorial isomorphism
\[
D\,\underline{\operatorname{Hom}_\Lambda(X,Y)} \cong \operatorname{Ext}^1_\Lambda(Y,\tau X),
\]
where \(\tau\) is the Auslander-Reiten translation. In a different but compatible usage, especially for Auslander-Gorenstein and Auslander regular algebras, it is the permutation sending an indecomposable injective to the indecomposable projective obtained as a suitable syzygy, a permutation proved to coincide with Iyama’s grade bijection [1610.05458], [2501.09447].

## 1. Classical formulation and homological meaning

In classical Auslander-Reiten theory, the bijection is the natural duality between nontrivial morphisms modulo projectives and first extensions involving the Auslander-Reiten translate. For indecomposable non-projective modules \(X\) and \(Y\), one has
\[
D\,\underline{\operatorname{Hom}_\Lambda(X, Y)} \cong \operatorname{Ext}^1_\Lambda(Y, \tau X),
\]
with \(\tau = D\operatorname{Tr}\). The isomorphism is bifunctorial in \(X\) and \(Y\), and it is not merely a vector-space identification: it is the mechanism behind the existence and uniqueness phenomena of almost split sequences and the theory of morphisms determined by objects [1610.05458].

This duality links two kinds of data that are usually studied separately. On one side lie stable morphism spaces, where maps factoring through projectives are discarded; on the other lie extension classes, which encode how indecomposables are built from one another. The translate \(\tau\) mediates between them. In settings where Auslander-Reiten sequences exist, the indecomposable non-projective object \(C\) appears at the end of a sequence
\[
0 \to \tau C \to B_C \to C \to 0,
\]
and dually for non-injective objects. In proper abelian subcategories of triangulated categories with a Serre functor, this classical pattern is recovered by constructing \(\tau\) from a Nakayama functor defined via covers and envelopes [2312.07323].

## 2. Translation quivers and component geometry

The bijection is reflected combinatorially in the stable Auslander-Reiten quiver, where \(\tau\) acts as a translation on components. For Frobenius-Lusztig kernels, the stable Auslander-Reiten quiver exhibits a sharply constrained geometry: every non-periodic component has tree class \(\mathbb{A}_\infty\), \(\mathbb{D}_\infty\), or \(\mathbb{A}_\infty^\infty\), and for symmetric Frobenius-Lusztig kernels, including the small quantum group, one has \(\tau \cong \Omega^2\). Periodic components are infinite tubes, and in the small quantum group they are homogeneous tubes \(\mathbb{Z}[\mathbb{A}_\infty]/\tau\) [1201.5303].

For small half quantum groups, the translate has the explicit form
\[
\tau(M) \cong \Omega^2(M^{(\nu)}),
\]
where \(\nu\) is the Nakayama automorphism. The \(\Omega\)-period of every periodic module for \(u_\zeta(\mathfrak{b})\) divides \(2\), the \(\tau\)-period divides \(\ell\), and for \(u_\zeta(\mathfrak{n})\)-modules of complexity \(1\), the \(\tau\)-period is \(1\). Components containing gradable modules are of the form \(\mathbb{Z}[A_\infty]\), so the bijection operates along a bi-infinite linear translation quiver in these cases [1202.1714].

Component structure also controls finiteness. For an Artin algebra, an Auslander-Reiten component with bounded short cycles is almost acyclic and has only finitely many \(DTr\)-orbits, and an algebra is representation-finite if and only if its module category has bounded short cycles. This places the Auslander-Reiten translation at the center of a criterion for representation-finiteness that is combinatorial but formulated inside the radical of the module category [1701.02794].

## 3. The injective-projective permutation and its Coxeter realization

A distinct and highly specific use of the term occurs for Auslander-Gorenstein and Auslander regular algebras. For a simple \(A\)-module \(S\),
\[
\mathrm{grade}(S)=\inf\{i\mid \mathrm{Ext}_A^i(S,A)\neq 0\}.
\]
Iyama’s grade bijection sends \(S\) to \(\mathrm{top}(D\mathrm{Ext}_A^{g_s}(S,A))\), while the Auslander-Reiten bijection is defined on indecomposable injectives \(I\) by sending \(I\) to the indecomposable projective \(P\) for which \(P\) is the \(d\)-th syzygy of \(I\), with \(d=\mathrm{pdim}(I)\). The decisive theorem is that a finite dimensional algebra is Auslander-Gorenstein if and only if for every simple module \(S\),
\[
\mathrm{grade}(S)=\mathrm{pdim}(I(S))<\infty,
\]
and, moreover, the grade permutation coincides with the Auslander-Reiten permutation [2501.09447].

For Auslander regular algebras this permutation acquires a purely linear-algebraic description. If \(W_A\) is the Cartan matrix, then for finite global dimension
\[
C_A=-W_A(W_A)^{-T}
\]
is the Coxeter matrix. With an admissible ordering of the simple modules, the Bruhat decomposition has the form
\[
C_A=PU_2,
\]
with \(U_1=\mathrm{id}\), \(P\) a permutation matrix corresponding to the grade permutation, and \(U_2\) upper triangular with diagonal entries \(\pm 1\). This identifies the grade bijection, and hence the Auslander-Reiten permutation, with the Coxeter permutation, reducing its computation to matrix factorization rather than explicit injective or projective resolutions [2501.09447].

This linear-algebraic realization has several consequences. The permanent of the Coxeter matrix of an Auslander regular algebra is either \(1\) or \(-1\); a finite lattice is distributive if and only if its Coxeter matrix can be written as \(PU\) with \(P\) a permutation matrix and \(U\) upper triangular; and in blocks of category \(\mathcal{O}\), the set of grades coincides with twice the values of Lusztig’s \(a\)-function, while simple-preserving duality forces the grade bijection to be the identity [2501.09447].

A related linearization problem concerns the action of \(\tau\) on the Grothendieck group. For hereditary finite-dimensional algebras, the Coxeter transformation extends the action of the Auslander-Reiten translation on non-projective indecomposable modules to a linear endomorphism of \(K_0(\mathsf{mod}\,A)\). All Nakayama algebras admit such a \(\tau\)-map, and if the \(Ext^1\)-quiver is connected and non-acyclic, then the existence of a \(\tau\)-map is equivalent to being a cyclic Nakayama algebra [2203.06238].

## 4. Exact, Grothendieck, extriangulated, and derived settings

The classical duality extends far beyond module categories. In a Grothendieck abelian category \(\mathcal{A}\) that is locally finitely presented, for a finitely presented object \(C\) and \(\Gamma=\operatorname{End}_\mathcal{A}(C)\), every injective \(\Gamma\)-module \(I\) admits an Auslander-Reiten translate \(\tau_C(I)\) characterized by the natural isomorphism
\[
\operatorname{Hom}_\Gamma(\operatorname{Ext}^1_\mathcal{A}(C,-),I)\cong \operatorname{Hom}_\mathcal{A}(-,\tau_C(I)).
\]
Thus \(\operatorname{Ext}^1_\mathcal{A}(C,-)\) has a partially defined right adjoint on injective \(\Gamma\)-modules. For suitable schemes, this recovers Serre duality; for a non-singular projective scheme \(X\) of dimension \(d\), one obtains \(\tau(C,k)\cong \Sigma^{d-1}(C\otimes \omega_X)\) [1604.02813].

In exact categories, Auslander's defect formula persists. For a conflation \(\xi:X\to E\to Y\), one has natural isomorphisms
\[
\xi^*(\tau K)\cong D\xi_*(K),\qquad \xi_*(\tau^{-}K)\cong D\xi^*(K),
\]
and these fit into a commutative triangle of poset bijections relating right \(K\)-determined deflations, submodules of \(\operatorname{Ext}^1_\mathcal{C}(Y,K)\), and submodules of \(\operatorname{Hom}_\mathcal{C}(\tau K,Y)\) [1707.01646]. In quasi-abelian, Krull-Schmidt categories, Auslander-Reiten sequences admit equivalent characterizations through local endomorphism rings, minimal left or right almost split morphisms, and irreducibility of the kernel and cokernel maps [1809.11043].

Extriangulated categories provide a common framework for exact and triangulated theories. In this setting, almost split \(\mathbb{E}\)-extensions are equivalent, under suitable finiteness hypotheses, to Auslander-Reiten-Serre duality, i.e. to the existence of a functor \(T\) with binatural isomorphisms
\[
\mathscr{C}(A,B)\cong D\mathbb{E}(B,TA).
\]
When enough projectives and source morphisms exist, the stable category becomes a \(\tau\)-category, and the Auslander-Reiten quiver controls radical layers, dimensions of Hom-spaces, and mesh-category reconstruction [1805.03776].

The derived-categorical formulation is the Auslander-Reiten principle. For a smashing localizing subcategory \(\mathcal{L}\subseteq D(R)\) with right adjoint \(\gamma\), a bounded injective complex \(I\), and a complex \(X\) satisfying \(\tau_{\leq -1}X\in \mathcal{L}\), one has
\[
\tau_{>n}\mathrm{RHom}_R(X,\gamma I)\xrightarrow{\cong}\tau_{>n}\mathrm{RHom}_R(X,I).
\]
Classical Auslander-Reiten duality and the Iyama-Wemyss generalization emerge as corollaries, and the principle yields cases of the Auslander-Reiten conjecture over Gorenstein rings of dimension \(>2\) with one-dimensional singular locus [1805.05676].

## 5. Higher Auslander-Reiten theory

Iyama’s higher Auslander-Reiten theory replaces short exact sequences by \(d\)-exact sequences and the classical translate by
\[
\tau_d=D\operatorname{Tr}_d,\qquad \operatorname{Tr}_d=\operatorname{Tr}\circ \Omega^{d-1}.
\]
For a \(d\)-cluster-tilting subcategory \(\mathcal{M}\), the higher Auslander-Reiten bijection is the bifunctorial isomorphism
\[
D\,\underline{\operatorname{Hom}_\Lambda(X,Y)}\cong \operatorname{Ext}^d_\Lambda(Y,\tau_d X).
\]
This higher duality governs \(d\)-almost split sequences, the equivalence between stable and costable categories induced by \(\tau_d\), and the defect formula
\[
D\delta^*(X)\cong \delta_*(\tau_d X)
\]
for \(d\)-exact sequences [1610.05458].

In \(n\)-exangulated categories, Auslander-Reiten theory takes the form of Auslander-Reiten \(n\)-exangles. For an Ext-finite, Krull-Schmidt, \(k\)-linear \(n\)-exangulated category, the existence of Auslander-Reiten \(n\)-exangles is equivalent to the existence of Auslander-Reiten-Serre duality. Under this duality, the restricted Auslander bijection becomes part of a commutative triangle of poset anti-isomorphisms connecting classes of deflations, submodules of \(\mathbb{E}(Y,X)\), and submodules of \(\mathscr{C}(\tau_n X,Y)\) [2112.00981].

These higher correspondences are stable under important categorical constructions. If an \(n\)-exangulated category \(\mathscr{C}\) with enough projectives and injectives has Auslander-Reiten \(n\)-exangles and \(\mathscr{X}\) is a cluster-tilting subcategory, then the quotient \(\mathscr{C}/\mathscr{X}\) is \(n\)-abelian and has Auslander-Reiten \(n\)-exact sequences. If \(\mathscr{C}\) is Frobenius \(n\)-exangulated and has Auslander-Reiten \(n\)-exangles, then its stable category has Auslander-Reiten \((n+2)\)-angles [2410.01834].

## 6. Related bijection theories and terminological distinctions

A closely related but distinct construction is the Auslander bijection of morphisms determined by objects. For an Artin algebra \(\Lambda\), a morphism \(f:X\to Y\) is right \(C\)-determined if every morphism \(f':X'\to Y\) whose compositions \(f'\varphi\) with all \(\varphi:C\to X'\) factor through \(f\) must itself factor through \(f\). Auslander’s bijection is the lattice isomorphism
\[
\eta_{C,Y}: {}^{C}[\rightarrow Y]\xrightarrow{\sim} S(\operatorname{Hom}_\Lambda(C,Y)),\qquad [f]\mapsto \operatorname{ImHom}_\Lambda(C,f),
\]
from right equivalence classes of right minimal, right \(C\)-determined morphisms ending in \(Y\) to submodules of \(\operatorname{Hom}_\Lambda(C,Y)\) [1301.1251].

This theory contains a precise determiner formula. Every morphism is right determined by some module, and the minimal right determiner of \(f\) is
\[
C(f)=\bigoplus_K \tau^- K \oplus \bigoplus_P P,
\]
where \(K\) ranges over indecomposable direct summands of the intrinsic kernel of \(f\), and \(P\) ranges over indecomposable projectives almost factoring through \(f\). Thus the Auslander-Reiten translate enters the determination of morphisms even when the bijection under study is not itself the classical Hom-Ext duality [1301.1251].

In abelian categories with Auslander-Reiten duality, universal extensions refine this picture. For \(K\) and \(Y\), there is an anti-isomorphism between right equivalence classes of right minimal epimorphisms \(X\to Y\) with kernel in \(\operatorname{add}K\) and finitely generated \(\Gamma(K)\)-submodules of \(\operatorname{Ext}^1_\mathcal{A}(Y,K)\). Together with the duality-induced bijection to submodules of \(\operatorname{Hom}_\mathcal{A}(\tau^{-1}K,Y)\), this yields a commutative bijection triangle, and the restricted Auslander bijection at \(Y\) relative to \(\tau^{-1}K\) always holds in this setting [1312.6560].

A recurrent source of confusion is terminological. In the works cited here, “Auslander-Reiten bijection” may refer to the classical duality \(D\,\underline{\operatorname{Hom}}\cong \operatorname{Ext}^1(-,\tau-)\), to the translation \(\tau\) on isomorphism classes of indecomposables, or to the injective-projective permutation identified with Iyama’s grade bijection. By contrast, “Auslander bijection” is usually reserved for the theory of morphisms determined by objects. A plausible implication is that the phrase is best read relative to the ambient category and the invariants under discussion, rather than as a single universally fixed construction.

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