pith. sign in

arxiv: 1907.11427 · v1 · pith:I3MNTRPRnew · submitted 2019-07-26 · 🧮 math.AC

Castelnuovo-Mumford regularity and related invariants

Ngo Viet Trung This is my paper

Pith reviewed 2026-05-24 15:27 UTC · model grok-4.3

classification 🧮 math.AC
keywords Castelnuovo-Mumford regularityweak regularitya*-invariantpartial regularitiesgraded moduleslocal cohomologycommutative algebrapolynomial rings
0
0 comments X

The pith

These notes define Castelnuovo-Mumford regularity for graded modules and relate it to weak regularity, the a*-invariant, and partial regularities.

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

The paper provides an introductory treatment of the Castelnuovo-Mumford regularity for finitely generated graded modules over polynomial rings. It presents the definition via vanishing of local cohomology and shows relations to other invariants. The notes cover weak regularity as an alternative characterization, the a*-invariant as the highest degree of nonvanishing local cohomology, and partial regularities that restrict attention to certain variables or degrees. A reader would care because these quantities control the degrees appearing in minimal free resolutions and the structure of cohomology modules.

Core claim

The notes establish that the Castelnuovo-Mumford regularity of a graded module M is the smallest integer m such that the local cohomology modules H_m^i(M) vanish in all degrees greater than m-i, and they demonstrate that this number coincides with the weak regularity, is bounded below by the a*-invariant, and admits refinements through partial regularities obtained by considering only selected components of the grading.

What carries the argument

Castelnuovo-Mumford regularity, defined as the smallest integer m such that local cohomology H_m^i(M)_j vanishes for all j > m - i and all i.

If this is right

  • The regularity supplies an upper bound on the degrees of the generators of the syzygy modules in a minimal free resolution.
  • The a*-invariant is always at most the regularity minus the dimension of the module.
  • Partial regularities yield sharper bounds when the module carries an additional grading or when only a subset of the variables is considered.
  • Weak regularity admits direct computation from a Groebner basis of the module.

Where Pith is reading between the lines

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

  • The same vanishing conditions could be used to bound the Castelnuovo-Mumford regularity of ideals arising from geometric constructions.
  • The relations among these invariants suggest algorithmic tests for when a module is Cohen-Macaulay or has linear resolution.
  • Extending the partial-regularity notion to multi-graded or weighted settings would produce new numerical invariants for toric varieties.

Load-bearing premise

The reader possesses the standard background in commutative algebra and graded modules needed to follow an introductory treatment of these invariants.

What would settle it

A concrete graded module whose local-cohomology vanishing pattern yields a Castelnuovo-Mumford regularity different from the value obtained from its minimal free resolution would contradict the central definitions.

read the original abstract

These notes are an introduction to some basic aspects of the Castelnuovo-Mumford regularity and related topics such as weak regularity, a*-invariant and partial regularities.

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 / 0 minor

Summary. The manuscript consists of introductory notes summarizing basic aspects of Castelnuovo-Mumford regularity for graded modules, along with related notions such as weak regularity, the a*-invariant, and partial regularities.

Significance. As an expository treatment of established concepts in commutative algebra, the notes may provide a convenient reference for readers with standard background in graded rings and modules. No new theorems, derivations, or computational results are advanced, so the work does not claim to extend the existing literature.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for reviewing our manuscript. The work is explicitly framed as introductory notes on Castelnuovo-Mumford regularity and related invariants, intended as a convenient reference rather than a research contribution with new results.

read point-by-point responses

  1. Referee: The manuscript consists of introductory notes summarizing basic aspects of Castelnuovo-Mumford regularity for graded modules, along with related notions such as weak regularity, the a*-invariant, and partial regularities.

    Authors: This description matches the stated purpose and content of the notes. revision: no

  2. Referee: As an expository treatment of established concepts in commutative algebra, the notes may provide a convenient reference for readers with standard background in graded rings and modules. No new theorems, derivations, or computational results are advanced, so the work does not claim to extend the existing literature.

    Authors: We agree that the manuscript is expository and introduces no new theorems. Its goal is to consolidate and present established material in a form that may serve as a reference for readers with the appropriate background. revision: no

  3. Referee: Recommendation: uncertain

    Authors: The uncertain recommendation appears to stem from the expository nature of the notes. We note that the abstract and introduction clearly position the work as introductory notes rather than original research. revision: no

Circularity Check

0 steps flagged

Expository notes; no derivations or predictions present

full rationale

The manuscript is framed as introductory notes on established topics (Castelnuovo-Mumford regularity, weak regularity, a*-invariant, partial regularities). No equations, predictions, fitted parameters, or novel claims appear whose supporting steps could reduce to self-definition, fitted inputs, or self-citation chains. The text summarizes standard commutative algebra results without asserting new derivations, making it self-contained against external benchmarks with no circularity burden.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract presents an expository introduction and introduces no new free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5527 in / 940 out tokens · 18671 ms · 2026-05-24T15:27:00.161339+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    I. M. Aberbach, C. Huneke and N. V. Trung . Reduction numbers, Brianon-Skoda theo- rems and the depth of Rees rings. Compositio Math . 97 (1995), 403–434

    work page 1995

  2. [2]

    Bayer, H

    D. Bayer, H. Charalambous and S. Popescu . Extremal Betti numbers and applications to monomial ideals. J. Algebra 221 (1999), 497–512

    work page 1999

  3. [3]

    Bayer and D

    D. Bayer and D. Mumford . What can be computed in algebraic geometry?. In: D. Eisenbud and L. Robbiano (eds.), Computational algebraic geometry and commutative algebra , Proceed- ings, Cortona 1991, Cambridge University Press, 1993, 1–48

    work page 1991

  4. [4]

    Bayer and M

    D. Bayer and M. Stillman . A criterion for detecting m-regularity. Invent. Math. 87 (1987), 1–11. 22

    work page 1987

  5. [5]

    Bayer and M

    D. Bayer and M. Stillman . A theorem on refining division orders by the reverse lexico- graphic order. Duke Math. J. 55 (1987), 321–328

    work page 1987

  6. [6]

    I.Bermejo and P. Gimenez . On the Castelnuovo-Mumford regularity of projective curves. Proc. Amer. Math. Soc. 128 (2000), 1293–1299

    work page 2000

  7. [7]

    Brodmann and R

    M. Brodmann and R. Y. Sharp . Local cohomology: an algebraic introduction with geometri c applications. Cambridge University Press, 1998

    work page 1998

  8. [8]

    Eisenbud

    D. Eisenbud. Commutative algebra with a viewpoint toward algebraic geom etry. Springer, 1994

    work page 1994

  9. [9]

    Eisenbud and S

    D. Eisenbud and S. Goto . Linear free resolutions and minimal multiplicities, J. Algebra 88 (1984), 89–133

    work page 1984

  10. [10]

    A. Galligo . Th´ eor` eme de division et stabilit´ e en g´ eometrie analytique locale. Ann. Inst. Fourier 29 (1979), 107–184

    work page 1979

  11. [11]

    E. Hyry. The diagonal subring and the Cohen-Macaulay property of a multig raded ring. Trans. Amer. Math. Soc. 351 (1999), 2213–2232

    work page 1999

  12. [12]

    S. Kleiman . Th´ eorie des intersections et th´ eor` eme de Riemann-Roch. In:SGA 6, Lect. Notes in Math. 225, Springer, 1971

    work page 1971

  13. [13]

    C. H. Linh . Upper bound for the Castelnuovo-Mumford regularity of associa ted graded mod- ules. Comm. Algebra 33 (2005), no. 6, 1817–1831

    work page 2005

  14. [14]

    D. Mumford . Lectures on curves on an algebraic surface . Princeton University Press, New Jersey, 1966

    work page 1966

  15. [15]

    A. Ooishi . Castelnuovo’s regularity of graded rings and modules, Hiroshima Math. J. 12 (1982), 627–644

    work page 1982

  16. [16]

    M. E. Rossi, N. V. Trung and G. V alla . Castelnuovo-Mumford regularity and extended degree. Trans. Amer. Math. Soc. 355 (2003), 1773-1786

    work page 2003

  17. [17]

    M. E. Rossi, N. V. Trung and G. V alla . Castelnuovo-Mumford regularity and finite- ness of Hilbert functions. In: Commutative algebra: geometric, homological, combinator ial and computational aspects, Lect. Notes in Pure and Appl. Math. 244, CRC Press, 2005

    work page 2005

  18. [18]

    R. Sharp . Bass numbers in the graded case, a-invariant formula, and an analogue of Falting’s annihilator theorem. J. Algebra 222 (1999), 246–270

    work page 1999

  19. [19]

    N. V. Trung . Reduction exponent and degree bounds for the defining equation s of a graded ring. Proc. Amer. Math. Soc. 102 (1987), 229–236

    work page 1987

  20. [20]

    N. V. Trung . Reduction number, a-invariant and Rees algebras of ideals having small analytic deviation. In: Commutative algebra (Trieste, 1992), 245–262, World Sci. Publishing, NJ, 1994

    work page 1992

  21. [21]

    N. V. Trung . The Castelnuovo regularity of the Rees algebra and the associate d graded ring. Trans. Amer. Math. Soc. 350 (1998), 2813–2832

    work page 1998

  22. [22]

    N. V. Trung . The largest non-vanishing degree of graded local cohomology mod ules, J. Algebra 215 (1999), 481–499

    work page 1999

  23. [23]

    N. V. Trung . Castelnuovo-Mumford regularity and analytic deviation of ideals, J. London Math. Soc. 62 (2) (2000), 41–55

    work page 2000

  24. [24]

    N. V. Trung . Gr¨ obner bases, local cohomology and reduction number. Proc. Amer. Math. Soc. 129 (1) (2001), 9–18

    work page 2001

  25. [25]

    N. V. Trung . Evaluations of the initial ideal and Castelnuovo-Mumford regularit y. Proc. Amer. Math. Soc. 130 (5) (2002), 1265–1274

    work page 2002

  26. [26]

    V asconcelos

    W. V asconcelos. Cohomological degrees of graded modules . In: Six lectures on commutative algebra, Progress in Mathematics 166, Birkh¨ auser, Boston, 1998, 345-392. Institute of Mathematics, Vien Toan Hoc, 18 Hoang Quoc Viet, 10307 Hanoi, Viet- nam E-mail address : nvtrung@math.ac.vn 23

    work page 1998