Primitive divisors of elliptic divisibility sequences over function fields with constant j-invariant

Abstract: We prove an optimal Zsigmondy bound for elliptic divisibility sequences over function fields in case the

j

-invariant of the elliptic curve is constant. In more detail, given an elliptic curve

E

with a point

P

of infinite order, the sequence

D_{1}

,

D_{2}, l d o t s

of denominators of multiples

P

,

2 P, l d o t s

of

P

is a strong divisibility sequence in the sense that

g c d (D_{m}, D_{n}) = D_{g c d (m, n)}

. This is the genus-one analogue of the genus-zero Fibonacci, Lucas and Lehmer sequences. A number

N

is called a Zsigmondy bound of the sequence if each term

D_{n}

with

n > N

presents a new prime factor. The optimal uniform Zsigmondy bound for the genus-zero sequences over

m a t h b f Q

is

30

by Bilu-Hanrot-Voutier, 2000, but finding such a bound remains an open problem in genus one, both over

m a t h b f Q

and over function fields. We prove that the optimal Zsigmondy bound for ordinary elliptic divisibility sequences over function fields is

2

if the

j

-invariant is constant. In the supersingular case, we give a complete classification of which terms can and cannot have a new prime factor.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Primitive divisors of elliptic divisibility sequences over function fields with constant \(j\)-invariant