Minimal degree equations for curves and surfaces (variations on a theme of Halphen)

Edoardo Ballico; Emanuele Ventura

arxiv: 1906.08117 · v1 · pith:WF7N6MKSnew · submitted 2019-06-19 · 🧮 math.AG

Minimal degree equations for curves and surfaces (variations on a theme of Halphen)

Edoardo Ballico , Emanuele Ventura This is my paper

Pith reviewed 2026-05-25 20:01 UTC · model grok-4.3

classification 🧮 math.AG

keywords projective varietieshypersurfacesminimal degreecurvessurfacesextremal configurationsalgebraic geometry

0 comments

The pith

Collections of projective curves and surfaces not contained in any hypersurface of fixed degree admit two numerical invariants: minimal degree and the maximum number of independent minimal-degree equations through them.

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

The paper examines collections of projective varieties that avoid lying on any hypersurface of a given degree. It defines two numerical invariants for such collections: the minimal degree attained by any variety in the collection, and the largest possible dimension of the vector space of linearly independent hypersurfaces of that minimal degree that contain every variety in the collection. Concrete results and bounds are obtained when the varieties are curves or surfaces. This revives and extends classical questions about extremal configurations in projective space.

Core claim

Many classical results in algebraic geometry arise from investigating some extremal behaviors that appear among projective varieties not lying on any hypersurface of fixed degree. We study two numerical invariants attached to such collections of varieties: their minimal degree and their maximal number of linearly independent smallest degree hypersurfaces passing through them. We show results for curves and surfaces, and pose several questions.

What carries the argument

The pair of numerical invariants consisting of the minimal degree of varieties in the collection and the maximal dimension of the space of linearly independent minimal-degree hypersurfaces containing the entire collection.

If this is right

For collections consisting of curves, the two invariants admit explicit values or sharp bounds.
For collections consisting of surfaces, the two invariants admit explicit values or sharp bounds.
Several questions remain open concerning the same invariants for collections in higher dimension or for other classes of varieties.

Where Pith is reading between the lines

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

The same pair of invariants could be used to organize extremal examples across a wider range of dimensions once the curve and surface cases are fully settled.
The invariants may interact with classical bounds on the postulation or Hilbert function of finite sets of points in projective space.

Load-bearing premise

That collections of projective varieties not lying on any hypersurface of a fixed degree exist in sufficient number so that the minimal degree and the count of independent hypersurfaces are well-defined, finite, and open to explicit computation or bounds.

What would settle it

An explicit finite collection of curves or surfaces with no containing hypersurface of a fixed degree d for which either the minimal degree is strictly larger than any computed bound or the vector space of degree-d hypersurfaces through the collection has dimension exceeding the stated maximum.

read the original abstract

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

Incremental extension of Halphen-type invariants with some explicit bounds for curves and surfaces but no conceptual shift.

read the letter

The paper defines two numerical invariants for collections of projective curves and surfaces that avoid hypersurfaces of a fixed degree: the minimal degree of such a collection, and the largest number of linearly independent minimal-degree hypersurfaces through it. They derive some concrete results in these cases and list open questions. The main contribution is filling in explicit values or bounds for these invariants in low dimensions, which adds to the classical record without reorganizing the subject. The setup follows the standard Halphen pattern and treats the finiteness and existence assumptions as given, which is reasonable for this style of problem. The work stays close to prior literature, so the advance is in the specific numbers rather than new methods or general theorems. A minor limitation is the narrow focus on curves and surfaces; if the arguments are mostly case-by-case, they may not extend far, but that matches the stated scope. The abstract-only view makes it hard to judge proof tightness, yet nothing in the framing suggests circularity or undefined terms. This is for algebraic geometers who track postulation problems and extremal degrees. A reader already working on Halphen-type questions might pick up useful bounds or examples. It has enough concrete content to justify referee time for checking the calculations and weighing the questions. I would send it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper studies two numerical invariants for collections of projective varieties not contained in any hypersurface of a fixed degree: the minimal degree of the collection and the maximal number of linearly independent hypersurfaces of that minimal degree passing through the collection. Building on classical Halphen-type extremal problems, it establishes explicit results and bounds for curves and surfaces in projective space and poses several open questions.

Significance. If the stated results hold, the work provides concrete extensions of classical results on extremal behavior of varieties, with the two invariants offering a refined framework for studying minimal-degree equations. The explicit computations for curves and surfaces, together with the posed questions, could serve as a foundation for further progress in this area of algebraic geometry.

minor comments (3)

The abstract and introduction should clarify the precise ambient projective space and the range of degrees considered for the hypersurfaces to avoid ambiguity in the definition of the invariants.
Notation for the two invariants (minimal degree and maximal independent count) should be introduced consistently with a single symbol pair throughout the text rather than varying between sections.
Several statements in the results for surfaces refer to 'generic' collections; a brief remark on the precise meaning of genericity (e.g., in the Hilbert scheme) would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work on the two numerical invariants extending Halphen-type problems, the explicit results for curves and surfaces, and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No circularity: invariants defined and studied from classical Halphen-type setup without reduction to inputs

full rationale

The paper defines two numerical invariants (minimal degree of a collection and maximal number of linearly independent minimal-degree hypersurfaces through it) for projective varieties avoiding hypersurfaces of fixed degree, then derives explicit results for curves and surfaces. No equations, ansatzes, or uniqueness claims are shown to reduce by construction to fitted parameters, self-citations, or renamed inputs. The setup presupposes existence and finiteness of such collections as the standard starting point for extremal problems in algebraic geometry, but this is not derived from the invariants themselves. The work is self-contained against external benchmarks in classical algebraic geometry with no load-bearing self-referential steps.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities can be extracted from the abstract; the paper works with standard notions of projective varieties and hypersurfaces.

pith-pipeline@v0.9.0 · 5574 in / 1122 out tokens · 29427 ms · 2026-05-25T20:01:48.372173+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

[1]

Alzati and F

A. Alzati and F. Russo, On the k-normality of projected algebraic varieties , Bull. Braz. Math Soc, New Series 33(1) (2007), no. 3, 27–48

work page 2007
[2]

Arbarello, M

E. Arbarello, M. Cornalba, P. Griﬃths, and J. Harris, Geometry of Algebraic Curves , Volume I, Grundlehren der mathematischen Wissenschaften 267, Springer-Verlag, New York, 1985

work page 1985
[3]

Ballico, G

E. Ballico, G. Bolondi, P. Ellia and R. M. Mir` o-Roig, Curves of maximum genus in the range A and stick-ﬁgures, Trans. Amer. Math. Soc. 349 (1997), no. 11, 4589–4608

work page 1997
[4]

Ballico and P

E. Ballico and P. Ellia, On projections of ruled and Veronese varieties , J. Algebra 121 (1989), 477–487

work page 1989
[5]

Ballico and P

E. Ballico and P. Ellia, On postulation of curves in P4, Math. Z. 188 (1985), 215–223

work page 1985
[6]

Ballico and P

E. Ballico and P. Ellia, The maximal rank conjecture for non-special curves in P3, Invent. Math. 79 (1985), 541–555

work page 1985
[7]

Ballico and P

E. Ballico and P. Ellia, Beyond the maximal rank conjecture for curves in P3, in: Space Curves, Proceedings Rocca di Papa, pp. 1–23, Lecture Notes in Math. 1 266, Springer, Berlin, 1985

work page 1985
[8]

Ballico and P

E. Ballico and P. Ellia, The maximal rank conjecture for non-special curves in Pn, Math. Z. 196 (1987), 355–367

work page 1987
[9]

Ballico and P

E. Ballico and P. Ellia, The maximal genus of space curves in the Range A , preprint at arXiv:1811.08807, 2018

work page arXiv 2018
[10]

Ballico, P

E. Ballico, P. Ellia and C. Fontanari, Maximal rank of space curves in the Range A , Eur. J. Math. 4 (2018), 778–801

work page 2018
[11]

Brodmann and P

M. Brodmann and P. Schenzel, Arithmetic properties of projective varieties of almost mi nimal degree, J. Algebraic Geom. 16 (2007), 347–400

work page 2007
[12]

Chiantini and C

L. Chiantini and C. Ciliberto, Towards a Halphen theory of linear series on curves , Trans. Amer. Math. Soc. 351 , no. 6, 2197–2212, 1999

work page 1999
[13]

Di Gennaro and D

V. Di Gennaro and D. Franco, Reﬁning Castelnuovo-Halphen bounds , Rend. Circ. Mat. Palermo (2) 61, no. 1, 91–106, 2012

work page 2012
[14]

Fløystad, Construction of space curves with good properties , Math

G. Fløystad, Construction of space curves with good properties , Math. Ann. 289 (1991), no. 1, 33–54

work page 1991
[15]

Fløystad, On space curves with good cohomological properties , Math

G. Fløystad, On space curves with good cohomological properties , Math. Ann. 291 (1991), no. 3, 505–549

work page 1991
[16]

Fujisawa, On non-rational numerical Del Pezzo surfaces , Osaka J

T. Fujisawa, On non-rational numerical Del Pezzo surfaces , Osaka J. Math. 32 (1995), 613–636

work page 1995
[17]

Gruson and C

L. Gruson and C. Peskine, Genre des courbes de l’espace projectif , Proc. Tromsø 1977, 39–59, Lect. Notes in Math. 687, 1978, Springer, Berlin

work page 1977
[18]

Gruson, R

L. Gruson, R. Lazarsfeld, and C. Peskine, On a theorem of Castelnuovo and the equations deﬁning space curves, Inv. Math. 72, 491–506, 1983

work page 1983
[19]

Harris, A bound on the geometric genus of projective varieties , Ann

J. Harris, A bound on the geometric genus of projective varieties , Ann. Sc. Norm. Super. Pisa Cl. Sci. (4) 8, no. 1, 35–68, 1981

work page 1981
[20]

Hartshorne, Algebraic Geometry, Springer-Verlag, Berlin–Heidelberg–New York, 1977

R. Hartshorne, Algebraic Geometry, Springer-Verlag, Berlin–Heidelberg–New York, 1977

work page 1977
[21]

Hartshorne, On the classiﬁcation of algebraic space curves , in: Vector bundles and diﬀerential equations (Nice 1979), p

R. Hartshorne, On the classiﬁcation of algebraic space curves , in: Vector bundles and diﬀerential equations (Nice 1979), p. 82–112, Progress in Math. 7 Birkh¨ auser, Boston 1980. MINIMAL DEGREE EQUATIONS FOR CUR VES AND SURF ACES 15

work page 1979
[22]

Hartshorne and A

R. Hartshorne and A. Hirschowitz, Nouvelles courbes de bon genre dans l’espace projectif , Math. Ann. 280 (1988), no. 3, 353–367

work page 1988
[23]

Hirschowitz, Sur la postulation g´ en´ erique des courbes rationnelles, Acta Math

A. Hirschowitz, Sur la postulation g´ en´ erique des courbes rationnelles, Acta Math. 146 (1981), 209– 230

work page 1981
[24]

L-T. Hoa, J. St¨ uckrad, W. Vogel, Towards a structure theory for projective varieties of degr ee = codimension +2, J. Pure Appl. Algebra 71 (1991) 203–231

work page 1991
[25]

Lazarsfeld, A sharp Castelnuovo bound for smooth surfaces , Duke Math

R. Lazarsfeld, A sharp Castelnuovo bound for smooth surfaces , Duke Math. J. 55 (1987), 423–429

work page 1987
[26]

L’vovsky, On the inﬂection points, monomial curves, and hypersurface s containing projective curves, Math

S. L’vovsky, On the inﬂection points, monomial curves, and hypersurface s containing projective curves, Math. Ann. 306 (1996), 719–735

work page 1996
[27]

Macr ` ı and B

E. Macr ` ı and B. Schmidt, Derived categories and the genus of space curves , preprint at arXiv:1801.02709, 2018

work page arXiv 2018
[28]

Matsuki, Introduction to the Mori program , Springer, Berlin, 2002

K. Matsuki, Introduction to the Mori program , Springer, Berlin, 2002

work page 2002
[29]

Park, Smooth varieties of almost minimal degree , J

E. Park, Smooth varieties of almost minimal degree , J. Algebra 314 (2007) 185–208

work page 2007
[30]

Park, On hypersurfaces containing projective varieties , Forum Math

E. Park, On hypersurfaces containing projective varieties , Forum Math. 27 (2015), no. 2, 843–875

work page 2015
[31]

Szpiro, Lectures on Equations deﬁning Space Curves , Tata Institute of Fundamental Research, Bombay, 1979

L. Szpiro, Lectures on Equations deﬁning Space Curves , Tata Institute of Fundamental Research, Bombay, 1979. Universit`a di Trento, 38123 Povo (TN), Italy E-mail address : edoardo.ballico@unitn.it Dept. of Mathematics, Texas A&M University, College Statio n, TX 77843-3368, USA E-mail address : eventura@math.tamu.edu, emanueleventura.sw@gmail.com

work page 1979

[1] [1]

Alzati and F

A. Alzati and F. Russo, On the k-normality of projected algebraic varieties , Bull. Braz. Math Soc, New Series 33(1) (2007), no. 3, 27–48

work page 2007

[2] [2]

Arbarello, M

E. Arbarello, M. Cornalba, P. Griﬃths, and J. Harris, Geometry of Algebraic Curves , Volume I, Grundlehren der mathematischen Wissenschaften 267, Springer-Verlag, New York, 1985

work page 1985

[3] [3]

Ballico, G

E. Ballico, G. Bolondi, P. Ellia and R. M. Mir` o-Roig, Curves of maximum genus in the range A and stick-ﬁgures, Trans. Amer. Math. Soc. 349 (1997), no. 11, 4589–4608

work page 1997

[4] [4]

Ballico and P

E. Ballico and P. Ellia, On projections of ruled and Veronese varieties , J. Algebra 121 (1989), 477–487

work page 1989

[5] [5]

Ballico and P

E. Ballico and P. Ellia, On postulation of curves in P4, Math. Z. 188 (1985), 215–223

work page 1985

[6] [6]

Ballico and P

E. Ballico and P. Ellia, The maximal rank conjecture for non-special curves in P3, Invent. Math. 79 (1985), 541–555

work page 1985

[7] [7]

Ballico and P

E. Ballico and P. Ellia, Beyond the maximal rank conjecture for curves in P3, in: Space Curves, Proceedings Rocca di Papa, pp. 1–23, Lecture Notes in Math. 1 266, Springer, Berlin, 1985

work page 1985

[8] [8]

Ballico and P

E. Ballico and P. Ellia, The maximal rank conjecture for non-special curves in Pn, Math. Z. 196 (1987), 355–367

work page 1987

[9] [9]

Ballico and P

E. Ballico and P. Ellia, The maximal genus of space curves in the Range A , preprint at arXiv:1811.08807, 2018

work page arXiv 2018

[10] [10]

Ballico, P

E. Ballico, P. Ellia and C. Fontanari, Maximal rank of space curves in the Range A , Eur. J. Math. 4 (2018), 778–801

work page 2018

[11] [11]

Brodmann and P

M. Brodmann and P. Schenzel, Arithmetic properties of projective varieties of almost mi nimal degree, J. Algebraic Geom. 16 (2007), 347–400

work page 2007

[12] [12]

Chiantini and C

L. Chiantini and C. Ciliberto, Towards a Halphen theory of linear series on curves , Trans. Amer. Math. Soc. 351 , no. 6, 2197–2212, 1999

work page 1999

[13] [13]

Di Gennaro and D

V. Di Gennaro and D. Franco, Reﬁning Castelnuovo-Halphen bounds , Rend. Circ. Mat. Palermo (2) 61, no. 1, 91–106, 2012

work page 2012

[14] [14]

Fløystad, Construction of space curves with good properties , Math

G. Fløystad, Construction of space curves with good properties , Math. Ann. 289 (1991), no. 1, 33–54

work page 1991

[15] [15]

Fløystad, On space curves with good cohomological properties , Math

G. Fløystad, On space curves with good cohomological properties , Math. Ann. 291 (1991), no. 3, 505–549

work page 1991

[16] [16]

Fujisawa, On non-rational numerical Del Pezzo surfaces , Osaka J

T. Fujisawa, On non-rational numerical Del Pezzo surfaces , Osaka J. Math. 32 (1995), 613–636

work page 1995

[17] [17]

Gruson and C

L. Gruson and C. Peskine, Genre des courbes de l’espace projectif , Proc. Tromsø 1977, 39–59, Lect. Notes in Math. 687, 1978, Springer, Berlin

work page 1977

[18] [18]

Gruson, R

L. Gruson, R. Lazarsfeld, and C. Peskine, On a theorem of Castelnuovo and the equations deﬁning space curves, Inv. Math. 72, 491–506, 1983

work page 1983

[19] [19]

Harris, A bound on the geometric genus of projective varieties , Ann

J. Harris, A bound on the geometric genus of projective varieties , Ann. Sc. Norm. Super. Pisa Cl. Sci. (4) 8, no. 1, 35–68, 1981

work page 1981

[20] [20]

Hartshorne, Algebraic Geometry, Springer-Verlag, Berlin–Heidelberg–New York, 1977

R. Hartshorne, Algebraic Geometry, Springer-Verlag, Berlin–Heidelberg–New York, 1977

work page 1977

[21] [21]

Hartshorne, On the classiﬁcation of algebraic space curves , in: Vector bundles and diﬀerential equations (Nice 1979), p

R. Hartshorne, On the classiﬁcation of algebraic space curves , in: Vector bundles and diﬀerential equations (Nice 1979), p. 82–112, Progress in Math. 7 Birkh¨ auser, Boston 1980. MINIMAL DEGREE EQUATIONS FOR CUR VES AND SURF ACES 15

work page 1979

[22] [22]

Hartshorne and A

R. Hartshorne and A. Hirschowitz, Nouvelles courbes de bon genre dans l’espace projectif , Math. Ann. 280 (1988), no. 3, 353–367

work page 1988

[23] [23]

Hirschowitz, Sur la postulation g´ en´ erique des courbes rationnelles, Acta Math

A. Hirschowitz, Sur la postulation g´ en´ erique des courbes rationnelles, Acta Math. 146 (1981), 209– 230

work page 1981

[24] [24]

L-T. Hoa, J. St¨ uckrad, W. Vogel, Towards a structure theory for projective varieties of degr ee = codimension +2, J. Pure Appl. Algebra 71 (1991) 203–231

work page 1991

[25] [25]

Lazarsfeld, A sharp Castelnuovo bound for smooth surfaces , Duke Math

R. Lazarsfeld, A sharp Castelnuovo bound for smooth surfaces , Duke Math. J. 55 (1987), 423–429

work page 1987

[26] [26]

L’vovsky, On the inﬂection points, monomial curves, and hypersurface s containing projective curves, Math

S. L’vovsky, On the inﬂection points, monomial curves, and hypersurface s containing projective curves, Math. Ann. 306 (1996), 719–735

work page 1996

[27] [27]

Macr ` ı and B

E. Macr ` ı and B. Schmidt, Derived categories and the genus of space curves , preprint at arXiv:1801.02709, 2018

work page arXiv 2018

[28] [28]

Matsuki, Introduction to the Mori program , Springer, Berlin, 2002

K. Matsuki, Introduction to the Mori program , Springer, Berlin, 2002

work page 2002

[29] [29]

Park, Smooth varieties of almost minimal degree , J

E. Park, Smooth varieties of almost minimal degree , J. Algebra 314 (2007) 185–208

work page 2007

[30] [30]

Park, On hypersurfaces containing projective varieties , Forum Math

E. Park, On hypersurfaces containing projective varieties , Forum Math. 27 (2015), no. 2, 843–875

work page 2015

[31] [31]

Szpiro, Lectures on Equations deﬁning Space Curves , Tata Institute of Fundamental Research, Bombay, 1979

L. Szpiro, Lectures on Equations deﬁning Space Curves , Tata Institute of Fundamental Research, Bombay, 1979. Universit`a di Trento, 38123 Povo (TN), Italy E-mail address : edoardo.ballico@unitn.it Dept. of Mathematics, Texas A&M University, College Statio n, TX 77843-3368, USA E-mail address : eventura@math.tamu.edu, emanueleventura.sw@gmail.com

work page 1979