arxiv: 2605.03458 · v1 · submitted 2026-05-05 · 🧮 math.RT · math.CT· math.RA

Recognition: unknown

A duality for definable subcategories and its application to torsion classes

Jiaqun Wei, Ramin Ebrahimi, Rasool Hafezi

Pith reviewed 2026-05-07 12:36 UTC · model grok-4.3

classification 🧮 math.RT math.CTmath.RA

keywords definable subcategoriestorsion classesdualityfunctor categoriestwo-sided noetherian ringsfinite dimensional algebraslattice of torsion classesmodule categories

0 comments

The pith

A side-preserving duality on the functor category induces a natural self-bijection on definable subcategories of right A-modules.

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

The paper first builds a duality from the category of finitely presented functors mod-(mod-A) to itself that keeps the same side, in contrast to the standard Auslander-Gruson-Jensen duality which switches to the opposite ring. This new duality is then applied to produce a natural bijection that sends every definable subcategory of right A-modules to another definable subcategory of the same category. When A is two-sided noetherian the bijection restricts to a correspondence between definable torsion classes and definable torsion-free classes. For finite-dimensional algebras the construction yields an anti-automorphism of the full lattice of torsion classes in mod-A.

Core claim

By constructing a duality D: mod-(mod-A) → mod-(mod-A) that does not change sides, the authors obtain a natural bijection between definable subcategories of right A-modules and themselves. This bijection arises because definable subcategories correspond to certain Serre subcategories of the functor category, and the side-preserving duality induces a correspondence on those Serre subcategories. When A is two-sided noetherian, the bijection restricts to a bijection between definable torsion classes and definable torsion-free classes. When A is a finite-dimensional algebra, the same construction gives an anti-automorphism of the lattice of torsion classes of mod-A.

What carries the argument

The newly constructed side-preserving duality mod-(mod-A) → mod-(mod-A), which acts on the functor category without switching to the opposite ring and thereby induces the self-bijection on definable subcategories.

Load-bearing premise

The newly constructed duality from mod-(mod-A) to mod-(mod-A) exists and possesses the exact properties needed to induce a bijection on the corresponding Serre subcategories of the functor category.

What would settle it

An explicit ring A together with a definable subcategory C of right A-modules such that the image of C under the induced map is not definable, or a two-sided noetherian ring where the image of a definable torsion class fails to be a definable torsion-free class.

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, which is a consequence of Auslander-Gruson-Jensen duality $\rm mod\text{-}(\rm mod\text{-}A) \rightarrow \rm mod\text{-}(\rm mod\text{-}A^{op})$. In this paper, first we construct a duality $\rm mod\text{-}(\rm mod\text{-}A) \rightarrow \rm mod\text{-}(\rm mod\text{-}A)$ (without changing the side). Then, using this duality, we obtain a natural bijection from definable subcategories of right $A$-module to itself. If $A$ is two-sided noetherian, we prove that this bijection restricts to a bijection between definable torsion classes and definable torsion-free classes. When $A$ is a finite dimensional algebra, this gives an anti-automorphism of the lattice of torsion classes of $\rm mod\text{-}A$.

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

The paper builds a same-side duality on mod-(mod-A) that self-maps definable subcategories and gives an anti-automorphism on torsion classes for finite-dimensional algebras.

read the letter

The new thing here is a duality from the functor category mod-(mod-A) back to itself, without switching to the opposite ring. This induces a bijection on definable subcategories of right A-modules, and when A is finite dimensional it gives an anti-automorphism of the torsion class lattice. The construction builds on the usual Auslander-Gruson-Jensen duality but flips it to stay on the same side. That part looks like the main novelty. The authors then show how this restricts nicely for two-sided Noetherian rings, sending definable torsion classes to definable torsion-free classes, and they get the anti-automorphism for finite dimensional algebras. The paper does well at spelling out these applications to torsion classes. It seems to engage honestly with the existing literature on definable subcategories. The main soft spot is that the abstract gives no proof sketches, so the actual construction of the same-side duality and the details of how the restriction works remain unchecked. The stress test flags that moving from a map to torsion-free classes back to a self-map on torsion classes for finite-dimensional A may need an extra identification whose justification is load-bearing. If the full paper supplies clean steps for that, the claims hold; otherwise the central application weakens. This paper is aimed at specialists in representation theory and module categories who already know about definable subcategories and torsion theories. Someone working on lattices of torsion classes in finite dimensional algebras might find the anti-automorphism useful. I would recommend sending it to peer review so the details can be checked properly.

Referee Report

3 major / 2 minor

Summary. The paper constructs a side-preserving duality mod-(mod-A) → mod-(mod-A) that contrasts with Auslander-Gruson-Jensen duality. This induces a natural bijection on definable subcategories of Mod-A. For two-sided Noetherian rings the bijection restricts to a correspondence between definable torsion classes and definable torsion-free classes. Specializing to finite-dimensional algebras, the construction is claimed to yield an anti-automorphism of the lattice of torsion classes in mod-A.

Significance. If the central construction and its restrictions are verified, the result supplies a canonical, side-preserving anti-automorphism on the torsion-class lattice for finite-dimensional algebras. This is a parameter-free derivation that builds directly on known functor-category dualities and could simplify computations when A ≇ A^op. The absence of ad-hoc axioms or invented entities strengthens the claim.

major comments (3)

[The paragraph following the statement for two-sided Noetherian rings and the finite-dimensional specialization] The transition from the bijection between definable torsion classes and definable torsion-free classes (for two-sided Noetherian rings) to an anti-automorphism on the lattice of torsion classes (for finite-dimensional algebras) is load-bearing. The manuscript must explicitly identify the natural correspondence that turns the torsion-free image back into a torsion class while preserving the order-reversing property; without this step the restriction does not automatically produce a self-map on torsion classes.
[The section defining the new duality mod-(mod-A) → mod-(mod-A)] Construction of the side-preserving duality functor (the main technical step before the bijection on definable subcategories): the manuscript must verify that the functor is a contravariant equivalence on mod-(mod-A) and that it sends definable subcategories to definable subcategories. In particular, it is necessary to show that the double dual is naturally isomorphic to the identity without invoking A^op.
[The theorem stating the restriction for two-sided Noetherian rings] For two-sided Noetherian rings, the claim that the induced map is a bijection between definable torsion classes and definable torsion-free classes requires an explicit description of the inverse map and a proof that both directions preserve definability. The order-reversing character of the correspondence should also be established at this stage, as it is used for the anti-automorphism in the finite-dimensional case.

minor comments (2)

[Introduction] Notation for the functor category mod-(mod-A) is used throughout; a brief reminder of the precise definition (finitely presented functors) at the first occurrence would improve readability.
[Abstract and §1] The abstract states that the bijection is 'natural'; the manuscript should clarify in which sense (e.g., with respect to ring homomorphisms or module functors) this naturality holds.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful and constructive comments on our manuscript. We have reviewed each major point and will make the necessary revisions to enhance the clarity and completeness of the arguments.

read point-by-point responses

Referee: [The paragraph following the statement for two-sided Noetherian rings and the finite-dimensional specialization] The transition from the bijection between definable torsion classes and definable torsion-free classes (for two-sided Noetherian rings) to an anti-automorphism on the lattice of torsion classes (for finite-dimensional algebras) is load-bearing. The manuscript must explicitly identify the natural correspondence that turns the torsion-free image back into a torsion class while preserving the order-reversing property; without this step the restriction does not automatically produce a self-map on torsion classes.

Authors: We agree that this transition requires explicit identification to make the argument complete. In the revised manuscript, we will add a new paragraph immediately following the statement of the bijection for two-sided Noetherian rings. This paragraph will describe the natural correspondence: for a finite-dimensional algebra A, the image of a definable torsion class under the duality is a definable torsion-free class F, and the corresponding torsion class in mod-A is the class of all finitely generated modules M such that M is torsion with respect to the torsion theory generated by the modules orthogonal to F. We will prove that this yields an order-reversing self-map on the lattice of torsion classes, establishing the anti-automorphism. This step relies on the fact that for finite-dimensional algebras, torsion classes in mod-A are in bijection with definable torsion classes in Mod-A via taking definable closures. revision: yes
Referee: [The section defining the new duality mod-(mod-A) → mod-(mod-A)] Construction of the side-preserving duality functor (the main technical step before the bijection on definable subcategories): the manuscript must verify that the functor is a contravariant equivalence on mod-(mod-A) and that it sends definable subcategories to definable subcategories. In particular, it is necessary to show that the double dual is naturally isomorphic to the identity without invoking A^op.

Authors: The construction of the duality functor D: mod-(mod-A) → mod-(mod-A) is presented in Section 3 of the manuscript, where we define it explicitly using the functor category properties. To address this comment, we will expand the section with a lemma that verifies D is a contravariant equivalence by constructing the natural isomorphism between the double dual D² and the identity functor, relying solely on the side-preserving nature of the construction and the universal properties of the functor category, without any reference to A^op. Additionally, we will include a proposition showing that D maps definable subcategories to definable subcategories, using the characterization of definable classes via closure under products, direct limits, and pure submodules. revision: yes
Referee: [The theorem stating the restriction for two-sided Noetherian rings] For two-sided Noetherian rings, the claim that the induced map is a bijection between definable torsion classes and definable torsion-free classes requires an explicit description of the inverse map and a proof that both directions preserve definability. The order-reversing character of the correspondence should also be established at this stage, as it is used for the anti-automorphism in the finite-dimensional case.

Authors: We concur that the proof of the bijection needs to be more explicit. In the revision, we will provide a detailed proof of the theorem that includes: (1) an explicit description of the inverse map, which is the duality functor applied to the definable closure; (2) verification that if T is a definable torsion class, then its image under the duality is a definable torsion-free class (and symmetrically for the inverse); (3) a demonstration that the correspondence is order-reversing, i.e., if T1 ⊆ T2 then D(T2) ⊆ D(T1), by direct verification using the definitions of torsion and torsion-free classes and the properties of the duality. This will also serve as the foundation for the finite-dimensional case. revision: yes

Circularity Check

0 steps flagged

New side-preserving duality is constructed independently; restrictions to torsion classes follow from its properties without reduction to the claimed bijection

full rationale

The paper explicitly constructs a new duality mod-(mod-A) → mod-(mod-A) as the central technical step, distinct from the known AGJ duality that switches sides. The natural bijection on definable subcategories is then obtained directly from this construction. For two-sided Noetherian rings the restriction to definable torsion classes versus torsion-free classes is proved from the duality's action on those classes. The anti-automorphism for finite-dimensional algebras follows as a further consequence once the Noetherian case is established, using the fact that fd algebras are two-sided Noetherian and standard lattice identifications in that setting. No equation or step equates the output bijection to a fitted parameter, self-definition, or load-bearing self-citation; the chain remains independent of the final claim.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard axioms of abelian categories, module categories, and the Auslander-Gruson-Jensen duality; no free parameters or new invented entities are introduced in the abstract.

axioms (2)

domain assumption Auslander-Gruson-Jensen duality holds between mod-(mod-A) and mod-(mod-A^op)
Explicitly invoked in the abstract as the starting point for the known opposite-side duality.
standard math Definable subcategories and torsion classes are well-defined in the module category over any ring A
Background assumption from module theory used to state the bijections.

pith-pipeline@v0.9.0 · 5495 in / 1340 out tokens · 50337 ms · 2026-05-07T12:36:24.633768+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

21 extracted references

[1]

Abelian categories over additive ones

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

1973
[2]

Silting modules over commutative rings

Angeleri H¨ ugel L, Hrbek M. Silting modules over commutative rings. Int Math Res Not IMRN, 2017, 13: 4131–4151

2017
[3]

Silting modules

Angeleri H¨ ugel M, Marks F, Vit´oria J. Silting modules. Int Math Res Not IMRN, 2016, 13: 1251–1284

2016
[4]

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

1965
[5]

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

1984
[6]

When are definable classes tilting and cotilting classes?

Bazzoni S. When are definable classes tilting and cotilting classes?. J Algebra, 2008, 12: 4281–4299

2008
[7]

Cosilting modules

Breaz S, Pop F. Cosilting modules. Algebr Represent Theory, 2017, 20: 1305–1321

2017
[8]

Locally finitely presented additive categories

Crawley-Boevey W. Locally finitely presented additive categories. Comm Algebra, 1994, 22: 1644–1674 A DUALITY FOR DEFINABLE SUBCATEGORIES AND ITS APPLICATION TO TORSION CLASSES 15

1994
[9]

On definable subcategories

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

2025
[10]

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

1965
[11]

Simple coherent functors

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

1975
[12]

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

1980
[13]

Elementary duality of modules

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

1993
[14]

The spectrum of a module category.Mem

Krause H. The spectrum of a module category.Mem. Am. Math. Soc.,149(2001), no 707, 1–125

2001
[15]

Universal localizations via silting

Marks F, ˇSt’ov´ıˇcek J. Universal localizations via silting. Proc Roy Soc Edinburgh Sect A, 2019, 149: 511–532

2019
[16]

Rings with several objects

Mitchell B. Rings with several objects. Adv Math, 1972, 8: 1–161

1972
[17]

Purity, Spectra and Localisation

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

2009
[18]

A brick version of a theorem of Auslander

Sentieri F. A brick version of a theorem of Auslander. Nagoya Math J, 2023, 249: 88–106

2023
[19]

An Introduction to Homological Algebra

Weibel C. An Introduction to Homological Algebra. Cambridge: Cambridge University Press, 1994

1994
[20]

Model theory of modules

Ziegler M. Model theory of modules. Ann Pure Appl Log, 1984, 26: 149–213

1984
[21]

Cosilting complexes and AIR-cotilting modules

Zhang P, Wei J. Cosilting complexes and AIR-cotilting modules. J Algebra, 2017, 491: 1–31 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 210...

2017