pith. sign in

arxiv: 2604.09216 · v1 · submitted 2026-04-10 · 🧮 math.AG

Surfaces with canonical map of odd degree

Margarida Mendes Lopes , Rita Pardini , Roberto Pignatelli This is my paper

Pith reviewed 2026-05-10 17:01 UTC · model grok-4.3

classification 🧮 math.AG
keywords surfaces of general typecanonical mapodd degreegeometric genusminimal surfacesruled surfacesrational normal curvealgebraic geometry
0
0 comments X

The pith

Minimal surfaces of general type with canonical map of odd degree d satisfy pg ≤ d+2 under the given assumptions.

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

The authors prove that for a smooth minimal surface of general type with geometric genus at least 4 whose canonical map has odd degree d greater than 1, the geometric genus is at most d plus 2 when the general canonical curve is smooth and the image surface is ruled by lines. They establish that the image must be a cone over the rational normal curve of degree pg minus 2 in projective space of dimension pg minus 1, with the equality pg equals d plus 2 possible only for the specific values d equals 3, 9 or 11. For the case d equals 5 they obtain the stricter bound pg at most 5 together with the existence of a pencil of curves with self-intersection 1 and canonical intersection 5. A byproduct shows that without the ruled-by-lines assumption the degree d is at most 5 whenever pg is at least 112. These statements indicate that odd-degree canonical maps may force all invariants to remain bounded, unlike the even-degree case.

Core claim

We prove: pg ≤ d+2, Σ is a cone over the rational normal curve of degree pg-2 in P^{pg-1}, pg=d+2 can occur only for d=3,9,11. For d=5, pg≤5 and S has a pencil |C| with C²=1 and K_S C=5. If one drops the assumption that Σ is ruled by lines then d≤5 if pg≥112.

What carries the argument

The line ruling on the image surface Σ, which reduces the geometry of the odd-degree canonical map to the properties of a rational normal curve.

If this is right

  • The image Σ must be a cone over the rational normal curve of degree pg-2 in projective space of dimension pg-1.
  • The case of equality pg = d+2 is restricted to the degrees 3, 9 and 11.
  • When d=5 the surface carries a pencil of curves with self-intersection one and canonical intersection five.
  • Even without the ruled-by-lines hypothesis, the degree is forced to be at most five once pg reaches 112.

Where Pith is reading between the lines

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

  • The boundedness results support the possibility that all numerical invariants of surfaces with odd-degree canonical maps remain bounded.
  • This stands in contrast to even-degree cases, where families with unbounded geometric genus are known to exist.
  • The explicit structure for d=5 opens the way to a complete classification of such surfaces for that degree.
  • Relaxing the smoothness assumption on the general canonical curve while preserving the bounds would be a natural next test.

Load-bearing premise

The general canonical curve of S is smooth and Σ is ruled by lines.

What would settle it

A smooth minimal surface of general type with pg = d+3 whose canonical map has odd degree d>1 onto a line-ruled surface Σ with smooth general canonical curve.

read the original abstract

Let $S$ be a smooth complex minimal surface of general type with $p_g:=h^0(K_S)\ge 4$ whose canonical map is generically finite of odd degree $d>1$ onto a surface $\Sigma$. We assume that the general canonical curve of $S$ is smooth and that $\Sigma$ is ruled by lines, and we prove: - $p_g\le d+2$ - $\Sigma$ is a cone over the rational normal curve of degree $p_g-2$ in ${\mathbb P}^{p_g-1}$ - $p_g=d+2$ can occur only for $d=3,9,11$. As a byproduct, we refine previous results by Beauville and Xiao by proving that if one drops the assumption that $\Sigma$ is ruled by lines then $d\le 5$ if $p_g\ge 112$. The case $d=3$ being completely classified by the first two named authors, we focus on $d=5$, showing that $p_g\le 5$ and that for $p_g=5$ the surface $S$ has a pencil $|C|$ with $C^2=1$ and $K_SC=5$. These results suggest that the answer to the question whether the surfaces with canonical map of odd degree $d>1$ have bounded invariants could be positive, in sharp contrast with the case of even degree.

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 paper studies smooth minimal complex surfaces S of general type with p_g ≥ 4 whose canonical map is generically finite of odd degree d > 1 onto a surface Σ. Under the explicit assumptions that the general canonical curve on S is smooth and that Σ is ruled by lines, the authors prove p_g ≤ d + 2, that Σ is a cone over the rational normal curve of degree p_g - 2 in P^{p_g-1}, and that equality p_g = d + 2 occurs only for d = 3, 9, 11. For d = 5 they obtain the sharper bound p_g ≤ 5 together with the existence of a pencil |C| satisfying C² = 1 and K_S · C = 5. As a byproduct, dropping the ruled-by-lines hypothesis yields the unconditional statement that d ≤ 5 whenever p_g ≥ 112. The work builds on prior results of Beauville and Xiao and notes that the d = 3 case was already classified.

Significance. If the stated assumptions hold for the surfaces under consideration, the results supply concrete bounds on the invariants of surfaces whose canonical maps have odd degree, suggesting that such surfaces may have bounded invariants in contrast to the even-degree case. The explicit byproduct refines earlier theorems of Beauville and Xiao by removing one hypothesis for large p_g. The paper receives credit for stating its assumptions clearly and for isolating the unconditional refinement.

major comments (2)
  1. The two standing assumptions (general canonical curve smooth; Σ ruled by lines) are load-bearing for all three main claims. They are invoked at the outset to control the geometry of the canonical map and the ruling, yet the manuscript provides neither a density argument nor a verification that these conditions hold for a dense open set in the relevant moduli spaces. The byproduct shows the authors are aware of the restrictiveness of the ruled-by-lines hypothesis, but the smoothness assumption remains unaddressed and is used throughout the classification for d = 5.
  2. The statement that p_g = d + 2 occurs only for d = 3, 9, 11 is derived under the ruled-by-lines hypothesis. It would be useful to see an explicit reference to the precise place (likely in the proof of the main theorem) where the ruling is used to exclude other degrees, together with a short discussion of whether the same conclusion can be recovered without that hypothesis for moderate p_g.
minor comments (2)
  1. The abstract and introduction should contain a single sentence clarifying that the main theorems are conditional on the two assumptions, while the byproduct is unconditional.
  2. Notation for the canonical image Σ and the degree d is introduced without a preliminary diagram or table summarizing the numerical relations that will be used repeatedly.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We agree that the standing assumptions require clearer discussion of their role and will revise the paper accordingly to improve readability and precision. Below we respond point by point to the major comments.

read point-by-point responses

  1. Referee: The two standing assumptions (general canonical curve smooth; Σ ruled by lines) are load-bearing for all three main claims. They are invoked at the outset to control the geometry of the canonical map and the ruling, yet the manuscript provides neither a density argument nor a verification that these conditions hold for a dense open set in the relevant moduli spaces. The byproduct shows the authors are aware of the restrictiveness of the ruled-by-lines hypothesis, but the smoothness assumption remains unaddressed and is used throughout the classification for d = 5.

    Authors: We acknowledge the referee's observation. The theorems are stated as conditional on these two hypotheses, which are declared explicitly in the abstract, introduction, and at the start of the main results. We do not claim or attempt to prove that the assumptions hold on a dense open set of the moduli space; the paper describes the geometry of surfaces satisfying the hypotheses. The smoothness of a general canonical curve is a standard technical assumption in this area (used, for instance, to guarantee that the canonical system is base-point-free on a general member and to apply adjunction without additional singularities). It is invoked in the d=5 analysis to control the linear system |C| and the resulting pencil. We will add a short paragraph in the introduction clarifying the conditional nature of the results and noting that the question of whether these conditions hold generically remains open. This revision addresses the concern while preserving the scope of the work. revision: partial

  2. Referee: The statement that p_g = d + 2 occurs only for d = 3, 9, 11 is derived under the ruled-by-lines hypothesis. It would be useful to see an explicit reference to the precise place (likely in the proof of the main theorem) where the ruling is used to exclude other degrees, together with a short discussion of whether the same conclusion can be recovered without that hypothesis for moderate p_g.

    Authors: We agree that an explicit pointer will strengthen the exposition. The ruled-by-lines hypothesis is used in the proof of the main theorem (immediately after the identification of Σ as a cone, in the paragraph containing the degree computation that invokes the ruling to obtain the intersection numbers leading to the possible values of d). We will insert a direct reference to this step both in the statement of the theorem and in a new remark following the proof. Without the ruled-by-lines assumption the equality cases cannot be excluded by the same argument; however, the byproduct already shows that d is bounded by 5 for p_g ≥ 112 even without the ruling hypothesis. For moderate p_g a separate case-by-case analysis might be feasible using the classification of low-degree canonical images, but this lies outside the present paper. We will add a brief discussion of this distinction in the revised introduction. revision: yes

Circularity Check

0 steps flagged

No circularity; bounds derived conditionally from explicit assumptions plus external theorems

full rationale

The paper states its two key assumptions upfront (general canonical curve smooth; Σ ruled by lines) and derives pg ≤ d+2, the cone structure of Σ, and the restrictions on pg = d+2 directly from those plus cited results of Beauville and Xiao. The d=3 case is dispatched by prior classification by two of the authors, but the core statements for general odd d and the d=5 analysis do not reduce any claimed prediction to a quantity fitted from the same data, nor do they import uniqueness via self-citation chains. The byproduct (d ≤ 5 for pg ≥ 112 when the ruled-by-lines hypothesis is dropped) further demonstrates that the argument is not tautological. No equation or step equates an output to its input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper rests entirely on standard domain assumptions of algebraic geometry of surfaces; no free parameters are fitted and no new entities are postulated.

axioms (4)
  • domain assumption S is a smooth complex minimal surface of general type with pg >=4
    Setup stated in the abstract.
  • domain assumption The canonical map is generically finite of odd degree d>1 onto a surface Σ
    Core hypothesis of the theorems.
  • domain assumption The general canonical curve of S is smooth
    Explicit assumption required for the proofs.
  • domain assumption Σ is ruled by lines
    Key assumption used to obtain the cone structure and bounds.

pith-pipeline@v0.9.0 · 5565 in / 1652 out tokens · 73299 ms · 2026-05-10T17:01:19.771711+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 1 Pith paper

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

  1. The parity of theta characteristics is preserved by infinitesimal deformations

    math.AG 2026-04 unverdicted novelty 4.0

    The parity of theta characteristics on fibers is preserved under infinitesimal deformations in families of curves.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Barth, K

    W. Barth, K. Hulek, C. Peters, A. Van De Ven, Compact complex surfaces, 2nd enlarged ed. Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, Band 4 , Springer-Verlag, Berlin (2004)

    work page 2004

  2. [2]

    Beauville, L'application canonique pour les surfaces de type g\'en\'eral

    A. Beauville, L'application canonique pour les surfaces de type g\'en\'eral . Inv. Math. 55 (1979), 121--140

    work page 1979

  3. [3]

    Bombieri, Canonical models of surfaces of general type , Inst

    E. Bombieri, Canonical models of surfaces of general type , Inst. Hautes \'Etudes Sci. Publ. Math., 42 (1973), 171--219

    work page 1973

  4. [4]

    Catanese, M

    F. Catanese, M. Franciosi, K. Hulek, M. Reid, Embeddings of curves and surfaces , Nagoya Math. J. 154 (1999), 185--220

    work page 1999

  5. [5]

    Ciliberto, T

    C. Ciliberto, T. Dedieu, M. Mendes Lopes, On surfaces of high degree with respect to the sectional genus , preprint arXiv:2503.22299

    work page arXiv

  6. [6]

    Ciliberto, P

    C. Ciliberto, P. Francia, M. Mendes Lopes, Remarks on the bicanonical map for surfaces of general type , Math. Z. 224 (1997), 137--166

    work page 1997

  7. [7]

    Coughlan, M

    S. Coughlan, M. Franciosi, R. Pardini, S. Rollenske, Half canonical rings of Gorenstein spin curves of genus two , preprint arXiv:2312.09671

    work page arXiv

  8. [8]

    Ciliberto, M

    C. Ciliberto, M. Mendes Lopes, R. Pardini, Abelian varieties in Brill–Noether loci , Adv. Math. 257 (2014), 349--364

    work page 2014

  9. [9]

    Cornalba, Moduli of curves and theta-characteristics , Lectures on Riemann surfaces (Trieste, 1987), 560--589

    M. Cornalba, Moduli of curves and theta-characteristics , Lectures on Riemann surfaces (Trieste, 1987), 560--589. World Scientific Publishing Co., Inc., Teaneck, NJ, 1989

    work page 1987

  10. [10]

    Debarre, R

    O. Debarre, R. Fahlaoui, Abelian Varieties in W^r_d(C) and points of bounded degree on algebraic curves , Compositio Math. 88 (1993), no. 3, 235--249

    work page 1993

  11. [11]

    Harris, Theta-Characteristics on Algebraic Curves , Transactions of the American Mathematical Society, Jun., 1982, Vol

    J. Harris, Theta-Characteristics on Algebraic Curves , Transactions of the American Mathematical Society, Jun., 1982, Vol. 271 , No. 2 (Jun., 1982), pp. 611--638

    work page 1982

  12. [12]

    Konno, M

    K. Konno, M. Mendes Lopes The base components of the dualizing sheaf of a curve on a surface , Archiv der Mathematik, 90 (2008), 395--400

    work page 2008

  13. [13]

    Miyaoka, The maximal number of quotient singularities on surfaces with given numerical invariants , Math

    Y. Miyaoka, The maximal number of quotient singularities on surfaces with given numerical invariants , Math. Ann. 268 , 159--171 (1984)

    work page 1984

  14. [14]

    Mendes Lopes, Adjoint systems on surfaces , Boll

    M. Mendes Lopes, Adjoint systems on surfaces , Boll. Un. Mat. Ital. A (7) 10 (1996), no. 1, 169--179

    work page 1996

  15. [15]

    Mendes Lopes, R

    M. Mendes Lopes, R. Pardini, Triple canonical surfaces of minimal degree , International Journal of Mathematics, 152 (1998), 203--230

    work page 1998

  16. [16]

    Mendes Lopes, R

    M. Mendes Lopes, R. Pardini, On the degree of the canonical map of a surface of general type , The Art of Doing Algebraic Geometry, Dedieu, Thomas (ed.) et al., Birkh\"auser. Trends Math., 305-325 (2023)

    work page 2023

  17. [17]

    The parity of theta characteristics is preserved by infinitesimal deformations

    M. Mendes Lopes, R. Pardini, R. Pignatelli, The parity of theta characteristics is preserved by infinitesimal deformations , arXiv: 2604.07876 https://arxiv.org/abs/2604.07876, to appear

    work page internal anchor Pith review Pith/arXiv arXiv

  18. [18]

    Mumford, Abelian varieties

    D. Mumford, Abelian varieties . Tata Inst. Fundam. Res. Stud. Math., 5 Published for the Tata Institute of Fundamental Research, Bombay; by Oxford University Press, London, 1970. viii+242 pp

    work page 1970

  19. [19]

    Mumford, Theta characteristics of an algebraic curve

    D. Mumford, Theta characteristics of an algebraic curve. Ann. Sci. \'Ecole Norm. Sup. (4) 4 (1971), 181--192

    work page 1971

  20. [20]

    C. P. Ramanujam, Remarks on the Kodaira vanishing theorem J. Indian Math. Soc., 36 (1972), 41--51

    work page 1972

  21. [21]

    Reid, Chapters on algebraic surfaces , Koll\' a r, J\' a nos (ed.), Complex algebraic geometry

    M. Reid, Chapters on algebraic surfaces , Koll\' a r, J\' a nos (ed.), Complex algebraic geometry. Lectures of a summer program, Park City, UT, 1993. Providence, RI: American Mathematical Society. IAS/Park City Math. Ser. 3, 5-159 (1997)

    work page 1993

  22. [22]

    Reid, Surfaces of Small Degree , Math

    M. Reid, Surfaces of Small Degree , Math. Ann. 275 , 71--80 (1986)

    work page 1986

  23. [23]

    Starnone, Superfici algebriche con curve canoniche , Boll

    F. Starnone, Superfici algebriche con curve canoniche , Boll. Unione Mat. Ital., Sez. A, Mat. Soc. Cult. (8) 1, Suppl., 67-69 (1998)

    work page 1998

  24. [24]

    Xiao, Algebraic surfaces with high canonical degree , Math

    G. Xiao, Algebraic surfaces with high canonical degree , Math. Ann. 274 , 473--483 (1986)

    work page 1986

  25. [25]

    Xiao, Irregularity of surfaces with a linear pencil , Duke Math

    G. Xiao, Irregularity of surfaces with a linear pencil , Duke Math. J. 55 3 (1987), 596--602

    work page 1987