On invariants of elliptic curves on average

Amir Akbary¹ ; Adam Tyler Felix¹

¹ Department of Mathematics and Computer Science University of Lethbridge 4401 University Drive Lethbridge, AB, T1K 3M4, Canada

Acta Arithmetica, Tome 168 (2015) no. 1, pp. 31-70.

Résumé

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 $\mathbb{Q}$ 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 $\mathbb{F}_p$. Let $\mathcal{C}$ be the family of elliptic curves $$E_{a,b}:y^2=x^3+ax+b,$$ where $|a|\leq A$ and $|b|\leq B$. We prove that, for any $c>1$ and $k\in \mathbb{N}$, $$ \frac{1}{|\mathcal{C}|} \sum_{E\in \mathcal{C}} \sum_{p\leq x} e_E^k(p) = C_k \mathop{\rm li} (x^{k+1})+O\biggl(\frac{x^{k+1}}{(\log{x})^c} \bigg) $$ as $x\rightarrow \infty$, as long as $A, B>\exp(c_1 (\log{x})^{1/2})$ and $AB>x(\log{x})^{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 $\mathop{\rm li} (x)=\int_{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^\epsilon$ and $AB>x(\log{x})^\delta$ to $A, B>\exp(c_1 (\log{x})^{1/2})$ and $AB>x(\log{x})^\delta$.

Détail

DOI : 10.4064/aa168-1-3

Keywords: prove several results regarding invariants elliptic curves average family elliptic curves inside box sides example elliptic curve defined mathbb prime reduction exponent group rational points reduction modulo finite field mathbb mathcal family elliptic curves where leq leq prove mathbb frac mathcal sum mathcal sum leq p mathop biggl frac log bigg rightarrow infty long exp log log where suitable positive constant here explicit constant given paper which depends only mathop int log prove several similar results corollaries general theorem method proof capable improving known results epsilon log delta exp log log delta