We take an approach toward counting the number of n for which the curves E_n: y^2=x^3-n^2x have 2-Selmer groups of a given size. This question was also discussed in a pair of Invent. Math. papers by Roger Heath-Brown. We discuss the connection between computing the size of these Selmer groups and verifying cases of the Birch and Swinnerton-Dyer Conjecture. The key ingredient for the asymptotic formulae is the ``independence of the Legendre symbol evaluated at the prime divisors of an integer with exactly k prime factors.
Empirical analysis is often the first step towards the birth of a conjecture. This is the case of the Birch-Swinnerton-Dyer (BSD) Conjecture describing the rational points on an elliptic curve, one of the most celebrated unsolved problems in mathematics. Here we extend the original empirical approach, to the analysis of the Cremona database of quantities relevant to BSD, inspecting more than 2.5 million elliptic curves by means of the latest techniques in data science, machine-learning and topological data analysis. Key quantities such as rank, Weierstrass coefficients, period, conductor, Tamagawa number, regulator and order of the Tate-Shafarevich group give rise to a high-dimensional point-cloud whose statistical properties we investigate. We reveal patterns and distributions in the rank versus Weierstrass coefficients, as well as the Beta distribution of the BSD ratio of the quantities. Via gradient boosted trees, machine learning is applied in finding inter-correlation amongst the various quantities. We anticipate that our approach will spark further research on the statistical properties of large datasets in Number Theory and more in general in pure Mathematics.
We provide two proofs that the conjecture of Artin-Tate for a fibered surface is equivalent to the conjecture of Birch-Swinnerton-Dyer for the Jacobian of the generic fibre. As a byproduct, we obtain a new proof of a theorem of Geisser relating the orders of the Brauer group and the Tate-Shafarevich group.
We introduce a shifted convolution sum that is parametrized by the squarefree natural number $t$. The asymptotic growth of this series depends explicitly on whether or not $t$ is a emph{congruent number}, an integer that is the area of a rational right triangle. This series presents a new avenue of inquiry for The Congruent Number Problem.
In this article, we discuss whether a single congruent number $t$ can have two (or more) distinct triangles with the same hypotenuse. We also describe and carry out computational experimentation providing evidence that this does not occur.
Let $k$ be a field of characteristic $q$, $cac$ a smooth geometrically connected curve defined over $k$ with function field $K:=k(cac)$. Let $A/K$ be a non constant abelian variety defined over $K$ of dimension $d$. We assume that $q=0$ or $>2d+1$. Let $p e q$ be a prime number and $cactocac$ a finite geometrically textsc{Galois} and etale cover defined over $k$ with function field $K:=k(cac)$. Let $(tau,B)$ be the $K/k$-trace of $A/K$. We give an upper bound for the $bbz_p$-corank of the textsc{Selmer} group $text{Sel}_p(Atimes_KK)$, defined in terms of the $p$-descent map. As a consequence, we get an upper bound for the $bbz$-rank of the textsc{Lang-Neron} group $A(K)/tauB(k)$. In the case of a geometric tower of curves whose textsc{Galois} group is isomorphic to $bbz_p$, we give sufficient conditions for the textsc{Lang-Neron} group of $A$ to be uniformly bounded along the tower.