Lower Order Biases in Moment Expansions of One Parameter Families of Elliptic Curves

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Cheek, Timothy, Gilman, Pico, Jaber, Kareem, Miller, Steven J., Sharan, Vismay, Tomé, Marie-Hélène
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866929516933283840
author Cheek, Timothy
Gilman, Pico
Jaber, Kareem
Miller, Steven J.
Sharan, Vismay
Tomé, Marie-Hélène
author_facet Cheek, Timothy
Gilman, Pico
Jaber, Kareem
Miller, Steven J.
Sharan, Vismay
Tomé, Marie-Hélène
contents For a fixed elliptic curve $E$ without complex multiplication, $a_p := p+1 - \#E(\mathbb{F}_p)$ is $O(\sqrt{p})$ and $a_p/2\sqrt{p}$ converges to a semicircular distribution. Michel proved that for a one-parameter family of elliptic curves $y^2 = x^3 + A(T)x + B(T)$ with $A(T), B(T) \in \mathbb{Z}[T]$ and non-constant $j$-invariant, the second moment of $a_p(t)$ is $p^2 + O(p^{{3}/{2}})$. The size and sign of the lower order terms has applications to the distribution of zeros near the central point of Hasse-Weil $L$-functions and the Birch and Swinnerton-Dyer conjecture. S. J. Miller conjectured that the highest order term of the lower order terms of the second moment that does not average to zero is on average negative. Previous work on the conjecture has been restricted to a small set of highly nongeneric families. We create a database and a framework to quickly and systematically investigate biases in the second moment of any one-parameter family. When looking at families which have so far been beyond current theory, we find several potential violations of the conjecture for $p \leq 250,000$ and discuss new conjectures motivated by the data.
format Preprint
id arxiv_https___arxiv_org_abs_2409_18224
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Lower Order Biases in Moment Expansions of One Parameter Families of Elliptic Curves
Cheek, Timothy
Gilman, Pico
Jaber, Kareem
Miller, Steven J.
Sharan, Vismay
Tomé, Marie-Hélène
Number Theory
Algebraic Geometry
11G05, 11G40
For a fixed elliptic curve $E$ without complex multiplication, $a_p := p+1 - \#E(\mathbb{F}_p)$ is $O(\sqrt{p})$ and $a_p/2\sqrt{p}$ converges to a semicircular distribution. Michel proved that for a one-parameter family of elliptic curves $y^2 = x^3 + A(T)x + B(T)$ with $A(T), B(T) \in \mathbb{Z}[T]$ and non-constant $j$-invariant, the second moment of $a_p(t)$ is $p^2 + O(p^{{3}/{2}})$. The size and sign of the lower order terms has applications to the distribution of zeros near the central point of Hasse-Weil $L$-functions and the Birch and Swinnerton-Dyer conjecture. S. J. Miller conjectured that the highest order term of the lower order terms of the second moment that does not average to zero is on average negative. Previous work on the conjecture has been restricted to a small set of highly nongeneric families. We create a database and a framework to quickly and systematically investigate biases in the second moment of any one-parameter family. When looking at families which have so far been beyond current theory, we find several potential violations of the conjecture for $p \leq 250,000$ and discuss new conjectures motivated by the data.
title Lower Order Biases in Moment Expansions of One Parameter Families of Elliptic Curves
topic Number Theory
Algebraic Geometry
11G05, 11G40
url https://arxiv.org/abs/2409.18224