On invariants of elliptic curves on average

Amir Akbary; Adam Tyler Felix

Acta Arithmetica (2015)

  • Volume: 168, Issue: 1, page 31-70
  • ISSN: 0065-1036

Abstract

top
We prove several results regarding some invariants of elliptic curves on average over the family of all elliptic curves inside a box of sides A and B. As an example, let E be an elliptic curve defined over ℚ and p be a prime of good reduction for E. Let e E ( p ) be the exponent of the group of rational points of the reduction modulo p of E over the finite field p . Let be the family of elliptic curves E a , b : y 2 = x 3 + a x + b , where |a| ≤ A and |b| ≤ B. We prove that, for any c > 1 and k∈ ℕ, 1 / | | E p x e E k ( p ) = C k l i ( x k + 1 ) + O ( ( x k + 1 ) / ( l o g x ) c ) as x → ∞, as long as A , B > e x p ( c 1 ( l o g x ) 1 / 2 ) and A B > x ( l o g x ) 4 + 2 c , where c 1 is a suitable positive constant. Here C k is an explicit constant given in the paper which depends only on k, and l i ( x ) = 2 x d t / l o g t . We prove several similar results as corollaries to a general theorem. The method of the proof is capable of improving some of the known results with A , B > x ϵ and A B > x ( l o g x ) δ to A , B > e x p ( c 1 ( l o g x ) 1 / 2 ) and A B > x ( l o g x ) δ .

How to cite

top

Amir Akbary, and Adam Tyler Felix. "On invariants of elliptic curves on average." Acta Arithmetica 168.1 (2015): 31-70. <http://eudml.org/doc/279142>.

@article{AmirAkbary2015,
abstract = {We prove several results regarding some invariants of elliptic curves on average over the family of all elliptic curves inside a box of sides A and B. As an example, let E be an elliptic curve defined over ℚ and p be a prime of good reduction for E. Let $e_E(p)$ be the exponent of the group of rational points of the reduction modulo p of E over the finite field $_p$. Let be the family of elliptic curves $E_\{a,b\} : y^2 = x^3 + ax + b$, where |a| ≤ A and |b| ≤ B. We prove that, for any c > 1 and k∈ ℕ, $1/|| ∑_\{E∈\} ∑_\{p≤x\} e_E^k(p) = C_k li(x^\{k+1\}) + O((x^\{k+1\})/(logx)^c$)$ $as x → ∞, as long as $A,B > exp(c_1 (logx)^\{1/2\})$ and $AB > x(logx)^\{4+2c\}$, where $c_1$ is a suitable positive constant. Here $C_k$ is an explicit constant given in the paper which depends only on k, and $li(x) = ∫_\{2\}^x dt/log\{t\}$. We prove several similar results as corollaries to a general theorem. The method of the proof is capable of improving some of the known results with $A,B > x^ϵ$ and $AB > x(logx)^δ$ to $A,B > exp(c_1 (logx)^\{1/2\})$ and $AB > x(logx)^δ$.},
author = {Amir Akbary, Adam Tyler Felix},
journal = {Acta Arithmetica},
keywords = {reduction mod of elliptic curves; invariants of elliptic curves; average results},
language = {eng},
number = {1},
pages = {31-70},
title = {On invariants of elliptic curves on average},
url = {http://eudml.org/doc/279142},
volume = {168},
year = {2015},
}

TY - JOUR
AU - Amir Akbary
AU - Adam Tyler Felix
TI - On invariants of elliptic curves on average
JO - Acta Arithmetica
PY - 2015
VL - 168
IS - 1
SP - 31
EP - 70
AB - We prove several results regarding some invariants of elliptic curves on average over the family of all elliptic curves inside a box of sides A and B. As an example, let E be an elliptic curve defined over ℚ and p be a prime of good reduction for E. Let $e_E(p)$ be the exponent of the group of rational points of the reduction modulo p of E over the finite field $_p$. Let be the family of elliptic curves $E_{a,b} : y^2 = x^3 + ax + b$, where |a| ≤ A and |b| ≤ B. We prove that, for any c > 1 and k∈ ℕ, $1/|| ∑_{E∈} ∑_{p≤x} e_E^k(p) = C_k li(x^{k+1}) + O((x^{k+1})/(logx)^c$)$ $as x → ∞, as long as $A,B > exp(c_1 (logx)^{1/2})$ and $AB > x(logx)^{4+2c}$, where $c_1$ is a suitable positive constant. Here $C_k$ is an explicit constant given in the paper which depends only on k, and $li(x) = ∫_{2}^x dt/log{t}$. We prove several similar results as corollaries to a general theorem. The method of the proof is capable of improving some of the known results with $A,B > x^ϵ$ and $AB > x(logx)^δ$ to $A,B > exp(c_1 (logx)^{1/2})$ and $AB > x(logx)^δ$.
LA - eng
KW - reduction mod of elliptic curves; invariants of elliptic curves; average results
UR - http://eudml.org/doc/279142
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.