Abstract:Let $E$ be an elliptic curve over the rationals given by an integral Weierstrass model and let $P$ be a rational point of infinite order. The multiple $nP$ has the form $(A_n/B_n^2,C_n/B_n^3)$ where $A_n$, $B_n$, $C_n$ are integers with $A_n C_n$ and $B_n$ coprime, and $B_n$ positive. The sequence $(B_n)$ is called the elliptic divisibility sequence generated by $P$. This paper is concerned with a question posed in 2007 by Everest, Reynolds and Stevens: does the sequence $(B_n)$ contain only finitely many perfect powers? We answer this question positively under three additional assumptions: $P$ is non-integral, the discriminant of $E$ is positive, and $P$ belongs to the connected real component of the identity on $E$. Our method attaches to the problem a Frey curve that is defined over a totally real field of degree at most $24$, and then makes use of modularity and level lowering arguments. We can deduce the same theorem without assuming that the discriminant of $E$ is positive, or assuming that $P$ belongs to the connected real component of the identity, provided we assume some standard conjectures from the Langlands programme.

Some effectivity results for primitive divisors of elliptic divisibility sequences

Perfect powers in elliptic divisibility sequences

Divisibility sequences related to abelian varieties isogenous to a power of an elliptic curve

A recurrence relation for elliptic divisibility sequences

Strong divisibility sequences and sieve methods

On the primitive divisors of quadratic polynomials

Generalized divisor functions in arithmetic progressions: I

Primitive elements in $p$-divisible groups

Divisors in Residue Classes Revisited

Primitive divisors of Lucas and Lehmer sequences, III

Addition of Divisors on Hyperelliptic Curves via Interpolation Polynomials

Parity results concerning the generalized divisor function involving small prime factors of integers

General divisor functions in arithmetic progressions to large moduli

Terms in elliptic divisibility sequences divisible by their indices

A proof of the Erdős primitive set conjecture

Primitive Divisors of Lucas Sequences in Polynomial Rings

On the largest square divisor of shifted primes

Semi-primitive roots and irreducible quadratic forms

On big primitive divisors of Fibonacci numbers

Common valuations of division polynomials

Cyclicity and exponent of elliptic curves modulo $p$ in arithmetic progressions