Elliptic curve variants of the least quadratic nonresidue problem and Linnik's theorem

Publication date 28 November 2017

Abstract: Let

E_{1}

and

E_{2}

be

o v e r l i n e m a t h b b Q

-nonisogenous, semistable elliptic curves over

m a t h b b Q

, having respective conductors

N_{E_{1}}

and

N_{E_{2}}

and both without complex multiplication. For each prime

p

, denote by

the trace of Frobenius. Under the assumption of the Generalized Riemann Hypothesis (GRH) for the convolved symmetric power

L

-functions

L (s, m a t h r m {S y m}^{i} E_{1} o t i m e s m a t h r m {S y m}^{j} E_{2})

where

i, j i n 0, 1, 2

, we prove an explicit result that can be stated succinctly as follows: there exists a prime

p m i d N_{E_{1}} N_{E_{2}}

such that

a_{E_{1}} (p) a_{E_{2}} (p) < 0

and [ p < �ig( (32+o(1))cdot log N_{E_1} N_{E_2}�ig)^2. ] This improves and makes explicit a result of Bucur and Kedlaya. Now, if

I s u b s e t [- 1, 1]

is a subinterval with Sato-Tate measure

m u

and if the symmetric power

L

-functions

L (s, m a t h r m {S y m}^{k} E_{1})

are functorial and satisfy GRH for all

k l e 8 / m u

, we employ similar techniques to prove an explicit result that can be stated succinctly as follows: there exists a prime

p m i d N_{E_{1}}

such that

a_{E_{1}} (p) / (2 s q r t p) i n I

and [ p < left((21+o(1)) cdot mu^{-2}log (N_{E_1}/mu) ight)^2. ]

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Elliptic curve variants of the least quadratic nonresidue problem and Linnik's theorem