Abelian surfaces of small conductor from genus 3 double covers

Andrew V. Sutherland; C\'eline Maistret; Jia Shi; Raymond van Bommel

Abelian surfaces of small conductor from genus 3 double covers

T0 review · 1 major / 0 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A database of roughly half a million abelian surfaces over Q is constructed as Pryms from genus 3 double covers of genus 1 curves.

desk verdict This paper delivers a database of ~500k abelian surfaces over Q via Prym varieties from genus-3 double covers of genus-1 curves, with a method for controlling bad primes; the scale is the main output. read the letter →

arxiv 2606.09512 v1 pith:JNRL4VIP submitted 2026-06-08 math.NT

Raymond van Bommel , Céline Maistret , Jia Shi , Andrew V. Sutherland This is my paper · ORCID

classification math.NT

keywords abeliansurfacesPrymvarietiesgenus3curvesdoublecoversconductorbadreductiondatabasearithmeticgeometry

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper constructs a database of approximately 500,000 abelian surfaces over the rationals that have small conductors. These arise as Prym varieties attached to genus 3 double covers of genus 1 curves. The method used gives control over the primes of bad reduction. A sympathetic reader would see this as a systematic source of many new examples with bounded conductor, useful for arithmetic investigations of these surfaces.

What carries the argument

Prym varieties attached to genus 3 double covers of genus 1 curves, which yield abelian surfaces over Q with controlled bad reduction.

What would settle it

A direct computation on a sample of the constructed objects showing that many have conductors exceeding the small bound or exhibit bad reduction at primes outside the controlled set.

Watch

Extended reading notes

Core claim

We describe the construction of a database of roughly half a million abelian surfaces over Q of small conductor arising as Pryms associated to a genus 3 double cover of a genus 1 curve. Our construction uses a method that provides a degree of control over the primes of bad reduction.

Load-bearing premise

The geometric construction via Prym varieties of genus 3 double covers of genus 1 curves produces abelian surfaces over Q with small conductors and the claimed control over bad reduction primes.

Editorial extensions

If this is right

A large explicit collection of abelian surfaces over Q becomes available for study of their L-functions and other arithmetic invariants.
The controlled bad reduction allows targeted examination of reduction behavior at specific primes.
The database supplies many new examples that can be compared against existing lists of abelian surfaces ordered by conductor.
The construction method can be applied to produce further examples within the same geometric family.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same cover-based method might generate abelian surfaces with additional constraints on their endomorphism rings or torsion.
The resulting data set could be mined to test heuristics on the density of conductors for abelian surfaces of dimension 2.
Extensions to other base curves or higher-degree covers could produce varieties in related families with similar control.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The paper constructs a database of roughly half a million abelian surfaces over Q that come from Prym varieties attached to genus-3 double covers of genus-1 curves. The construction uses the standard fact that a ramified double cover of this type gives a two-dimensional Prym, then enumerates low-degree covers defined over Q while tracking the primes of bad reduction.

What is new is the size of the resulting collection together with the explicit control on conductors. The geometric setup is classical, but turning it into a systematic enumeration that produces half a million distinct surfaces with small conductor is a non-trivial computational task. If the enumeration avoids duplicates and correctly computes the conductors, the database supplies a useful supply of concrete examples for checking conjectures on reduction types or conductor distributions.

The paper does well in describing how the base change to Q works and why the ramification condition keeps the Prym dimension at two. The claim of control over bad primes is the part that could make the data especially usable.

The soft spot is the lack of visible verification steps in the high-level description. A few worked examples with explicit equations, computed conductors, and a short note on how duplicates or missed cases were handled would make the reliability easier to judge. Without that, the central claim rests on the implementation being correct, which is plausible but not yet demonstrated in the summary.

This is for people doing computational arithmetic geometry who need large sets of abelian surfaces with bounded conductor. A reader hunting for new theoretical statements about Prym varieties will find little, but someone wanting data for testing L-functions or reduction behavior could get value.

I would send it to peer review. The construction is concrete enough that referees can check the details, and the database size is substantial enough to justify the effort.

Referee Report

1 major / 0 minor

Summary. The paper describes the construction of a database of roughly half a million abelian surfaces over Q of small conductor arising as Pryms associated to genus 3 double covers of genus 1 curves. The construction is said to use a method providing a degree of control over the primes of bad reduction.

Significance. If the geometric construction and enumeration are fully verified with explicit examples and error bounds, the resulting database would supply a large, explicitly controlled collection of abelian surfaces over Q. This could be useful for computational arithmetic geometry, for instance in studying conductors, reduction types, or L-functions of abelian surfaces. The Prym construction itself is standard in algebraic geometry, but the scale and control claimed would be a concrete contribution if substantiated.

major comments (1)

[Abstract] Abstract: the central claim is the existence and size of the database together with control over bad reduction primes, yet the manuscript supplies no verification steps, explicit examples of covers or resulting surfaces, or error analysis. This makes it impossible to assess whether the geometric construction yields the claimed objects over Q or whether the enumeration reaches ~500k without overcounting or missing cases.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review and for identifying the need for additional verification material. We respond to the single major comment below.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim is the existence and size of the database together with control over bad reduction primes, yet the manuscript supplies no verification steps, explicit examples of covers or resulting surfaces, or error analysis. This makes it impossible to assess whether the geometric construction yields the claimed objects over Q or whether the enumeration reaches ~500k without overcounting or missing cases.

Authors: The manuscript as submitted emphasizes the geometric construction and the enumeration procedure that yields the claimed control over bad reduction. We agree that the absence of concrete examples and an explicit error discussion limits the reader's ability to evaluate the output. In the revised version we will add a dedicated section containing several fully worked examples of genus-3 double covers, the associated Prym surfaces (including their Weierstrass models and conductors), and direct verification that the surfaces are defined over Q. We will also include a description of the enumeration algorithm together with the steps taken to detect and remove duplicates and a quantitative estimate of any residual over- or under-counting. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity in explicit geometric construction

full rationale

The paper presents a concrete construction of abelian surfaces over Q as Prym varieties arising from genus-3 double covers of genus-1 curves, together with an enumeration method that controls bad-reduction primes. No equations, fitted parameters, or predictions appear in the abstract or described claims; the Prym construction is a standard geometric fact (dimension 2 for 4 ramification points) independent of the database output. No self-citation load-bearing steps, self-definitional relations, or renaming of known results are present. The central claim is self-contained as an explicit enumeration rather than a derivation that reduces to its inputs.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Based solely on the abstract; no free parameters, axioms, or invented entities are identifiable from the given text.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Abelian surfaces of small conductor from genus 3 double covers." pith.science (2026). https://pith.science/paper/JNRL4VIP

@misc{pith2026260609512,
  author       = {Pith},
  title        = {Pith review of: Abelian surfaces of small conductor from genus 3 double covers},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JNRL4VIP}},
  note         = {Machine review of arXiv:2606.09512}
}

read the original abstract

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

54 extracted references · 3 canonical work pages

[1]

Alp¨ oge and B

L. Alp¨ oge and B. Lawrence,Conditional algorithmic Mordell, arXiv:2408.11653v1, 2024

work page arXiv 2024
[2]

M. A. Bennett, A. Gherga and A. Rechnitzer,Computing elliptic curves overQ, Math. Comp. 88:317 (2019), 1341–1390. (MathSciNet: MR3904149)

2019
[3]

van Bommel, S

R. van Bommel, S. Chidambaram, E. Costa, and J. Kieffer,Computing isogeny classes of typical principally polarized abelian surfaces over the rationals, LuCaNT: LMFDB, Computa- tion, and Number Theory, Contemp. Math.796(2024), 187–214. (MathSciNet: MR4732688)

2024
[4]

van Bommel, C

R. van Bommel, C. Maistret, J. Shi, A.V. Sutherland,Genus3Covers, GitHub repository, https://github.com/AndrewVSutherland/Genus3Covers
[5]

Booker and A.V

A.R. Booker and A.V. Sutherland,A database of genus 2 curves overQof small conductor, in preparation
[6]

Booker, J

A. Booker, J. Sijsling, A.V. Sutherland, J. Voight, D. Yasaki,A database of genus 2 curves over the rational numbers, Twelfth Algorithmic Number Theory Symposium (ANTS XII), LMS J. Comput. Math.19(2016), 235–254. (MathSciNet: MR3540958)

2016
[7]

B¨ orner, I

M. B¨ orner, I. Bouw, S. Wewers,Picard curves with small conductor, Algorithmic and Exper- imental Methods in Algebra, Geometry, and Number Theory, pages 97–122, Springer Cham.,
[8]

(MathSciNet: MR3792722)

Show all 54 references

[9]

I. Bouw, N. Coppola, E. Lorenzo Garcia, and A. Somoza,On the conductor of Ciani plane quartics, Matematica4:3 (2025), 643–673. (MathSciNet: MR4958726)

2025
[10]

I. Bouw, A. Koutsianas, J. Sijsling, S. Wewers,Conductor and discriminant of Picard curves, J. Lond. Math. Soc.102:1 (2020), 368–404

2020
[11]

Bosma, J

W. Bosma, J. J. Cannon, C. Fieker, A. Steel (eds.),Handbook of Magma functions, Version 2.29-4 (2025)

2025
[12]

Boxer, F

G. Boxer, F. Calegari, T. Gee, and V. Pilloni,Modularity theorems for abelian surfaces, arXiv:2502.20645v1, 2025

2025
[13]

Breuil et al.,On the modularity of elliptic curves overQ: wild 3-adic exercises, J

C. Breuil et al.,On the modularity of elliptic curves overQ: wild 3-adic exercises, J. Amer. Math. Soc.14(2001), no. 4, 843–939. (MathSciNet: MR1839918)

2001
[14]

Brumer and K

A. Brumer and K. Kramer,The conductor of an abelian variety, Compositio Math.92:2 (1994), 227–248. (MathSciNet: MR1283229) ABELIAN SURF ACES OF SMALL CONDUCTOR FROM GENUS 3 DOUBLE COVERS 19

1994
[15]

Brumer and K

A. Brumer and K. Kramer,Paramodular abelian varieties of odd conductor, Trans. Amer. Math. Soc.366(2014), no. 5, 2463–2516. (MathSciNet: MR3165645)

2014
[16]

Paramodular abelian varieties of odd conduc- tor

A. Brumer and K. Kramer,Corrigendum to “Paramodular abelian varieties of odd conduc- tor”, Trans. Amer. Math. Soc.372(2019), no. 3, 2251–2254. (MathSciNet: MR3976591)

2019
[17]

Costa, D

E. Costa, D. Harvey, and A.V. Sutherland,Counting points on smooth plane quartics, Fifteenth Algorithmic Number Theory Symposium (ANTS XV), Res. Number Theory9:1 (2023), 32 pages. (MathSciNet: MR4514545)

2023
[18]

J. E. Cremona,Algorithms for modular elliptic curves, second edition, Cambridge Univ. Press, Cambridge, 1997. (MathSciNet: MR1628193)

1997
[19]

Dokchitser, V

T. Dokchitser, V. Dokchitser, C. Maistret, A. Morgan,Arithmetic of hyperelliptic curves over local fields, Math. Ann.385(2023), 1213–1322. (MathSciNet: MR4566695)

2023
[20]

Faltings,Endlichkeitss¨ atze f¨ ur abelsche Variet¨ aten ¨ uber Zahlk¨ orpern(German) [Finiteness theorems for abelian varieties over number fields], Invent

G. Faltings,Endlichkeitss¨ atze f¨ ur abelsche Variet¨ aten ¨ uber Zahlk¨ orpern(German) [Finiteness theorems for abelian varieties over number fields], Invent. Math.73(1983), no. 3, 349–366. (MathSciNet: MR0718935)

1983
[21]

Harvey,Computing zeta functions of arithmetic schemes, Proc

D. Harvey,Computing zeta functions of arithmetic schemes, Proc. Lond. Math. Soc.111:6 (2015), 1379–1401. (MathSciNet: MR3447797)

2015
[22]

Harvey and A.V

D. Harvey and A.V. Sutherland,Computing Hasse-Witt matrices of hyperelliptic curves in average polynomial time, II, Frobenius distributions: Lang–Trotter and Sato–Tate conjec- tures, Contemp. Math.663(2016), 127–148. (MathSciNet: MR3502941)

2016
[23]

Harvey, M

D. Harvey, M. Massierer, and A.V. Sutherland,Computing L-series of geometrically hyperel- liptic curves of genus three, Twelfth Algorithmic Number Theory Symposium (ANTS XII), LMS J. Comput. Math.19(2016), 220–234. (MathSciNet: MR3540957)

2016
[24]

Huggins,Fields of moduli and fields of definition of curves, PhD thesis, University of California, Berkeley, 2005

B. Huggins,Fields of moduli and fields of definition of curves, PhD thesis, University of California, Berkeley, 2005

2005
[25]

Johansson,Arb: efficient arbitrary-precision midpoint-radius interval arithmetic, IEEE Transactions on Computers66:8 (2017), 1281–1292

F. Johansson,Arb: efficient arbitrary-precision midpoint-radius interval arithmetic, IEEE Transactions on Computers66:8 (2017), 1281–1292

2017
[26]

Kausz,A discriminant and an upper bound forω 2 for hyperelliptic arithmetic surfaces, Compositio Math.115:1 (1999), 37–69

I. Kausz,A discriminant and an upper bound forω 2 for hyperelliptic arithmetic surfaces, Compositio Math.115:1 (1999), 37–69. (MathSciNet: MR1671741)

1999
[27]

K. S. Kedlaya and A. V. Sutherland,ComputingL-series of hyperelliptic curves, inAl- gorithmic number theory, 312–326, Lecture Notes in Comput. Sci., 5011, Springer, Berlin. MathSciNet: MR2467855
[28]

Lang,Introduction to Arakelov theory, Springer, New York, 1988

S. Lang,Introduction to Arakelov theory, Springer, New York, 1988. (Math- SciNet: MR0969124)

1988
[29]

Lercier and C

R. Lercier and C. Ritzenthaler,Hyperelliptic curves and their invariants: geometric, arith- metic and algorithmic aspects, J. Algebra,372(2012), 595–636. (MathSciNet: MR2990029)

2012
[30]

Lercier, C

R. Lercier, C. Ritzenthaler, and J. Sijsling,Fast computation of isomorphisms of hyperel- liptic curves and explicit Galois descent, Tenth Algorithmic Number Theory Symposium (ANTS X), Open Book Series1, pages 463–486, Mathematical Sciences Publishers, 2013. (MathSciNet: MR3207427)

2013
[31]

Liu and D

Q. Liu and D. J. Lorenzini,Models of curves and finite covers, Compositio Math.118:1 (1999), 61–102. (MathSciNet: MR1705977)

1999
[32]

The LMFDB Collaboration,TheL-functions and modular forms database, available online athttps://www.lmfdb.org; accessed 19 May 2026

2026
[33]

The LMFDB Collaboration,TheL-functions and modular forms database (alpha release), available online athttps://alpha.lmfdb.org; accessed 19 May 2026

2026
[34]

Lombardo, E

D. Lombardo, E. Lorenzo Garcia, C. Ritzenthaler, and J. Sijsling,Decomposing Jacobians via Galois covers, Exp. Math.32(2023), 218–240. (MathSciNet: MR4574430)

2023
[35]

Lupoian and J

E. Lupoian and J. Rawson,Three-torsion subgroups and wild conductor exponents of plane quartics, Res. Number Theory11(2025), paper no. 92, 17 pages. (MathSciNet: MR4967837)

2025
[36]

Maistret and A.V

C. Maistret and A.V. Sutherland,Computing Euler factors of genus2curves at odd primes of almost good reduction, Res. Number Theory11(2025), paper no. 37, 21 pages. (Math- SciNet: MR4868102)

2025
[37]

Merriman and N.P

J.R. Merriman and N.P. Smart,Curves of genus2with good reduction away from2with a rational Weierstrass point, Math. Proc. Cambridge Philos. Soc.114(1993), 203–214. (Math- SciNet: MR1230127)

1993
[38]

Poonen,Computational aspects of curves of genus at least2, Second Algorithmic Number Theory Symposium (ANTS II), Lecture Notes Comput

B. Poonen,Computational aspects of curves of genus at least2, Second Algorithmic Number Theory Symposium (ANTS II), Lecture Notes Comput. Sci.1122, Springer-Verlag, 1996. (MathSciNet: MR1446492) 20 R. V AN BOMMEL, C. MAISTRET, J. SHI, AND A.V. SUTHERLAND

1996
[39]

C. Poor, J. Shurman, and D. Yuen,Nonlift weight two paramodular eigenform constructions, J. Korean Math. Soc.57(2020), no. 2, 507–522. (MathSciNet: MR4072025)

2020
[40]

Poor and D

C. Poor and D. Yuen,Paramodular cusp forms, Math. Comp.84(2015), no. 293, 1401–1438. (MathSciNet: MR3315514)

2015
[41]

Poor and D

C. Poor and D. Yuen,Antisymmetric paramodular forms of weights 2 and 3, Int. Math. Res. Not. IMRN 2020, no. 20, 6926–6946

2020
[42]

Poor and D

C. Poor and D. Yuen,Degree2Siegel Paramodular Forms of Weight2and Levels up to1000; online; accessed 19 May 2026

2026
[43]

Ritzenthaler and M

C. Ritzenthaler and M. Romagny,On the Prym variety of genus3covers of genus1curves, ´Epijournal G´ eom. Alg´ ebrique2(2018), Art. 2, 8 pp

2018
[44]

Serre and J

J.-P. Serre and J. Tate,Good reduction of abelian varieties, Ann. of Math.88(1968), 492–

1968
[45]

(MathSciNet: MR236190)
[46]

Shi,Lifting L-polynomials of genus 2 curves, J

J. Shi,Lifting L-polynomials of genus 2 curves, J. Th´ eor. Nombres Bordeaux, to appear
[47]

Shi,Lifting L-polynomials of genus 3 curves, arXiv:2602.00965v1

J. Shi,Lifting L-polynomials of genus 3 curves, arXiv:2602.00965v1
[48]

Shioda,On the graded ring of invariants of binary octavics, Amer

T. Shioda,On the graded ring of invariants of binary octavics, Amer. J. Math.89(1967), 1022–1046. (MathSciNet: MR0220738)

1967
[49]

Smart,S-unit equations, binary forms and curves of genus2, Proc

N.P. Smart,S-unit equations, binary forms and curves of genus2, Proc. London Math. Soc. 75(1997), 217–307. (MathSciNet: MR1455857)

1997
[50]

A.V. Sutherland,A database of nonhyperelliptic genus 3 curves overQ, Thirteenth Algo- rithmic Number Theory Symposium (ANTS XIII), The Open Book Series2, pages 443–459, Mathematical Sciences Publishers, 2019. (MathSciNet: MR3952027)

2019
[51]

A.V. Sutherland,Counting points on superelliptic curves in average polynomial time, Four- teenth Algorithmic Number Theory Symposium (ANTS XIV), The Open Book Series4, pages 403–422, Mathematical Sciences Publishers, 2020. (MathSciNet: MR4235126)

2020
[52]

Sutherland,A database of genus 2 curves of small conductor, slides of talk at Rational Points 2025

A.V. Sutherland,A database of genus 2 curves of small conductor, slides of talk at Rational Points 2025

2025
[53]

Visser,The effective Shafarevich Conjecture, PhD Thesis, University of Warwick, 2024

R. Visser,The effective Shafarevich Conjecture, PhD Thesis, University of Warwick, 2024

2024
[54]

Zywina,Determining monodromy groups of abelian varieties, Res

D. Zywina,Determining monodromy groups of abelian varieties, Res. Number Theory8:89 (2022). MathSciNet: MR4496693

2022

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.

[1] [1]

Alp¨ oge and B

L. Alp¨ oge and B. Lawrence,Conditional algorithmic Mordell, arXiv:2408.11653v1, 2024

work page arXiv 2024

[2] [2]

M. A. Bennett, A. Gherga and A. Rechnitzer,Computing elliptic curves overQ, Math. Comp. 88:317 (2019), 1341–1390. (MathSciNet: MR3904149)

2019

[3] [3]

van Bommel, S

R. van Bommel, S. Chidambaram, E. Costa, and J. Kieffer,Computing isogeny classes of typical principally polarized abelian surfaces over the rationals, LuCaNT: LMFDB, Computa- tion, and Number Theory, Contemp. Math.796(2024), 187–214. (MathSciNet: MR4732688)

2024

[4] [4]

van Bommel, C

R. van Bommel, C. Maistret, J. Shi, A.V. Sutherland,Genus3Covers, GitHub repository, https://github.com/AndrewVSutherland/Genus3Covers

[5] [5]

Booker and A.V

A.R. Booker and A.V. Sutherland,A database of genus 2 curves overQof small conductor, in preparation

[6] [6]

Booker, J

A. Booker, J. Sijsling, A.V. Sutherland, J. Voight, D. Yasaki,A database of genus 2 curves over the rational numbers, Twelfth Algorithmic Number Theory Symposium (ANTS XII), LMS J. Comput. Math.19(2016), 235–254. (MathSciNet: MR3540958)

2016

[7] [7]

B¨ orner, I

M. B¨ orner, I. Bouw, S. Wewers,Picard curves with small conductor, Algorithmic and Exper- imental Methods in Algebra, Geometry, and Number Theory, pages 97–122, Springer Cham.,

[8] [8]

(MathSciNet: MR3792722)