A Hyperelliptic Smoothness Test, II

This series of papers presents and rigorously analyzes a probabilistic algorithm for finding small prime factors of an integer. The algorithm uses the Jacobian varieties of curves of genus 2 in the same way that the elliptic curve method uses elliptic curves. This second paper in the series is concerned with the order of the group of rational points on the Jacobian of a curve of genus 2 defined over a finite field. We prove a result on the distribution of these orders. 2000 Mathematical Subject Classification: 11Y05, 11G10, 11M20, 11N25.

[1]  Michael Francis Atiyah,et al.  Introduction to commutative algebra , 1969 .

[2]  Stéphane R. Louboutin,et al.  Explicit Bounds for Residues of Dedekind Zeta Functions, Values of L-Functions at s=1, and Relative Class Numbers☆ , 2000 .

[3]  H. M. Stark,et al.  Some effective cases of the Brauer-Siegel Theorem , 1974 .

[4]  G. Hardy,et al.  An Introduction to the Theory of Numbers , 1938 .

[5]  Henning Stichtenoth,et al.  Algebraic function fields and codes , 1993, Universitext.

[6]  Hans-Georg Rück.  Abelian surfaces and jacobian varieties over finite fields , 1990 .

[7]  C. Pomerance,et al.  A hyperelliptic smoothness test. I , 1993, Philosophical Transactions of the Royal Society of London. Series A: Physical and Engineering Sciences.

[8]  Jean-Pierre Serre.  Zeta and L functions , 2003 .

[9]  E. T..  An Introduction to the Theory of Numbers , 1946, Nature.

[10]  Ming-Deh A. Huang,et al.  Primality Testing and Abelian Varieties over Finite Fields , 1992 .

[11]  A. Weil,et al.  Variétés abéliennes et courbes algébriques , 1948 .

[12]  H. W. Lenstra,et al.  Factoring integers with elliptic curves , 1987 .

[13]  Jonathan W. Sands.  Generalization of a theorem of Siegel , 1991 .

[14]  Everett W. Howe.  Principally polarized ordinary abelian varieties over finite fields , 1995 .

[15]  J. Neukirch.  Algebraic Number Theory , 1999 .

[16]  J. Rosser,et al.  Approximate formulas for some functions of prime numbers , 1962 .

[17]  Edmund Taylor Whittaker,et al.  A Course of Modern Analysis , 2021 .

[18]  André Weil,et al.  Zum Beweis des Torellischen Satzes , 1979 .

[19]  J. Tate.  Endomorphisms of abelian varieties over finite fields , 1966 .