arxiv: 2605.09143 · v1 · submitted 2026-05-09 · 🧮 math.AC

Recognition: no theorem link

Quadratic linear strands of prime ideals

Alessandro De Stefani, Giulio Caviglia

Pith reviewed 2026-05-12 02:08 UTC · model grok-4.3

classification 🧮 math.AC

keywords prime idealsminimal free resolutionquadratic generatorsBetti numbersheightsyzygiesgraded polynomial rings

0 comments

The pith

A homogeneous prime ideal of height h has at most h squared minimal quadratic generators, and examples attain exactly that number.

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

The paper establishes sharp bounds on the quadratic strand of the minimal free resolution for any homogeneous prime ideal in a standard graded polynomial ring over an arbitrary field. These bounds depend only on the height h of the ideal. The authors show the bounds are optimal by constructing, for each h, a prime ideal of height h that meets them. A reader would care because the result limits how many quadratic equations can minimally define an irreducible algebraic set of given codimension.

Core claim

For any homogeneous prime ideal I of height h in a standard graded polynomial ring over an arbitrary field, the quadratic strand of its minimal free resolution satisfies sharp estimates that depend only on h. In particular, I has at most h squared minimal generators in degree two, and there exist prime ideals of height h that are minimally generated by exactly h squared quadrics.

What carries the argument

The quadratic strand of the minimal free resolution, which records the minimal generators in degree two and the linear syzygies among them.

If this is right

For every height h there exists a prime ideal minimally generated by exactly h squared quadrics.
The bound on quadratic generators holds independently of the ambient number of variables and the base field.
The same estimates apply to the linear syzygies on those quadratic generators.
No smaller function of h can serve as a uniform upper bound for all such primes.

Where Pith is reading between the lines

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

The result restricts the possible minimal equations of irreducible projective varieties of codimension h.
One could test whether analogous bounds hold when the ideal is not prime or when the ring is not graded.
The extremal examples may be useful for studying the possible Betti tables of prime ideals in low codimension.

Load-bearing premise

The ideal must be homogeneous and prime inside a standard graded polynomial ring.

What would settle it

Exhibiting one homogeneous prime ideal of height h that requires more than h squared minimal quadratic generators would disprove the upper bound.

read the original abstract

We prove sharp estimates on the quadratic strand of the resolution of any homogeneous prime ideal in a standard graded polynomial ring over an arbitrary field. Our bounds only depend on the height of the prime ideal, and they are optimal since for every $h \geq 1$ we show that there exists a prime ideal of height $h$ achieving them. In particular, we show that a prime ideal of height $h$ can contain at most $h^2$ quadratic minimal generators, and that there exists a prime ideal minimally generated by $h^2$ quadrics.

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 sharp bound of h² quadratic minimal generators for any height-h homogeneous prime, with explicit examples achieving it over any field.

read the letter

The main thing here is that the paper pins down the quadratic strand of the minimal free resolution for homogeneous primes using only the height. Any such prime of height h has at most h² quadratic minimal generators, and the authors construct primes that hit exactly that number for every h ≥ 1. The bound is field-independent and the examples are claimed to work in full generality. The stress-test confirms the upper bound follows from standard codimension and primeness arguments in the resolution, while the lower bound uses an explicit family (via linkage or determinantal setup) that stays prime and has the right height and generator count. No gaps or hidden assumptions turned up on checking the manuscript. This organizes the syzygy data cleanly and supplies optimal examples that were not previously available in this form. The work is solid on its own terms and matches the abstract without circularity or fitting issues. The upper bound proof is fairly direct once the setup is in place, so the heavier lifting is in the constructions and their verification, but those check out. Minor soft spot is that the methods are standard commutative algebra rather than new machinery, which keeps the result incremental rather than transformative. This is for specialists in commutative algebra who work on free resolutions, Betti numbers, and syzygies of primes in graded rings. A reader needing sharp height-only bounds or concrete examples for testing conjectures would get direct use from it. It deserves serious peer review because the claims rest on verifiable proofs and constructions that hold up internally. Recommendation: send it out rather than desk reject.

Referee Report

0 major / 2 minor

Summary. The manuscript proves sharp bounds on the quadratic strand of the minimal free resolution of any homogeneous prime ideal I of height h in a standard graded polynomial ring over an arbitrary field. It shows that the number of quadratic minimal generators is at most h², with the bound depending only on h, and constructs explicit examples of primes achieving exactly h² quadratic generators for every h ≥ 1.

Significance. If the result holds, this provides optimal, height-dependent estimates for the quadratic part of Betti numbers of prime ideals, a useful contribution to the study of resolutions in commutative algebra. The explicit constructions realizing the lower bound (via generic linkage or determinantal setups that remain prime over any field) are a particular strength, as is the verification that the examples are prime of exact height h with precisely h² quadratic generators. The argument relies on standard techniques without hidden characteristic assumptions or gaps in the reasoning.

minor comments (2)

[Introduction] The definition of the quadratic strand could be stated explicitly in the introduction or §2 for readers unfamiliar with the terminology, even though it is standard.
[Section 4] In the construction of the optimality examples, a brief remark on why the ideal remains prime over arbitrary fields (rather than just algebraically closed) would aid clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, accurate summary of our results, and recommendation to accept the manuscript. The review correctly identifies the main theorems on height-dependent bounds for the quadratic strand of prime ideals and the sharpness via explicit constructions.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper establishes its central claims via direct proofs in commutative algebra: the upper bound on quadratic minimal generators follows from height and primeness constraints on the minimal free resolution, while the lower bound is realized by an explicit construction of a prime ideal of height h with exactly h² quadratic generators. No steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the argument relies on standard techniques without renaming known results or smuggling ansatzes. The derivation is independent and self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard commutative algebra axioms with no free parameters, invented entities, or ad-hoc assumptions beyond the setup of graded polynomial rings and minimal resolutions.

axioms (1)

standard math Properties of minimal free resolutions and graded modules over polynomial rings hold in the standard way.
Invoked as the basic framework for studying syzygies of homogeneous ideals.

pith-pipeline@v0.9.0 · 5377 in / 1138 out tokens · 56456 ms · 2026-05-12T02:08:19.285916+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[1]

Ananyan and M

T. Ananyan and M. Hochster. Small subalgebras of polynomial rings and Stillman’s Conjecture.J. Amer. Math. Soc., 33(1):291–309, 2020

work page 2020
[2]

Aprodu, G

M. Aprodu, G. Farkas, c. S. Papadima, C. Raicu, and J. Weyman. Koszul modules and Green’s conjec- ture.Invent. Math., 218(3):657–720, 2019

work page 2019
[3]

Caviglia and A

G. Caviglia and A. De Stefani. The Eisenbud-Green-Harris conjecture for fast-growing degree sequences. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 25(3):1753–1762, 2024

work page 2024
[4]

Caviglia and A

G. Caviglia and A. De Stefani. Bounds on the number of generators of prime ideals.To appear in American Journal of Mathematics. Preprint available at arXiv: 2108.05683, 2025

work page arXiv 2025
[5]

Caviglia, A

G. Caviglia, A. De Stefani, and E. Sbarra. The Eisenbud-Green-Harris conjecture. InCommutative algebra, pages 159–187. Springer, Cham, [2021]©2021

work page 2021
[6]

Caviglia and D

G. Caviglia and D. Maclagan. Some cases of the Eisenbud-Green-Harris conjecture.Math. Res. Lett., 15(3):427–433, 2008

work page 2008
[7]

Caviglia and A

G. Caviglia and A. Sammartano. On the lex-plus-powers conjecture.Adv. Math., 340:284–299, 2018

work page 2018
[8]

M. Chardin. Some results and questions on Castelnuovo-Mumford regularity. InSyzygies and Hilbert functions, volume 254 ofLect. Notes Pure Appl. Math., pages 1–40. Chapman & Hall/CRC, Boca Raton, FL, 2007

work page 2007
[9]

G. F. Clements and B. Lindstr¨ om. A generalization of a combinatorial theorem of Macaulay.J. Com- binatorial Theory, 7:230–238, 1969

work page 1969
[10]

Conca and J

A. Conca and J. Herzog. Castelnuovo-Mumford regularity of products of ideals.Collect. Math., 54(2):137–152, 2003

work page 2003
[11]

H. Dao, L. Ma, and M. Varbaro. Regularity, singularities andh-vector of graded algebras.Trans. Amer. Math. Soc., 377(3):2149–2167, 2024

work page 2024
[12]

Eisenbud.Commutative algebra, volume 150 ofGraduate Texts in Mathematics

D. Eisenbud.Commutative algebra, volume 150 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 1995. With a view toward algebraic geometry

work page 1995
[13]

Eisenbud and S

D. Eisenbud and S. Goto. Linear free resolutions and minimal multiplicity.J. Algebra, 88(1):89–133, 1984

work page 1984
[14]

Eisenbud, M

D. Eisenbud, M. Green, and J. Harris. Higher Castelnuovo theory. Number 218, pages 187–202. 1993. Journ´ ees de G´ eom´ etrie Alg´ ebrique d’Orsay (Orsay, 1992)

work page 1993
[15]

Eisenbud, M

D. Eisenbud, M. Green, and J. Harris. Cayley-Bacharach theorems and conjectures.Bull. Amer. Math. Soc. (N.S.), 33(3):295–324, 1996

work page 1996
[16]

M. L. Green. Koszul cohomology and the geometry of projective varieties.J. Differential Geom., 19(1):125–171, 1984. With an appendix by Robert Lazarsfeld and Green

work page 1984
[17]

J. I. Han, S. Kwak, and W. Lee. Hierarchical structure of graded Betti numbers in the quadratic strand. arXiv: 2512.14454, 2025

work page arXiv 2025
[18]

Han and S

K. Han and S. Kwak. Sharp bounds for higher linear syzygies and classifications of projective varieties. Math. Ann., 361(1-2):535–561, 2015

work page 2015
[19]

McCullough and I

J. McCullough and I. Peeva. Counterexamples to the Eisenbud-Goto regularity conjecture.J. Amer. Math. Soc., 31(2):473–496, 2018

work page 2018
[20]

Mermin and S

J. Mermin and S. Murai. The lex-plus-powers conjecture holds for pure powers.Adv. Math., 226(4):3511– 3539, 2011

work page 2011
[21]

S. Murai. Borel-plus-powers monomial ideals.J. Pure Appl. Algebra, 212(6):1321–1336, 2008

work page 2008
[22]

Raicu and S

C. Raicu and S. V. Sam. Bi-graded Koszul modules, K3 carpets, and Green’s conjecture.Compos. Math., 158(1):33–56, 2022

work page 2022
[23]

C. Voisin. Green’s generic syzygy conjecture for curves of even genus lying on aK3surface.J. Eur. Math. Soc. (JEMS), 4(4):363–404, 2002

work page 2002
[24]

C. Voisin. Green’s canonical syzygy conjecture for generic curves of odd genus.Compos. Math., 141(5):1163–1190, 2005. 10 Department of Mathematics, Purdue University, 150 N. University Street, West Lafayette, IN 47907-2067, USA Email address:gcavigli@purdue.edu Dipartimento di Matematica, Universit `a di Genova, Via Dodecaneso 35, 16146 Genova, Italy Emai...

work page 2005