Initial ideals of weighted forms and the genus of locally Cohen-Macaulay curves

Alessio Sammartano; Enrico Schlesinger

arxiv: 2501.00809 · v1 · submitted 2025-01-01 · 🧮 math.AC · math.AG

Initial ideals of weighted forms and the genus of locally Cohen-Macaulay curves

Alessio Sammartano , Enrico Schlesinger This is my paper

Pith reviewed 2026-05-23 05:57 UTC · model grok-4.3

classification 🧮 math.AC math.AG

keywords locally Cohen-Macaulay curvesmaximum genusinitial idealsweighted homogeneous formsnon-standard gradingprojective 3-spacearithmetic genus

0 comments

The pith

The maximum genus prediction for locally Cohen-Macaulay curves holds when degree d equals s or exceeds 2s minus 1.

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

The authors prove that the largest arithmetic genus g(d,s) attainable by a locally Cohen-Macaulay curve of degree d in P^3 that does not lie on a surface of degree less than s is given by the predicted formula when d equals s or d is at least 2s-1. They achieve this by proving a conjecture concerning the initial ideals of weighted homogeneous forms in a non-standard graded polynomial ring. This matters because it resolves the maximum genus problem in two important regimes, providing a precise bound on how twisted such curves can be without being contained in low-degree surfaces. The work connects algebraic computations in graded rings to geometric questions about space curves.

Core claim

We prove that the predicted maximum genus g(d,s) for locally Cohen-Macaulay curves of degree d not lying on surfaces of degree less than s is attained in the cases d = s and d ≥ 2s-1. This is accomplished by proving the conjecture of Beorchia, Lella, and the second author on initial ideals associated to weighted homogeneous forms in a non-standard graded polynomial ring.

What carries the argument

Initial ideals of weighted homogeneous forms in a non-standard graded polynomial ring, which control the possible postulation and thus the genus of the curves.

If this is right

No locally Cohen-Macaulay curve of degree d = s can have genus exceeding the predicted g(s,s).
The same genus bound holds for all such curves with d ≥ 2s-1.
The initial ideal conjecture supplies an algebraic criterion that extremal curves must satisfy.
The result supplies explicit numerical bounds usable for classifying curves in the linear and high-degree cases.

Where Pith is reading between the lines

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

The same initial-ideal technique might extend to the remaining range s < d < 2s-1.
Analogous computations in non-standard gradings could bound genera of curves in higher-dimensional projective spaces.
If the full initial-ideals conjecture holds, the maximum-genus problem would be settled for every pair (d,s).

Load-bearing premise

The conjecture about initial ideals of weighted forms is correct and that it implies the stated genus bound.

What would settle it

Discovery of a locally Cohen-Macaulay curve with degree d=s whose arithmetic genus exceeds the predicted value g(d,s), or a weighted form whose initial ideal does not match the conjectured form.

read the original abstract

Let C be a locally Cohen-Macaulay curve in complex projective 3-space. The maximum genus problem predicts the largest possible arithmetic genus g(d,s) that C can achieve assuming that it has degree d and does not lie on surfaces of degree less than s. In this paper, we prove that this prediction is correct when d=s or d is at least 2s-1. We obtain this result by proving another conjecture, by Beorchia, Lella, and the second author, about initial ideals associated to certain homogeneous forms in a non-standard graded polynomial ring.

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 settles the max genus prediction for locally Cohen-Macaulay space curves when d equals s or d is at least 2s-1 by proving the Beorchia-Lella conjecture on initial ideals in a non-standard graded ring.

read the letter

The key takeaway is that this work closes two previously open ranges in the classical maximum genus problem for curves in P^3. It does so by establishing the cited conjecture on initial ideals of weighted forms, which then implies the genus bound in those cases. Those ranges (d = s and d ≥ 2s-1) had stayed unsettled, so the result fills concrete gaps if the argument holds. The choice to work in the non-standard graded ring and use initial ideals is a direct continuation of earlier approaches to the problem, and it looks like a reasonable technical route for handling the weighted homogeneous forms that arise here. Credit is due for targeting exactly the missing cases rather than re-deriving known ones. The main limitation is that only the abstract is in front of us. It asserts the proof without any derivation steps, error checks, or explicit reduction from the initial-ideal statement to the genus bound. That leaves the central claim uncheckable from the given text, so any assessment of soundness has to stay provisional. If the full manuscript supplies the missing details and they are correct, the contribution is real; absent that, the claim rests on an unexamined step. The paper is aimed at people already working on genus bounds for curves or on initial ideals in graded rings. A reader following the maximum genus problem would find the settled ranges useful once verified. It is the sort of targeted advance that deserves referee time to examine the argument in detail rather than a desk rejection, even though revisions will likely be needed once the proof is read. I would send it out for review.

Referee Report

0 major / 0 minor

Summary. The manuscript proves that the predicted maximum genus g(d,s) for locally Cohen-Macaulay curves of degree d in P^3 not lying on surfaces of degree less than s holds when d=s or d≥2s-1. This is obtained by proving the Beorchia-Lella conjecture on initial ideals of certain weighted homogeneous forms in a non-standard graded polynomial ring.

Significance. If the argument holds, the result confirms the genus prediction in the stated range and establishes the cited conjecture on initial ideals, which may be of independent interest in commutative algebra for non-standard gradings. The manuscript provides a proof of a conjecture, which strengthens the contribution.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript and for recommending acceptance. We are pleased that the referee recognizes the value of establishing the Beorchia-Lella conjecture on initial ideals in the non-standard graded setting and its application to the maximum genus problem for locally Cohen-Macaulay curves.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via independent proof

full rationale

The paper states it obtains the genus bound by proving the Beorchia-Lella-Schlesinger conjecture on initial ideals of weighted forms. The abstract and reader's summary indicate the proof of that conjecture is supplied in the present work rather than assumed via citation alone. No equations or steps are shown reducing a prediction to a fitted parameter, self-definition, or load-bearing self-citation chain; the cited conjecture is external in statement but resolved internally here. This matches the default case of an independent derivation with at most incidental author overlap on the named conjecture.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard axioms of commutative algebra and projective geometry; no free parameters, new entities, or ad-hoc assumptions are visible in the abstract.

axioms (1)

standard math Standard properties of homogeneous ideals, initial ideals, and arithmetic genus in graded polynomial rings over the complex numbers
Invoked implicitly by the setup of curves in P^3 and the definition of g(d,s)

pith-pipeline@v0.9.0 · 5623 in / 1247 out tokens · 49993 ms · 2026-05-23T05:57:09.712025+00:00 · methodology

Initial ideals of weighted forms and the genus of locally Cohen-Macaulay curves

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)