pith. sign in

arxiv: 2507.10486 · v2 · submitted 2025-07-14 · 🧮 math.AC

G-levels of perfect complexes

Lars Winther Christensen , Antonia Kekkou , Justin Lyle , Zachary Nason , Andrew J. Soto Levins This is my paper

Pith reviewed 2026-05-19 04:48 UTC · model grok-4.3

classification 🧮 math.AC
keywords Gorenstein ringperfect complexG-levelderived categorycommutative Noetherian ringBass formula
0
0 comments X

The pith

A commutative Noetherian ring R is Gorenstein of dimension at most d if d+1 is an upper bound on the G-levels of its perfect complexes.

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

The paper proves that a commutative Noetherian ring R is Gorenstein of dimension at most d precisely when d+1 bounds the G-levels of all perfect R-complexes. This criterion detects the Gorenstein property through a homological measure on perfect complexes rather than on modules alone. For local rings the authors also give an explicit formula for these levels on complexes with finitely generated homology that mirrors Bass's classic formula for injective dimension.

Core claim

If d+1 is an upper bound on the G-levels of perfect R-complexes, then the commutative Noetherian ring R is Gorenstein of dimension at most d. When R is local, the level of any R-complex with finitely generated homology, computed with respect to injective or Gorenstein injective modules, is given by a formula that mimics Bass's formula for the injective dimension of finitely generated modules.

What carries the argument

The G-level of a perfect complex, taken with respect to the class of Gorenstein injective modules and acting as a level function in the derived category.

If this is right

  • The Gorenstein property of R is completely determined by the G-levels of its perfect complexes.
  • In the local case the level of any complex with finitely generated homology equals a simple numerical invariant of its homology modules.
  • G-levels supply a new homological test for the Gorenstein property that works directly with perfect complexes.

Where Pith is reading between the lines

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

  • The characterization may extend the detection of Gorenstein rings to questions that live entirely inside the subcategory of perfect complexes.
  • Analogous level functions defined via other classes of modules could detect regularity or other ring-theoretic properties.
  • Explicit computation of G-levels on hypersurface rings or other standard examples would test whether the bound d+1 is sharp.

Load-bearing premise

The G-level of a perfect complex is well-defined with respect to Gorenstein injective modules and satisfies the usual properties of a level function.

What would settle it

Finding a commutative Noetherian ring that is not Gorenstein of dimension at most d yet has every perfect complex with G-level at most d+1 would falsify the main claim.

read the original abstract

We prove that a commutative noetherian ring $R$ is Gorenstein of dimension at most $d$ if $d+1$ is an upper bound on the G-levels of perfect $R$-complexes. For $R$ local, we prove a formula for levels, with respect to injective or Gorenstein injective $R$-modules, of $R$-complexes with finitely generated homology; it mimics Bass' classic formula for injective dimension of finitely generated $R$-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.

Referee Report

0 major / 2 minor

Summary. The paper proves that a commutative Noetherian ring R is Gorenstein of dimension at most d precisely when d+1 is an upper bound on the G-levels of all perfect R-complexes. For local R it also establishes an explicit formula for the G-level (and ordinary level) of any complex with finitely generated homology, with respect to the class of Gorenstein-injective (respectively injective) modules; the formula is modeled on Bass' classical formula for injective dimension.

Significance. If the central claims hold, the work supplies a new, level-theoretic characterization of Gorenstein rings that is local-to-global and directly computable from perfect complexes. The local formula parallels Bass' theorem and therefore inherits the same computational utility; the reduction via spectral sequences to homology modules is a clear technical strength.

minor comments (2)
  1. [Introduction] The precise definition of the G-level function (including the generating class of Gorenstein-injective modules and the precise axioms it satisfies) appears only after the statement of the main theorem; moving a concise definition to the introduction would improve readability.
  2. [Section 3] In the local formula, the spectral-sequence argument that reduces the level of a complex to the levels of its homology modules is sketched but not written out in full detail; adding one or two lines of justification for the convergence would make the parallel with Bass' formula completely transparent.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of the manuscript, as well as for the recommendation to accept. The referee's description correctly identifies both the global characterization of Gorenstein rings via bounded G-levels of perfect complexes and the local formula for levels of complexes with finitely generated homology.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper defines G-levels of perfect complexes with respect to the class of Gorenstein injective modules and establishes the necessary properties (behavior under triangles, shifts, and localization) directly from the derived-category axioms. The main theorem—that R is Gorenstein of dimension ≤ d precisely when d+1 bounds these levels—follows by reducing to the local case via localization of Gorenstein-ness, then applying a spectral-sequence argument that parallels Bass' formula for injective dimension without presupposing the target statement. No load-bearing step reduces to a fitted parameter, a self-citation chain, or an ansatz smuggled from prior work by the same authors; the local formula is proved independently and the global implication uses only standard commutative-algebra facts.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The results rest on standard definitions and properties of perfect complexes, Gorenstein injective modules, and Noetherian rings that are taken from the existing literature in commutative algebra.

axioms (2)
  • domain assumption R is a commutative Noetherian ring
    Explicitly stated as the setting for both theorems in the abstract.
  • domain assumption G-levels are well-defined invariants in the derived category with respect to Gorenstein injective modules
    Used without further justification in the statement of the main characterization.

pith-pipeline@v0.9.0 · 5610 in / 1283 out tokens · 36126 ms · 2026-05-19T04:48:06.356194+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

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

    math.AC 2026-04 unverdicted novelty 6.0

    A commutative noetherian ring is Cohen-Macaulay precisely when the levels of all its perfect complexes are finite with respect to G_C(R) for any semidualizing module C.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages · cited by 1 Pith paper

  1. [1]

    Sanders, and Thanh Vu,Lower bounds on projective levels of complexes , J

    Hannah Altmann, Elo´ ısa Grifo, Jonathan Monta˜ no, William T. Sanders, and Thanh Vu,Lower bounds on projective levels of complexes , J. Algebra 491 (2017), 343–356. MR 3699100

    work page 2017

  2. [2]

    Avramov, Ragnar-Olaf Buchweitz, Srikanth B

    Luchezar L. Avramov, Ragnar-Olaf Buchweitz, Srikanth B. Iyengar, and Claudia Miller, Homology of perfect complexes, Adv. Math. 223 (2010), no. 5, 1731–1781. MR 2592508

    work page 2010

  3. [3]

    Algebra 609 (2022), 606–618

    Laila Awadalla and Thomas Marley, Level and Gorenstein projective dimension, J. Algebra 609 (2022), 606–618. MR 4460332

    work page 2022

  4. [4]

    Daniel Christensen, Ideals in triangulated categories: phantoms, ghosts and skeleta , Adv

    J. Daniel Christensen, Ideals in triangulated categories: phantoms, ghosts and skeleta , Adv. Math. 136 (1998), no. 2, 284–339. MR 1626856

    work page 1998

  5. [5]

    Lars Winther Christensen, Hans-Bjørn Foxby, and Henrik Holm, Derived category methods in commu- tative algebra, Springer Monographs in Mathematics, Springer Cham, 2024

    work page 2024

  6. [6]

    Algebra 302 (2006), no

    Lars Winther Christensen, Anders Frankild, and Henrik Holm, On Gorenstein projective, injective and flat dimensions—a functorial description with applications , J. Algebra 302 (2006), no. 1, 231–279. MR 2236602

    work page 2006

  7. [7]

    G. M. Kelly, Chain maps inducing zero homology maps , Proc. Cambridge Philos. Soc. 61 (1965), 847–

    work page 1965

  8. [8]

    Henning Krause, The finitistic dimension of a triangulated category , Proc. Amer. Math. Soc. Ser. B 11 (2024), no. 49, 570–578

    work page 2024

  9. [9]

    Letz, Local to global principles for generation time over commutative noetherian rings , Ho- mology Homotopy Appl

    Janina C. Letz, Local to global principles for generation time over commutative noetherian rings , Ho- mology Homotopy Appl. 23 (2021), no. 2, 165–182. MR 4259573 G-LEVELS OF PERFECT COMPLEXES 9 Texas Tech University, TX 79409, U.S.A. Email address: lars.w.christensen@ttu.edu URL: https://www.math.ttu.edu/~lchriste University of Utah, UT 84112, U.S.A. Ema...

    work page 2021