---
title: Auslander-Gorenstein Monomial Algebras
url: https://www.emergentmind.com/topics/auslander-gorenstein-monomial-algebras
type: topic
---

# Auslander-Gorenstein Monomial Algebras

Auslander-Gorenstein monomial algebras are finite-dimensional monomial algebras \(A=kQ/I\) for which the minimal injective coresolution of the regular module satisfies Auslander’s \(n\)-Gorenstein inequalities in all degrees and \(A\) has finite injective dimension. In the finite-dimensional setting, they form a homological refinement of Iwanaga-Gorenstein algebras, but in the monomial case the condition is also markedly combinatorial: it constrains the quiver and relations, forces string-algebra behavior, is detected by a bijective Auslander-Reiten map, and in the acyclic Auslander regular case can be read from a Bruhat factorization of the Coxeter matrix [2508.06957, 2508.19079, 2604.02146].

## 1. Homological framework and finite-dimensional criteria

For a finite-dimensional algebra \(A\), one fixes a minimal injective coresolution
\[
0\to A_A \to I^0 \to I^1 \to \cdots .
\]
The algebra is \(n\)-Gorenstein if
\[
\operatorname{pdim} I^i \le i \qquad \text{for all } 0\le i<n.
\]
It is Auslander-Gorenstein if it is \(n\)-Gorenstein for all \(n\ge 1\) and \(\operatorname{idim}A_A<\infty\). It is Auslander regular if it is Auslander-Gorenstein and has finite global dimension. In parallel, \(A\) is Iwanaga-Gorenstein if
\[
\operatorname{idim}A_A=\operatorname{idim}{}_AA<\infty.
\]
For finite-dimensional algebras, Auslander’s left-right symmetry implies
\[
A \text{ is } n\text{-Gorenstein} \iff A^{op} \text{ is } n\text{-Gorenstein},
\]
so Auslander-Gorenstein is left-right symmetric as well [2508.19079, 2508.06957].

A standard numerical invariant is the grade
\[
\operatorname{grade} M := \inf\{\, i \ge 0 \mid \operatorname{Ext}_A^i(M,A)\neq 0 \,\}.
\]
For an Iwanaga-Gorenstein algebra \(A\), a central criterion says that \(A\) is Auslander-Gorenstein if and only if for every indecomposable injective \(A\)-module \(I\),
\[
\operatorname{pd} I = \operatorname{grade} I.
\]
The survey literature also records several equivalent Ext-theoretic formulations, and emphasizes that the Auslander-Reiten permutation on simples coincides with Iyama’s grade permutation for Auslander-Gorenstein algebras [2508.19079].

In the monomial setting, the decisive homological characterization is given by the Auslander-Reiten map. If every indecomposable injective \(I\) has a finite minimal projective resolution whose last non-zero term is indecomposable, then
\[
\psi_A(I)=\Omega^{\operatorname{pdim} I}(I)
\]
is well-defined. For monomial algebras,
\[
A \text{ is Auslander-Gorenstein} \iff \psi_A \text{ is well-defined and bijective}.
\]
This confirms a conjecture of Marczinzik for monomial algebras and provides a genuinely homological characterization inside a class usually governed by quiver combinatorics [2508.06957, 2508.19079].

## 2. Gorenstein-projective modules and the perfect-path mechanism

The combinatorial control of monomial homological algebra begins with the bound-quiver presentation
\[
A=kQ/I,
\]
where \(Q\) is finite and \(I\) is an admissible monomial ideal generated by paths of length at least two. Writing \(F\) for the finite set of minimal paths generating \(I\), a path is nonzero in \(A\) precisely when it contains no subpath from \(F\). These nonzero paths form a \(k\)-basis of \(A\). For any nonzero path \(p\), the cyclic module \(Ap\) is the basic object in the theory [1501.02978].

The key combinatorial notion is that of a perfect pair \((p,q)\) of nonzero paths. Such a pair is composable, satisfies \(pq=0\) in \(A\), and realizes \(q\) and \(p\) as the unique minimal annihilators of one another. A path \(p\) is perfect if it lies in a cycle of perfect pairs
\[
p=p_1,\ p_2,\ \dots,\ p_n,\ p_{n+1}=p.
\]
The central classification theorem states that there is a bijection
\[
\{\text{perfect paths in }A\}\longleftrightarrow \operatorname{ind}A\text{-Gproj}
\]
sending a perfect path \(p\) to the module \(Ap\). Thus every indecomposable non-projective Gorenstein-projective module over a monomial algebra is isomorphic to \(Ap\) for a unique perfect path \(p\), and every perfect path yields such a module [1501.02978].

This classification is accompanied by explicit syzygy formulas. For a nonzero nontrivial path \(p\), if \(L(p)\) denotes the set of right-minimal paths \(q\) with \(qp=0\), then there is an exact sequence
\[
0 \to \bigoplus_{q\in L(p)} Aq \to Ae_{t(p)} \to Ap \to 0,
\]
hence
\[
\Omega(Ap)\cong \bigoplus_{q\in L(p)} Aq.
\]
If \((p,q)\) is a perfect pair, then \(L(p)=\{q\}\) and
\[
\Omega(Ap)\cong Aq.
\]
In this sense, perfect pairs are exactly the configurations in which syzygy rotates between cyclic path modules [1501.02978].

For quadratic monomial algebras, the description becomes even sharper. Every perfect path is an arrow, and the relation quiver \(R_A\) has vertices given by arrows of \(Q\), with an arrow \(a\to \beta\) whenever \(\beta a\in I\). An arrow is perfect if and only if it lies in a connected component of \(R_A\) that is a basic cycle. If the perfect components are \(C_1,\dots,C_m\) with \(d_i\) vertices, then
\[
A\text{-Gproj}\simeq T_{d_1}\times \cdots \times T_{d_m},
\]
so the Gorenstein-projective stable category is semisimple triangulated. In the same quadratic setting,
\[
A \text{ is Gorenstein} \iff \text{every component of }R_A\text{ is either perfect or acyclic},
\]
\(A\) is CM-free exactly when \(R_A\) has no perfect component, and \(A\) has finite global dimension exactly when every component is acyclic. These criteria are not yet Auslander-Gorenstein criteria, but they supply the Gorenstein-projective infrastructure on which later Auslander-Gorenstein results rest [1501.02978].

## 3. Structural restrictions: string algebras, gentle algebras, and 2-Gorenstein shape

A major rigidity theorem states:
\[
\text{Every Auslander-Gorenstein monomial algebra is a string algebra.}
\]
This is one of the strongest structural restrictions presently known for the monomial class. Since string algebras are monomial biserial algebras with the usual local uniqueness conditions on relations, the Auslander-Gorenstein property forces a substantial collapse from general monomial combinatorics to the string-algebra regime [2508.06957, 2508.19079].

Within string algebras, the gentle case admits a complete combinatorial criterion. If \(A=KQ/I\) is gentle, then
\[
A \text{ is Auslander-Gorenstein} \iff \forall v\in Q_0,\ \deg^{\mathrm{in}}(v)=2 \iff \deg^{\mathrm{out}}(v)=2.
\]
Thus, in the gentle class, Auslander-Gorensteinness is purely local: a vertex has in-degree \(2\) exactly when it has out-degree \(2\). The same work also shows that for gentle algebras,
\[
\text{gentle } A \text{ is Auslander-Gorenstein} \iff A \text{ is }1\text{-Gorenstein}.
\]
This is a particularly clean identification of Auslander-Gorenstein and low Gorenstein dimension inside a monomial subclass [2508.06957].

The paper further gives an explicit description of the Auslander-Reiten bijection \(\psi_A\) for Auslander-Gorenstein gentle algebras. Vertices of total degree \(0\) or \(4\) are fixed. In the remaining cases, \(\psi_A\) is determined by the source of a unique left-maximal path or the target of a unique maximal critical path, depending on the local in/out-degree configuration. This turns the abstract homological bijection into a concrete permutation of vertices in the gentle case [2508.06957].

The broader 2-Gorenstein monomial class is also classified by local quiver-relation data. A monomial algebra \(A=kQ/I\) is \(2\)-Gorenstein if and only if \(Q\) is biserial, every vertex satisfies
\[
\deg^{\mathrm{out}}(x)=2 \iff \deg^{\mathrm{in}}(x)=2,
\]
every degree-\(4\) vertex satisfies the specific crossing pattern
\[
a_1b_2,\ a_2b_1\in I,
\]
with \(a_ib_i\) not contained in any minimal relations, and any arrow appearing inside a minimal relation is either its start or its end. This theorem is the geometric starting point for the reduction theory of Auslander-Gorenstein monomial algebras [2508.06957].

## 4. Reduction to Nakayama algebras and quantitative consequences

The central technical innovation in the current classification program is a cutting procedure at degree-\(4\) vertices. Starting from a 2-Gorenstein monomial algebra and a degree-\(4\) vertex \(v\) with incoming arrows \(a_1,a_2\) and outgoing arrows \(b_1,b_2\) satisfying
\[
a_1b_2,\ a_2b_1\in I,
\]
one replaces \(v\) by two degree-\(2\) vertices \(v_1,v_2\) and reconnects
\[
t(a_1)=v_1=s(b_2),\qquad t(a_2)=v_2=s(b_1),
\]
leaving all other vertices, arrows, and relations unchanged. Repeated cutting removes branching and eventually transforms the algebra into a Nakayama algebra [2508.06957].

This procedure preserves the relevant homological conditions. For the cut pair \((A,B)\), the theorem states that for every \(n\ge 2\),
\[
A \text{ is } n\text{-Gorenstein} \iff B \text{ is},
\]
for every \(n\ge 1\),
\[
A \text{ is } n\text{-Iwanaga-Gorenstein} \iff B \text{ is},
\]
and moreover
\[
A \text{ is Auslander-Gorenstein} \iff B \text{ is},
\qquad
\psi_A \text{ is well-defined and bijective} \iff \psi_B \text{ is}.
\]
As a consequence,
\[
\text{Classifying Auslander-Gorenstein monomial algebras reduces to classifying Auslander-Gorenstein Nakayama algebras.}
\]
The survey literature emphasizes the significance of this reduction and also notes that a full classification of Auslander-Gorenstein Nakayama algebras remains open, although several important subclasses have been analyzed [2508.06957, 2508.19079].

Two further quantitative results sharpen the homological picture. First, monomial algebras satisfy a parity phenomenon:
\[
\text{If a monomial algebra is }2n\text{-Gorenstein, then it is also }(2n+1)\text{-Gorenstein}.
\]
This extends an earlier result of Iwanaga and Fuller from the Nakayama case to all monomial algebras [2508.06957, 2508.19079].

Second, if \(A\) is a monomial algebra with \(n\) simple modules and \(A\) is \((4n-2)\)-Gorenstein, then
\[
\operatorname{id} A_A = \operatorname{id} {}_A A \le 4n-2,
\]
so \(A\) is \((4n-2)\)-Iwanaga-Gorenstein. This is described as a stronger version of the Auslander-Reiten Conjecture in the monomial case. The survey presents it as a strong partial result toward the general conjectural picture [2508.06957, 2508.19079].

The Nakayama endpoint of the reduction also carries independent combinatorics. The survey records that linear Nakayama algebras correspond to Dyck paths, that \(2\)-Gorenstein linear Nakayama algebras were characterized by Dyck paths with no double deficiencies, and that these are counted by Motzkin paths. This suggests that the unresolved part of the general monomial classification is concentrated in an already highly structured uniserial environment [2508.19079].

## 5. Auslander-Reiten permutations, Coxeter matrices, and the acyclic Auslander regular case

The acyclic case admits a linear-algebraic classification of Auslander regularity. For a finite-dimensional algebra of finite global dimension, the Coxeter matrix is
\[
C_A=-\omega_A^T\omega_A^{-1},
\]
where \(\omega_A\) is the Cartan matrix. The relevant matrix factorization is the Bruhat decomposition
\[
M=U_1PU_2,
\]
with \(U_1,U_2\) upper triangular and \(P\) a permutation matrix. When \(M=C_A\), the associated permutation is called the Coxeter permutation [2604.02146].

For acyclic quiver algebras, the theory is formulated under a natural labelling of vertices, meaning \(i<j\) whenever there is a path from \(i\) to \(j\) with \(i\neq j\). Under the hypotheses used in the paper, a naturally labelled acyclic algebra with a well-defined inverse Auslander-Reiten map and property \(\circledast\) satisfies:
\[
\text{the inverse Auslander-Reiten map } \sigma \text{ is bijective}
\iff
C_A=U_1PU_2 \text{ with } U_1=I.
\]
In this case, the Coxeter permutation is the inverse of \(\sigma\). Moreover, if \(A\) is Auslander regular and naturally labelled, then these conditions hold [2604.02146].

Specialized to monomial algebras, the main acyclic theorem states that if \(A\) is a \(2\)-Gorenstein, acyclic monomial algebra with a natural labelling, then the following are equivalent:
1. \(A\) is Auslander regular.
2. There exists a Bruhat decomposition
   \[
   C_A=U_1PU_2
   \]
   with \(U_1=I\).

In this case, the Coxeter permutation coincides with the Auslander-Reiten permutation. For linear Nakayama algebras with canonical ordering \(1\to 2\to \cdots \to n\), this criterion is equivalent to bijectivity of the inverse Auslander-Reiten map as well [2604.02146].

The proof uses the Euler-form formula
\[
C_{ij}=-\langle \underline{\dim}(S_j),\underline{\dim}(P(i))\rangle_A,
\]
which identifies the first nonzero position in each row of \(C_A\) with the inverse Auslander-Reiten permutation. The survey places this in a broader framework: for Auslander regular algebras with an admissible ordering of simples, the Coxeter permutation coincides with the Auslander-Reiten permutation, so the matrix-theoretic permutation is a genuine homological invariant [2604.02146, 2508.19079].

This line of work also resolves several questions in special families. For linear Nakayama algebras, Ringel’s homological permutation agrees with the Coxeter permutation, and for any Nakayama algebra and any simple module \(S\),
\[
\operatorname{del}(S)=e(S).
\]
At the same time, the limits of the matrix criterion are explicit: the Bruhat criterion with \(U_1=I\) does not extend verbatim to arbitrary cyclic Nakayama algebras, and there are acyclic monomial algebras that are not \(2\)-Gorenstein for which the matrix criterion can fail even when the Coxeter matrix exhibits favorable Bruhat behavior [2604.02146].

## 6. Related Calabi–Yau and weak Gorenstein regimes

A separate but closely related direction studies monomial Gorenstein algebras through their singularity categories. Over an algebraically closed field of characteristic zero, for a monomial algebra \(\Lambda=kQ/I\), the following are equivalent:
1. \(\Lambda\) is \(2\)-Calabi–Yau tilted.
2. \(\Lambda\) is \(1\)-Iwanaga–Gorenstein and its singularity category \(\underline{\GP}(\Lambda)\) is \(3\)-Calabi–Yau.
3. \(\Lambda\) is Jacobian.

This is a converse to the Keller–Reiten theorem in the monomial setting. For \(1\)-Iwanaga–Gorenstein monomial algebras, the minimal zero-relations decompose into disjoint families \(F=\coprod_i F_i\) arising from cyclic paths \(c_i\), and the singularity category has the form
\[
\underline{\GP}(\Lambda)\simeq\coprod_{c_i\in C(\Lambda)} D(A_{r_i-1})/\tau^{n_i}.
\]
If \(\underline{\GP}(\Lambda)\) is \(3\)-Calabi–Yau, then
\[
r_i=b_in_i-1
\qquad\text{for some } b_i\in \mathbb{Z}_{>0},
\]
and these numerical conditions yield a potential
\[
W=\sum_{i=1}^m c_i^{b_i},
\]
showing that \(\Lambda\) is Jacobian [1807.07018].

In the gentle subclass, the same numerical restriction becomes especially explicit. If a gentle algebra is \(2\)-CY tilted, then every relation lies on either a saturated \(3\)-cycle or a saturated loop. In the \((m+2)\)-angulated families, the resulting algebras are gentle, the only possible saturated cycles are \((m+2)\)-cycles, there are at most \(m-1\) consecutive zero-relations outside a saturated cycle, the algebras are \(m\)-Iwanaga–Gorenstein, and
\[
N\in \GP(\Lambda_T)
\quad\Longleftrightarrow\quad
\Omega^{m+1}\tau N \cong N
\quad \text{in } \underline{\mod}\,\Lambda_T.
\]
These results concern monomial Gorenstein and stably Calabi–Yau behavior rather than Auslander-Gorensteinness itself, but they show that monomial homological rigidity often emerges from numerical cycle data in the singularity category [1807.07018].

A distinct weaker condition is weak Gorensteinness. One abstract states that algebras are left weakly Gorenstein in case the subcategory
\[
{}^{\perp}A \cap \Omega^n(A)
\]
is representation-finite, and that this applies in particular to all monomial algebras [1908.04738]. This is substantially weaker than being Auslander-Gorenstein. A common misconception is to identify broad Gorenstein-flavored regularity phenomena in monomial algebras with the Auslander-Gorenstein condition. The current literature instead indicates a hierarchy: perfect-path and relation-quiver methods describe Gorenstein-projective structure; weakly Gorenstein conditions impose Ext-syzygy regularity; \(1\)-Iwanaga–Gorenstein plus stably \(3\)-CY forces Jacobian and \(2\)-CY tilted behavior in the monomial case; and Auslander-Gorensteinness is the stronger condition singled out by the bijective Auslander-Reiten map, the string-algebra restriction, and the reduction to Nakayama algebras [1501.02978, 1807.07018, 1908.04738, 2508.06957].

The present picture is therefore both sharp and incomplete. The monomial Auslander-Gorenstein condition is now characterized homologically and strongly constrained combinatorially; gentle algebras are classified, the acyclic Auslander regular case is controlled by Coxeter-matrix Bruhat factorization, and the general problem reduces to Nakayama algebras. At the same time, the survey literature makes clear that a full classification of Auslander-Gorenstein Nakayama algebras remains open, so the reduction theorem isolates, rather than eliminates, the remaining core difficulty [2508.19079].

Source: https://www.emergentmind.com/topics/auslander-gorenstein-monomial-algebras