arxiv: 2604.05437 · v1 · submitted 2026-04-07 · 🧮 math.AC · math.RT

Recognition: 2 theorem links

· Lean Theorem

A characterization of Cohen-Macaulay rings in terms of levels of perfect complexes

Naoya Hiramatsu, Ryo Takahashi, Yuki Mifune

Pith reviewed 2026-05-10 18:53 UTC · model grok-4.3

classification 🧮 math.AC math.RT

keywords Cohen-Macaulay ringssemidualizing modulesGorenstein projective moduleslevels of complexesperfect complexesderived categoriescommutative Noetherian ringsGorenstein rings

0 comments

The pith

A commutative noetherian ring R is Cohen-Macaulay exactly when every perfect complex has finite level with respect to the subcategory of Gorenstein C-projective modules for any semidualizing module C.

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

The paper establishes that the Cohen-Macaulay property of a commutative noetherian ring can be read off from whether all perfect complexes have finite level relative to the subcategory G_C(R) of Gorenstein C-projective modules. This supplies a homological criterion in the derived category that directly ties a classical ring-theoretic condition to the generation properties of a specific full subcategory. A sympathetic reader would care because the same framework, when specialized to the case C equal to R, recovers an existing characterization of Gorenstein rings via levels with respect to Gorenstein projective modules.

Core claim

Let R be a commutative noetherian ring and C a semidualizing R-module. The main result states that R is Cohen-Macaulay if and only if the levels of all perfect complexes with respect to the full subcategory G_C(R) of Gorenstein C-projective modules are finite. This recovers the theorem of Christensen, Kekkou, Lyle and Soto Levins characterizing the Gorenstein property of R by finiteness of levels with respect to Gorenstein projective modules.

What carries the argument

the level of a bounded complex of finitely generated modules with respect to the full subcategory G_C(R) of Gorenstein C-projective modules in the derived category

If this is right

R is Cohen-Macaulay precisely when every perfect complex has finite level relative to G_C(R).
When the semidualizing module C equals R itself, the same finiteness condition characterizes Gorenstein rings.
The characterization applies uniformly to all bounded complexes of finitely generated modules inside the derived category.
Finiteness of levels supplies a single numerical test that distinguishes both Cohen-Macaulay and Gorenstein properties.

Where Pith is reading between the lines

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

The criterion offers a uniform homological lens that simultaneously detects Cohen-Macaulay and Gorenstein behavior through the same level-finiteness condition.
It may allow computational verification of the Cohen-Macaulay property by checking level values in concrete resolutions inside the derived category.
The result suggests that other classical ring properties could be rephrased as statements about finite generation or finite level with respect to suitably chosen subcategories.

Load-bearing premise

The usual definitions and basic properties of semidualizing modules, Gorenstein C-projective modules, and levels of complexes continue to hold without change in the derived category.

What would settle it

A single commutative noetherian ring R that is not Cohen-Macaulay together with a semidualizing module C for which at least one perfect complex has finite level with respect to G_C(R), or a Cohen-Macaulay ring in which some perfect complex has infinite level.

read the original abstract

Let $R$ be a commutative noetherian ring, and let $C$ be a semidualizing $R$-module. In this paper, we study levels of bounded complexes of finitely generated $R$-modules with respect to the full subcategory $\mathsf{G}_{C}(R)$ consisting of Gorenstein $C$-projective $R$-modules. Our main result provides a characterization of the Cohen-Macaulayness of $R$ in terms of the finiteness of levels of perfect complexes with respect to $\mathsf{G}_{C}(R)$. This recovers a recent theorem of Christensen, Kekkou, Lyle and Soto Levins on the Gorensteinness of $R$.

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 characterizes Cohen-Macaulay rings by finiteness of levels of perfect complexes w.r.t. G_C(R) for semidualizing C and recovers the known Gorenstein result as a special case.

read the letter

The main point is that this paper links the Cohen-Macaulay property of a commutative noetherian ring R to the finiteness of levels of perfect complexes taken with respect to the subcategory G_C(R) of Gorenstein C-projective modules, where C is any semidualizing module. It also recovers the recent characterization of Gorenstein rings due to Christensen, Kekkou, Lyle and Soto Levins as the case when C is the ring itself. That is the concrete new statement. The work sits squarely inside the existing program of homological characterizations of ring properties using derived-category invariants. It does not introduce new categories or change the definitions of levels or semidualizing modules; instead it applies the standard machinery to obtain a uniform statement that covers both the Cohen-Macaulay and Gorenstein cases. This is useful for organizing results rather than for solving an open problem. The argument appears to rest on well-established facts about G_C(R) and the behavior of levels for bounded complexes of finitely generated modules, so the foundations look consistent. The only real limitation visible from the abstract is its brevity: there is no proof sketch or explicit verification that the level function behaves as expected on perfect complexes, which means a referee would need to check those details in the body. No circularity or invented objects are apparent. The paper is written for commutative algebraists who already work with Gorenstein homological algebra and derived-category invariants. A reader looking for new ways to detect depth-dimension equality through categorical finiteness conditions will find it worth reading. It is solid enough to deserve a serious referee; the claim is precise, the recovery of the known theorem provides a sanity check, and the extension to Cohen-Macaulay rings is a natural next step even if the overall impact stays within the subfield.

Referee Report

0 major / 3 minor

Summary. The manuscript studies levels of bounded complexes of finitely generated modules over a commutative noetherian ring R with respect to the full subcategory G_C(R) of Gorenstein C-projective modules, where C is a semidualizing R-module. The central result characterizes the Cohen-Macaulay property of R precisely by the finiteness of levels of perfect complexes with respect to G_C(R); as a special case it recovers the recent characterization of Gorenstein rings due to Christensen, Kekkou, Lyle and Soto Levins.

Significance. If the main theorem is correct, the paper supplies a new homological criterion for Cohen-Macaulay rings expressed in terms of the derived-category notion of level relative to the Gorenstein projective class G_C(R). The argument builds directly on standard properties of semidualizing modules and the level construction, thereby extending existing results on Gorenstein rings in a natural way and furnishing a uniform framework that may be useful for further work on homological invariants of rings.

minor comments (3)

The introduction would benefit from a brief reminder of the definition of level (with respect to an arbitrary subcategory) before the statement of the main theorem, to make the paper more self-contained for readers outside the immediate area.
Notation for the level function and for the subcategory G_C(R) is introduced gradually; a single consolidated notation paragraph or table in §2 would improve readability.
The proof of the main characterization (presumably in §3 or §4) relies on several standard lemmas about semidualizing modules and Gorenstein projective modules; explicit citations to the precise statements used (e.g., from Christensen or Holm) would strengthen the exposition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our manuscript and the positive assessment of its significance. The recommendation for minor revision is noted.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's central claim is a characterization of Cohen-Macaulay rings via finiteness of levels of perfect complexes with respect to the subcategory G_C(R) of Gorenstein C-projective modules, for a semidualizing module C. This rests on standard external definitions and properties from homological algebra (semidualizing modules, G_C(R), and levels of complexes in the derived category), none of which are defined or fitted in terms of the target result. The result recovers a theorem by Christensen et al. (distinct authors) on the Gorenstein case, providing independent external support rather than a self-citation chain. No equations reduce the characterization to a tautology or fitted input by construction, and the derivation chain uses established facts without renaming or smuggling ansatzes via self-citation.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The claim rests on the standard framework of homological algebra over commutative noetherian rings, including definitions of semidualizing modules and Gorenstein projective modules generalized via C. No free parameters or invented entities are apparent from the abstract.

axioms (3)

domain assumption R is a commutative noetherian ring
Explicitly stated as the setting for the result.
domain assumption C is a semidualizing R-module
Assumed in the setup for defining G_C(R).
standard math Levels of complexes and the category G_C(R) are well-defined in the bounded derived category of finitely generated modules
Invoked implicitly as the objects whose levels are considered.

pith-pipeline@v0.9.0 · 5419 in / 1790 out tokens · 74824 ms · 2026-05-10T18:53:09.468308+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 2 canonical work pages · 1 internal anchor

[1]

Aihara; R

T. Aihara; R. Takahashi , Generators and dimensions of derived categories of modules, Comm. Algebra 43 (2015), no. 11, 5003--5029

2015
[2]

Aihara; R

T. Aihara; R. Takahashi , Remarks on dimensions of triangulated categories, J. Algebra 521 (2019) 235--246

2019
[3]

Aihara; T

T. Aihara; T. Araya; O. Iyama; T. Takahashi; M. Yoshiwaki , Dimensions of triangulated categories with respect to subcategories, J. Algebra 399 (2014), 205--219

2014
[4]

L. L. Avramov; R.-O. Buchweitz; S. B. Iyengar; and C. Miller , Homology of perfect complexes, Adv. Math. 223 (2010), 1731--1781. Corrigendum: Adv. Math. 225 (2010), 3576--3578

2010
[5]

Altmann; E

H. Altmann; E. Grifo; J. Monta\ n o; W. Sanders; T. Vu , Lower bounds on projective levels of complexes, J. Algebra 491 (2017) 343--356

2017
[6]

Awadalla; T

L. Awadalla; T. Marley , Level and Gorenstein projective dimension, J. Algebra 609 (2022), 606--618

2022
[7]

Bondal; M

A. Bondal; M. van den Bergh , Generators and representability of functors in commutative and noncommutative geometry, Mosc. Math. J. 3 (2003), no. 1, 1--36, 258

2003
[8]

Bruns; J

W. Bruns; J. Herzog , Cohen--Macaulay rings, revised edition, Cambridge Studies in Advanced Mathematics 39 , Cambridge University Press, Cambridge , 1998

1998
[9]

J. D. Christensen , Ideals in triangulated categories: phantoms, ghosts and skeleta, Adv. Math. 136 (1998), no. 2, 284--339

1998
[10]

L. W. Christensen; A. Kekkou; J. Lyle; A. J. Soto Levins , G-levels of perfect complexes, preprint (2025), arXiv:2507.10486v1

work page internal anchor Pith review Pith/arXiv arXiv 2025
[11]

W. G. Dwyer; J. P. C. Greenlees; S. B. Iyengar , Finiteness in derived categories of local rings, Comment. Math. Helv. 81 (2006), 383--432

2006
[12]

E. S. Golod , G -dimension and generalized perfect ideals, Proc. Steklov Inst. Math. 165 (1985), 67--71

1985
[13]

H. Holm; P. J rgensen , Semi-dualizing modules and related Gorenstein homological dimensions, J. Pure Appl. Algebra 205 (2006), 423--445

2006
[14]

Mifune , Lower bounds for levels of complexes by resolution dimensions, preprint (2025), arXiv:2501.12109v1

Y. Mifune , Lower bounds for levels of complexes by resolution dimensions, preprint (2025), arXiv:2501.12109v1

work page arXiv 2025
[15]

Reiten , The converse to a theorem of Sharp on Gorenstein modules, Proc

I. Reiten , The converse to a theorem of Sharp on Gorenstein modules, Proc. Amer. Math. Soc. , 32 (1972), 417--420

1972
[16]

Rouquier , Dimensions of triangulated categories, J

R. Rouquier , Dimensions of triangulated categories, J. K-Theory 1 (2008), no. 2, 193--256

2008