An Algorithm for Checking Injectivity of Specialization Maps from Elliptic Surfaces

Abstract: Let

E / m a t h b b Q (t)

be an elliptic curve and let

t_{0} i n m a t h b b Q

be a rational number for which the specialization

E_{t_{0}}

is an elliptic curve. Given a subgroup

M

of

E (m a t h b b Q (t))

with mild conditions and

t_{0} i n m a t h b b Q

coming from a relatively large subset

S_{M} s u b s e t m a t h b b Q

, we provide an algorithm that can show that the specialization map

s i g m a_{t_{0}} : E (m a t h b b Q (t)) o E_{t_{0}} (m a t h b b Q)

is injective when restricted to

M

. The set

S_{M}

is effectively computable in certain cases, and we carry out this computation for some explicit examples where

E

is given by a Weierstrass equation.

This page was built for publication: An Algorithm for Checking Injectivity of Specialization Maps from Elliptic Surfaces