pith. sign in

arxiv: 2602.09966 · v4 · submitted 2026-02-10 · 🧮 math.AG · math.AC

Graded Betti numbers of the Jacobian algebra of surfaces in mathbb P³

Alexandru Dimca , Gabriel Sticlaru This is my paper

Pith reviewed 2026-05-16 02:51 UTC · model grok-4.3

classification 🧮 math.AG math.AC
keywords Jacobian algebragraded Betti numbersHilbert polynomialsurfaces in P^3isolated singularitiesnodal surfacesJacobian syzygiesreduced hypersurfaces
0
0 comments X

The pith

The Hilbert polynomial of the Jacobian algebra of any reduced surface in P^3 equals an explicit closed expression built from its graded Betti numbers.

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

The paper derives a direct formula that writes the Hilbert polynomial of the Jacobian algebra M(f) for a reduced hypersurface X given by f=0 in projective 3-space solely in terms of the graded Betti numbers appearing in the minimal free resolution of M(f). A reader cares because this relation converts an a priori hard-to-compute invariant into a combinatorial datum that is often easier to obtain from syzygy computations. When the surface has only isolated singularities, the formula combines with an earlier result of du Plessis and Wall to produce new numerical restrictions that any candidate list of positive integers must satisfy if it is to arise as the Betti numbers of such an algebra. The authors further compare the surface case with the classical plane-curve situation and supply extra detail for nodal surfaces; they close by exhibiting four explicit syzygies that always exist for surfaces belonging to a pencil.

Core claim

For a reduced surface X : f = 0 in P^3 the Hilbert polynomial of the Jacobian algebra M(f) is given by an explicit closed formula whose only inputs are the graded Betti numbers of M(f). When X has only isolated singularities this formula, together with the du Plessis–Wall criterion, supplies new necessary conditions on any sequence of positive integers that is proposed as the Betti table of such an algebra.

What carries the argument

The Jacobian algebra M(f), the graded quotient of the polynomial ring in four variables by the Jacobian ideal generated by the four partial derivatives of f; its graded Betti numbers are the ranks in the minimal free resolution of this module.

If this is right

  • The Hilbert polynomial is completely determined by the Betti numbers, eliminating the need for separate Hilbert-function calculations once the resolution is known.
  • Any proposed list of positive integers must satisfy the numerical identity coming from the formula if it is to be the Betti table of an isolated-singularity surface Jacobian algebra.
  • Nodal surfaces obey additional specializations of the same identity that can be read off directly from their Betti numbers.
  • Surfaces belonging to a pencil always admit four explicit Jacobian syzygies whose degrees are determined by the pencil parameters.

Where Pith is reading between the lines

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

  • The same Betti-to-Hilbert relation may be testable by machine on large random samples of surfaces, giving a practical filter for candidate Betti tables.
  • The explicit comparison with plane curves suggests that an analogous formula in higher dimensions or for complete intersections could follow by similar syzygy chasing.
  • The four natural syzygies constructed for pencil surfaces may generate the full syzygy module in many cases, offering a shortcut for resolution computations.

Load-bearing premise

The surface is reduced, so the Jacobian ideal is the correct annihilator and the algebra satisfies the usual properties of a graded module over the polynomial ring.

What would settle it

Compute the graded Betti numbers and the Hilbert polynomial independently for one reduced surface with isolated singularities and check whether the two sides of the claimed formula agree; disagreement on even one example would refute the formula.

read the original abstract

We compute an explicit closed formula for the Hilbert polynomial of the Jacobian algebra $M(f)$ of a reduced surface $X:f=0$ in $\mathbb P^3$ in terms of the graded Betti numbers of the algebra $M(f)$. When $X$ has only isolated singularities, a result by A. du Plessis and C. T. C. Wall yields new necessary condition for a set of positive integers to be the graded Betti numbers of the Jacobian algebra of such a surface. The comparison with the plane curve case is discussed in detail and additional information is given in the case of nodal surfaces. In the final section we construct four natural Jacobian syzygies for surfaces $X$ coming from pencils of surfaces.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript computes an explicit closed formula for the Hilbert polynomial of the Jacobian algebra M(f) of a reduced surface X:f=0 in P^3, expressed in terms of the graded Betti numbers of M(f). For surfaces with isolated singularities, it invokes a result of du Plessis and Wall to derive a new necessary condition on these Betti numbers. The work includes a detailed comparison with the plane curve case, additional information for nodal surfaces, and a construction of four natural Jacobian syzygies arising from pencils of surfaces.

Significance. If the formula derivation is complete and the du Plessis-Wall application is justified for the surface setting, the results would supply a concrete computational bridge between Betti tables and Hilbert polynomials for Jacobian algebras of surfaces, extending known curve-case techniques and offering new constraints useful for classifying possible Betti numbers in singularity theory.

major comments (2)
  1. [§3] §3 (formula for Hilbert polynomial): The explicit closed formula is asserted to follow from the standard alternating sum of graded Betti numbers in the Hilbert series divided by (1-t)^4 with extraction of the polynomial part, but the manuscript provides no explicit intermediate steps or verification that this yields a closed expression specifically for surfaces; this step is load-bearing for the central claim.
  2. [§4] §4 (necessary condition via du Plessis-Wall): The new necessary condition on the graded Betti numbers for isolated singularities is obtained by direct transfer of the du Plessis-Wall numerical constraints, but the text does not verify that M(f) satisfies the theorem's hypotheses (Gorenstein property, socle degree, or Hilbert function conditions) when X is a surface in P^3 with isolated singularities; this transfer is central to the new condition.
minor comments (2)
  1. [Introduction] Introduction: The definition of the Jacobian algebra M(f) and the precise meaning of its graded Betti numbers should be recalled explicitly for readers unfamiliar with the curve-case literature.
  2. [Nodal surfaces section] Nodal surfaces section: The additional information for nodal surfaces would be strengthened by including at least one concrete numerical example of Betti numbers satisfying (or violating) the new condition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and insightful comments on our manuscript. We appreciate the identification of areas where additional details would strengthen the presentation. We address each major comment below and will make the necessary revisions to the manuscript.

read point-by-point responses

  1. Referee: [§3] §3 (formula for Hilbert polynomial): The explicit closed formula is asserted to follow from the standard alternating sum of graded Betti numbers in the Hilbert series divided by (1-t)^4 with extraction of the polynomial part, but the manuscript provides no explicit intermediate steps or verification that this yields a closed expression specifically for surfaces; this step is load-bearing for the central claim.

    Authors: We agree that explicit intermediate steps are needed to make the derivation transparent. In the revised manuscript, we will expand §3 to include the full calculation: starting from the Hilbert series of M(f), which is given by the alternating sum over the Betti numbers divided by (1-t)^4, we will show step-by-step how to obtain the closed-form expression for the Hilbert polynomial by considering the numerator polynomial and extracting its degree-2 part (since for surfaces the Hilbert polynomial is quadratic). We will also include a verification with a concrete example of a smooth quadric surface to confirm the formula. revision: yes

  2. Referee: [§4] §4 (necessary condition via du Plessis-Wall): The new necessary condition on the graded Betti numbers for isolated singularities is obtained by direct transfer of the du Plessis-Wall numerical constraints, but the text does not verify that M(f) satisfies the theorem's hypotheses (Gorenstein property, socle degree, or Hilbert function conditions) when X is a surface in P^3 with isolated singularities; this transfer is central to the new condition.

    Authors: We thank the referee for pointing this out. Upon checking, the Jacobian algebra M(f) of a hypersurface with isolated singularities is indeed Gorenstein, with socle in degree d-4 for a degree d surface in P^3 (by the properties of the Milnor algebra). We will add a dedicated subsection or paragraph in §4 citing standard references (e.g., the original du Plessis-Wall paper or Greuel-Pfister) to verify that all hypotheses of their theorem are satisfied in this geometric setting. This will justify the direct application and the resulting necessary conditions on the Betti numbers. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation uses standard resolution-Hilbert relation and external citation

full rationale

The paper derives its explicit closed formula for the Hilbert polynomial of M(f) directly from the standard alternating-sum expression for the Hilbert series of a graded module given its minimal free resolution (Betti numbers), followed by extracting the polynomial part after dividing by (1-t)^4. This is a textbook application of commutative algebra and does not depend on any self-referential definitions, fitted parameters renamed as predictions, or prior results by the same authors. The additional necessary condition on Betti numbers for isolated singularities is obtained by applying a result of du Plessis and Wall; the cited authors have no overlap with Dimca-Sticlaru, so the citation supplies independent support rather than a self-citation chain. The constructions of Jacobian syzygies and comparisons with the curve case are explicit and do not reduce to the paper's own inputs by construction. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard definitions and properties of graded modules, Hilbert polynomials, and Jacobian ideals in commutative algebra; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

axioms (1)
  • standard math Standard properties of graded modules over polynomial rings and the definition of the Hilbert polynomial
    Invoked implicitly when relating Betti numbers to the Hilbert polynomial of the Jacobian algebra.

pith-pipeline@v0.9.0 · 5425 in / 1232 out tokens · 85671 ms · 2026-05-16T02:51:21.972292+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

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

  1. On the degree of the singular subscheme of hypersurfaces in ${\mathbb P}^n$

    math.AG 2026-04 unverdicted novelty 6.0

    Explicit formulas express the dimension and degree of the singular subscheme of hypersurfaces in P^n via the graded Betti numbers of the Jacobian algebra, producing new restrictions on those Betti numbers and a dimens...

  2. On the Jacobian algebras of Ziegler pairs of plane arrangements

    math.AG 2026-04 unverdicted novelty 5.0

    Ziegler pairs of plane arrangements in P^3 have isomorphic intersection lattices but different Betti numbers for Jacobian algebra resolutions and relate to cones over Ziegler pairs of line arrangements in P^2.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · cited by 2 Pith papers

  1. [1]

    Abbott, A

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

    work page

  2. [2]

    T. Abe, A. Dimca, P. Pokora, A new hierarchy for complex plane curves, Canadian Mathe- matical Bulletin. Published online 2025:1-24. doi:10.4153/S0008439525101422 4, 4

    work page doi:10.4153/s0008439525101422 2025

  3. [3]

    V. I. Arnold, S. M. Gusein-Zade, A. N. Varchenko, Singularities of Differentiable Maps. vols 1/2, Monographs in Math.,82/83, Birkh¨ auser, Basel (1985/1988) 3.6

    work page 1985

  4. [4]

    Bus´ e, A

    L. Bus´ e, A. Dimca, H. Schenck and G. Sticlaru, The Hessian polynomial and the Jacobian ideal of a reduced hypersurface inP n, Advances in Mathematics, Volume 392 (2021), 108035. 3.7

    work page 2021

  5. [5]

    S. V. Chmutov, Examples of projective surfaces with many singularities, J. Algebr. Geom. 1, 191–196 (1992). 3.6

    work page 1992

  6. [6]

    Decker, G.-M

    W. Decker, G.-M. Greuel, G. Pfister and H. Sch¨ onemann.Singular4-0-2 — A computer algebra system for polynomial computations. Available at http://www.singular.uni-kl.de. 1

    work page

  7. [7]

    Dimca, Freeness versus maximal degree of the singular subscheme for surfaces inP 3, Geom

    A. Dimca, Freeness versus maximal degree of the singular subscheme for surfaces inP 3, Geom. Dedicata 183(2016), 101–112. 3

    work page 2016

  8. [8]

    Dimca, Freeness versus maximal global Tjurina number for plane curves.Math

    A. Dimca, Freeness versus maximal global Tjurina number for plane curves.Math. Proc. Cam- bridge Phil. Soc. 163: 161 – 172 (2017). 3

    work page 2017

  9. [9]

    Dimca, Curve arrangements, pencils, and Jacobian syzygies, Michigan Math

    A. Dimca, Curve arrangements, pencils, and Jacobian syzygies, Michigan Math. J. 66 (2017), 347–365. 1, 6

    work page 2017

  10. [10]

    Dimca, On the syzygies and Hodge theory of nodal hypersurfaces, Ann

    A. Dimca, On the syzygies and Hodge theory of nodal hypersurfaces, Ann. Univ. Ferrara Sez. VII Sci. Mat. 63 (2017), 87–101. 4, 4.5

    work page 2017

  11. [11]

    Dimca, M

    A. Dimca, M. Saito, Generalization of theorems of Griffiths and Steenbrink to hypersurfaces with ordinary double points, Bull. Math. Soc. Sci. Math. Roumanie, 60(108) (2017), 351–371. 4.5

    work page 2017

  12. [12]

    Dimca, G

    A. Dimca, G. Sticlaru, On the syzygies and Alexander polynomials of nodal hypersurfaces, Math. Nachrichten 285 (2012), 2120–2128. 3.6

    work page 2012

  13. [13]

    Dimca, G

    A. Dimca, G. Sticlaru, On the exponents of free and nearly free projective plane curves, Rev. Mat. Complut. 30(2017), 259–268. 3.3

    work page 2017

  14. [14]

    Dimca and G

    A. Dimca and G. Sticlaru, Plane curves with three syzygies, minimal Tjurina curves curves, and nearly cuspidal curves.Geom. Dedicata207: 29 – 49 (2020). 3.2

    work page 2020

  15. [15]

    Dimca, G

    A. Dimca, G. Sticlaru, Jacobian syzygies, Fitting ideals, and plane curves with maximal global Tjurina numbers, Collect. Math. 73 (2022), 391–409. 3.3, 4.3

    work page 2022

  16. [16]

    Dimca and G

    A. Dimca and G. Sticlaru, Bourbaki modules and the module of Jacobian derivations of pro- jective hypersurfaces, arXiv:2506.23950, to appear in Collect. Mth. 4

    work page arXiv

  17. [17]

    Dimca and G

    A. Dimca and G. Sticlaru, On type three complex plane curves, arXiv:2601.01824. 4

    work page arXiv

  18. [18]

    du Plessis, C.T.C

    A.A. du Plessis, C.T.C. Wall, Application of the theory of the discriminant to highly singular plane curves, Math. Proc. Camb. Phil. Soc. 126 (1999) 256–266. 3, 3.3

    work page 1999

  19. [19]

    du Plessis, C.T.C

    A.A. du Plessis, C.T.C. Wall, Discriminants, vector fields and singular hypersurfaces. New developments in singularity theory (Cambridge, 2000), 351–377, NATO Sci. Ser. II Math. Phys. Chem., 21, Kluwer Acad. Publ., Dordrecht, 2001. 3

    work page 2000

  20. [20]

    Eisenbud,The Geometry of Syzygies: A Second Course in Algebraic Geometry and Com- mutative Algebra, Graduate Texts in Mathematics, Vol

    D. Eisenbud,The Geometry of Syzygies: A Second Course in Algebraic Geometry and Com- mutative Algebra, Graduate Texts in Mathematics, Vol. 229, Springer 2005. 1

    work page 2005

  21. [21]

    Ellia, Quasi complete intersections and global Tjurina number of plane curves, J

    Ph. Ellia, Quasi complete intersections and global Tjurina number of plane curves, J. Pure Appl. Algebra 224 (2020), 423–431. 3

    work page 2020

  22. [22]

    S. H. Hassanzadeh, A. Simis, Plane Cremona maps: Saturation and regularity of the base ideal.J. Algebra371: 620 – 652 (2012). 4, 4 GRADED BETTI NUMBERS OF SURF ACES 17 Universit´e C ˆote d’Azur, CNRS, LJAD, France and Simion Stoilow Institute of Mathematics, P.O. Box 1-764, RO-014700 Bucharest, Romania Email address:Alexandru.Dimca@univ-cotedazur.fr Facul...

    work page 2012