The Non-Pure Dual Exchange Property in Low Dimensions

Reza Abdolmaleki; Shinya Kumashiro

arxiv: 2606.06949 · v1 · pith:J3RPXTJ3new · submitted 2026-06-05 · 🧮 math.AC

The Non-Pure Dual Exchange Property in Low Dimensions

Reza Abdolmaleki , Shinya Kumashiro This is my paper

Pith reviewed 2026-06-27 20:30 UTC · model grok-4.3

classification 🧮 math.AC

keywords monomial idealsintegrally closed idealspolymatroidal idealsstrongly stable idealsBorel idealsnon-pure dual exchange property

0 comments

The pith

Every integrally closed monomial ideal in two variables satisfies the non-pure dual exchange property

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

The paper shows that in two variables every integrally closed monomial ideal satisfies the non-pure dual exchange property. This leads to a characterization of polymatroidal ideals in two variables. For strongly stable ideals in three variables, the property only needs to be checked on the Borel generators using simple degree inequalities in the second and third variables. This provides practical criteria for verifying the property in low dimensions.

Core claim

In two variables, every integrally closed monomial ideal satisfies the non-pure dual exchange property; as a consequence, we characterize polymatroidal ideals in two variables. For strongly stable (Borel) ideals in three variables, we establish a practical criterion: it suffices to verify the defining condition only for the Borel generators, and this verification reduces to simple inequalities involving the degrees in the second and third variables.

What carries the argument

The non-pure dual exchange property for monomial ideals, verified for all integrally closed cases in two variables and reduced to Borel generators with degree inequalities in three variables.

If this is right

Polymatroidal ideals in two variables are characterized through the integral closure property.
The check for the non-pure dual exchange property in three-variable strongly stable ideals reduces to inequalities on degrees of generators in the second and third variables.
Verification of the property becomes feasible by focusing on specific generators rather than the entire ideal.

Where Pith is reading between the lines

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

The criteria could lead to algorithmic improvements for checking polymatroidality in low dimensions.
Similar simplifications might apply to other classes of monomial ideals in higher dimensions.
The role of integral closure in exchange properties could be investigated in other algebraic contexts.

Load-bearing premise

The non-pure dual exchange property is satisfied by all integrally closed monomial ideals in two variables and can be fully verified on Borel generators in three variables without additional hidden conditions.

What would settle it

An integrally closed monomial ideal in two variables that fails the non-pure dual exchange property would disprove the main result.

Figures

Figures reproduced from arXiv: 2606.06949 by Reza Abdolmaleki, Shinya Kumashiro.

**Figure 1.** Figure 1: illustrates the lattice points in the convex hull of the exponent vectors of I (equivalently, the exponent set of the integral closure of I). This figure visually confirms the property described in Theorem 2.5. x-exponent y-exponent 0 1 2 3 4 5 6 7 8 0 1 2 3 4 5 6 7 8 9 v1 v2 v3 v4 v5 v6 [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗

read the original abstract

We investigate monomial ideals satisfying the non-pure dual exchange property, a notion introduced in connection with componentwise polymatroidal ideals. Our contributions are twofold. First, we show that in two variables, every integrally closed monomial ideal satisfies this property; as a consequence, we characterize polymatroidal ideals in two variables. Second, for strongly stable (Borel) ideals in three variables, we establish a practical criterion: it suffices to verify the defining condition only for the Borel generators, and this verification reduces to simple inequalities involving the degrees in the second and third variables.

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 shows that integrally closed monomial ideals in two variables all satisfy the non-pure dual exchange property and gives a simple degree check for Borel generators in three variables.

read the letter

The main things to know are that every integrally closed monomial ideal in two variables satisfies the non-pure dual exchange property, which yields a characterization of polymatroidal ideals in that case, and that for strongly stable ideals in three variables it suffices to check the defining condition only on the Borel generators via inequalities on degrees in the second and third variables.

The paper does well by turning the general property into explicit, combinatorial checks that fit the exponent-vector description of monomial ideals. These reductions are concrete and avoid extra assumptions on the field or grading, which matches the stress-test observation that the claims are direct and falsifiable in this setting.

The soft spots are the narrow scope and lack of broader context. Everything stays in dimensions two and three, so the work organizes a small corner without indicating whether similar simplifications exist higher up or for other ideal classes. The abstract supplies no comparison to earlier papers on componentwise polymatroidal ideals, leaving the exact overlap unclear. No proof sketches appear here, but the combinatorial approach itself looks internally consistent.

This paper is for commutative algebraists who work with monomial ideals and exchange properties. Readers who need practical verification tools in low dimensions will find the criteria useful. It shows clear thinking on its own terms through direct arguments rather than fitting or hidden conditions.

I would bring it to a reading group as maybe, since the topic is specialized. I would not cite it in my own work in the next year. It deserves peer review because the claims are sharp enough to be checked against the combinatorial data.

Referee Report

0 major / 2 minor

Summary. The paper studies monomial ideals satisfying the non-pure dual exchange property. It proves that every integrally closed monomial ideal in two variables satisfies the property, yielding a characterization of polymatroidal ideals in two variables. For strongly stable (Borel) ideals in three variables, it shows that the defining condition need only be checked on the Borel generators and reduces to simple degree inequalities in the second and third variables.

Significance. The results supply explicit, low-dimensional combinatorial criteria for a property tied to componentwise polymatroidal ideals. The reduction to Borel generators and the two-variable characterization are concrete and potentially useful for explicit computations or further classification results in monomial ideal theory.

minor comments (2)

The abstract states the two main results but the introduction or §1 should include a brief reminder of the precise definition of the non-pure dual exchange property (including the role of the base field and the monomial ordering) to make the paper self-contained for readers outside the immediate subfield.
Notation for exponent vectors and Borel generators is used throughout; a short table or diagram in §2 illustrating the degree inequalities for the three-variable case would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, accurate summary of the results, and recommendation to accept the manuscript. No revisions are required.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper states two explicit combinatorial results: every integrally closed monomial ideal in two variables satisfies the non-pure dual exchange property (with a consequent characterization of polymatroidal ideals), and for Borel ideals in three variables the defining condition reduces to degree inequalities on the Borel generators. These are direct verification statements on exponent vectors of monomial ideals; the abstract and available description contain no equations, no fitted parameters renamed as predictions, and no load-bearing self-citations or imported uniqueness theorems that reduce the claims to their own inputs. The referenced notion is treated as given from prior work, but the low-dimensional proofs are presented as independent content without self-referential reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; all such items are therefore recorded as empty.

pith-pipeline@v0.9.1-grok · 5619 in / 1033 out tokens · 22627 ms · 2026-06-27T20:30:32.418374+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

6 extracted references · 1 canonical work pages

[1]

Abbott, A

J. Abbott, A. M. Bigatti, L. Robbiano , CoCoA: a system for doing Computations in Commutative Algebra. Available at: http://cocoa.dima.unige.it
[2]

Herzog, M

J. Herzog, M. M. Saem, N. Zamani , The number of generators of the powers of an ideal, Int. J. Algebra Comput. , 29 (2019), 827--847

2019
[3]

Bandari, A

S. Bandari, A. A. Qureshi , Ideals with linear quotients and componentwise polymatroidal ideals, Mediterr. J. Math. , 20 (2023), no. 2, Paper No. 53, 15 pp

2023
[4]

Bandari, A

S. Bandari, A. A. Qureshi , Componentwise linear ideals and exchange properties, J. Algebra Appl. , (published online), https://doi.org/10.1142/S0219498826502014

work page doi:10.1142/s0219498826502014
[5]

Herzog, T

J. Herzog, T. Hibi , Monomial Ideals, Springer-Verlag, New York, 2011

2011
[6]

Huneke, I

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

2006

[1] [1]

Abbott, A

J. Abbott, A. M. Bigatti, L. Robbiano , CoCoA: a system for doing Computations in Commutative Algebra. Available at: http://cocoa.dima.unige.it

[2] [2]

Herzog, M

J. Herzog, M. M. Saem, N. Zamani , The number of generators of the powers of an ideal, Int. J. Algebra Comput. , 29 (2019), 827--847

2019

[3] [3]

Bandari, A

S. Bandari, A. A. Qureshi , Ideals with linear quotients and componentwise polymatroidal ideals, Mediterr. J. Math. , 20 (2023), no. 2, Paper No. 53, 15 pp

2023

[4] [4]

Bandari, A

S. Bandari, A. A. Qureshi , Componentwise linear ideals and exchange properties, J. Algebra Appl. , (published online), https://doi.org/10.1142/S0219498826502014

work page doi:10.1142/s0219498826502014

[5] [5]

Herzog, T

J. Herzog, T. Hibi , Monomial Ideals, Springer-Verlag, New York, 2011

2011

[6] [6]

Huneke, I

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

2006