Pith. sign in

REVIEW 3 major objections 5 minor 31 references

Weil polynomials of small degree

T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read This paper proves that the coefficient inequalities in Main Theorems A, B, and C are necessary and sufficient for q-Weil polynomials of degrees 6, 8, and 10, correcting earlier flawed descriptions.

desk verdict The corrections to W_q(3,4,5) look right and the derivative-root criterion holds up; the long algebraic simplifications in Sections 5–7 are the part a referee should check. read the letter →

arxiv 2505.24546 v2 pith:WZV7LXC6 submitted 2025-05-30 math.NT

Stefano Marseglia This is my paper
classification math.NT MSC 14K1512D1026C10
keywords q-WeilpolynomialsabelianvarietiesoverfinitefieldsHonda–Tateclassificationhyperbolicreal-rootcriterionisogenyclassessmall-degreepolynomialinequalities
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

This paper corrects the published descriptions of $q$-Weil polynomials of degree $2g$ for $g=3,4,5$, the characteristic polynomials of Frobenius endomorphisms of abelian varieties of those dimensions over a finite field. The Honda–Tate classification says that these polynomials classify isogeny classes, so a concrete description of them is the practical route to enumerating those classes. The main theorems give necessary and sufficient coefficient inequalities for membership in $W_q(3)$, $W_q(4)$, and $W_q(5)$, and they also identify exactly when such a polynomial has a real root. Earlier descriptions for these three dimensions contained mistakes of varying severity, and the paper replaces them with corrected statements. The arguments build on a real-root criterion for polynomials of low degree.

What carries the argument

The load-bearing object is Proposition 2.4, a hyperbolicity criterion: for a real polynomial $f(x)$ of degree $K>1$ with positive leading coefficient, if the roots of $f'(x)$ are real and sorted as $\beta_{K-1}\le\cdots\le\beta_1$, then all roots of $f(x)$ are real exactly when $f(\beta_i)\le 0$ for odd $i$ and $f(\beta_i)\ge 0$ for even $i$. Proposition 4.7 then converts the $q$-Weil condition into the requirement that two sets $S^+$ and $S^-$ of $g$ real numbers formed from the coefficients are subsets of $\mathbb{R}_{\ge0}$. The main theorems follow by applying the criterion recursively to the cubic, quartic, and quintic polynomials obtained this way, using radical formulas for roots up to degree four.

What would settle it

The central claim would be settled by finding a monic integer polynomial satisfying inequalities $(a)$–$(e)$ of Main Theorem A whose complex roots are not three conjugate pairs of absolute value $\sqrt{q}$, or by finding a real polynomial whose derivative roots satisfy the alternating sign condition of Proposition 2.4 while the polynomial itself has a non-real root.

Watch

Extended reading notes

Core claim

The central claim is that for $g=3,4,5$, a monic integer polynomial of the palindromic form $h(x)=x^{2g}+a_1x^{2g-1}+\cdots+a_gx^g+\cdots+q^g$ is a $q$-Weil polynomial if and only if its coefficients satisfy the explicit inequality lists $(a)$–$(e)$, $(a)$–$(g)$, and $(a)$–$(i)$ of Main Theorems A, B, and C, respectively. Each theorem also characterizes the boundary case of real roots: a real root occurs exactly when one of certain inequalities is an equality, and the resulting polynomials are listed explicitly, for example $(x^2-q)^2h_0(x)$ when $q$ is not a square. The proof route is to reduce the $2g$-degree condition to checking that two degree-$g$ polynomials built from the same coefficients have only real non-negative roots, and then to apply derivative-root criteria recursively.

Load-bearing premise

The whole proof rests on Proposition 2.4, which claims that a real polynomial has only real roots precisely when the values at the roots of its derivative alternate in sign by parity; if that criterion failed, the coefficient inequalities in all three main theorems would not follow.

Editorial extensions

If this is right

  • For every prime power $q$, the corrected inequalities give a finite, explicit test for membership in $W_q(3)$, $W_q(4)$, and $W_q(5)$, so these sets can be enumerated by coefficient search without computing or factoring roots.
  • The equality conditions describe exactly which of these $q$-Weil polynomials have real roots, completing the classification in the square-$q$ cases that earlier statements missed.
  • The same inequalities yield algorithms for all dimensions up to five, and the paper reports that their implementation matched the output of the exhaustive search algorithm over the tested prime powers.
  • Since the Honda–Tate image condition depends on factorizations and valuations, these corrected descriptions provide the coefficient-level input needed to list actual characteristic polynomials of abelian varieties of dimensions 3–5.

Reading between the lines

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

  • If the corrected inequalities are right, previously published counts or tables derived from the flawed descriptions may need revision for square-$q$ cases, since the paper shows the old statements missed real-root polynomials there.
  • The derivative-root criterion of Proposition 2.4 is independent of Weil polynomials and could be reused for other hyperbolicity problems, such as determining when a totally real algebraic integer has all conjugates real.
  • The same recursion is unlikely to produce explicit coefficient inequalities for $g=6$: the derivative roots of a degree-6 polynomial generally involve solving a quintic, which has no radical formula, so a different method would be needed beyond these dimensions.
  • A natural stress test would be to implement the three theorems independently and compare against exhaustive root-unitary search over a wider range of prime powers, concentrating on the equality cases where real roots appear.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper gives explicit inequalities characterizing the q-Weil polynomials of degrees 6, 8, and 10, stated as Main Theorems A, B, and C. The strategy is to reduce the problem, via Proposition 4.7, to checking that two auxiliary real polynomials h+ and h− have only real nonnegative roots, and then to determine real-rootedness by a criterion (Proposition 2.4) involving the roots of the derivative. The derived coefficient conditions use Cardano and Ferrari formulas and are tested by the author’s Magma implementation against the known root-unitary algorithm. The paper also claims to correct earlier flawed classifications by Haloui, Haloui–Singh, and Sohn.

Significance. If correct, the main theorems provide useful, explicit corrections to previously published descriptions of W_q(3), W_q(4), and W_q(5), with an accompanying reproducible Magma implementation. The overall derivation is self-contained and does not fit parameters to data: the inequalities come from root-location conditions, Rolle’s theorem, and radical formulas. The Appendix A proof of Proposition 2.4 is, in substance, a valid direct proof, and the stress-test concern about Lemma A.2(VI) does not actually land: since f′ has only real roots, summing over real roots gives the total degree of f′, so S(−∞,+∞)=1 forces all roots of f to be real. However, as printed, Section 3 contains a serious sign error in a load-bearing proposition, so the manuscript cannot be accepted in its current form.

major comments (3)
  1. [Section 3, Propositions 3.1 and 3.2] The stated conditions for real nonnegative roots are sign-reversed. For a quadratic a2x^2+a1x+a0 with a2>0, the correct condition is a1≤0 and 0≤a0≤a1^2/(4a2); the polynomial x^2−5x+6 has roots 2 and 3 and yet violates the printed condition a1≥0. For the cubic f(x)=a3x^3+a2x^2+a1x+a0 with a3>0, the correct condition is a2≤0, 0≤a1≤a2^2/(3a3), and a0≤0; the polynomial x(x−1)(x−2)=x^3−3x^2+2x has nonnegative roots but violates the printed condition a2≥0. This is not a local typo: the proof of Proposition 3.3 invokes Proposition 3.2 on f′ and obtains condition (i) a3≤0, which is the opposite of what the printed Proposition 3.2 would give (3a3≥0). The main theorems appear to use the corrected signs, but the intermediate statements and the proof chain in Section 3 must be repaired before the paper is publishable.
  2. [Section 3, Proposition 3.2 and proof of Proposition 3.3] Relatedly, the derivation of Proposition 3.3 from Proposition 3.2 cannot be followed as written. After substituting f′(x)=4a4x^3+3a3x^2+2a2x+a1 into the printed Proposition 3.2, one would obtain a3≥0, contradicting condition (i) of Proposition 3.3. The author should restate Propositions 3.1 and 3.2 with the correct inequalities and re-derive Prop 3.3 and the main theorems from the corrected statements. As it stands, the proof of the central characterization is internally inconsistent.
  3. [Section 5–7] Because Main Theorems A–C are deduced from Propositions 3.2, 3.3, and 3.8, the sign errors in Section 3 affect the proof of record for all three main theorems. The final inequalities appear to be consistent with the corrected sign convention, and I verified several representative examples, but the manuscript must clearly state the corrected propositions and confirm that the subsequent translations into the (a)–(i) inequalities are unchanged. In particular, the authors should re-check the proofs of Propositions 3.3 and 3.8 and the coefficient substitutions in Sections 5–7 against the corrected root conditions.
minor comments (5)
  1. [Section 2, proof of Proposition 2.4] The perturbation argument in the short proof is only sketched: it asserts without proof the existence of a perturbation preserving the number of real roots, making the derivative roots distinct, and making the inequalities strict. Since the direct Appendix A proof is available, the author should either expand this argument or explicitly designate the appendix as the proof of record.
  2. [Appendix A, proof of Proposition A.3] The combinatorial step leading to equation (15) is correct but too compressed. In particular, the claim that a −1 in the sequence (S_{k+1},…,S_1) produced by case (i) is never balanced by a +1 deserves one or two sentences of explanation, since the balancing argument in case (iii) is the key to the proof.
  3. [Appendix A, Lemma A.2(VI)] The one-line proof of Lemma A.2(VI) is terse. It would be clearer to state explicitly that, because f′ has only real roots, the contribution of f′ over all real roots is K−1; hence S(−∞,+∞)=1 forces the real roots of f to account for all K roots, so f has no non-real roots.
  4. [Main Theorems B and C] The real-root classifications are described as “mutually exclusive,” but within Case (I) of Main Theorem B, for example, a polynomial with both (x+√q)^2 and (x−√q)^2 factors can be represented in either form when the auxiliary factor h0 itself has a real root. The wording should either require h0 to have no real roots in the subcases or state that the listed forms are a cover rather than a disjoint partition.
  5. [Throughout] There are several typographical and wording issues: in the proof of Proposition 4.7, “0 ∈ 0 ∈ S−” should read “0 ∈ S−”; in the introduction, “acting of the ℓ-adic Tate module” should be “acting on”; and the title of Section 2 (“Polynomials with only real positive roots”) does not match its content, which treats arbitrary real roots as well.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the coefficient criteria are derived from an independent root-location criterion and classical algebra, with only downstream computational checks.

full rationale

The paper's derivation chain is self-contained and non-circular. The main theorems reduce membership in W_q(g) to the condition that two auxiliary polynomials h+(x) and h-(x) have only real non-negative roots (Proposition 4.7), and that root condition is then characterized by explicit coefficient inequalities using Proposition 2.4 and the low-degree propositions of Section 3. Proposition 2.4 is an independent statement about real polynomials: it characterizes real-rootedness in terms of signs of f evaluated at the roots of f', and it is proved directly in Section 2 and again in Appendix A. No step defines a quantity in terms of the theorem's conclusion, and no parameter is fitted to the data being predicted. The Magma verification described in Remark 1.4 is explicitly a downstream test performed after the proofs, not an input to them. The references to the author's own repository are for testing code only and do not carry any mathematical assumption. Although the perturbation argument in the proof of Proposition 2.4 is sketched and Appendix A contains some brief steps, those are potential correctness or rigor concerns, not circularity: they are not instances where an output is used to define an input. The comparisons with prior flawed results in Remarks 1.1-1.3 are corrections of external statements, not self-referential justification of the present theorems. Therefore the circularity score is 0.

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

No free parameters appear: the inequalities are derived from root locations, not fitted. The axioms are standard results in algebra and the definition of the object class. No new particles, forces, dimensions or other entities are introduced; the sets S, theta_i and Lambda_i are auxiliary notation, not new mathematical objects with independent existence.

assumptions (4)
  • standard math Cardano's formulas give the roots of a cubic polynomial from its coefficients
    Used in Propositions 3.2 and 3.3 to write the roots of f' explicitly and to define the set S in terms of u2, u3 and Delta.
  • standard math Ferrari's method or an equivalent quartic solution expresses the roots of a quartic polynomial from its coefficients
    Used in Proposition 3.6 to define the four roots x_{i1,i2} of the depressed quartic f1(x) in Main Theorem C.
  • standard math Rolle's theorem and the fundamental theorem of algebra
    Used in Lemma 2.3 and in the interlacing argument in Proposition 2.4.
  • domain assumption Definition of a q-Weil polynomial as a monic integer polynomial whose complex roots form conjugate pairs of absolute value sqrt(q)
    This is the object being characterized. The paper works within the standard Honda-Tate framework, but the main theorems are about W_q(g) itself.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Weil polynomials of small degree." pith.science (2026). https://pith.science/paper/WZV7LXC6

@misc{pith2026250524546,
  author       = {Pith},
  title        = {Pith review of: Weil polynomials of small degree},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WZV7LXC6}},
  note         = {Machine review of arXiv:2505.24546}
}
abstract

Honda and Tate showed that the isogeny classes of abelian varieties of dimension $g$ over a finite field $\mathbb{F}_q$ are classified in terms of $q$-Weil polynomials of degree $2g$, that is, monic integer polynomials whose set of complex roots consists of $g$ conjugate pairs of absolute value $\sqrt{q}$. There are descriptions of the space of such polynomials for $g \leq 5$, but for $g=3$, $4$ and $5$, these results contain mistakes. We correct these statements. Our proofs build on a criterion that determines when a real polynomial has only real roots in terms of the non-necessarily distinct roots of its first derivative.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

31 extracted references · 30 canonical work pages

  1. [1]

    Abbott, Kiran S

    Timothy G. Abbott, Kiran S. Kedlaya, and David Roe. Bounding Picard numbers of surfaces using p-adic cohomology. In Arithmetics, geometry, and coding theory (AGCT 2005) , volume 21 of S´ emin. Congr., pages 125–159. Soc. Math. France, Paris, 2010

    work page 2005

  2. [2]

    The Magma algebra system

    Wieb Bosma, John Cannon, and Catherine Playoust. The Magma algebra system. I. The user language. J. Symbolic Comput., 24(3-4):235–265, 1997. Computational algebra and number theory (London, 1993)

    1997

  3. [3]

    Commutative endomorphism rings of simple abelian varieties over finite fields

    Jeremy Bradford. Commutative endomorphism rings of simple abelian varieties over finite fields . ProQuest LLC, Ann Arbor, MI, 2012. Thesis (Ph.D.)–University of Maryland, College Park

    work page 2012

  4. [4]

    Isogeny classes of abelian varieties over finite fields in the LMFDB

    Taylor Dupuy, Kiran Kedlaya, David Roe, and Christelle Vincent. Isogeny classes of abelian varieties over finite fields in the LMFDB. In Arithmetic geometry, number theory, and computation , Simons Symp., pages 375–448. Springer, Cham, [2021] ©2021

    work page 2021

  5. [5]

    The characteristic polynomials of abelian varieties of dimensions 3 over finite fields

    Safia Haloui. The characteristic polynomials of abelian varieties of dimensions 3 over finite fields. Journal of Number Theory , 130(12):2745–2752, 2010

    work page 2010

  6. [6]

    The characteristic polynomials of abelian varieties of dimension 4 over finite fields

    Safia Haloui and Vijaykumar Singh. The characteristic polynomials of abelian varieties of dimension 4 over finite fields. In Arithmetic, geometry, cryptography and coding theory , volume 574 of Contemp. Math. , pages 59–68. Amer. Math. Soc., Providence, RI, 2012

    work page 2012

  7. [7]

    The characteristic polynomials of abelian varieties of higher dimension over finite fields

    Daiki Hayashida. The characteristic polynomials of abelian varieties of higher dimension over finite fields. J. Number Theory , 196:205–222, 2019

    work page 2019

  8. [8]

    The characteristic polynomials of abelian varieties over finite fields

    Daiki Hayashida. The characteristic polynomials of abelian varieties over finite fields. In Algebraic Number Theory and Related Topics 2018 , RIMS Kˆ okyˆ uroku Bessatsu, B86, pages 47–62. Res. Inst. Math. Sci. (RIMS), Kyoto, 2021

    work page 2018

Show all 31 references
  1. [9]

    Isogeny classes of abelian varieties over finite fields

    Taira Honda. Isogeny classes of abelian varieties over finite fields. Journal of the Mathematical Society of Japan, 20:83–95, 1968

    1968

  2. [10]

    Everett W. Howe. Principally polarized ordinary abelian varieties over finite fields. Trans. Amer. Math. Soc., 347(7):2361–2401, 1995

    1995

  3. [11]

    Howe, Daniel Maisner, Enric Nart, and Christophe Ritzenthaler

    Everett W. Howe, Daniel Maisner, Enric Nart, and Christophe Ritzenthaler. Principally polarizable isogeny classes of abelian surfaces over finite fields. Math. Res. Lett. , 15(1):121–127, 2008

    2008

  4. [12]

    Howe, Enric Nart, and Christophe Ritzenthaler

    Everett W. Howe, Enric Nart, and Christophe Ritzenthaler. Jacobians in isogeny classes of abelian surfaces over finite fields. Ann. Inst. Fourier (Grenoble) , 59(1):239–289, 2009

    2009

  5. [13]

    root-unitary

    Kiran Kedlaya. root-unitary. https://github.com/kedlaya/root-unitary, 2019. commit 4bcbb2a, [On- line; accessed 20 March 2023]

    2019

  6. [14]

    Kiran S. Kedlaya. Search techniques for root-unitary polynomials. In Computational arithmetic geometry , volume 463 of Contemp. Math. , pages 71–81. Amer. Math. Soc., Providence, RI, 2008

    2008

  7. [15]

    Kedlaya and Andrew V

    Kiran S. Kedlaya and Andrew V. Sutherland. A census of zeta functions of quartic K3 surfaces over F2. LMS J. Comput. Math. , 19:1–11, 2016

    2016

  8. [16]

    Isogeny classes of abelian varieties over finite fields

    Jun Jie Lin. Isogeny classes of abelian varieties over finite fields. Master theses, Utrecht University, 2023. https://studenttheses.uu.nl/handle/20.500.12932/44249. WEIL POLYNOMIALS OF SMALL DEGREE 25

    2023

  9. [17]

    The L-functions and modular forms database

    The LMFDB Collaboration. The L-functions and modular forms database. https://www.lmfdb.org, 2024. [Online; accessed 25 October 2024]

    2024

  10. [18]

    Abelian surfaces over finite fields as Jacobians

    Daniel Maisner and Enric Nart. Abelian surfaces over finite fields as Jacobians. Experimental Mathematics, 11(3):321–337, 2002. With an appendix by Everett W. Howe

    2002

  11. [19]

    https://github.com/stmar89/IsogenyClassesLowDimTestCode, 2025

    Stefano Marseglia. https://github.com/stmar89/IsogenyClassesLowDimTestCode, 2025. commit 5b51e91, [Online; accessed 30 May 2025]

    2025

  12. [20]

    Jacobians in isogeny classes of supersingular abelian threefolds in characteristic 2

    Enric Nart and Christophe Ritzenthaler. Jacobians in isogeny classes of supersingular abelian threefolds in characteristic 2. Finite Fields Appl. , 14(3):676–702, 2008

    2008

  13. [21]

    Abelian surfaces and Jacobian varieties over finite fields

    Hans-Georg R¨ uck. Abelian surfaces and Jacobian varieties over finite fields. Compositio Mathematica, 76(3):351–366, 1990

    1990

  14. [22]

    the Sage Mathematics Software System (Version 9.3) , 2023

    SageMath. the Sage Mathematics Software System (Version 9.3) , 2023. https://www.sagemath.org, [Online; downloaded 5 April 2022]

    2023

  15. [23]

    Totally positive algebraic integers of small trace

    Christopher Smyth. Totally positive algebraic integers of small trace. Ann. Inst. Fourier (Grenoble) , 34(3):1–28, 1984

    1984

  16. [24]

    The Newton polygons of the characteristic polynomials for abelian varieties of dimension 5 over finite fields

    Gyoyong Sohn. The Newton polygons of the characteristic polynomials for abelian varieties of dimension 5 over finite fields. Advanced Studies in Contemporary Mathematics (Kyungshang). Memoirs of the Jangjeon Mathematical Society, 23(4):655–660, 2013

    2013

  17. [25]

    The characteristic polynomials for abelian varieties of dimension 6 over finite fields

    Gyoyong Sohn. The characteristic polynomials for abelian varieties of dimension 6 over finite fields. International Journal of Algebra , 14(4):181–189, 2020

    2020

  18. [26]

    Endomorphisms of abelian varieties over finite fields

    John Tate. Endomorphisms of abelian varieties over finite fields. Invent. Math. , 2:134–144, 1966

    1966

  19. [27]

    Classes d’isog´ enie des vari´ et´ es ab´ eliennes sur un corps fini (d’apr` es T

    John Tate. Classes d’isog´ enie des vari´ et´ es ab´ eliennes sur un corps fini (d’apr` es T. Honda). InS´ eminaire Bourbaki. Vol. 1968/69: Expos´ es 347–363, volume 175 of Lecture Notes in Math. , pages Exp. No. 352, 95–110. Springer, Berlin, 1971

    1968

  20. [28]

    Waterhouse

    William C. Waterhouse. Abelian varieties over finite fields. Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure. Quatri` eme S´ erie, 2:521–560, 1969

    1969

  21. [29]

    Waterhouse and James S

    William C. Waterhouse and James S. Milne. Abelian varieties over finite fields. In 1969 Number Theory Institute (Proc. Sympos. Pure Math., Vol. XX, State Univ. New York, Stony Brook, N.Y., 1969) , pages 53–64. Amer. Math. Soc., Providence, R.I., 1971

    1969

  22. [30]

    The characteristic polynomials of abelian varieties of dimensions three and four over finite fields

    Chao-Ping Xing. The characteristic polynomials of abelian varieties of dimensions three and four over finite fields. Science in China (Scientia Sinica). Series A. Mathematics, Physics, Astronomy , 37(2):147–150, 1994

    1994

  23. [31]

    On supersingular abelian varieties of dimension two over finite fields

    Chaoping Xing. On supersingular abelian varieties of dimension two over finite fields. Finite Fields Appl. , 2(4):407–421, 1996. Laboratoire Jean Alexandre Dieudonn `e, Universit`e C ˆote Azur, 06108 Nice Cedex 2, France Email address : stefano.marseglia@univ-cotedazur.fr

    1996

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.