Results 1  10
of
10
Cycles of quadratic polynomials and rational points on a genus 2 curve
, 1996
"... It has been conjectured that for N sufficiently large, there are no quadratic polynomials in Q[z] with rational periodic points of period N. Morton proved there were none with N = 4, by showing that the genus 2 algebraic curve that classifies periodic points of period 4 is birational to X1(16), who ..."
Abstract

Cited by 45 (13 self)
 Add to MetaCart
(Show Context)
It has been conjectured that for N sufficiently large, there are no quadratic polynomials in Q[z] with rational periodic points of period N. Morton proved there were none with N = 4, by showing that the genus 2 algebraic curve that classifies periodic points of period 4 is birational to X1(16), whose rational points had been previously computed. We prove there are none with N = 5. Here the relevant curve has genus 14, but it has a genus 2 quotient, whose rational points we compute by performing a 2descent on its Jacobian and applying a refinement of the method of Chabauty and Coleman. We hope that our computation will serve as a model for others who need to compute rational points on hyperelliptic curves. We also describe the three possible Gal(Q/Q)stable 5cycles, and show that there exist Gal(Q/Q)stable Ncycles for infinitely many N. Furthermore, we answer a question of Morton by showing that the genus 14 curve and its quotient are not modular. Finally, we mention some partial results for N = 6.
A Flexible Method for Applying Chabauty’s Theorem
"... A strategy is proposed for applying Chabauty’s Theorem to hyperelliptic curves of genus> 1. In the genus 2 case, it shown how recent developments on the formal group of the Jacobian can be used to give a flexible and computationally viable method for applying this strategy. The details are descri ..."
Abstract

Cited by 42 (11 self)
 Add to MetaCart
A strategy is proposed for applying Chabauty’s Theorem to hyperelliptic curves of genus> 1. In the genus 2 case, it shown how recent developments on the formal group of the Jacobian can be used to give a flexible and computationally viable method for applying this strategy. The details are described for a general curve of genus 2, and are then applied to find C(Q) for a selection of curves. A fringe benefit is a more explicit proof of a result of Coleman.
The Jacobian and Formal Group of a Curve of Genus 2 over an Arbitrary Ground
 Math. Proc. Cambridge Philos. Soc. 107
, 1990
"... The ability to perform practical computations on particular cases has greatly influenced the theory of elliptic curves. First, it has allowed a rich subbranch of the Mathematics of Computation to develop, devoted to elliptic curves: the search for curves of large rank, large torsion over number fie ..."
Abstract

Cited by 25 (8 self)
 Add to MetaCart
(Show Context)
The ability to perform practical computations on particular cases has greatly influenced the theory of elliptic curves. First, it has allowed a rich subbranch of the Mathematics of Computation to develop, devoted to elliptic curves: the search for curves of large rank, large torsion over number fields, and — more recently — the application of
Computational Aspects of Curves of Genus at Least 2
 Algorithmic number theory. 5th international symposium. ANTSII
, 1996
"... . This survey discusses algorithms and explicit calculations for curves of genus at least 2 and their Jacobians, mainly over number fields and finite fields. Miscellaneous examples and a list of possible future projects are given at the end. 1. Introduction An enormous number of people have per ..."
Abstract

Cited by 15 (2 self)
 Add to MetaCart
(Show Context)
. This survey discusses algorithms and explicit calculations for curves of genus at least 2 and their Jacobians, mainly over number fields and finite fields. Miscellaneous examples and a list of possible future projects are given at the end. 1. Introduction An enormous number of people have performed an enormous number of computations on elliptic curves, as one can see from even a perfunctory glance at [29]. A few years ago, the same could not be said for curves of higher genus, even though the theory of such curves had been developed in detail. Now, however, polynomialtime algorithms and sometimes actual programs are available for solving a wide variety of problems associated with such curves. The genus 2 case especially is becoming accessible: in light of recent work, it seems reasonable to expect that within a few years, packages will be available for doing genus 2 computations analogous to the elliptic curve computations that are currently possible in PARI, MAGMA, SIMATH, apec...
The group law on the Jacobian of a curve of genus 2
"... An explicit description is given of the group law on the Jacobian of a curve C of genus 2. The Kummer surface provides a useful intermediary stage; bilinear forms relating to the Kummer surface imply that the global group law may be given projectively by biquadratic forms defined over the same ring ..."
Abstract

Cited by 14 (6 self)
 Add to MetaCart
An explicit description is given of the group law on the Jacobian of a curve C of genus 2. The Kummer surface provides a useful intermediary stage; bilinear forms relating to the Kummer surface imply that the global group law may be given projectively by biquadratic forms defined over the same ring as the coefficients of C. It is not assumed that C has a rational Weierstrass point, and the theory presented applies over an arbitrary ground field.
NCOVERS OF HYPERELLIPTIC CURVES
"... 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 ge ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
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 2coverings; we illustrate this by using 3coverings to find all Qrational points on a curve of genus 2 for which 2covering 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 nonsingular 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 nonsingular 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 defined
The formal group of the Jacobian of an algebraic curve
 Paci Journal of Mathematics 157
, 1993
"... In this paper we give an explicit construction of the formal group of the Jacobian of an algebraic curve using a basis for the holomorphic differentials on the curve at a rational nonWeierstrass point. We construct the formal group of the Jacobian of the modular curve Xo(l) and using a result of T. ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
(Show Context)
In this paper we give an explicit construction of the formal group of the Jacobian of an algebraic curve using a basis for the holomorphic differentials on the curve at a rational nonWeierstrass point. We construct the formal group of the Jacobian of the modular curve Xo(l) and using a result of T. Honda, we prove that this formal group is pintegral for all but finitely many p. Introduction. Formal group laws have proven to be very useful tools in many areas of mathematics and computer science. In particular, the formal group of an elliptic curve has been used to great effect in elliptic curve theory (for details see for example Silverman [13]) and the use of the formal group of an abelian variety is pervasive in arithmetic and
LARGE RATIONAL TORSION ON ABELIAN VARIETIES
"... A method of searching for large rational torsion on Abelian varieties is described. A few explicit applications of this method over Q give rational 11 and 13torsion in dimension 2, and rational 29torsion in dimension 4. The search for large rational torsion on elliptic curves goes back to the ear ..."
Abstract
 Add to MetaCart
(Show Context)
A method of searching for large rational torsion on Abelian varieties is described. A few explicit applications of this method over Q give rational 11 and 13torsion in dimension 2, and rational 29torsion in dimension 4. The search for large rational torsion on elliptic curves goes back to the early 1900s, when Levi [6], Billing [1], and others found, for various values of N, the curve X1(N) whose rational points correspond to elliptic curves with rational Ntorsion. These authors found elliptic curves with 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 and 12 torsion over Q, and proved the