A new characterisation of Auslander-Gorenstein algebras

Judith Marquardt; Markus Kleinau; Rene Marczinzik; Vikt\'oria Kl\'asz

A new characterisation of Auslander-Gorenstein algebras

T0 review · 0 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Finite dimensional algebras are Auslander-Gorenstein exactly when their Auslander-Reiten map is bijective.

desk verdict Settles a conjecture in the expected direction with a clean equivalence between Auslander-Gorenstein and the Auslander-Reiten bijection; the proof is sound and the only real weakness is a compressed standard duality step. read the letter →

arxiv 2608.03856 v1 pith:OIPS3PZF submitted 2026-08-04 math.RT

Viktória Klász , Markus Kleinau , Rene Marczinzik , Judith Marquardt This is my paper · ORCID

classification math.RT MSC 16G1016E10

keywords Auslander-GorensteinalgebrasAuslander-ReitenbijectiongradeIwanaga-Gorensteinincidencedistributivelatticesfinitedimensional

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves a conjecture: for a finite dimensional algebra, being Auslander-Gorenstein—a homological regularity condition meaning finite injective dimension together with bounded syzygies—is the same as having a well-defined Auslander-Reiten bijection. That bijection sends each indecomposable injective module to the last nonzero term of its minimal projective resolution, and the claim is that this map exists and is bijective exactly when the algebra is Auslander-Gorenstein. The paper also shows this is equivalent to a second condition phrased through a grade map on simple modules. Since the Auslander-Reiten bijection is finite data, the result turns a homological property into a checkable combinatorial criterion. As an application, the authors give a short new proof that a finite lattice with an Auslander-Gorenstein incidence algebra must be distributive.

What carries the argument

The engine of the proof is the Auslander-Reiten bijection $\psi$: for an indecomposable injective module $I$ with minimal projective resolution $0 \to P_d(I) \to \cdots \to P_0(I) \to I \to 0$, set $\psi(I) = P_d(I)$. The paper proves that if $\psi$ is defined and bijective on all indecomposable injectives, then these last projective terms have injective dimension bounded by their degree, which is exactly the content of the Auslander condition. The companion grade bijection $h$ sends a simple module $S$ to $\operatorname{top} D\operatorname{Ext}^{g_S}_A(S,A)$, where $g_S$ is the grade of $S$, and the identity $\psi(I(S))=P(h(S))$ links the two descriptions.

What would settle it

Find a finite dimensional algebra $A$ whose indecomposable injectives admit a bijective Auslander-Reiten map $\psi$ but for which some projective term $P_r(D(A))$ in the minimal projective resolution of the injective cogenerator has injective dimension larger than $r$. The theorem predicts no such algebra exists, so any concrete example would refute the implication $(3)\Rightarrow(1)$.

Watch

Extended reading notes

Core claim

The central theorem (Theorem 2.1) states that for a finite dimensional algebra $A$, the following are equivalent: (1) $A$ is Auslander-Gorenstein; (2) $A$ is Iwanaga-Gorenstein and has a well-defined grade bijection $h$; (3) $A$ has a well-defined Auslander-Reiten bijection $\psi$. Moreover $\psi(I(S)) = P(h(S))$ for every simple $S$, where $I(S)$ is its injective envelope and $P(S)$ its projective cover. The new implications are $(2)\Rightarrow(3)$ and $(3)\Rightarrow(1)$; the latter settles the conjecture. The proof of $(3)\Rightarrow(1)$ shows by induction that every $r$-th syzygy of an indecomposable injective module has injective dimension at most $r$, which forces the opposite algebra $A^{\mathrm{op}}$ to satisfy the Auslander condition; duality then transfers this back to $A$ and yields finite self-injective dimension.

Load-bearing premise

The induction in the new implication relies on the standard homological equivalence that an algebra satisfies the Auslander condition exactly when the $r$-th projective term in the minimal projective resolution of its injective cogenerator $D(A)$ has injective dimension at most $r$ for every $r$, together with the duality that transfers Iwanaga-Gorenstein between $A$ and $A^{\mathrm{op}}$; if that equivalence failed, the argument would not force $A$ to be Auslander-Gorenstein.

Editorial extensions

If this is right

The Auslander-Gorenstein property is now decidable from finite data: check that each indecomposable injective's minimal projective resolution ends in an indecomposable projective and that the resulting assignment is a bijection.
The conjecture is settled: every finite dimensional algebra with a well-defined bijective Auslander-Reiten map is Auslander-Gorenstein, going beyond the previously known monomial case.
The two bijections—Auslander-Reiten and grade—coincide on simple modules via $\psi(I(S))=P(h(S))$, so either can be used to certify the property.
A finite lattice whose incidence algebra is Auslander-Gorenstein must be distributive, now proved without the earlier long case distinction.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Because the criterion is finite and combinatorial, it can be implemented by computer search over quiver algebras with relations, offering a practical way to find new Auslander-Gorenstein examples or to test the property in families.
The same bijection viewpoint may extend beyond lattices: the lattice theorem now reduces to an elementary coverage condition drawn from the bijection, and the announced classification of posets with 2-Gorenstein incidence algebras suggests distributive-like posets are only the beginning.
The inductive proof gives a quantitative bonus—each $r$-th syzygy of an indecomposable injective has injective dimension at most $r$—so algebras with the bijection satisfy the Auslander condition with explicit bounds, which could be useful in studying Gorenstein dimensions.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Hi [Name],

Quick take: this paper proves Marczinzik's conjecture that a finite dimensional algebra is Auslander-Gorenstein iff it has a well-defined Auslander–Reiten bijection. The new implications are (2)⇒(3) and (3)⇒(1), and the proof is largely clean. The multiplicity argument along cycles of the grade permutation in Theorem 2.4 is a genuinely nice idea, and the application to incidence algebras of finite lattices is a short, neat reproof of the known distributivity result.

What's actually new: (2)⇒(3) and (3)⇒(1). (1)⇒(2) was Iyama, and the equality ψ(I(S)) = P(h(S)) was in KMT. The grade-bijection characterization (2) is also new. The paper gives a finite, checkable criterion that avoids having to verify injective coresolutions. That has practical value.

The proofs are detailed and coherent. Lemma 2.2, Lemma 2.3, Theorem 2.4 and the induction in Theorem 2.6 all line up. No circularity: the argument cites Iyama, KMT, AR, FGR for the known directions and derives the rest directly. Self-citations are used only for background and the conjecture statement, which is legitimate.

Soft spots, in proportion. The final step of Theorem 2.6 is compressed. After the induction proves idim P_r(D(A)) ≤ r for every r, the paper asserts "Thus A^op satisfies the Auslander condition." That is a standard duality characterization—the projective resolution of the injective cogenerator dualizes to an injective coresolution of A—but it is not stated or cited at that point. The stress-test concern about hidden side conditions does not land: for finite dimensional algebras the characterization is valid without assuming A or A^op is already Iwanaga-Gorenstein. So this is a presentation gap, not a proof gap. A one-sentence citation would fix it.

Minor stylistic thing: the use of "grade map" and "Auslander–Reiten map" might trip readers used to the older "grade bijection" terminology, but the definitions are clear. The AI-use disclosure is honest, and the proofs are concrete enough that independent checking is straightforward.

Who this is for: anyone working on Auslander-Gorenstein algebras, syzygy modules, or incidence algebras. The main theorem is a clean characterization of an important class, and the lattice application shows the tool works.

Bottom line: deserves a serious referee. I'd accept after minor revision, mainly the missing citation in Theorem 2.6 and maybe a bit more detail on the duality step. I'd cite this.

Referee Report

0 major / 4 minor

Summary. The paper proves a new characterization of Auslander-Gorenstein finite dimensional algebras: such algebras are exactly those with a well-defined Auslander-Reiten bijection, and also exactly those that are Iwanaga-Gorenstein with a well-defined grade bijection. This resolves a conjecture of Marczinzik. The proof establishes two new implications, (2) implies (3) and (3) implies (1), with the equivalence (1) iff (2) previously known by Iyama. The paper also gives a short proof that an Auslander-Gorenstein incidence algebra of a finite lattice forces the lattice to be distributive.

Significance. If the result holds, it gives a finite and readily checkable criterion for the Auslander-Gorenstein property: one must verify that every indecomposable injective has a finite minimal projective resolution with an indecomposable projective final term and that the induced map on isomorphism classes is bijective. This is a conceptually clean statement and proves a conjecture. The proofs are largely self-contained, with detailed homological lemmas (Lemmas 1.4, 2.2, 2.3, 2.5). The application to incidence algebras is elegant and gives a new proof of a known theorem.

minor comments (4)

[§2.2, Theorem 2.6] The final paragraph states 'Thus, A^op satisfies the Auslander condition' after proving idim P_r(D(A)) ≤ r for all r. This uses the standard characterization of the Auslander condition in terms of the injective dimensions of the projective terms in a minimal projective resolution of the injective cogenerator D(A). Since this step is load-bearing for the implication (3) ⇒ (1), the authors should state this equivalence explicitly and give a precise reference (for example [AR] or [FGR]).
[§2.2, Theorem 2.6] In the same final paragraph, the sentence 'which is equivalent to every indecomposable projective A^op-module having finite injective dimension by duality' should be expanded to clarify that this implies idim_{A^op} A^op < ∞, allowing Theorem 1.5(2) to be applied.
[§3, Lemma 3.1] The assertion that P(j) is not projective-injective for a join-irreducible element j is used to conclude d = 1, but no proof or citation is given. A brief justification (e.g., that the unique lower cover j_* forces I(j) ≇ P(j)) would make the argument self-contained.
[§1, Lemma 1.4 and §2.1, Lemma 2.2] In the proof of Lemma 2.2, the reference to 'the last assertion of Lemma 1.4' is slightly ambiguous because Lemma 1.4 has several assertions; consider labeling them for clarity.

Circularity Check

0 steps flagged · score 1.0 of 10

No load-bearing circularity: the new implications are proved directly; self-citations are background or conjecture statements, and the one unstated standard equivalence in Theorem 2.6 is external, not self-referential.

full rationale

The paper's new implications are (2) ⇒ (3) in Theorem 2.4 and (3) ⇒ (1) in Theorem 2.6. Theorem 2.4 assumes only that A is Iwanaga-Gorenstein with a well-defined bijective grade map h and derives the Auslander-Reiten map by proving P_{g_S}(I(S)) ≅ P(h(S)): it uses Lemma 2.2, Lemma 2.3, Krull-Schmidt, and a dimension comparison along cycles of the permutation h. The equality ψ(I(S)) = P(h(S)) is therefore proved, not imported, and the only cited inputs are standard homological facts and the finiteness of grade for Iwanaga-Gorenstein algebras. Theorem 2.6 proves (3) ⇒ (1) by induction, showing idim Ω^r(I) ≤ r and then idim P ≤ r for indecomposable summands P of P_r(I); the final inference 'Thus, A^op satisfies the Auslander condition' relies on the standard characterization of the Auslander condition via the projective resolution of the injective cogenerator rather than the literal definition. That is an unproved external equivalence, a correctness/expository caveat rather than a circular step, since it does not assume the conclusion and is not identical to any input of the induction. The direction (1) ⇒ (2) is cited to Iyama [I2], an independent external theorem. Self-citations such as [KMT], [KM], and [K] occur as background, as the conjecture being proved, and as the monomial-algebra special case; none of them supplies the load-bearing content of the new proof. No parameter is fitted, no known result is renamed, and no author-imported uniqueness theorem forces the argument. Accordingly, the derivation chain is self-contained apart from standard external equivalences, and no circular step is present.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper proves the new implications (2) implies (3) and (3) implies (1) from standard homological algebra; it relies on prior theorems for the known directions and on standard lattice theory. No free parameters or invented entities appear.

assumptions (5)

standard math Standard homological algebra of finite dimensional algebras: minimal projective resolutions, Krull-Schmidt theorem, duality D, tensor-Hom adjunction.
Used throughout Sections 1 and 2; standard textbook material.
domain assumption Iyama's theorem (I2): Auslander-Gorenstein algebras have a well-defined grade bijection h.
Gives direction (1) implies (2) in Theorem 2.1; cited from literature.
domain assumption KMT equality psi(I(S)) = P(h(S)) for Auslander-Gorenstein algebras.
Cited from [KMT], used to identify the two bijections.
domain assumption Theorem 1.5: the Auslander condition is left-right symmetric; the Auslander condition plus finite injective dimension of the regular module implies Iwanaga-Gorenstein.
Cited from [FGR] and [AR], used in the final step of Theorem 2.6.
domain assumption Characterization of distributive lattices: a finite lattice is distributive iff join-irreducible elements coincide with join-prime elements.
Used in Section 3, cited from [CLM, Theorem 5.1].

how reviews work

0 comments

Cite this review

Pith. "Pith review of A new characterisation of Auslander-Gorenstein algebras." pith.science (2026). https://pith.science/paper/OIPS3PZF

@misc{pith2026260803856,
  author       = {Pith},
  title        = {Pith review of: A new characterisation of Auslander-Gorenstein algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OIPS3PZF}},
  note         = {Machine review of arXiv:2608.03856}
}

read the original abstract

We give a new characterisation of Auslander-Gorenstein finite dimensional algebras by showing that they are exactly the finite dimensional algebras with a well-defined Auslander-Reiten bijection. This proves a conjecture of Marczinzik. We use this to give a new proof that a finite lattice with an Auslander-Gorenstein incidence algebra has to be distributive.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 9 canonical work pages

[1]

Assem, I.; Simson, D.; Skowronski, A.: Elements of the representation theory of associative algebras. Vol. 1: Techniques of representation theory. London Mathematical Society Student Texts 65. Cambridge: Cambridge University Press, 458 p. (2006)

2006
[2]

O.: Representation theory of Artin algebras

Auslander, M.; Reiten, I.; Smalo, S. O.: Representation theory of Artin algebras. Cambridge Studies in Advanced Mathematics, Volume 36, Cambridge University Press, 1997

1997
[3]

Auslander, M., Reiten, I.: k-Gorenstein algebras and syzygy modules. J. Pure Appl. Algebra, 92, 1-27 (1994)

1994
[4]

Bass, H.: On the ubiquity of Gorenstein rings. Math. Z. 82, 8-28 (1963)

1963
[5]

Cambridge Studies in Advanced Mathematics, Volume 30, Cambridge University Press, 1991

Benson, D.: Representations and cohomology I: Basic representation theory of finite groups and associative algebras. Cambridge Studies in Advanced Mathematics, Volume 30, Cambridge University Press, 1991

1991
[6]

Caspard, N., Leclerc, B., Monjardet, B.: Finite Ordered Sets: Concepts, Results and Uses , Encyclopedia of Mathematics and its Applications, 144, Cambridge University Press, Cambridge (2012)

work page 2012
[7]

Chan, A.; Iyama, O.; Marczinzik, R.: Dominant Auslander-Gorenstein algebras and mixed cluster tilting. Sel. Math., New Ser. 32, No. 3, 41 p. (2026)

work page 2026
[8]

In: International Symposium on Ring Theory (Kyongju, 1999), Trends in Mathematics, pp

Clark, J.: Auslander-Gorenstein rings for beginners. In: International Symposium on Ring Theory (Kyongju, 1999), Trends in Mathematics, pp. 95--115, Birkh\"auser Boston, Boston, MA, 2001

work page 1999

Show all 25 references

[9]

E.; Thomas, H.; Williams, N.: Rowmotion and Echelonmotion

Defant, C.; Jiang, Y.; Marczinzik, R.; Segovia, A.; Speyer, D. E.; Thomas, H.; Williams, N.: Rowmotion and Echelonmotion. https://arxiv.org/abs/2507.18230

arXiv
[10]

M.; Griffith, P

Fossum, R. M.; Griffith, P. A.; Reiten, I.: Trivial Extensions of Abelian Categories: Homological Algebra of Trivial Extensions of Abelian Categories with Applications to Ring Theory. Lecture Notes in Mathematics 456 (1975), Springer, Berlin

1975
[11]

K.: Introduction to Lattice Theory with Computer Science Applications

Garg, V. K.: Introduction to Lattice Theory with Computer Science Applications. John Wiley & Sons (2015), Hoboken, NJ

2015
[12]

Advances in Mathematics 210 (2007), no

Iyama, O.: Higher-dimensional Auslander--Reiten theory on maximal orthogonal subcategories. Advances in Mathematics 210 (2007), no. 1, 22--50

2007
[13]

2, 528-535

Iyama, O.: Symmetry and duality on n -Gorenstein rings , Journal of Algebra, 269 (2003), no. 2, 528-535

2003
[14]

Iyama, O.; Kl\'asz, V.; Kleinau, M.; Marczinzik, R.: work in progress
[15]

Advances in Mathematics Volume 398, 2022

Iyama, O.; Marczinzik, R.: Distributive lattices and Auslander regular algebras. Advances in Mathematics Volume 398, 2022

2022
[16]

https://arxiv.org/abs/2508.06957

Kl\'asz, V.: The Auslander-Gorenstein condition for monomial algebras. https://arxiv.org/abs/2508.06957

arXiv
[17]

Kl\'asz, M

V. Kl\'asz, M. Kleinau and R. Marczinzik, Classification of Auslander-Gorenstein monomial algebras: The acyclic case. https://arxiv.org/abs/2604.02146
[18]

Kl\'asz, V.; Marczinzik, R.: A survey on Auslander-Gorenstein algebras , https://arxiv.org/abs/2508.19079

arXiv
[19]

https://arxiv.org/abs/2501.09447

Kl\'asz, V.; Marczinzik, R.; Thomas, H.: Auslander regular algebras and Coxeter matrices. https://arxiv.org/abs/2501.09447

arXiv
[20]

Ko, H.; Mazorchuk, V.; Mrden, R.: Some homological properties of category O . VI. Doc. Math. 26, 1237-1269 (2021)

2021
[21]

Cambridge Studies in Advanced Mathematics, Volume 195, Cambridge University Press, Cambridge, 2022

Krause, H.: Homological theory of representations. Cambridge Studies in Advanced Mathematics, Volume 195, Cambridge University Press, Cambridge, 2022

2022
[22]

Marczinzik, R.; Thomas, H.; Yildirim, E.: On the interaction of the Coxeter transformation and the rowmotion bijection. J. Combinatorial Algebra 8 (2024) no. 3--4, 359--374

2024
[23]

The QPA-team, QPA - Quivers, path algebras and representations - a GAP package, Version 1.33; 2022 https: //folk.ntnu.no/oyvinso/QPA/

2022
[24]

Skowronski, A.; Yamagata, K.: Frobenius algebras. I. Basic representation theory. EMS Textbooks in Mathematics, European Mathematical Society, Z\"urich, 2011

2011
[25]

Pure and Applied Mathematics 232

Van Oystaeyen, F.: Algebraic geometry for associative algebras. Pure and Applied Mathematics 232. New York, NY: Marcel Dekker. vi, 287 p. (2000)

2000

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.

[1] [1]

Assem, I.; Simson, D.; Skowronski, A.: Elements of the representation theory of associative algebras. Vol. 1: Techniques of representation theory. London Mathematical Society Student Texts 65. Cambridge: Cambridge University Press, 458 p. (2006)

2006

[2] [2]

O.: Representation theory of Artin algebras

Auslander, M.; Reiten, I.; Smalo, S. O.: Representation theory of Artin algebras. Cambridge Studies in Advanced Mathematics, Volume 36, Cambridge University Press, 1997

1997

[3] [3]

Auslander, M., Reiten, I.: k-Gorenstein algebras and syzygy modules. J. Pure Appl. Algebra, 92, 1-27 (1994)

1994

[4] [4]

Bass, H.: On the ubiquity of Gorenstein rings. Math. Z. 82, 8-28 (1963)

1963

[5] [5]

Cambridge Studies in Advanced Mathematics, Volume 30, Cambridge University Press, 1991

Benson, D.: Representations and cohomology I: Basic representation theory of finite groups and associative algebras. Cambridge Studies in Advanced Mathematics, Volume 30, Cambridge University Press, 1991

1991

[6] [6]

Caspard, N., Leclerc, B., Monjardet, B.: Finite Ordered Sets: Concepts, Results and Uses , Encyclopedia of Mathematics and its Applications, 144, Cambridge University Press, Cambridge (2012)

work page 2012

[7] [7]

Chan, A.; Iyama, O.; Marczinzik, R.: Dominant Auslander-Gorenstein algebras and mixed cluster tilting. Sel. Math., New Ser. 32, No. 3, 41 p. (2026)

work page 2026

[8] [8]

In: International Symposium on Ring Theory (Kyongju, 1999), Trends in Mathematics, pp

Clark, J.: Auslander-Gorenstein rings for beginners. In: International Symposium on Ring Theory (Kyongju, 1999), Trends in Mathematics, pp. 95--115, Birkh\"auser Boston, Boston, MA, 2001

work page 1999