Abstract. For a hyperelliptic curve C of genus g with a divisor class of order n = g + 1, we shall consider an associated covering collection of curves Dδ, each of genus g 2. We describe, up to isogeny, the Jacobian of each Dδ via a map from Dδ to C, and two independent maps from Dδ to a curve of genus g(g − 1)/2. For some curves, this allows covering techniques that depend on arithmetic data of number fields of smaller degree than standard 2-coverings; we illustrate this by using 3-coverings to find all Q-rational points on a curve of genus 2 for which 2-covering techniques would be impractical. 1. Description of the Jacobian of the Covering Curves We shall consider a hyperelliptic curve of genus g = n − 1 ≥ 1, of the form (1) C: Y 2 = F (X) = G(X) 2 + kH(X) n, where G(X) is of degree n = g + 1 and H(X) is of degree 2, and where G(X), H(X), k are defined over the ring of integers O of a number field K. Here, and elsewhere, we shall adopt the usual convention that C is used to denote the non-singular curve, even though the equation given in (1) is singular; for the practical purpose of points on C, we can take these to be the affine (X, Y) satisfying (1), together with ∞ +, ∞ − , which will be distinct points on this non-singular curve. We shall assume that F (X) has nonzero discriminant, which implies that resultant(G(X), H(X)) is also nonzero. Equation (1) is a classical model of a hyperelliptic curve whose Jacobian J has an element of order n define

Similar works

This paper was published in CiteSeerX.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.