Heights and the specialization map for families of elliptic curves over \mathbb {P}^n

Abstract: For

n g e q 2

, let

K = o v e r l i n e m a t h b b Q (m a t h b b P^{n}) = o v e r l i n e m a t h b b Q (T_{1}, l d o t s, T_{n})

. Let

E / K

be the elliptic curve defined by a minimal Weiestrass equation

y^{2} = x^{3} + A x + B

, with

A, B i n o v e r l i n e m a t h b b Q [T_{1}, l d o t s, T_{n}]

. There's a canonical height

h a t h_{E}

on

E (K)

induced by the divisor

(O)

, where

O

is the zero element of

E (K)

. On the other hand, for each smooth hypersurface

G a m m a

in

m a t h b b P^{n}

such that the reduction mod

G a m m a

of

E

,

E_{G a m m a} / o v e r l i n e m a t h b b Q (G a m m a)

is an elliptic curve with the zero element

O_{G} a m m a

, there is also a canonical height

h a t h_{E_{G a m m a}}

on

E_{G a m m a} (o v e r l i n e m a t h b b Q (G a m m a))

that is induced by

(O_{G} a m m a)

. We prove that for any

P i n E (K)

, the equality

h a t h_{E_{G a m m a}} (P_{G} a m m a) / d e g G a m m a = h a t h_{E} (P)

holds for almost all hypersurfaces in

m a t h b b P^{n}

. As a consequence, we show that for infinitely many

t i n m a t h b b P^{n} (o v e r l i n e m a t h b b Q)

, the specialization map

s i g m a_{t} : E (K) i g h t a r r o w E_{t} (o v e r l i n e m a t h b b Q)

is injective.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Heights and the specialization map for families of elliptic curves over $\mathbb {P}^n$