REVIEW 2 major objections 4 minor 36 references
Maximal curves with respect to quadratic extensions over finite fields
T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read A curve hits the Hallouin-Perret bound exactly when the real parts of its Frobenius eigenvalues are all equal, and this single condition organizes new coefficient bounds, a low-genus classification, and a characterization of Ihara-maximal…
desk verdict A sound, useful paper on Hallouin-Perret-maximal curves whose only real weakness is the unshipped enumeration behind the low-genus completeness claim. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying object is the list of real parts $\alpha_1,\dots,\alpha_g$ of the Frobenius eigenvalues of the curve. The key identity is the variance formula $\delta_{\mathrm{HP}}(X)=4g^2V(\alpha)=4\sum_{1\le j<k\le g}(\alpha_j-\alpha_k)^2$, where $\delta_{\mathrm{HP}}$ is the HP-defect, the gap between the two sides of the Hallouin-Perret inequality; the inequality is therefore the positivity of a variance, and equality means all $\alpha_j$ coincide. This degenerate case is exactly a curve whose L-polynomial, the numerator polynomial of the zeta function, is a single quadratic factor raised to the $g$-th power, which is the form that makes the Jacobian a power of a simple abelian variety and the Frobenius-angle set one element. A Hallouin-Perret-maximal curve is defined as a curve reaching equality in the Hallouin-Perret bound, and this machinery turns that geometric extremality into an arithmetic one-line shape of the zeta function.
What would settle it
Carry out an independent exhaustive enumeration of curves of genus at most $18$ over the fields appearing in Table 1 and check whether every curve attaining the Ihara bound appears in the table; finding one missing isomorphism class would refute the completeness claim in Proposition 4.5. A smaller check is to settle the two outstanding cases the paper names: whether the genus-$7$ curve over $\mathbb{F}_7$ with $36$ rational points is unique, and whether a genus-$19$ curve over $\mathbb{F}_{19}$ with $153$ rational points exists.
Extended reading notes
Core claim
The paper's central discovery is that the Hallouin-Perret-maximal condition is a single-number condition. For a curve $X$ of genus $g$ over $\mathbb{F}_q$ with Frobenius eigenvalues of real parts $\alpha_1,\dots,\alpha_g$, the equality $\#X(\mathbb{F}_{q^2})-(q^2+1)=2gq-\frac{1}{g}(\#X(\mathbb{F}_q)-(q+1))^2$ holds if and only if $\alpha_1=\cdots=\alpha_g$. The zeta function is then $Z_X(T)=(1-2\alpha T+qT^2)^g/((1-T)(1-qT))$ with $2\alpha=(q+1-\#X(\mathbb{F}_q))/g$ an integer, and the Jacobian of $X$ has characteristic polynomial $(T^2-2\alpha T+q)^g$. From this equivalence the paper derives the refined inequalities on the point counts and on the coefficient $a_2$, the characterization of Ihara-maximal curves as HP-maximal and Diophantine-stable, and the classification statements for low genus and for abelian surfaces.
Load-bearing premise
The most fragile premise is that the previously published upper bounds on the maximum number of rational points of curves over small finite fields, together with the database searches that the paper uses, are complete and correct; if one of those bounds missed a case, the claimed complete list of Ihara-maximal curves of genus at most $18$ could be missing an entry.
Editorial extensions
If this is right
- A curve that is Hallouin-Perret-maximal has a zeta function of the form $(1-2\alpha T+qT^2)^g/((1-T)(1-qT))$, so all its arithmetic over $\mathbb{F}_q$ and $\mathbb{F}_{q^2}$ is governed by a single integer $2\alpha$.
- Ihara-maximal curves are precisely the HP-maximal curves with $\#X(\mathbb{F}_{q^2})=\#X(\mathbb{F}_q)$, so the known Ihara-bound extremal curves form the intersection of two explicit conditions.
- Every $q$-Weil polynomial of degree $2g$ satisfies $a_2\le a_1^2(g-1)/(2g)+gq$ and the stated lower bounds, extending the previously known small-genus inequalities to all $g$.
- The complete list of Ihara-maximal curves with genus at most $18$ provides explicit equations and L-polynomials for all cases except the unresolved uniqueness question at $(g,q)=(7,7)$.
- The Suzuki curve over $\mathbb{F}_{2^{2t+1}}$ is the unique Ihara-maximal curve of genus $g=\sqrt{q}(q-1)/\sqrt{2}$, settling maximality in that genus.
Reading between the lines
- Since the HP-defect is a computable variance, screening curves with a fixed $\#X(\mathbb{F}_q)$ by minimal defect is a practical way to search for curves with many points over $\mathbb{F}_{q^2}$ without solving the full optimization problem.
- The covering stability of HP-maximality suggests that subcovers of curves with a single Frobenius angle, such as Suzuki and Hermitian curves, form a rich supply of HP-maximal curves; this could be tested by explicitly analyzing the covers of these families.
- The new bounds on $a_2$ are necessary conditions for a $q$-Weil polynomial but are not sufficient; combining them with the complete small-genus classifications of abelian surfaces could sharpen the search for polynomials that actually arise from Jacobians.
- The open cases the paper flags, such as the genus-$7$ uniqueness question and the potential genus-$19$ curve over $\mathbb{F}_{19}$, are concrete next targets: the discriminant criterion already predicts their point counts, so a direct search would confirm or break the pattern.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the Hallouin-Perret inequality relating the numbers of rational points of a curve over F_q and over its quadratic extension. The main results are: (1) a characterization of equality (HP-maximality) via the equality of the real parts of the Frobenius eigenvalues, with an explicit zeta-function form; (2) a variance interpretation of the defect and refined bounds on it; (3) upper and lower bounds on the coefficient a_2 of q-Weil polynomials, generalizing results of Rück, Haloui, Haloui-Singh, and Sohn; (4) a characterization of Ihara-maximal curves as HP-maximal and Diophantine-stable, leading to a low-genus classification (g ≤ 18, except g = 7) that relies on a Python enumeration and on cited point-count upper bounds; (5) a Suzuki-curve analogue of the Rück-Stichtenoth theorem; and (6) a classification of genus-2 HP-maximal curves via the isogeny classes of their Jacobians.
Significance. The algebraic core is sound and useful: Proposition 2.1 reduces HP-maximality to a Cauchy-Schwarz equality, and the variance viewpoint gives a transparent proof of the Hallouin-Perret bound and sharp lower bounds. The bounds on a_2 in Theorem 3.9 are new in the stated generality and correctly specialize to the known low-genus inequalities. The genus-2 classification is a solid contribution built on a careful use of the cited classifications of abelian surfaces. However, the low-genus classification of Ihara-maximal curves is not independently verifiable as presented: the enumeration is not shipped, the tables are typeset in a garbled way, and the completeness statement relies on several external bounds and database lookups. The paper does not ship machine-checked proofs or executable enumeration code, so the strongest contribution is the conceptual characterization rather than the computational completeness claims.
major comments (2)
- [§4.3, Proposition 4.5, Table 2] The completeness claim for Table 1 is not reproducible. The proof states that 'with the help of a Python program we list all the couples (g,q)' for which the discriminant (8q+1)g^2 + 4qg(q-1) is a square, but neither the code nor the generated list of candidates is provided. Table 2, which is supposed to record the discarded pairs together with Ihara bounds, upper bounds, and references, is misaligned in the manuscript: the same q=11 appears twice and the rows cannot be matched unambiguously to the stated Ihara and upper-bound columns. Please provide the enumeration output or an archive containing the code, correct Table 2, and for every discarded pair a precise pointer to the specific upper bound (theorem or page) in [14], [18], [28], [29], or [30] that eliminates it.
- [§4.3, Table 1 and Remark 4.6] The final list in Table 1 is asserted 'up to isomorphism', but the proof does not supply isomorphism certificates for the retained curves, and several rows depend on database lookups (LMFDB, ManyPoints) or on classifications in [4], [20], [25] without explicitly stating which external result establishes completeness in each row. As typeset in the provided text, Table 1 mixes column headers with data rows: for example, the row '2 5 1 + 2T + 2T^2 y^2+y=x^3+x' cannot be read as a genus-2 Ihara-maximal curve, since the displayed polynomial and equation do not match the stated N1=N2 value. The table should be re-typeset with one pair per row and the data aligned with the headers, and each row should be accompanied by a verifiable reference or a stated computational check establishing uniqueness.
minor comments (4)
- [Abstract and Introduction] There are several typographical errors: 'hightlighted' should be 'highlighted', 'developped' should be 'developed', and 'straighforward' should be 'straightforward'.
- [Proposition 2.10] The bound 'g ≤ 23q2 log q' appears to be a typographical garble of what should be g ≤ 2^3 q^2 log q (or the correct constant from Theorem 1.1 of [5]); please use unambiguous exponent notation throughout.
- [Remark 3.10] The comparison with Haloui's lower bound a_2 ≥ 4√q|a_1| − 9q states that the new bound is better if and only if the displayed inequality holds, but the subsequent reduction to |a_1| ≤ 2√q is terse; adding one line of algebra would make the argument easier to follow.
- [Tables 1 and 2] Both tables need to be re-typeset from the LaTeX source. The extracted text shows misaligned columns and repeated entries, which prevents the reader from checking the numerical data even when the cited sources are available.
Circularity Check
No significant circularity: the central HP-maximal characterization is a variance identity, and the low-genus completeness claim depends on external bounds and an unshipped enumeration rather than on circular reasoning.
full rationale
The paper's central equivalence (Proposition 2.1) is derived from Weil's expressions for N1 and N2: substituting the HP-maximal equality (6) into those expressions reduces, by algebraic expansion, to g*sum(α_j^2) = (sum α_j)^2, which is exactly Cauchy-Schwarz equality. This is a genuine algebraic reduction, with no fitted constants and no use of the target statement as an input. The HP-defect identity δHP = 4g^2 V(α) (Theorem 3.2) is an elementary expansion in terms of the real parts of Frobenius eigenvalues, and the bounds in Theorem 3.9 follow from the non-negativity and range of the variance, plus the relation between a1, a2 and the α_j. That derivation does not presuppose any of the bounds it proves. Proposition 4.1 is likewise an equivalence obtained from equality conditions in Ihara's classical inequalities and the HP-maximal characterization, not a renaming of the Ihara bound. The low-genus classification (Proposition 4.5) does rely on a Python enumeration whose code and output are not shipped and on cited upper bounds from [14], [18], [28], [29], [30] and LMFDB/ManyPoints; if any of those were wrong or incomplete, a curve could be missing from Table 1. That is a completeness and auditability risk, not a circularity risk. The only self-citation with author overlap is the use of Aubry-Haloui-Lachaud [1] in Proposition 2.9, a published theorem on equality in the abelian-variety point bound; it appears in a supplementary characterization and is not used to force the main bounds or the classification. Accordingly, no equation or claim in the paper reduces to its own input by construction, and the paper is not circular.
Assumptions & free parameters
assumptions (5)
- standard math Riemann Hypothesis for curves over finite fields (Weil): all reciprocal roots of the L-polynomial have absolute value sqrt(q).
- standard math Honda-Tate theory and Deuring-Waterhouse classification of isogeny classes of abelian varieties over finite fields.
- domain assumption Completeness of the classifications in Maisner-Nart [20], Howe [13], Howe-Nart-Ritzenthaler [15], and Maisner-Nart [21] for abelian surfaces and their Jacobians.
- domain assumption Correctness and exhaustiveness of known upper bounds for N_q(g) and of the LMFDB and ManyPoints databases (Savitt [28], Serre [29],[30], Howe-Lauter [14], Kohnlein [18]).
- standard math Fuhrmann-Torres Theorem 2 [6]: a curve over F_{2^{2t+1}} of genus 2^t(2^{2t+1}-1) with q^2+1 rational points is the Suzuki curve.
Cite this review
Pith. "Pith review of Maximal curves with respect to quadratic extensions over finite fields." pith.science (2026). https://pith.science/paper/3CO3KS33
@misc{pith2026250608603,
author = {Pith},
title = {Pith review of: Maximal curves with respect to quadratic extensions over finite fields},
year = {2026},
howpublished = {\url{https://pith.science/paper/3CO3KS33}},
note = {Machine review of arXiv:2506.08603}
}
read the original abstract
We propose a detailed study of a canonical bound which relates the numbers of rational points of a curve over a finite field with that over its quadratic extension. Alternative proofs which make a connection with the variance enable to obtain optimal refinements. We focus on the curves reaching the bound, which we call Hallouin-Perret-maximal curves. We provide different characterizations and stress natural links with the curves which attain the Ihara bound. As consequences, we establish the list of such curves with low genus and we outline a maximality result which involves the Suzuki curves. At last we determine which polynomials correspond to the Jacobian of a Hallouin-Perret-maximal curve of genus 2.
Reference graph
Works this paper leans on
-
[14]
New methods for bounding the number of points on curves over finite fields
E. W. Howe and K. Lauter. “New methods for bounding the number of points on curves over finite fields”. In: Geometry and Arithmetic . Ed. by G. F. C. Faber and R. de Jong. 2012, pp. 173–212. doi: 10. 4171/119-1/12
work page 2012
-
[18]
Obere Schranken f¨ ur die Punktanzahl von Kurven ¨ uber endlichen K¨ orpern
A. K¨ ohnlein. “Obere Schranken f¨ ur die Punktanzahl von Kurven ¨ uber endlichen K¨ orpern”. Diplomarbeit Technische Universit¨ at Darmstadt. 2003
work page 2003
-
[28]
The Maximum Number of Points on a Curve of Genus 4 over F8 is 25
D. Savitt. “The Maximum Number of Points on a Curve of Genus 4 over F8 is 25”. In: Canadian Journal of Mathematics 55.2 (2003), 331–352. doi: 10.4153/CJM-2003-015-7
-
[29]
J.-P. Serre. Rational points on curves over finite fields. Ed. by A. Bassa et al. Vol. 18. Documents Math´ ematiques (Paris). With contributions by E. Howe, J. Oesterl´ e and C. Ritzenthaler. Soci´ et´ e Math´ ematique de France, Paris, 2020, pp. x+187
work page 2020
-
[30]
Sur le nombre des points rationnels d’une courbe alg´ ebrique sur un corps fini
J.-P. Serre. “Sur le nombre des points rationnels d’une courbe alg´ ebrique sur un corps fini”. In: C. R. Acad. Sc. Paris 296 (1983). Coll. Papers III, [128], pp. 397–402
work page 1983
-
[4]
F. Bars, J. C. Lario, and B. Vrioni. Diophantine stability for curves over finite fields . 2025. arXiv: 2409.07086 [math.NT]
work page Pith review arXiv 2025
-
[20]
Abelian surfaces over finite fields as Jaco- bians
D. Maisner and E. Nart. “Abelian surfaces over finite fields as Jaco- bians”. In: Experiment. Math. 11.3 (2002). With an appendix by E. W. Howe http://projecteuclid.org/euclid.em/1057777425, pp. 321–337
-
[25]
F. ¨Ozbudak, B. G¨ ulmez Tem¨ ur, and O. Yayla. “An exhaustive com- puter search for finding new curves with many points among fibre products of two Kummer covers over F5 and F7”. In: Turkish J. Math. 37.6 (2013), pp. 908–913. doi: 10.3906/mat-1206-26
Show all 36 references
-
[1]
On the number of points on abelian and Jacobian varieties over finite fields
Y. Aubry, S. Haloui, and G. Lachaud. “On the number of points on abelian and Jacobian varieties over finite fields”. In: Acta Arith. 160.3 (2013), pp. 201–241. doi: 10.4064/aa160-3-1
2013 doi
-
[2]
Optimal and maximal singular curves
Y. Aubry and A. Iezzi. “Optimal and maximal singular curves”. In: Arithmetic, geometry, cryptography and coding theory . Vol. 686. Con- temp. Math. Amer. Math. Soc., Providence, RI, 2017, pp. 31–43
2017
-
[3]
On the characteristic polynomials of the Frobenius endomorphism for projective curves over finite fields
Y. Aubry and M. Perret. “On the characteristic polynomials of the Frobenius endomorphism for projective curves over finite fields”. In: Finite Fields Appl. 10.3 (2004), pp. 412–431. issn: 1071-5797. doi: 10.1016/j.ffa.2003.09.005
2004 doi
-
[5]
Genus bounds for curves with fixed Frobenius eigenvalues
N. D. Elkies, E. W. Howe, and C. Ritzenthaler. “Genus bounds for curves with fixed Frobenius eigenvalues”. In: Proc. Amer. Math. Soc. 142.1 (2014), pp. 71–84. doi: 10.1090/S0002-9939-2013-11839-3
2014 doi
-
[6]
On Weierstrass points and optimal curves
R. Fuhrmann and F. Torres. “On Weierstrass points and optimal curves”. In: Rend. Circ. Mat. Palermo (2) Suppl. 51 (1998), pp. 25–46
1998
-
[7]
A unified viewpoint for upper bounds for the number of points of curves over finite fields via Euclidean geome- try and semi-definite symmetric Toeplitz matrices
E. Hallouin and M. Perret. “A unified viewpoint for upper bounds for the number of points of curves over finite fields via Euclidean geome- try and semi-definite symmetric Toeplitz matrices”. In: Trans. Amer. Math. Soc. 372.8 (2019), pp. 5409–5451. doi: 10.1090/tran/7813
2019 doi
-
[8]
The characteristic polynomials of abelian varieties of di- mension 3 over finite fields
S. Haloui. “The characteristic polynomials of abelian varieties of di- mension 3 over finite fields”. In:Journal of Number Theory 130 (2010), pp. 2745–2752. doi: 10.1016/j.jnt.2010.06.008
2010 doi
-
[9]
The characteristic polynomials of abelian varieties of dimension 4 over finite fields
S. Haloui and V. Singh. “The characteristic polynomials of abelian varieties of dimension 4 over finite fields”. In: Contemporary Maths, AMS 574 (2012), pp. 59–68. doi: 10.1090/conm/574/11446
2012 doi
-
[10]
J. Hansen. In: Coding Theory and Algebraic Geometry, Lecture Notes in Maths. 1518 (1991), pp. 63–81. doi: 10.1007/BFb0087993
1991 doi
-
[11]
Group codes on certain algebraic curves with many rational points
J. Hansen and H. Stichtenoth. “Group codes on certain algebraic curves with many rational points”. In: AAECC 1 (1990), pp. 67–77. doi: 10.1007/BF01810849. 6https://www.lmfdb.org/Variety/Abelian/Fq/3/2/ad_j_an REFERENCES 25
1990 doi
-
[12]
J. W. P. Hirschfeld, G. Korchm´ aros, and F. Torres. Algebraic curves over a finite field . Vol. 20. Princeton Series in Applied Mathematics. Princeton University Press, Princeton, NJ. 2008
2008
-
[13]
Supersingular genus-2 curves over fields of characteristic 3
E. W. Howe. “Supersingular genus-2 curves over fields of characteristic 3”. In: Computational Algebraic Geometry, Contemp. Math., A.M.S. 463 (2008), pp. 49–69. doi: 10.1090/conm/463/09046
2008 doi
-
[15]
Jacobians in isogeny classes of abelian surfaces over finite fields
E. W. Howe, E. Nart, and C. Ritzenthaler. “Jacobians in isogeny classes of abelian surfaces over finite fields”. In: Ann. Inst. Fourier (Grenoble) 59.1 (2009), pp. 239–289. doi: 10.5802/aif.2430
2009 doi
-
[16]
Some remarks on the number of rational points of algebraic curves over finite fields
Y. Ihara. “Some remarks on the number of rational points of algebraic curves over finite fields”. In: J. Fac. Sci. Univ. Tokyo Sect. IA Math. 28.3 (1981), 721–724 (1982)
1981
-
[17]
An inequality for the analysis of vari- ance
N. Kaiblinger and B. Spangl. “An inequality for the analysis of vari- ance”. In: Math. Inequal. Appl. 23.3 (2020), pp. 961–969. doi: 10 . 7153/mia-2020-23-74
2020
-
[19]
The L-functions and modular forms database
LMFDB Collaboration. The L-functions and modular forms database . https://www.lmfdb.org. 2025
2025
-
[21]
Zeta functions of supersingular curves of genus 2
D. Maisner and E. Nart. “Zeta functions of supersingular curves of genus 2”. In: Canad. J. Math. 59.2 (2007), pp. 372–392. doi: 10 . 4153/CJM-2007-016-6
2007
-
[22]
Weil polynomials of small degree
S. Marseglia. “Weil polynomials of small degree”. In: Indagationes Mathematicae (2025). issn: 0019-3577. doi: 10.1016/j.indag.2025. 07.008. url: https://www.sciencedirect.com/science/article/ pii/S0019357725000813
2025 doi
-
[23]
Diophantine stability
B. Mazur and K. Rubin. “Diophantine stability”. In: Amer. J. Math. 140.3 (2018). With an appendix by M. Larsen, pp. 571–616. doi: 10. 1353/ajm.2018.0014
2018
-
[24]
A. Mood, F. Graybill, and D. Boes. Introduction to the Theory of Statistics. International Student edition. McGraw-Hill, 1973
1973
-
[26]
Abelian surfaces and Jacobian varieties over finite fields
H.-G. R¨ uck. “Abelian surfaces and Jacobian varieties over finite fields”. In: Compositio Mathematica 76.3 (1990), pp. 351–366. 26 REFERENCES
1990
-
[27]
A characterization of Hermitian func- tion fields over finite field
H.-G. R¨ uck and H. Stichtenoth. “A characterization of Hermitian func- tion fields over finite field”. In: J. Reine Angew. Math. 457 (1994), pp. 185–188. doi: 10.1515/crll.1994.457.185.MR1305281
1994 doi
-
[31]
The Newton polygons of the characteristic polynomials for abelian varieties of dimension 5 over finite fields
G. Sohn. “The Newton polygons of the characteristic polynomials for abelian varieties of dimension 5 over finite fields”. In: Adv. Stud. Con- temp. Math., Kyungshang 23.4 (2013), pp. 655–660
2013
-
[32]
Classes d’isog´ enies des vari´ et´ es ab´ eliennes sur un corps fini (d’apr` es T. Honda)
J. Tate. “Classes d’isog´ enies des vari´ et´ es ab´ eliennes sur un corps fini (d’apr` es T. Honda)”. In: S´ eminaire Bourbaki, LNM 175, Springer- Verlag 352 (1971), pp. 95–110
1971
-
[33]
Endomorphisms of abelian varieties over finite fields
J. Tate. “Endomorphisms of abelian varieties over finite fields”. In: Invent. Math. 2 (1966), pp. 134–144. doi: 10.1007/BF01404549
1966 doi
-
[34]
van der Geer et al
G. van der Geer et al. Tables of Curves with Many Points . Retrieved [March 2025] http://www.manypoints.org. 2009
2025
-
[35]
Abelian varieties over finite fields
W. C. Waterhouse. “Abelian varieties over finite fields”. In: Annales Scientifiques de l’Ecole Normale Sup´ erieure (4)2 (1969), pp. 521–560
1969
-
[36]
A. Weil. Sur les courbes alg´ ebriques et les vari´ et´ es qui s’en d´ eduisent. Hermann & Cie, Paris, 1948, iv+85 pp. (Aubry) Institut de Math ´ematiques de Toulon - IMATH, Universit ´e de Toulon, France Email address : yves.aubry@univ-tln.fr (Aubry) Institut de Math ´ematiqu...
1948
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.