arxiv: 2605.00463 · v1 · submitted 2026-05-01 · 🧮 math.AC · math.CO· math.RA

Recognition: unknown

On Krull's Dimension Theorem for Certain Graded Rings and Its Applications

Rirai Ikeda

Pith reviewed 2026-05-09 15:19 UTC · model grok-4.3

classification 🧮 math.AC math.COmath.RA

keywords Hilbert-Serre ringsKrull dimensionGelfand-Kirillov dimensionPoincaré seriesgraded ringsinitial algebrasdimension inequalitiesmonomial algebras

0 comments

The pith

Hilbert-Serre rings satisfy dim(R) ≤ GKdim_k(R) ≤ d(R), generalizing Krull and Smoke theorems.

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

This paper defines Hilbert-Serre rings to extend classical dimension results to certain non-Noetherian graded rings. It establishes that the Krull dimension is at most the Gelfand-Kirillov dimension, which is itself at most the pole order of the Poincaré series at t=1. A sympathetic reader cares because the bounds replace direct ring computations with series analysis in settings where Noetherian assumptions fail. The paper further proves equality of these quantities plus transcendence degree for monomial initial algebras and supplies examples of strict inequality even in integral domains.

Core claim

The central claim is that every Hilbert-Serre ring R obeys the chain of inequalities dim(R) ≤ GKdim_k(R) ≤ d(R), where d(R) is the order of the pole of the Poincaré series at t=1. This generalizes both Krull's dimension theorem and Smoke's dimension theorem. For initial algebras the paper shows that dim(R), GKdim_k(R), d(R) and the transcendence degree of the fraction field all coincide when the algebra is monomial. Explicit constructions demonstrate that the inequalities can be strict even when R is an integral domain.

What carries the argument

The class of Hilbert-Serre rings, graded rings whose Poincaré series has a pole of finite order at t=1, which supplies the structure needed to carry over the classical dimension comparisons.

If this is right

For monomial initial algebras every listed dimension equals the transcendence degree.
The inequalities may be strict even when the ring is an integral domain.
Dimension theory extends to a broader collection of non-Noetherian graded rings via their Poincaré series.

Where Pith is reading between the lines

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

The pole order d(R) could serve as a practical upper bound for dimension calculations in any graded ring whose series is known explicitly.
Checking whether other families of graded rings satisfy the Hilbert-Serre pole condition would test the reach of the new inequalities.

Load-bearing premise

The rings must belong to the Hilbert-Serre class so that their Poincaré series has a finite-order pole at t=1 and their graded structure permits the cited generalizations of Krull and Smoke theorems.

What would settle it

An explicit Hilbert-Serre ring for which either the Krull dimension exceeds the Gelfand-Kirillov dimension or the Gelfand-Kirillov dimension exceeds the pole order d(R) would falsify the inequalities.

read the original abstract

This paper explores the dimension theory of non-Noetherian graded rings by introducing the class of Hilbert-Serre rings. We generalize Krull's dimension theorem and Smoke's dimension theorem by establishing the fundamental inequalities $\dim(R) \le \operatorname{GKdim}_k(R) \le d(R)$ for any Hilbert-Serre ring $R$, where $d(R)$ is the pole order of its Poincar\'e series at $t=1$. Furthermore, we apply these results to initial algebras, proving that all these dimensions, including the transcendence degree, coincide for monomial algebras. Finally, we provide explicit examples demonstrating that these inequalities can be strict in general, even for integral domains.

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 introduces Hilbert-Serre rings and claims the inequalities dim(R) ≤ GKdim ≤ d(R) plus equality on monomial algebras, but the left-hand inequality looks vulnerable to the exact concern in the stress-test note.

read the letter

The new content is the definition of Hilbert-Serre rings via the finite pole order of the Poincaré series at t=1, together with the claimed extension of Krull and Smoke to that class and the clean application showing that all three dimensions plus transcendence degree coincide for monomial algebras. The examples of strict inequality even for domains are also useful to see. Those pieces are genuinely beyond the cited classical theorems and give a concrete way to handle some non-Noetherian graded rings. The monomial-algebra result in particular looks like a solid, checkable application that people working with initial ideals or Gröbner bases might actually use. The abstract states the inequalities clearly and the circularity burden is low since the claims are presented as consequences of the series and graded structure rather than fitted parameters. That said, the stress-test point lands: Krull dimension is about prime chains, and the usual proofs that it sits below GK-dimension lean on Noetherian control of localizations and associated primes. If the paper only assumes the pole-order condition plus some vague “graded structure that permits the generalizations,” without explicitly checking that infinite chains cannot appear or that localizations behave, then the left inequality dim(R) ≤ GKdim_k(R) could fail for some graded domains that still have rational Poincaré series. The abstract’s own remark that strict inequality is possible for domains makes this gap load-bearing rather than minor. The paper is aimed at commutative algebraists who care about dimension theory outside the Noetherian setting. A reader who already knows Krull, Smoke, and GK-dimension will get value from the monomial-algebra corollary and the explicit examples, but will need the full proofs to decide whether the new class is broad enough to be interesting or too narrow to avoid the classical hypotheses. It deserves a serious referee because the claims are specific, the application is falsifiable, and the potential gap is localized enough that a careful review can either close it or force a sharper statement of the hypotheses.

Referee Report

2 major / 1 minor

Summary. The paper introduces the class of Hilbert-Serre rings (graded rings whose Poincaré series has a pole of finite order at t=1) and claims to generalize Krull's and Smoke's dimension theorems by proving the inequalities dim(R) ≤ GKdim_k(R) ≤ d(R) for any such ring R, where d(R) denotes the pole order. It further shows that these dimensions (including transcendence degree) coincide for monomial algebras arising as initial algebras, and supplies explicit examples where the inequalities are strict, even when R is an integral domain.

Significance. If the central inequalities hold under the stated definition, the work would supply a concrete extension of classical dimension theory to a subclass of non-Noetherian graded rings, together with a clean application to initial algebras that forces equality. The provision of examples demonstrating strict inequality is a positive feature that helps delineate the distinctions among the three invariants.

major comments (2)

[Definition of Hilbert-Serre rings (abstract and §2)] The definition of Hilbert-Serre rings (stated in the abstract and presumably formalized in §2) consists only of the existence of a finite-order pole in the Poincaré series together with a graded structure that 'permits' the generalizations. This appears insufficient to guarantee dim(R) ≤ GKdim_k(R), because the standard proofs of this inequality rely on Noetherian hypotheses to ensure that chains of prime ideals stabilize and that localizations behave well; the manuscript must either add explicit chain-stabilization or localization axioms or verify that the pole-order condition alone forces them.
[Main theorem on the inequalities] Theorem establishing dim(R) ≤ GKdim_k(R) (presumably the main result after the definition): the argument must be checked for any implicit appeal to associated primes or finite generation that would fail for non-Noetherian graded domains still possessing a rational Poincaré series with finite pole order. The abstract's assertion that strict inequality holds for integral domains makes this verification load-bearing.

minor comments (1)

[Abstract] The abstract refers to 'Hilbert-Serre rings' without giving the precise definition or the exact statement of the generalized Krull and Smoke theorems; a self-contained paragraph in the introduction would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and insightful comments on our manuscript. We address each major comment below with clarifications on the definition and proofs. The pole-order condition in the definition of Hilbert-Serre rings is sufficient to establish the dimension inequalities in this graded setting without Noetherian assumptions.

read point-by-point responses

Referee: [Definition of Hilbert-Serre rings (abstract and §2)] The definition of Hilbert-Serre rings (stated in the abstract and presumably formalized in §2) consists only of the existence of a finite-order pole in the Poincaré series together with a graded structure that 'permits' the generalizations. This appears insufficient to guarantee dim(R) ≤ GKdim_k(R), because the standard proofs of this inequality rely on Noetherian hypotheses to ensure that chains of prime ideals stabilize and that localizations behave well; the manuscript must either add explicit chain-stabilization or localization axioms or verify that the pole-order condition alone forces them.

Authors: The definition of Hilbert-Serre rings is precisely the graded k-algebras for which the Poincaré series has a pole of finite order at t=1. The proof of dim(R) ≤ GKdim_k(R) does not rely on Noetherian hypotheses, chain stabilization, or localization properties. It proceeds by using the pole order to determine the asymptotic growth rate of the Hilbert function, which directly bounds the Gelfand-Kirillov dimension; the Krull dimension is then bounded using the graded prime ideal chains controlled by this growth, without assuming finite generation or associated primes. The pole condition alone provides the necessary control in the graded case, so no additional axioms are introduced or required. revision: no
Referee: [Main theorem on the inequalities] Theorem establishing dim(R) ≤ GKdim_k(R) (presumably the main result after the definition): the argument must be checked for any implicit appeal to associated primes or finite generation that would fail for non-Noetherian graded domains still possessing a rational Poincaré series with finite pole order. The abstract's assertion that strict inequality holds for integral domains makes this verification load-bearing.

Authors: The proof of the main theorem establishing dim(R) ≤ GKdim_k(R) ≤ d(R) makes no use of associated primes or finite generation of modules or ideals. It relies only on the definition via the Poincaré series and the resulting polynomial-like behavior of the Hilbert function to obtain the bounds. The explicit examples of strict inequality, including for integral domains, are constructed as non-Noetherian graded domains with rational Poincaré series of finite pole order, confirming that the inequalities hold in general and can be strict without Noetherian assumptions. revision: no

Circularity Check

0 steps flagged

No circularity: inequalities derived from independent ring and series properties

full rationale

The paper defines the class of Hilbert-Serre rings via the existence of a finite-order pole in the Poincaré series at t=1 together with a graded structure, then states the inequalities dim(R) ≤ GKdim_k(R) ≤ d(R) as consequences of generalized Krull and Smoke theorems applied to this class. No step reduces a claimed prediction or theorem to a fitted parameter, self-definition, or load-bearing self-citation; the derivation chain is self-contained against the stated external theorems and does not rename known results or smuggle ansatzes. The skeptic concern addresses possible gaps in the proof's applicability to non-Noetherian cases, which is a correctness issue rather than circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the definition of Hilbert-Serre rings and standard background results in graded ring theory; no numerical parameters are fitted to data.

axioms (2)

standard math Standard properties of graded rings, Poincaré series, and dimension functions in commutative algebra
The paper invokes established definitions and prior theorems on Krull and Smoke dimensions.
domain assumption Existence of rings whose Poincaré series has a pole of finite order at t=1
The Hilbert-Serre class is defined precisely by this analytic property of the series.

invented entities (1)

Hilbert-Serre rings no independent evidence
purpose: A class of graded rings for which the dimension inequalities hold
Newly introduced class whose independent verification rests on the paper's own definitions and examples.

pith-pipeline@v0.9.0 · 5409 in / 1374 out tokens · 82967 ms · 2026-05-09T15:19:39.790163+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 6 canonical work pages

[1]

Atiyah, M. F. and Macdonald, I. G. , publisher =. Introduction to commutative algebra , year =
[2]

Equivariant completion , volume =

Matijevic, Jacob and Roberts, Paul , journal =. A conjecture of. 1974 , issn =. doi:10.1215/kjm/1250523283 , fjournal =

work page doi:10.1215/kjm/1250523283 1974
[3]

and Watanabe, K

Goto, Shiro and Watanabe, Keiichi , journal =. On graded rings. 1978 , issn =. doi:10.2969/jmsj/03020179 , fjournal =

work page doi:10.2969/jmsj/03020179 1978
[4]

Sagbi bases with applications to blow-up algebras , year =

Conca, Aldo and Herzog, J\"urgen and Valla, Giuseppe , journal =. Sagbi bases with applications to blow-up algebras , year =. doi:10.1515/crll.1996.474.113 , fjournal =

work page doi:10.1515/crll.1996.474.113 1996
[5]

Subalgebra bases , year =

Robbiano, Lorenzo and Sweedler, Moss , booktitle =. Subalgebra bases , year =. doi:10.1007/BFb0085537 , mrclass =

work page doi:10.1007/bfb0085537
[6]

Dimension and multiplicity for graded algebras , year =

Smoke, William , journal =. Dimension and multiplicity for graded algebras , year =. doi:10.1016/0021-8693(72)90014-2 , fjournal =

work page doi:10.1016/0021-8693(72)90014-2
[7]

Commutative

Blumstein, Mark , publisher =. Commutative. 2018 , isbn =

2018
[8]

Nagata, Masayoshi , journal =. On the. 1960/61 , issn =

1960
[9]

Michael Burr and Oliver Clarke and Timothy Duff and Jackson Leaman and Nathan Nichols and Elise Walker , howpublished =
[10]

2024 , volume =

Michael Burr and Oliver Clarke and Timothy Duff and Jackson Leaman and Nathan Nichols and Elise Walker , journal =. 2024 , volume =

2024
[11]

and Gilmer, Robert , journal =

Arnold, Jimmy T. and Gilmer, Robert , journal =. The dimension theory of commutative semigroup rings , year =
[12]

Gelfand, I. M. and Kirillov, A. A. , journal =. Sur les corps li\'es aux alg\`ebres enveloppantes des alg\`ebres de. 1966 , issn =

1966
[13]

2002 , number =

Shigeru Kuroda , journal =. 2002 , number =

2002
[14]

Commutative ring theory , year =

Matsumura, Hideyuki , publisher =. Commutative ring theory , year =
[15]

, journal =

Seidenberg, A. , journal =. On the dimension theory of rings. 1954 , issn =

1954
[16]

Growth of

Krause, G. Growth of. 2000 , address =

2000
[17]

Determinants,

Bruns, Winfried and Conca, Aldo and Raicu, Claudiu and Varbaro, Matteo , publisher =. Determinants,. [2022] 2022 , isbn =. doi:10.1007/978-3-031-05480-8 , mrclass =

work page doi:10.1007/978-3-031-05480-8 2022