Partial descent on hyperelliptic curves and the generalized Fermat equation x3+y4+z5=0

  title={Partial descent on hyperelliptic curves and the generalized Fermat equation x3+y4+z5=0},
  author={Samir Siksek and Michael Stoll},
  journal={Bulletin of the London Mathematical Society},
  • S. Siksek, M. Stoll
  • Published 10 March 2011
  • Mathematics
  • Bulletin of the London Mathematical Society
Let C: y2=f(x) be a hyperelliptic curve defined over ℚ. Let K be a number field and suppose f factors over K as a product of irreducible polynomials f=f1 f2 … fr. We shall define a ‘Selmer set’ corresponding to this factorization with the property that if it is empty, then C(ℚ)=∅. We shall demonstrate the effectiveness of our new method by solving the generalized Fermat equation with signature (3, 4, 5), which is unassailable via the previously existing methods. 

Tables from this paper

Generalized Fermat equations: A miscellany

This paper is devoted to the generalized Fermat equation xp + yq = zr, where p, q and r are integers, and x, y and z are nonzero coprime integers. We begin by surveying the exponent triples (p, q,

On ternary Diophantine equations of signature(p,p,2)over number fields

Let $K$ be a totally real number field with narrow class number one and $O_K$ be its ring of integers. We prove that there is a constant $B_K$ depending only on $K$ such that for any prime exponent

Descent on superelliptic curves

This paper defines a set which encapsulates information about local solubility of a particular collection of covers of a curve defined by an equation of the form y^q=f(x) and shows how to compute this set.

Parametrization of algebraic points of low degrees on the schaeffer curve

  • Moussa Fall
  • Mathematics
    Journal of Mathematical Sciences and Modelling
  • 2021
In this paper, we give a parametrization of algebraic points of degree at most 4 over Q on the schaeffer curve C of affine equation : y 2 = x 5 + 1. The result extends our previous result which

The generalised Fermat equation x2 + y3 = z15

We determine the set of primitive integral solutions to the generalised Fermat equation x2 + y3 = z15. As expected, the only solutions are the trivial ones with xyz = 0 and the non-trivial one (x, y,

Number of solutions to a special type of unit equations in two variables.

For any fixed coprime positive integers $a,b$ and $c$ with $\min\{a,b,c\}>1$, we prove that the equation $a^x+b^y=c^z$ has at most two solutions in positive integers $x,y$ and $z$, except for one

Chabauty and the Mordell-Weil Sieve

  • S. Siksek
  • Computer Science
    Advances on Superelliptic Curves and their Applications
  • 2015
A brief (if somewhat imprecise) sketch of various methods for computing the set of rational points on a curve, focusing on Chabauty and the Mordell–Weil sieve is offered.

Baker's explicit abc-conjecture and applications

The conjecture of Masser-Oesterl\'e, popularly known as $abc$-conjecture have many consequences. We use an explicit version due to Baker to solve a number of conjectures.

Proof of the Tijdeman-Zagier Conjecture via Slope Irrationality and Term Coprimality

The Tijdeman-Zagier conjecture states no integer solution exists for AX + BY = CZ with positive integer bases and integer exponents greater than 2 unless gcd(A,B,C) > 1. Any set of values that




We prove that the equation A 4 + B 2 = C p has no solutions in coprime positive integers when p > 211. The main step is to show that, for all sufficiently large primes p, every Q-curve over an

2-Descent on the Jacobians of Hyperelliptic Curves

An embedding of the group J ( K )/2 J (K ) into the group L * 2 where L = K [ T ]/ƒ( T ).

Perfect powers expressible as sums of two cubes

Deciding Existence of Rational Points on Curves: An Experiment

This paper considers all genus-2 curves over ℚ given by an equation y 2 = f(x) with f a square-free polynomial of degree 5 or 6, and decides whether there is a rational point on the curve by a combination of techniques that are applicable to hyperelliptic curves in general.

Two-cover descent on hyperelliptic curves

An algorithm is described that determines a set of unramified covers of a given hyperelliptic curve, with the property that any rational point will lift to one of the covers, if the algorithm returns an empty set.

Winding quotients and some variants of Fermat's Last Theorem.

giving an abundant but rather uninteresting supply of solutions to equation (2). It is natural to restrict ones attention to the primitive solutions, which is what we will do from now on. Equations

Explicit 4-descents on an elliptic curve

where f(X,Z) is a binary quartic form (or quartic for short) with integer coefficients. One wishes to know whether equation (1) has a Q-rational point and if so to exhibit one. One can often show

Twists of X(7) and primitive solutions to x^2+y^3=z^7

We find the primitive integer solutions to x^2+y^3=z^7. A nonabelian descent argument involving the simple group of order 168 reduces the problem to the determination of the set of rational points on

Towers of 2-covers of hyperelliptic curves

In this article, we give a way of constructing an unramified Galois-cover of a hyperelliptic curve. The geometric Galois-group is an elementary abelian 2-group. The construction does not make use of

On the Equation xp + yq = zr: A Survey

AbstractLet p, q and r be three integers ≥ 2. During the last ten years many new ideas have emerged for the study of the Diophantine equation x + y = z. This study is divided into three parts