Abstract
We develop efficient methods for deterministic computations with semi-algebraic sets and apply them to the problem of counting rational points on curves and abelian varieties over finite fields. For abelian varieties of dimension g in projective N space over Fq, we improve Pila's result and show that the problem can be solved in O((log q)δ) time where δ is polynomial in g as well as in N. For hyperelliptic curves of genus g over Fq we show that the number of rational points on the curve and the number of rational points on its Jacobian can be computed in time \(O((\log q)^{O(g^6 )} )\)time.
Research supported by NSF through grant CCR-9403662.
Research supported by NSF through grant CCR-9412383.
Preview
Unable to display preview. Download preview PDF.
References
L.M. Adleman and M.-D. A. Huang, Primality Testing and Abelian Varieties over Finite Fields, Lecture Notes in Mathematics, 1512, Springer-Verlag, 1992.
J. Canny, Some algebraic and geometric problems in PSPACE, Proc. of the 20th ACM Symp. on the Theory of Computing, 1988.
D. Cantor, Computing in the Jacobian of a Hyperelliptic Curve, Math. Comp. V. 48, 177:95–101, 1987.
W.L. Chow, On the defining field of a divisor in an algebraic variety, American Journal of Mathematics, 72:247–283, 1950.
W.L. Chow, The Jacobian variety of an abelian variety, Amer. J. Math., 76:454–476, 1954.
W.L. Chow and B.L. van der Wareden, Zur algebraischen geometrie, IX, Über zugeordnete formen und algebraische systeme von algebraischen mannigfaltigkeiten, Math. Annalen, 113:692–704, 1937.
M.-D. Huang and D. Ierardi, Counting points on curves over finite fields, Proc. 32nd IEEE Symp. on the Foundations of Computer Science, 1993.
D. Ierardi, Quantifier elimination in the theory of an algebraically closed field
D. Ierardi and D. Kozen, Parallel resultant computation, Synthesis of Parallel Algorithms, 1991.
J. Pila, Frobenius Maps of Abelian Varieties and Finding Roots of Unity in Finite Fields, Math. Comp., 55, (1990), 745–763.
R. Schoof, Elliptic Curves Over Finite Fields and the Computation of Square Roots Mod P, Math. Comp. 44, (1985), 483–494.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Adleman, L.M., Huang, MD.A. (1996). Counting rational points on curves and abelian varieties over finite fields. In: Cohen, H. (eds) Algorithmic Number Theory. ANTS 1996. Lecture Notes in Computer Science, vol 1122. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61581-4_36
Download citation
DOI: https://doi.org/10.1007/3-540-61581-4_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61581-1
Online ISBN: 978-3-540-70632-8
eBook Packages: Springer Book Archive