pith. sign in

arxiv: 1906.08818 · v1 · pith:CZIHDM5Cnew · submitted 2019-06-20 · 🧮 math.AG · math.NT

Pell surfaces

J\'anos Koll\'ar This is my paper

Pith reviewed 2026-05-25 18:58 UTC · model grok-4.3

classification 🧮 math.AG math.NT
keywords Pell equationhyperelliptic curveJacobian torsionaffine linesPell surfacecurves at infinitypolynomial solutions
0
0 comments X

The pith

Pell surfaces defined by the equation x² - g(u)y² = 1 have all their affine lines and all curves with one place at infinity described when the degree of g is even.

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

The paper examines affine surfaces in three-space given by the polynomial Pell equation x² - g(u)y² = 1. It seeks a complete list of the affine lines on these surfaces, which are triples of polynomials satisfying the equation identically. These lines exist precisely when a corresponding point of finite order appears on the Jacobian of the hyperelliptic curve v² = g(u). When the degree of g is even the classification covers every such line and every curve on the surface that meets the line at infinity in exactly one point. A sympathetic reader cares because the work converts a classical question about polynomial solutions into an explicit geometric description controlled by the Jacobian.

Core claim

The central claim is that the existence of polynomial solutions x(t), y(t), u(t) to x(t)² - g(u(t))y(t)² = 1 is governed by torsion points on the Jacobian of v² = g(u), and that when the degree of g is even every affine line and every curve with precisely one place at infinity on the surface arises from this torsion data and can be listed explicitly.

What carries the argument

Torsion points on the Jacobian of the hyperelliptic curve v² = g(u), which determine the polynomial solutions to the Pell equation.

If this is right

  • When deg g is even every affine line on the surface is accounted for by the torsion-point construction.
  • Every curve with only one place at infinity is likewise listed explicitly for even degree g.
  • The classification does not extend to the case of odd degree g, which remains open.
  • The classical solvability question for the polynomial Pell equation reduces directly to the existence of suitable torsion in the Jacobian.

Where Pith is reading between the lines

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

  • The same Jacobian torsion condition may supply a practical algorithm to enumerate all polynomial Pell solutions for a given even-degree g.
  • Similar torsion-based descriptions could apply to other quadratic Diophantine equations realized as affine surfaces.
  • The open odd-degree case might require only a modification of the place-at-infinity analysis rather than an entirely new method.

Load-bearing premise

The solvability in polynomials x(u), y(u) depends on a certain torsion point on the Jacobian of the hyperelliptic curve v² = g(u).

What would settle it

An explicit even-degree polynomial g together with a triple of polynomials x(t), y(t), u(t) satisfying the Pell equation that does not arise from any torsion point on the Jacobian, or a curve with exactly one place at infinity that lies outside the listed families.

read the original abstract

In 1826 Abel started the study of the polynomial Pell equation $x^2-g(u)y^2=1$. Its solvability in polynomials $x(u), y(u)$ depends on a certain torsion point on the Jacobian of the hyperelliptic curve $v^2=g(u)$. In this paper we study the affine surfaces defined by the Pell equations in 3-space with coordinates $x, y,u$, and aim to describe all affine lines on it. These are polynomial solutions of the equation $x(t)^2-g(u(t))y(t)^2=1$. Our results are rather complete when the degree of $g$ is even but the odd degree cases are left completely open. For even degrees we also describe all curves on these Pell surfaces that have only 1 place at infinity.

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

0 major / 1 minor

Summary. The manuscript studies the affine Pell surfaces defined by the equation x² - g(u)y² = 1 in A³. It aims to classify all affine lines on these surfaces (i.e., polynomial maps t ↦ (x(t), y(t), u(t)) satisfying the equation) and, for even deg(g), all curves having exactly one place at infinity. The classification for even degree rests on the classical correspondence between polynomial solutions and torsion points in the Jacobian of the hyperelliptic curve v² = g(u), extending Abel’s 1826 result; the odd-degree case is explicitly left open.

Significance. If the even-degree results hold, the paper supplies a complete geometric description of the lines and one-place-at-infinity curves on these surfaces in terms of torsion data on a fixed Jacobian, without introducing extra parameters. This furnishes a clean extension of the Abel–Jacobi theory to the geometry of the associated affine surface and may be useful for questions about units in function fields or rational points on related varieties.

minor comments (1)
  1. The abstract states that results are “rather complete” for even degree but supplies no indication of the length or technical depth of the proofs; a short sentence outlining the main technical tool (beyond the Abel correspondence) would help readers assess scope.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. No specific major comments were provided in the report, so we interpret the minor revision as addressing any typographical or presentational issues that may arise during copyediting. We will incorporate such changes in the revised version.

Circularity Check

0 steps flagged

No significant circularity; builds on external classical result

full rationale

The paper's core derivation invokes Abel's 1826 theorem linking solvability of the polynomial Pell equation x² - g(u)y² = 1 to torsion points on the Jacobian of v² = g(u). This is a standard external historical result, not a self-citation, fitted parameter, or internal definition. For even deg(g), the paper applies this to classify affine lines (polynomial solutions x(t),y(t),u(t)) and curves with one place at infinity on the surface, while explicitly leaving odd-degree cases open. No steps reduce by construction to the inputs, no ansatz is smuggled via self-citation, and no uniqueness theorem is imported from the authors' prior work. The new descriptions of lines and curves are independent geometric content built on the classical correspondence.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Paper relies on standard algebraic geometry background. No free parameters, invented entities, or ad hoc axioms visible in abstract.

axioms (1)
  • domain assumption Solvability of polynomial Pell equation depends on torsion point on Jacobian of hyperelliptic curve v²=g(u)
    Stated in abstract as the dependence for solvability in polynomials.

pith-pipeline@v0.9.0 · 5651 in / 1067 out tokens · 21389 ms · 2026-05-25T18:58:58.862475+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. Fundamental groups and path lifting for algebraic varieties

    math.AG 2019-06 unverdicted novelty 3.0

    Examines preservation of π₁-surjectivity under base change, Zariski-Euclidean openness relations, and path lifting for morphisms on fundamental groups of algebraic varieties.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages · cited by 1 Pith paper

  1. [1]

    N. H. Abel, Sur l'int\'egration de la formule diff\'erentielle dx/ R , R et \'etant des fonctions enti\`eres , Journal f\"ur die reine und angewandte Mathematik 1 (1826), 185--221, =Oeuvres Compl\`etes de Niels Henrik Abel (L. Sylow and S. Lie, eds.). Christiania, (1881), pp. 104--144

    work page

  2. [2]

    Abhyankar and Tzuong Tsieng Moh, Embeddings of the line in the plane, J

    Shreeram S. Abhyankar and Tzuong Tsieng Moh, Embeddings of the line in the plane, J. Reine Angew. Math. 276 (1975), 148--166. 0379502

    work page 1975

  3. [3]

    Math., vol

    Dan Abramovich and Frans Oort, Stable maps and H urwitz schemes in mixed characteristics , Advances in algebraic geometry motivated by physics ( L owell, MA , 2000), Contemp. Math., vol. 276, Amer. Math. Soc., Providence, RI, 2001, pp. 89--100. 1837111

    work page 2000

  4. [4]

    Daniel Bragg and Max Lieblich , Perfect points on genus one curves and consequences for supersingular K3 surfaces , arXiv e-prints (2019), arXiv:1904.04803

    work page arXiv 2019

  5. [5]

    21, Springer-Verlag, Berlin, 1990

    Siegfried Bosch, Werner L \"u tkebohmert, and Michel Raynaud, N\'eron models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 21, Springer-Verlag, Berlin, 1990. 1045822 (91i:14034)

    work page 1990

  6. [6]

    Fedor Bogomolov and Yuri Tschinkel, Curves in abelian varieties over finite fields, Int. Math. Res. Not. (2005), no. 4, 233--238. 2128435

    work page 2005

  7. [7]

    , Rational curves and points on K3 surfaces , Amer. J. Math. 127 (2005), no. 4, 825--835. 2154371

    work page 2005

  8. [8]

    Charles Cadman and Linda Chen, Enumeration of rational plane curves tangent to a smooth cubic, Adv. Math. 219 (2008), no. 1, 316--343

    work page 2008

  9. [9]

    P. L. Chebyshev, Sur l’int\'egration des diff\'erentielles qui contiennent une racine carr\'ee d'un polynome du troisi\`eme ou du quatri\`eme degr\'e, J. Math. Pures Appl. 2 (1857), 1--42

    work page

  10. [10]

    Xi Chen and Yi Zhu, A ^1 curves on log K3 surfaces , Adv. Math. 313 (2017), 718--745

    work page 2017

  11. [11]

    Julie Decaup and Adrien Dubouloz, Affine lines in the complement of a smooth plane conic, 2016

    work page 2016

  12. [12]

    Denef, The D iophantine problem for polynomial rings and fields of rational functions , Trans

    J. Denef, The D iophantine problem for polynomial rings and fields of rational functions , Trans. Amer. Math. Soc. 242 (1978), 391--399. 0491583

    work page 1978

  13. [13]

    Mitsushi Fujimoto and Masakazu Suzuki, Construction of affine plane curves with one place at infinity, Osaka J. Math. 39 (2002), no. 4, 1005--1027. 1951527

    work page 2002

  14. [14]

    William Fulton, Hurwitz schemes and irreducibility of moduli of algebraic curves, Ann. of Math. (2) 90 (1969), 542--575. MR0260752 (41 \#5375)

    work page 1969

  15. [15]

    Kazez, The classification of maps of surfaces, Bull

    David Gabai and William H. Kazez, The classification of maps of surfaces, Bull. Amer. Math. Soc. (N.S.) 14 (1986), no. 2, 283--286. 828827

    work page 1986

  16. [16]

    [ E xtraits du S \'eminaire B ourbaki, 1957--1962.] , Secr\'etariat math\'ematique, Paris, 1962

    Alexander Grothendieck, Fondements de la g\'eom\'etrie alg\'ebrique. [ E xtraits du S \'eminaire B ourbaki, 1957--1962.] , Secr\'etariat math\'ematique, Paris, 1962. MR0146040 (26 \#3566)

    work page 1957

  17. [17]

    Fumio Hazama, Pell equations for polynomials, Indag. Mathem. 8 (1997), no. 3, 387--397

    work page 1997

  18. [18]

    Eiji Horikawa, On deformations of holomorphic maps. II , J. Math. Soc. Japan 26 (1974), 647--667. 0352540

    work page 1974

  19. [19]

    Hurwitz, Ueber R iemann'sche F l\"achen mit gegebenen V erzweigungspunkten , Math

    A. Hurwitz, Ueber R iemann'sche F l\"achen mit gegebenen V erzweigungspunkten , Math. Ann. 39 (1891), no. 1, 1--60. 1510692

    work page

  20. [20]

    Kanel- B elov and A.A

    A.J. Kanel- B elov and A.A. Chilikov, On algorithmic unsolvability of the problem embeddability of algebraic varieties over a field of characteristic zero (in R ussian) , 2018

    work page 2018

  21. [21]

    134, Cambridge University Press, Cambridge, 1998, With the collaboration of C

    J \'a nos Koll \'a r and Shigefumi Mori, Birational geometry of algebraic varieties, Cambridge Tracts in Mathematics, vol. 134, Cambridge University Press, Cambridge, 1998, With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original

    work page 1998

  22. [22]

    200, Cambridge University Press, Cambridge, 2013, With the collaboration of S \'a ndor Kov \'a cs

    J \'a nos Koll \'a r, Singularities of the minimal model program, Cambridge Tracts in Mathematics, vol. 200, Cambridge University Press, Cambridge, 2013, With the collaboration of S \'a ndor Kov \'a cs

    work page 2013

  23. [23]

    , Fundamental groups and path lifting for algebraic varieties

    work page

  24. [24]

    857, Springer-Verlag, Berlin-New York, 1981

    Masayoshi Miyanishi, Noncomplete algebraic surfaces, Lecture Notes in Mathematics, vol. 857, Springer-Verlag, Berlin-New York, 1981. 635930

    work page 1981

  25. [25]

    5, Published for the Tata Institute of Fundamental Research, Bombay, 1970

    David Mumford, Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics, No. 5, Published for the Tata Institute of Fundamental Research, Bombay, 1970. 0282985 (44 \#219)

    work page 1970

  26. [26]

    David Masser and Umberto Zannier, Torsion points on families of simple abelian surfaces and P ell's equation over polynomial rings , J. Eur. Math. Soc. (JEMS) 17 (2015), no. 9, 2379--2416, With an appendix by E. V. Flynn. 3420511

    work page 2015

  27. [27]

    Raynaud, Sous-vari\' e t\' e s d'une vari\' e t\' e ab\' e lienne et poin\ ts de torsion , Arithmetic and geometry, V ol

    M. Raynaud, Sous-vari\' e t\' e s d'une vari\' e t\' e ab\' e lienne et poin\ ts de torsion , Arithmetic and geometry, V ol. I , Progr. Math., vol. 35, Birkh\" a user Boston, Boston, MA, 1983, pp. 327--352. 717600

    work page 1983

  28. [28]

    , Rev \^e tements de la droite affine en caract \'e ristique p>0 et conjecture d' A bhyankar , Invent. math. 116 (1994), no. 1, 425--462

    work page 1994

  29. [29]

    2, 139--166

    Wolfgang Schmidt, On continued fractions and diophantine approximation in power series fields, Acta Arithmetica 95 (2000), no. 2, 139--166

    work page 2000

  30. [30]

    Scherr, Rational polynomial P ell equations, P h

    Zachary L. Scherr, Rational polynomial P ell equations, P h. D . thesis , 2013, http://dept.math.lsa.umich.edu/research/number_theory/theses/zach_scherr.pdf

    work page 2013

  31. [31]

    Hermann, Paris, 1959

    Jean-Pierre Serre, Groupes alg\'ebriques et corps de classes, Publications de l'institut de math\'ematique de l'universit\'e de Nancago, VII. Hermann, Paris, 1959. 0103191

    work page 1959

  32. [32]

    Matthias Sch\"utt and Tetsuji Shioda, Mordell- W eil lattices , (to appear), 2019

    work page 2019

  33. [33]

    Masakazu Suzuki, Propri\'et\'es topologiques des polyn\^omes de deux variables complexes, et automorphismes alg\'ebriques de l'espace C 2 , J. Math. Soc. Japan 26 (1974), 241--257. 0338423

    work page 1974

  34. [34]

    , Affine plane curves with one place at infinity, Ann. Inst. Fourier (Grenoble) 49 (1999), no. 2, 375--404. 1697368

    work page 1999

  35. [35]

    Takahashi, Curves in the complement of a smooth plane cubic whose normalizations are A^1 , arxiv eprints (1996) alg-geom/960500

    N. Takahashi, Curves in the complement of a smooth plane cubic whose normalizations are A^1 , arxiv eprints (1996) alg-geom/960500

    work page 1996

  36. [36]

    Keita Tono, The projective characterization of elliptic plane curves which have one place at infinity, Saitama Math. J. 25 (2008), 35--46. 2477978

    work page 2008

  37. [37]

    Publ., Hackensack, NJ, 2013, pp

    , The projective characterization of genus two plane curves which have one place at infinity, Affine algebraic geometry, World Sci. Publ., Hackensack, NJ, 2013, pp. 285--299. 3089043

    work page 2013

  38. [38]

    Algebraic Geom

    Douglas Ulmer, Rational curves on elliptic surfaces, J. Algebraic Geom. 26 (2017), no. 2, 357--377. 3606999

    work page 2017

  39. [39]

    Wikipedia authors , Pad\'e approximant, 2019, https://en.wikipedia.org/wiki/Pad

    work page 2019

  40. [40]

    8, Springer, Cham, 2014, pp

    Umberto Zannier, Unlikely intersections and P ell's equations in polynomials , Trends in contemporary mathematics, Springer INdAM Ser., vol. 8, Springer, Cham, 2014, pp. 151--169. 3586397

    work page 2014

  41. [41]

    , Hyperelliptic continued fractions and generalized J acobians , Amer. J. Math. 141 (2019), no. 1, 1--40. 3904765

    work page 2019