Revising Auslander-Gruson-Jensen duality

Jiaqun Wei; Ramin Ebrahimi; Rasool Hafezi

arxiv: 2605.03458 · v2 · pith:AGIOFYJ2new · submitted 2026-05-05 · 🧮 math.RT · math.CT· math.RA

Revising Auslander-Gruson-Jensen duality

Ramin Ebrahimi , Rasool Hafezi , Jiaqun Wei This is my paper

Pith reviewed 2026-05-19 18:08 UTC · model grok-4.3

classification 🧮 math.RT math.CTmath.RA

keywords free abelian categoryAuslander-Gruson-Jensen dualitydefinable subcategoriesright A-modulesleft A-modulesmodule dualityrepresentation theory

0 comments

The pith

A simple description of the free abelian category clarifies Auslander-Gruson-Jensen duality for modules over a ring.

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

The paper supplies a straightforward description of the free abelian category generated by a ring A viewed as a pre-additive category with one object. This description renders the Auslander-Gruson-Jensen duality more transparent by making its source explicit. It likewise makes visible the induced duality between definable subcategories of right A-modules and those of left A-modules. A reader would care because the dualities are standard tools in module theory and become easier to apply once their common origin is described plainly.

Core claim

For a ring A the category mod-(mod-A) is the free abelian category over the pre-additive category A with a single object. The authors give a simple description of this free abelian category. The description clarifies Auslander-Gruson-Jensen duality mod-(mod-A) to mod-(mod-A^op) and the duality between definable subcategories of right A-modules and left A-modules.

What carries the argument

The free abelian category over the pre-additive category with one object, identified as mod-(mod-A).

Load-bearing premise

The duality exists because mod-(mod-A) is the free abelian category over the pre-additive category A with a single object.

What would settle it

A concrete calculation for a specific ring A in which the proposed simple description fails to reproduce the expected maps or equivalences of the Auslander-Gruson-Jensen duality would falsify the claim.

read the original abstract

For a ring $A$ there is a well-known duality between definable subcategories of right $A$-modules and definable subcategories of left $A$ modules. This is a consequence of Auslander-Gruson-Jensen duality $\rm mod\text{-}(mod\text{-}A)\rightarrow mod\text{-}(mod\text{-}A^{op})$. The existence of this duality arises from the fact that $\rm mod\text{-}(mod\text{-}A)$ is the free abelian category over the pre-additive category $A$ with a single object. In this note, first, we give a simple description of the free abelian category. This description clarifies Auslender-Gruson-Jensen duality and also the duality between definable subcategories of right $A$-modules and those of left $A$-modules.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This note offers a streamlined description of the free abelian category to clarify AGJ duality, but needs to confirm the universal property holds explicitly.

read the letter

The main point is that the authors give a simple description of the free abelian category on the one-object preadditive category coming from a ring A, and they say this makes Auslander-Gruson-Jensen duality and the duality on definable subcategories of right and left modules more transparent. That is the core contribution they highlight in the abstract. They do a reasonable job of tying the free abelian category directly to the existence of those dualities without extra layers. The framing as a clarification rather than a heavy new theorem fits the modest scope of a note. The construction appears to avoid circularity by working directly from the ring rather than relying on fitted quantities or heavy self-citation. The soft spot is the one the stress-test flags: it is not obvious from the abstract whether they explicitly verify that their objects and morphisms satisfy the universal property, so that any additive functor from A to an abelian category extends uniquely to an exact functor out of the described category. If the full text just states the description and moves on, that leaves a small gap a referee could ask to fill; if the check is immediate from the setup, then the concern does not land. This is for people already working in representation theory or categorical module theory who know the standard finitely presented functor construction and want a cleaner route to the dualities. A reader deep in definable subcategories would get the most value. It is not a paper I would cite in my own work in the next year, but it could affect how I explain the background in talks or notes. The thinking looks coherent on its own terms, with no internal contradictions visible from the given material. I would send it to peer review rather than desk reject, because the claim is modest, the topic is established, and a quick check on the construction details would be useful.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that mod-(mod-A) is the free abelian category on the one-object pre-additive category A, and offers a simple description of this category. The description is said to clarify Auslander-Gruson-Jensen duality and the induced duality between definable subcategories of right A-modules and left A-modules.

Significance. If the proposed description is shown to be equivalent to the standard construction of the free abelian category (finitely presented additive functors from (mod-A)^op to Ab) and to satisfy the universal property, the note would provide a more transparent route to AGJ duality and its consequences for definable subcategories, which is of interest in representation theory.

major comments (2)

[main description of the free abelian category] The central claim that the given description is the free abelian category requires an explicit verification that it satisfies the universal property: every additive functor from the one-object pre-additive category A to an abelian category extends uniquely to an exact functor out of the described category. The note does not appear to contain this check, which is load-bearing for the claim that the description clarifies the dualities.
[main description of the free abelian category] It is not shown that the proposed objects and morphisms recover the standard equivalence with the category of finitely presented additive functors (mod-A)^op → Ab without additional identifications; this equivalence is needed to inherit the known AGJ duality.

minor comments (2)

[Abstract] The abstract contains the spelling 'Auslender-Gruson-Jensen'; this should be corrected to 'Auslander-Gruson-Jensen'.
Notation for the free abelian category and for definable subcategories should be introduced more explicitly at first use to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for explicit verifications to support the central claims. We agree that these checks are important for establishing the proposed description as the free abelian category and for clarifying the connection to Auslander-Gruson-Jensen duality. We address each point below and will incorporate the necessary additions in the revised manuscript.

read point-by-point responses

Referee: The central claim that the given description is the free abelian category requires an explicit verification that it satisfies the universal property: every additive functor from the one-object pre-additive category A to an abelian category extends uniquely to an exact functor out of the described category. The note does not appear to contain this check, which is load-bearing for the claim that the description clarifies the dualities.

Authors: We agree that an explicit verification of the universal property is required to fully substantiate the claim. In the revised version we will add a dedicated subsection proving that any additive functor from the one-object pre-additive category A to an arbitrary abelian category B extends uniquely to an exact functor out of the described category. This will confirm that the construction satisfies the defining universal property of the free abelian category. revision: yes
Referee: It is not shown that the proposed objects and morphisms recover the standard equivalence with the category of finitely presented additive functors (mod-A)^op → Ab without additional identifications; this equivalence is needed to inherit the known AGJ duality.

Authors: We acknowledge that an explicit demonstration of the equivalence to the standard category of finitely presented additive functors from (mod-A)^op to Ab is necessary to inherit the established Auslander-Gruson-Jensen duality without extra steps. In the revision we will include a direct comparison of objects and morphisms, exhibiting a natural isomorphism that identifies the two constructions without requiring additional identifications. revision: yes

Circularity Check

0 steps flagged

Direct description of free abelian category is self-contained

full rationale

The paper states that mod-(mod-A) is the free abelian category over the one-object preadditive category A, a standard fact, and then supplies a simple description of this category to clarify AGJ duality and definable subcategory duality. No equations or steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the contribution is a constructive presentation whose equivalence to the standard functor category (mod-A)^op → Ab can be checked externally against the universal property without circularity. The derivation chain is therefore independent of the paper's own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard constructions from category theory and ring theory. It invokes the known identification of mod-(mod-A) with the free abelian category but does not introduce new free parameters or invented entities.

axioms (1)

domain assumption mod-(mod-A) is the free abelian category over the pre-additive category A with a single object
This fact is stated as the origin of the duality and is used to motivate the new description.

pith-pipeline@v0.9.0 · 5679 in / 1257 out tokens · 62505 ms · 2026-05-19T18:08:01.794358+00:00 · methodology

Review history (3 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

we give a simple description of the free abelian category... objects of the category III(A) are chains of the form A^n → A^m → A^p and morphisms are commutative diagrams modulo homotopy
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Auslander-Gruson-Jensen duality... duality between definable subcategories of right A-modules and those of left A-modules

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[1]

Abelian categories over additive ones

Adelman M. Abelian categories over additive ones. J Pure Appl Algebra, 1973, 3: 103–117

work page 1973
[2]

Coherent functors

Auslander M. Coherent functors. In: Eilenberg S, Harrison D K, MacLane S, et al., eds. Proceedings of the Conference on Categorical Algebra. Berlin: Springer, 1965, 189–231

work page 1965
[3]

Isolated singularities and existence of almost split sequences

Auslander M. Isolated singularities and existence of almost split sequences. In: Dlab V, Gabriel P, Michler G, et al., eds. Proceedings of the Fourth International Conference on Representations of Algebras. Berlin: Springer, 1984, 194–242

work page 1984
[4]

When are definable classes tilting and cotilting classes?

Bazzoni S. When are definable classes tilting and cotilting classes?. J Algebra, 2008, 12: 4281–4299 REVISING AUSLANDER-GRUSON-JENSEN DUALITY 13

work page 2008
[5]

On definable subcategories

Ebrahimi R. On definable subcategories. J Pure Appl Algebra, 2025, 11: 108118

work page 2025
[6]

Representations in abelian categories

Freyd P. Representations in abelian categories. In: Eilenberg S, Harrison D K, MacLane S, et al., eds. Proceedings of the Conference on Categorical Algebra. Berlin: Springer, 1965, 95–120

work page 1965
[7]

Simple coherent functors

Gruson L. Simple coherent functors. In: Dlab V, Gabriel P, eds. Representations of Algebras. Berlin: Springer, 1975, 156–159

work page 1975
[8]

Dimensions cohomologiques reli´ees aux fonteurslim← − (i)

Gruson L, Jensen C. Dimensions cohomologiques reli´ees aux fonteurslim← − (i). In: Malliavin M P, ed. S´eminaire d’ Alg`ebre Paul Dubreil et Marie-Paule Malliavin. Lecture Notes in Mathematics, vol. 867. Berlin: Springer, 1980, 234–294

work page 1980
[9]

Elementary duality of modules

Herzog I. Elementary duality of modules. Trans Amer Math Soc, 1993, 340: 37–69

work page 1993
[10]

The spectrum of a module category

Krause H. The spectrum of a module category. Mem Am Math Soc, 2001, 149: 1–125

work page 2001
[11]

Purity, Spectra and Localisation

Prest M. Purity, Spectra and Localisation. Cambridge: Cambridge University Press, 2009

work page 2009
[12]

Model theory of modules

Ziegler M. Model theory of modules. Ann Pure Appl Log, 1984, 26: 149–213 School of Mathematical Sciences, Zhejiang Normal University , Jinhua 321004, China Email address:rebrahimi@zjnu.edu.cn / ramin.ebrahimi1369@gmail.com School of Mathematics and Statistics, Nanjing University of Information Science and Technology , Nanjing, Jiangsu 210044, P .R. China ...

work page 1984

[1] [1]

Abelian categories over additive ones

Adelman M. Abelian categories over additive ones. J Pure Appl Algebra, 1973, 3: 103–117

work page 1973

[2] [2]

Coherent functors

Auslander M. Coherent functors. In: Eilenberg S, Harrison D K, MacLane S, et al., eds. Proceedings of the Conference on Categorical Algebra. Berlin: Springer, 1965, 189–231

work page 1965

[3] [3]

Isolated singularities and existence of almost split sequences

Auslander M. Isolated singularities and existence of almost split sequences. In: Dlab V, Gabriel P, Michler G, et al., eds. Proceedings of the Fourth International Conference on Representations of Algebras. Berlin: Springer, 1984, 194–242

work page 1984

[4] [4]

When are definable classes tilting and cotilting classes?

Bazzoni S. When are definable classes tilting and cotilting classes?. J Algebra, 2008, 12: 4281–4299 REVISING AUSLANDER-GRUSON-JENSEN DUALITY 13

work page 2008

[5] [5]

On definable subcategories

Ebrahimi R. On definable subcategories. J Pure Appl Algebra, 2025, 11: 108118

work page 2025

[6] [6]

Representations in abelian categories

Freyd P. Representations in abelian categories. In: Eilenberg S, Harrison D K, MacLane S, et al., eds. Proceedings of the Conference on Categorical Algebra. Berlin: Springer, 1965, 95–120

work page 1965

[7] [7]

Simple coherent functors

Gruson L. Simple coherent functors. In: Dlab V, Gabriel P, eds. Representations of Algebras. Berlin: Springer, 1975, 156–159

work page 1975

[8] [8]

Dimensions cohomologiques reli´ees aux fonteurslim← − (i)

Gruson L, Jensen C. Dimensions cohomologiques reli´ees aux fonteurslim← − (i). In: Malliavin M P, ed. S´eminaire d’ Alg`ebre Paul Dubreil et Marie-Paule Malliavin. Lecture Notes in Mathematics, vol. 867. Berlin: Springer, 1980, 234–294

work page 1980

[9] [9]

Elementary duality of modules

Herzog I. Elementary duality of modules. Trans Amer Math Soc, 1993, 340: 37–69

work page 1993

[10] [10]

The spectrum of a module category

Krause H. The spectrum of a module category. Mem Am Math Soc, 2001, 149: 1–125

work page 2001

[11] [11]

Purity, Spectra and Localisation

Prest M. Purity, Spectra and Localisation. Cambridge: Cambridge University Press, 2009

work page 2009

[12] [12]

Model theory of modules

Ziegler M. Model theory of modules. Ann Pure Appl Log, 1984, 26: 149–213 School of Mathematical Sciences, Zhejiang Normal University , Jinhua 321004, China Email address:rebrahimi@zjnu.edu.cn / ramin.ebrahimi1369@gmail.com School of Mathematics and Statistics, Nanjing University of Information Science and Technology , Nanjing, Jiangsu 210044, P .R. China ...

work page 1984