When is the strict closure of rings finitely generated?

Ryotaro Isobe

arxiv: 2606.09016 · v1 · pith:JHINRZPLnew · submitted 2026-06-08 · 🧮 math.AC

When is the strict closure of rings finitely generated?

Ryotaro Isobe This is my paper

Pith reviewed 2026-06-27 14:22 UTC · model grok-4.3

classification 🧮 math.AC

keywords strict closurefinitely generated moduleNoetherian local ringexcellent ringcommutative algebrafinite generation

0 comments

The pith

A sufficient condition ensures the strict closure of a Noetherian local ring is finitely generated as an R-module.

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

The paper seeks to determine when the strict closure of a ring is finitely generated as a module over the ring. It focuses on Noetherian local rings and supplies a sufficient condition for this property to hold. The result is then applied to characterize finite generation in the case of excellent rings. Readers interested in ring theory would care because finite generation of closures relates to the ring's behavior under operations like completion, affecting the study of algebraic properties in any dimension.

Core claim

For a Noetherian local ring (R, m), a sufficient condition is provided under which the strict closure R* is finitely generated as an R-module. This is used to characterize the finite generation of the strict closure over excellent rings.

What carries the argument

The strict closure R* of the ring R, analyzed for finite generation as an R-module under a sufficient condition in the Noetherian local setting.

If this is right

The strict closure R* is finitely generated as an R-module when the sufficient condition is satisfied for Noetherian local rings.
This allows a characterization of when the strict closure is finitely generated for excellent rings.
The result applies in arbitrary dimension.

Where Pith is reading between the lines

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

The sufficient condition could be tested on specific classes of rings like regular local rings to see if it holds.
Similar conditions might exist for other types of ring closures beyond the strict closure.
Finite generation may have implications for the module structure in the completion of the ring.

Load-bearing premise

That the ring is Noetherian and local, with the strict closure defined in the standard way from the literature.

What would settle it

Constructing or identifying a Noetherian local ring that meets the sufficient condition but has a strict closure that is not finitely generated as an R-module.

read the original abstract

This paper investigates the finite generation of the strict closure of rings in arbitrary dimension. For a Noetherian local ring $(R, \mathfrak{m})$, we provide a sufficient condition under which the strict closure $R^*$ is finitely generated as an $R$-module. Using this result, we characterize the finite generation of the strict closure over excellent rings.

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 gives a sufficient condition for finite generation of strict closures in Noetherian local rings and characterizes it over excellent rings.

read the letter

The main point of this paper is a sufficient condition that guarantees the strict closure of a Noetherian local ring is finitely generated as a module, followed by a characterization of when this holds for excellent rings.

The work is new in that it targets arbitrary dimension, which is a step beyond many earlier results that stayed in low dimensions or required additional hypotheses like regularity. The paper does a good job laying out the condition for the local case and then showing how it specializes to give the characterization when the ring is excellent. The structure is straightforward and avoids unnecessary complications. The logical flow from the general local case to the excellent rings case holds up without obvious gaps.

On the soft spots, the usefulness will depend on how readily the sufficient condition can be checked in concrete examples. If the condition turns out to require deep knowledge of the ring or additional computations, it may see limited application. Otherwise the result looks solid.

Overall, this is aimed at commutative algebra researchers who study module-finite properties and closure operations in Noetherian rings. Someone already familiar with excellent rings and related finiteness questions would get value from seeing the condition and the characterization. It is not revolutionary, but it fills a specific gap in the literature on strict closures.

I would recommend sending it to peer review. The claim is concrete enough that referees can check the proofs and assess the applicability of the condition.

Referee Report

0 major / 1 minor

Summary. The paper investigates the finite generation of the strict closure of rings in arbitrary dimension. For a Noetherian local ring (R, m), it provides a sufficient condition under which the strict closure R* is finitely generated as an R-module. Using this result, it characterizes the finite generation of the strict closure over excellent rings.

Significance. If the sufficient condition is non-vacuous and the characterization for excellent rings holds without hidden circularity, the work would add a concrete criterion to the literature on strict closures (a notion related to tight closure and integral closure variants). This could be useful for studying module-finiteness questions in local algebra, especially when excellence is assumed to control singularities or completion behavior.

minor comments (1)

[Abstract] Abstract does not state the sufficient condition explicitly; including even a brief description of the hypothesis would allow readers to gauge novelty and applicability immediately.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript. The report lists no major comments under the MAJOR COMMENTS section, so we have no specific referee comments to address point by point. We are prepared to discuss any additional questions the referee may have regarding non-vacuity of the sufficient condition or the characterization over excellent rings.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper states a sufficient condition for finite generation of the strict closure R* as an R-module when R is Noetherian local, then specializes the result to characterize the property over excellent rings. No equations, self-definitional constructions, fitted parameters renamed as predictions, or load-bearing self-citations appear in the provided abstract or logical structure. The derivation consists of an implication followed by specialization on a standard definition of strict closure, remaining self-contained against external algebraic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the ledger is therefore empty.

pith-pipeline@v0.9.1-grok · 5564 in / 1028 out tokens · 13497 ms · 2026-06-27T14:22:31.158105+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

11 extracted references · 1 canonical work pages

[1]

Celikbas, O

E. Celikbas, O. Celikbas, C. Ciuperc a , N. Endo, S. Goto, R. Isobe, N. Matsuoka , On the ubiquity of Arf rings, J. Comm. Alg. , 15 (2023), no.2, 177--231

2023
[2]

Dao , Reflexive modules, self-dual modules and Arf rings, (2021), arXiv:2105.12240

H. Dao , Reflexive modules, self-dual modules and Arf rings, (2021), arXiv:2105.12240

work page arXiv 2021
[3]

Endo and S

N. Endo and S. Goto , Construction of strictly closed rings, Proc. Amer. Math. Soc., 150 (2022), no. 1, 119--129

2022
[4]

N. Endo, S. Goto, and R. Isobe , Topics on strict closure of rings, Research in the Mathematical Sciences, Developments in Commutative Algebra: In honor of J\" u rgen Herzog on the occasion of his 80th birthday 8 (4) (2021), Article 55

2021
[5]

Isobe , Decomposition of integrally closed ideals in Arf rings, J

R. Isobe , Decomposition of integrally closed ideals in Arf rings, J. Comm. Alg. , 15 (2023), no. 3, 335--344

2023
[6]

Isobe , Construction and finite generation of the strict closure of rings, J

R. Isobe , Construction and finite generation of the strict closure of rings, J. Pure Appl. Algebra , 228 (2024), Issue 9, 107663

2024
[7]

Isobe and S

R. Isobe and S. Kumashiro , Reflexive modules over Arf local rings, Taiwanese J. Math. , 28 (5) (2024), 865--875

2024
[8]

C. Lech , A method for constructing bad Noetherian local rings , Algebra, Algebraic Topology and Their Interactions, Lecture Notes in Mathematics, 1183 (1986), 241--247, Springer, Berlin, Heidelberg

1986
[9]

Lipman , Stable ideals and Arf rings, Amer

J. Lipman , Stable ideals and Arf rings, Amer. J. Math. , 93 (1971), 649--685

1971
[10]

Matsumura , Commutative algebra , 2nd ed., Benjamin/Cummings, 1980

H. Matsumura , Commutative algebra , 2nd ed., Benjamin/Cummings, 1980

1980
[11]

Swanson and C

I. Swanson and C. Huneke , Integral Closure of Ideals, Rings and Modules , Cambridge University Press, 2006

2006

[1] [1]

Celikbas, O

E. Celikbas, O. Celikbas, C. Ciuperc a , N. Endo, S. Goto, R. Isobe, N. Matsuoka , On the ubiquity of Arf rings, J. Comm. Alg. , 15 (2023), no.2, 177--231

2023

[2] [2]

Dao , Reflexive modules, self-dual modules and Arf rings, (2021), arXiv:2105.12240

H. Dao , Reflexive modules, self-dual modules and Arf rings, (2021), arXiv:2105.12240

work page arXiv 2021

[3] [3]

Endo and S

N. Endo and S. Goto , Construction of strictly closed rings, Proc. Amer. Math. Soc., 150 (2022), no. 1, 119--129

2022

[4] [4]

N. Endo, S. Goto, and R. Isobe , Topics on strict closure of rings, Research in the Mathematical Sciences, Developments in Commutative Algebra: In honor of J\" u rgen Herzog on the occasion of his 80th birthday 8 (4) (2021), Article 55

2021

[5] [5]

Isobe , Decomposition of integrally closed ideals in Arf rings, J

R. Isobe , Decomposition of integrally closed ideals in Arf rings, J. Comm. Alg. , 15 (2023), no. 3, 335--344

2023

[6] [6]

Isobe , Construction and finite generation of the strict closure of rings, J

R. Isobe , Construction and finite generation of the strict closure of rings, J. Pure Appl. Algebra , 228 (2024), Issue 9, 107663

2024

[7] [7]

Isobe and S

R. Isobe and S. Kumashiro , Reflexive modules over Arf local rings, Taiwanese J. Math. , 28 (5) (2024), 865--875

2024

[8] [8]

C. Lech , A method for constructing bad Noetherian local rings , Algebra, Algebraic Topology and Their Interactions, Lecture Notes in Mathematics, 1183 (1986), 241--247, Springer, Berlin, Heidelberg

1986

[9] [9]

Lipman , Stable ideals and Arf rings, Amer

J. Lipman , Stable ideals and Arf rings, Amer. J. Math. , 93 (1971), 649--685

1971

[10] [10]

Matsumura , Commutative algebra , 2nd ed., Benjamin/Cummings, 1980

H. Matsumura , Commutative algebra , 2nd ed., Benjamin/Cummings, 1980

1980

[11] [11]

Swanson and C

I. Swanson and C. Huneke , Integral Closure of Ideals, Rings and Modules , Cambridge University Press, 2006

2006