pith. sign in

arxiv: 2405.20647 · v2 · submitted 2024-05-31 · 🧮 math.AC

On unmixed and equi-dimensional associated graded rings

Tony J. Puthenpurakal , Samarendra Sahoo This is my paper

Pith reviewed 2026-05-24 01:00 UTC · model grok-4.3

classification 🧮 math.AC
keywords associated graded ringunmixedequidimensionalintegral closuretight closureHilbert coefficientsm-primary idealNoetherian local ring
0
0 comments X

The pith

If the associated graded ring G_I(A) is unmixed and equidimensional then the length function counting excess in the integral closure filtration is either a polynomial of degree d-1 or the filtrations agree for all n.

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

The paper studies filtrations by integral closures and tight closures of a regular m-primary ideal I in an analytically unramified Noetherian local ring A of dimension d. Under the hypothesis that the associated graded ring G_I(A) is unmixed and equidimensional, it proves that the function n maps to the length of the quotient of the nth integral closure power by the nth ordinary power is either a polynomial of degree d-1 or identically zero because the two ideals coincide for every n. An exactly parallel statement is shown for the tight closure filtration when the ring has positive characteristic. The same hypothesis also yields explicit bounds on the first Hilbert coefficients of both filtrations when A is generalized Cohen-Macaulay and I is generated by a standard system of parameters.

Core claim

Let (A, m) be an analytically unramified Noetherian local ring of dimension d ≥ 1 and I a regular m-primary ideal. Assume the associated graded ring G_I(A) is unmixed and equidimensional. Then either the function P_I-bar(n) = λ(I-bar^n / I^n) is a polynomial of degree d-1 or I-bar^n = I^n for all n ≥ 1. An analogous dichotomy holds for the tight closure filtration when A has positive characteristic p. When A is generalized Cohen-Macaulay and I is generated by a standard system of parameters, bounds are given for the first Hilbert coefficients of both filtrations.

What carries the argument

The unmixed and equidimensional property of the associated graded ring G_I(A), which produces the polynomial-or-equality alternative for the length function of the integral closure filtration.

If this is right

  • Under the unmixed equidimensional hypothesis the length function of the integral closure filtration satisfies the stated polynomial-or-equality dichotomy.
  • The same dichotomy holds for the tight closure filtration in positive characteristic.
  • When A is generalized Cohen-Macaulay and I is generated by a standard system of parameters, the first Hilbert coefficients of both filtrations admit explicit bounds.

Where Pith is reading between the lines

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

  • The unmixed equidimensional condition may simplify explicit computation of the Hilbert polynomial of the integral closure filtration in concrete examples.
  • Rings whose associated graded rings fail to be unmixed could exhibit length functions that lie outside the polynomial-or-equality class.
  • Similar dichotomies might be investigated for other closure operations once an analogous unmixedness hypothesis is imposed on the graded ring.

Load-bearing premise

The associated graded ring G_I(A) is unmixed and equidimensional.

What would settle it

An explicit example of an analytically unramified local ring A of dimension d, regular m-primary ideal I, with G_I(A) unmixed and equidimensional, yet the function n ↦ λ(I-bar^n / I^n) neither a polynomial of degree d-1 nor zero for all large n.

read the original abstract

Let $(A,\mathfrak{m})$ be an analytically un-ramified Noetherian local ring of dimension $d \geq 1$, $I$ a regular $\mathfrak{m}$-primary ideal of $A$ and let $\overline{I}$ be integral closure ideal of $I$. If $A$ is of characteristic $p > 0$ then let $I^*$ denote the tight closure of $I$. Let $G_I(A)=\bigoplus_{n\geq 0}I^n/I^{n+1}$ be the associated graded ring of $A$ with respect to $I$. Assume $G_I(A)$ is unmixed and equi-dimensional. We show that either the function $P_{\overline{I}} :\,n\mapsto \lambda(\overline{I^n}/I^n)$ is a polynomial type of degree $d-1$ or $\overline{I^n}=I^n$ for all $n\geq 1.$ We prove an analogus result for the tight closure filtration if $A$ is of characteristic $p > 0$. When $A$ is generalized Cohen-Macaulay and $I$ is generated by standard system of parameters we give bounds for the first Hilbert coefficients of the integral closure filtration of $I$ and the tight closure filtration of $I$.

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

Summary. The manuscript proves a dichotomy for the length function associated to the integral closure filtration of a regular m-primary ideal I in an analytically unramified Noetherian local ring (A, m) of dimension d ≥ 1: assuming the associated graded ring G_I(A) is unmixed and equidimensional, either n ↦ λ(Ī^n / I^n) is given by a polynomial of degree d-1, or Ī^n = I^n for all n ≥ 1. An analogous statement is established for the tight closure filtration when char(A) = p > 0. When A is generalized Cohen-Macaulay and I is generated by a standard system of parameters, the paper also supplies bounds on the first Hilbert coefficients of these filtrations.

Significance. If the central claims hold, the results give a clean conditional dichotomy for the deviation between an ideal and its integral closure (or tight closure) measured in the associated graded setting. The unmixed equidimensional hypothesis on G_I(A) is used to control the support and thereby force the length function to be either polynomial or identically zero after the first step. The additional bounds in the generalized Cohen-Macaulay case provide concrete numerical control that may be useful for explicit computations.

minor comments (4)
  1. [Abstract] Abstract, line 3: 'analytically un-ramified' should be written 'analytically unramified' (standard spelling).
  2. [Abstract] Abstract, line 5: 'equi-dimensional' should be 'equidimensional'.
  3. [Abstract] Abstract, line 7: 'polynomial type of degree d-1' is nonstandard phrasing; replace with 'a polynomial of degree d-1' (or clarify the precise meaning if 'type' is intentional).
  4. [Abstract] Abstract, line 8: 'analogus' is a typo for 'analogous'.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, the assessment of its significance, and the recommendation for minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The central claim is an explicit implication conditioned on the non-generic hypothesis that G_I(A) is unmixed and equidimensional. No step in the stated result reduces a prediction to a fitted input, renames a known pattern, or relies on a load-bearing self-citation whose content is unverified outside the paper. The derivation chain is therefore self-contained against external benchmarks of Noetherian ring theory and integral closure.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The paper rests on the domain assumptions that A is analytically unramified Noetherian local of dimension d ≥ 1 with I regular m-primary, and that G_I(A) is unmixed and equidimensional. No free parameters or invented entities are visible in the abstract.

axioms (3)
  • domain assumption A is an analytically un-ramified Noetherian local ring of dimension d ≥ 1
    Explicitly stated as the ambient setting for all results.
  • domain assumption G_I(A) is unmixed and equidimensional
    The load-bearing hypothesis that triggers the polynomial-or-equality conclusion.
  • domain assumption I is a regular m-primary ideal
    Required for the associated graded ring and the filtrations to be well-behaved.

pith-pipeline@v0.9.0 · 5764 in / 1478 out tokens · 32715 ms · 2026-05-24T01:00:19.545994+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

20 extracted references · 20 canonical work pages

  1. [1]

    Brodmann,Asymptotic stability ofAss(M/I nM),Proc

    M. Brodmann,Asymptotic stability ofAss(M/I nM),Proc. Amer. Math. Soc.74(1979), no. 1, 16–18. MR 521865

    work page 1979

  2. [2]

    39, Cambridge University Press, Cambridge, 1993

    Winfried Bruns and J¨ urgen Herzog,Cohen-Macaulay rings,Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR 1251956

    work page 1993

  3. [3]

    R. C. Cowsik and M. V. Nori,On the fibres of blowing up,J. Indian Math. Soc. (N.S.)40(1976), no. 1-4, 217–222. MR 572990

    work page 1976

  4. [4]

    Steven Dale Cutkosky, J¨ urgen Herzog, and Hema Srinivasan,Asymptotic growth of algebras associated to powers of ideals,Math. Proc. Cambridge Philos. Soc.148(2010), no. 1, 55–72. MR 2575372

    work page 2010

  5. [5]

    Saipriya Dubey, Pham Hung Quy, and Jugal Verma,Tight Hilbert polynomial and F-rational local rings, Res. Math. Sci.10(2023), no. 1, Paper No. 8, 14. MR 4540882

    work page 2023

  6. [6]

    Grayson, Michael Stillman, and Bernd Sturmfels (eds.),Computations in algebraic geometry with Macaulay2,Algorithms and Computation in Mathematics, vol

    David Eisenbud, Daniel R. Grayson, Michael Stillman, and Bernd Sturmfels (eds.),Computations in algebraic geometry with Macaulay2,Algorithms and Computation in Mathematics, vol. 8, Springer-Verlag, Berlin, 2002. MR 1949544

    work page 2002

  7. [7]

    Algebra108(1987), no

    Shiro Goto,Integral closedness of complete-intersection ideals,J. Algebra108(1987), no. 1, 151–160. MR 887198

    work page 1987

  8. [8]

    Math., vol

    William Heinzer, Bernard Johnston, David Lantz, and Kishor Shah,The Ratliff-Rush ideals in a Noetherian ring: a survey,Methods in module theory (Colorado Springs, CO, 1991), Lecture Notes in Pure and Appl. Math., vol. 140, Dekker, New York, 1993, pp. 149–159. MR 1203805

    work page 1991

  9. [9]

    8, Cambridge University Press, Cambridge, 1989, Translated from the Japanese by M

    Hideyuki Matsumura,Commutative ring theory,second ed., Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1989, Translated from the Japanese by M. Reid. MR 1011461

    work page 1989

  10. [10]

    Mousumi Mandal, Shreedevi Masuti, and J. K. Verma,Normal Hilbert polynomials: a survey,Commutative algebra and algebraic geometry (CAAG-2010), Ramanujan Math. Soc. Lect. Notes Ser., vol. 17, Ramanujan Math. Soc., Mysore, 2013, pp. 139–166. MR 3155958

    work page 2010

  11. [11]

    Moral´ es, N

    M. Moral´ es, N. V. Trung, and O. Villamayor,Sur la fonction de Hilbert-Samuel des clˆ otures int´ egrales des puissances d’id´ eaux engendr´ es par un syst´ eme de param´ etres, J. Algebra129(1990), no. 1, 96–102. MR 1037394

    work page 1990

  12. [12]

    Pure Appl

    Reza Naghipour,Ratliff-Rush closures of ideals with respect to a Noetherian module,J. Pure Appl. Algebra 195(2005), no. 2, 167–172. MR 2108469

    work page 2005

  13. [13]

    Puthenpurakal,Hilbert-coefficients of a Cohen-Macaulay module, J

    Tony J. Puthenpurakal,Hilbert-coefficients of a Cohen-Macaulay module, J. Algebra264(2003), no. 1, 82–97. MR 1980687

    work page 2003

  14. [14]

    Puthenpurakal,Ratliff-Rush filtration, regularity and depth of higher associated graded modules

    Tony J. Puthenpurakal,Ratliff-Rush filtration, regularity and depth of higher associated graded modules. I, J. Pure Appl. Algebra208(2007), no. 1, 159–176. MR 2269837

    work page 2007

  15. [15]

    Puthenpurakal,A sub-functor for Ext and Cohen-Macaulay associated graded modules with bounded multiplicity, Trans

    Tony J. Puthenpurakal,A sub-functor for Ext and Cohen-Macaulay associated graded modules with bounded multiplicity, Trans. Amer. Math. Soc.373(2020), no. 4, 2567–2589. MR 4069228

    work page 2020

  16. [16]

    Puthenpurakal and Fahed Zulfeqarr,Ratliff-Rush filtrations associated with ideals and modules over a Noetherian ring,J

    Tony J. Puthenpurakal and Fahed Zulfeqarr,Ratliff-Rush filtrations associated with ideals and modules over a Noetherian ring,J. Algebra311(2007), no. 2, 551–583. MR 2314724

    work page 2007

  17. [17]

    Rees,A note on analytically unramified local rings,J

    D. Rees,A note on analytically unramified local rings,J. London Math. Soc.36(1961), 24–28. MR 126465

    work page 1961

  18. [18]

    Kishor Shah,Coefficient ideals,Trans. Amer. Math. Soc.327(1991), no. 1, 373–384. MR 1013338

    work page 1991

  19. [19]

    J.102(1986), 1–49

    Ngˆ o Viˆ et Trung,Toward a theory of generalized Cohen-Macaulay modules,Nagoya Math. J.102(1986), 1–49. MR 846128

    work page 1986

  20. [20]

    Villarreal,Monomial algebras,second ed., Monographs and Research Notes in Mathematics, CRC Press, Boca Raton, FL, 2015

    Rafael H. Villarreal,Monomial algebras,second ed., Monographs and Research Notes in Mathematics, CRC Press, Boca Raton, FL, 2015. MR 3362802 Email address:tputhen@math.iitb.ac.in Email address:samarendra.s.math@gmail.com 15 Department of Mathematics, IIT Bombay, Powai, Mumbai 400 076, India 16

    work page 2015