arxiv: 2604.12355 · v1 · submitted 2026-04-14 · 🧮 math.RA

Recognition: unknown

Graded Equivalence for Graded Idempotent Rings

Juan Jacobo Sim\'on, Mikhailo Dokuchaev

Pith reviewed 2026-05-10 14:35 UTC · model grok-4.3

classification 🧮 math.RA

keywords graded equivalenceidempotent graded ringsMorita contexttrace mapsgraded modulestorsion-free modulesgraded idealsgraded submodules

0 comments

The pith

Graded equivalences between module categories over idempotent rings are equivalent to Morita contexts with surjective trace maps.

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

The paper extends graded equivalence theory to general idempotent graded rings. It proves that two such rings have equivalent categories of graded torsion-free unital modules exactly when they admit a Morita context whose trace maps are surjective. This algebraic criterion replaces direct comparison of the module categories. The result is then applied to relate lattices of graded submodules and graded ideals across equivalent rings while identifying which properties remain unchanged under the equivalence.

Core claim

The existence of a graded equivalence between two categories of graded torsion-free unital modules may be characterized by the existence of a Morita context with surjective trace maps. As an application of our results we relate certain lattices of graded submodules and graded ideals of graded equivalent graded rings and give some properties invariant under graded equivalences.

What carries the argument

Morita context with surjective trace maps, which serves as the algebraic condition equivalent to the existence of a graded equivalence between the categories of graded torsion-free unital modules.

If this is right

Lattices of graded submodules of graded equivalent rings are related by the Morita context.
Certain properties of graded ideals are preserved under graded equivalence.
The characterization applies to a wider class of rings than earlier restricted versions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The criterion may let researchers detect graded equivalence by checking trace surjectivity in concrete ring presentations rather than comparing entire module categories.
Forgetting the grading might yield a corresponding statement in the classical ungraded Morita theory for idempotent rings.

Load-bearing premise

The standard definitions and prior theory of graded equivalences and Morita contexts extend without modification to idempotent graded rings and their graded torsion-free unital modules.

What would settle it

Two idempotent graded rings whose categories of graded torsion-free unital modules are equivalent yet which admit no Morita context with surjective trace maps would disprove the claimed characterization.

read the original abstract

In this paper, we extend the study of graded equivalences to the case of general idempotent graded rings. We prove that the existence of a graded equivalence between two categories of graded torsion-free unital modules may be characterized by the existence of a Morita context with surjective trace maps. As an application of our results we relate certain lattices of graded submodules and graded ideals of graded equivalent garded rings and give some properties invariant under graded equivalences.

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 gives a Morita-context characterization of graded equivalences for idempotent graded rings on torsion-free modules, plus some lattice and invariant consequences.

read the letter

The main takeaway is that graded equivalences between the categories of graded torsion-free unital modules over two idempotent graded rings are equivalent to the existence of a Morita context whose trace maps are surjective. This is the stated extension beyond earlier work on more restricted graded rings, and the paper then uses it to relate lattices of graded submodules and graded ideals while listing some properties preserved by the equivalence. That application part is the concrete payoff. The development stays within standard definitions of graded modules, idempotent rings, and Morita contexts, so it does not introduce shaky new objects or circular steps. The stress-test note finds no load-bearing inconsistencies, which aligns with the abstract's framing. The main limitation is narrow scope: everything is restricted to idempotent graded rings and torsion-free modules, and the abstract supplies no examples or proof outlines, so quick verification of the details is not possible from the summary alone. Still, the central claim looks like a direct, proportionate extension rather than an overreach. This is for people already working in graded ring theory or categorical Morita equivalences; a reader outside that niche will not get much. It is coherent enough on its own terms to deserve referee time, even if revisions will likely be needed on the proofs and examples.

Referee Report

0 major / 1 minor

Summary. The paper extends the study of graded equivalences to general idempotent graded rings. It proves that the existence of a graded equivalence between two categories of graded torsion-free unital modules may be characterized by the existence of a Morita context with surjective trace maps. As an application, it relates certain lattices of graded submodules and graded ideals of graded equivalent rings and identifies some properties invariant under graded equivalences.

Significance. If the central characterization holds, the result extends classical Morita theory to the graded setting over idempotent rings using categories of graded torsion-free unital modules. This provides a concrete criterion via Morita contexts and yields applications to submodule lattices and equivalence invariants, which are useful for researchers working in graded ring theory and categorical equivalences. The approach relies on standard external theory without introducing ad-hoc axioms or free parameters.

minor comments (1)

Abstract: 'garded rings' is a typographical error and should read 'graded rings'.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation for minor revision. The referee summary accurately captures the main contributions of the paper.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper extends standard Morita-theoretic characterizations of equivalences to the graded setting for idempotent rings, using categories of graded torsion-free unital modules and Morita contexts with surjective trace maps. The central claim is a proof that builds directly on external definitions and prior theory of graded rings, modules, and Morita contexts without reducing any result to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. No equations or steps in the derivation are shown to be equivalent to their inputs by construction; the result remains independent of the paper's own fitted quantities or internal assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests entirely on standard axioms and definitions from graded ring theory, module categories, and Morita equivalence theory; no free parameters, new invented entities, or ad-hoc assumptions are introduced in the abstract.

axioms (2)

standard math Standard axioms of graded rings, graded modules, and category equivalences
Invoked implicitly as the foundation for defining graded equivalences and torsion-free unital modules.
domain assumption Existence and properties of Morita contexts with trace maps
The characterization relies on prior established theory of Morita contexts in the graded setting.

pith-pipeline@v0.9.0 · 5363 in / 1428 out tokens · 26919 ms · 2026-05-10T14:35:50.512870+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references

[1]

G. D. Abrams, Morita equivalence for rings with local units,Commun. Algebra11(1983), 801– 837

1983
[2]

F. W. Anderson and K. R. Fuller,Rings and Categories of Modules, Springer, Berlin, 1974

1974
[3]

Boisen, Graded Morita Theory,J

P. Boisen, Graded Morita Theory,J. Algebra164(1994), 1–25

1994
[4]

P. N. ´Anh, L. M´ arki, Morita equivalence for rings without identity, Tsukuba J. Math.11(1987), 1–16

1987
[5]

Abadie, M

F. Abadie, M. Dokuchaev, R. Exel, Strong equivalence of graded algebras,J. Algebra,659, (2024), 818–858

2024
[6]

J. L. Garc´ ıa and J. J. Sim´ on, Morita Equivalence for Idempotent Rings,J. Pure Appl. Alg.,76, (1991), 39–56

1991
[7]

Gordon, E

R. Gordon, E. Green, Graded Artin algebras,J. Algebra76(1982), 111–137

1982
[8]

Haefner, Graded Morita theory for infinite groups,J

J. Haefner, Graded Morita theory for infinite groups,J. Algebra,169, (1994), no. 2, 552–586

1994
[9]

Haefner, Graded equivalence theory with applications,J

J. Haefner, Graded equivalence theory with applications,J. Algebra172, (1995), no. 2, 385–424

1995
[10]

Hazrat,Graded Rings and Graded Grothendieck Groups, London Mathematical Society Lecture Note Series, vol

R. Hazrat,Graded Rings and Graded Grothendieck Groups, London Mathematical Society Lecture Note Series, vol. 435, Cambridge University Press, Cambridge (2016)

2016
[11]

Menini and C

C. Menini and C. N˘ ast˘ asescu, When is R-gr equivalent to the category of modules?,J. Pure Appl. Algebra51(1988), 277–291

1988
[12]

Nastasescu

C. Nastasescu. F. Van Oystaeyen,Methods of Graded Rings, Springer, Berlin, 2004

2004
[13]

Nobusawa, Γ-rings and Morita equivalence of rings,Math

N. Nobusawa, Γ-rings and Morita equivalence of rings,Math. J. Okayama Univ.26, (1984), 151–156. aInstituto de Matem ´atica e Estat´ıstica, Universidade de S ˜ao Paulo, Rua do Mat ˜ao, 1010, S˜ao Paulo, SP, CEP: 05508–090, Brazil, E-mail:dokucha@gmail.com cDepartamento de Matem´aticas, Universidad de Murcia, 30071 Murcia, Spain, E-mail: jsimon@um.es

1984