2012/10/31 by Harvey, David · 2 citations
#11G25 #11Y99 #FOS: Mathematics #Number Theory (math.NT)
paper · doi:10.48550/arxiv.1210.8239
Let g >= 1 and let Q be a monic, squarefree polynomial of degree 2g + 1 in Z[x]. For an odd prime p not dividing the discriminant of Q, let Zp(T) denote the zeta function of the hyperelliptic curve of genus g over the finite field Fp obtained by reducing the coefficients of the equation y2 = Q(x) modulo p. We present an explicit deterministic algorithm that given as input Q and a positive integer N, computes Zp(T) simultaneously for all such primes p < N, whose average complexity per prime is polynomial in g, log N, and the number of bits required to represent Q.