A counterexample to a conjecture of K\"uronya and Pintye on regularity and integral closure

Soumyadeep Misra

arxiv: 2605.13879 · v2 · pith:UZ4M5CRSnew · submitted 2026-05-11 · 🧮 math.AC

A counterexample to a conjecture of K\"uronya and Pintye on regularity and integral closure

Soumyadeep Misra This is my paper

Pith reviewed 2026-06-30 22:45 UTC · model grok-4.3

classification 🧮 math.AC

keywords monomial idealsintegral closureCastelnuovo-Mumford regularitycounterexampleequigenerated ideals

0 comments

The pith

There exists an equigenerated monomial ideal generated in degree 4 with regularity 4 whose integral closure has regularity 5.

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

The paper constructs a monomial ideal to serve as a counterexample to a conjecture linking regularity and integral closure. It finds a monomial ideal I in K[x,y,z,w] that is equigenerated in degree 4 and has regularity equal to its generation degree. However, the integral closure of I has a minimal generator in degree 5 and regularity 5. This shows that regularity can strictly increase when taking the integral closure of an ideal.

Core claim

We exhibit an equigenerated monomial ideal I ⊆ K[x,y,z,w] with reg(overline{I}) > reg(I). The ideal I is generated in degree 4 and satisfies reg(I)=4, while its integral closure overline{I} has a minimal generator of degree 5 and satisfies reg(overline{I})=5. This gives a counterexample to the polynomial-ring formulation of the Küronya--Pintye conjecture.

What carries the argument

The equigenerated monomial ideal I in four variables, together with the explicit computation of its integral closure revealing the degree-5 generator.

If this is right

The regularity of an ideal can be strictly smaller than the regularity of its integral closure.
The Küronya-Pintye conjecture does not hold in the polynomial ring setting.
Monomial ideals can introduce higher-degree minimal generators upon taking the integral closure.
Regularity computations require separate treatment of the integral closure in some cases.

Where Pith is reading between the lines

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

Similar counterexamples could be sought in polynomial rings with three variables or in other characteristics.
The example highlights the need for algorithms that compute integral closures alongside regularity invariants.
This separation may connect to questions about when integral closure preserves other ideal invariants.

Load-bearing premise

The constructed ideal is equigenerated in degree 4, has the claimed regularity value of 4, and its integral closure is correctly computed to have a minimal generator of degree 5 with regularity 5.

What would settle it

Direct computation of the minimal generators of the integral closure of the given ideal showing no generator in degree 5, or a regularity value other than 5, would falsify the counterexample.

read the original abstract

We exhibit an equigenerated monomial ideal $I\subseteq K[x,y,z,w]$ with $\operatorname{reg}(\overline{I})>\operatorname{reg}(I)$. The ideal $I$ is generated in degree 4 and satisfies $\operatorname{reg}(I)=4$, while its integral closure $\overline{I}$ has a minimal generator of degree 5 and satisfies $\operatorname{reg}(\overline{I})=5$. This gives a counterexample to the polynomial-ring formulation of the K\"uronya--Pintye conjecture.

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

This paper supplies an explicit monomial ideal in four variables that serves as a counterexample to the polynomial-ring form of the Küronya-Pintye conjecture.

read the letter

The main point is that the paper exhibits a specific equigenerated monomial ideal I in K[x,y,z,w] generated in degree 4 with reg(I)=4, while the integral closure has a minimal generator in degree 5 and reg(overline{I})=5. This directly counters the expected inequality in the conjecture.

The contribution is the concrete construction itself. The authors list generators for I, determine the integral closure via the convex hull of exponent vectors, and compute the regularities from the minimal free resolutions. This approach is standard for monomial ideals and gives readers something they can in principle verify.

The calculations rest on algorithmic steps that are finite and checkable, with no free parameters or circular reasoning. If the listed generators and the resulting Betti shifts are correct, the counterexample holds.

The main soft spot is the need for independent confirmation of the integral closure generators and the exact regularity values. These steps can be done by hand or with software, but a misstep in identifying a degree-5 element or a maximal shift would remove the counterexample. The paper should present the generators and key resolution data clearly enough for checking.

This is aimed at commutative algebraists working on regularity, integral closure, and related conjectures. Readers who follow the Küronya-Pintye work or compute these invariants will get direct value from the example. It deserves peer review so that referees can validate the numbers and see whether the example suggests further adjustments to the conjecture or related statements.

Referee Report

1 major / 1 minor

Summary. The manuscript exhibits an explicit equigenerated monomial ideal I ⊆ K[x,y,z,w] generated in degree 4 with reg(I)=4. It asserts that the integral closure ̅{I} possesses a minimal generator in degree 5 and satisfies reg(̅{I})=5, thereby furnishing a counterexample to the polynomial-ring formulation of the Küronya-Pintye conjecture.

Significance. If the explicit construction and the accompanying integral-closure and regularity computations are correct, the result is significant: it supplies a concrete, falsifying instance of the conjectured inequality reg(̅{I}) ≤ reg(I) for equigenerated ideals in polynomial rings. The paper thereby isolates a case where passage to the integral closure strictly increases both the minimal generator degree and the Castelnuovo-Mumford regularity.

major comments (1)

[§3] §3 (construction of I): the central claim rests on the precise determination of the minimal generators of ̅{I} and the maximal degree shifts in its minimal free resolution. The manuscript must supply either the full list of monomial generators of ̅{I} (or an explicit convex-hull description of its exponent vectors) together with the Betti table or Macaulay2/Magma code that computes reg(I) and reg(̅{I}), so that the degree-5 generator and the regularity values can be independently verified.

minor comments (1)

[Introduction] Notation: the symbol ̅{I} is used for the integral closure without an explicit reminder that it denotes the integral closure in the polynomial ring (as opposed to the Rees algebra). A single clarifying sentence in the introduction would remove any ambiguity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive suggestion regarding verifiability. We address the single major comment below.

read point-by-point responses

Referee: [§3] §3 (construction of I): the central claim rests on the precise determination of the minimal generators of ̅{I} and the maximal degree shifts in its minimal free resolution. The manuscript must supply either the full list of monomial generators of ̅{I} (or an explicit convex-hull description of its exponent vectors) together with the Betti table or Macaulay2/Magma code that computes reg(I) and reg(̅{I}), so that the degree-5 generator and the regularity values can be independently verified.

Authors: We agree that an explicit verification aid will make the counterexample easier to check independently. In the revised manuscript we will append the complete list of minimal monomial generators of the integral closure ̅{I} (obtained via the convex-hull description of the exponent vectors) together with a short Macaulay2 script that recomputes both reg(I) and reg(̅{I}). This addition directly addresses the request without altering the main argument or the explicit ideal I already presented in §3. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit counterexample via direct construction

full rationale

The paper presents an explicit monomial ideal I in four variables, generated in degree 4, and asserts reg(I)=4 while reg(overline{I})=5 with a degree-5 minimal generator in the integral closure. This is a concrete counterexample construction whose validity rests on verification of the generators and Castelnuovo-Mumford regularity for that specific ideal, not on any derivation, fitted parameter, self-citation chain, or ansatz that reduces to its own inputs. No load-bearing step equates a claimed prediction to a fitted quantity or imports uniqueness from prior self-work; the result is self-contained as a direct computational or algebraic check against the conjecture.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are described.

pith-pipeline@v0.9.1-grok · 5611 in / 1091 out tokens · 27273 ms · 2026-06-30T22:45:56.845549+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Forward citations

Cited by 1 Pith paper

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

On the Regularity of Dominant and Almost Complete Intersection Monomial Ideals
math.AC 2026-06 unverdicted novelty 5.0

Explicit formula for regularity of almost complete intersection monomial ideals and proof that integral closure regularity is bounded by the original for dominant and almost complete intersection cases.

Reference graph

Works this paper leans on

5 extracted references · 2 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

Y . Cui, C. Gong, and G. Zhu,The regularity of monomial ideals and their integral closures, arXiv:2509.15119

work page arXiv
[2]

Herzog and T

J. Herzog and T. Hibi,Monomial Ideals, Graduate Texts in Mathematics, vol. 260, Springer, London, 2011

2011
[3]

Huneke and I

C. Huneke and I. Swanson,Integral Closure of Ideals, Rings, and Modules, London Mathematical Society Lecture Note Series, vol. 336, Cambridge University Press, Cambridge, 2006

2006
[4]

Javadekar,A comparison of the regularity of certain classes of monomial ideals and their integral closures, Archiv der Mathematik126(2026), 351–363

O. Javadekar,A comparison of the regularity of certain classes of monomial ideals and their integral closures, Archiv der Mathematik126(2026), 351–363

2026
[5]

Castelnuovo--Mumford Regularity and Log-canonical Thresholds

A. Küronya and N. Pintye,Castelnuovo–Mumford regularity and log-canonical thresholds, arXiv:1312.7778. DEPARTMENT OFMATHEMATICS, UNIVERSITY OFKANSAS, LAWRENCE, KS, USA Email address:soumyadeep@ku.edu

work page internal anchor Pith review Pith/arXiv arXiv

[1] [1]

Y . Cui, C. Gong, and G. Zhu,The regularity of monomial ideals and their integral closures, arXiv:2509.15119

work page arXiv

[2] [2]

Herzog and T

J. Herzog and T. Hibi,Monomial Ideals, Graduate Texts in Mathematics, vol. 260, Springer, London, 2011

2011

[3] [3]

Huneke and I

C. Huneke and I. Swanson,Integral Closure of Ideals, Rings, and Modules, London Mathematical Society Lecture Note Series, vol. 336, Cambridge University Press, Cambridge, 2006

2006

[4] [4]

Javadekar,A comparison of the regularity of certain classes of monomial ideals and their integral closures, Archiv der Mathematik126(2026), 351–363

O. Javadekar,A comparison of the regularity of certain classes of monomial ideals and their integral closures, Archiv der Mathematik126(2026), 351–363

2026

[5] [5]

Castelnuovo--Mumford Regularity and Log-canonical Thresholds

A. Küronya and N. Pintye,Castelnuovo–Mumford regularity and log-canonical thresholds, arXiv:1312.7778. DEPARTMENT OFMATHEMATICS, UNIVERSITY OFKANSAS, LAWRENCE, KS, USA Email address:soumyadeep@ku.edu

work page internal anchor Pith review Pith/arXiv arXiv