Machine Learning Approaches to the Shafarevich-Tate Group of Elliptic Curves

We present the results of our search for the orders of Tate-Shafarevich groups for the Neumann-Setzer type elliptic curves.

In this article, we propose a new probabilistic model for the distribution of ranks of elliptic curves in families of fixed Selmer rank, and compare the predictions with previous results, and with the databases of curves over the rationals that we have at our disposal. In addition, we document a phenomenon we refer to as Selmer bias that seems to play an important role in the data and in our models.

We consider an abelian variety defined over a number field. We give conditional bounds for the order of its Tate-Shafarevich group, as well as conditional bounds for the N\'eron-Tate height of generators of its Mordell-Weil group. The bounds are implied by strong but nowadays classical conjectures, such as the Birch and Swinnerton-Dyer conjecture and the functional equation of the L-series. In particular, we improve and generalise a result by D. Goldfeld and L. Szpiro on the ...

The paper formulates a precise relationship between the Tate-Shafarevich group of an elliptic curve $E$ over ${\mathbb Q}$ with a quotient of the classgroup of ${\mathbb Q}(E[p])$ on which $Gal({\mathbb Q}(E[p]/{\mathbb Q}) = GL_2({\mathbb Z}/p)$ operates by its standard 2 dimensional representation over ${\mathbb Z}/p$. We establish such a relationship in most cases.

We use machine learning to study the locus ${\mathcal L}_n$ of genus two curves with $(n, n)$-split Jacobian. More precisely we design a transformer model which given values for the Igusa invariants determines if the corresponding genus two curve is in the locus ${\mathcal L}_n$, for $n=2, 3, 5, 7$. Such curves are important in isogeny based cryptography. During this study we discover that there are no rational points ${\mathfrak p} \in {\mathcal L}_n$ with weighted moduli ...

The second part of the Birch and Swinnerton-Dyer (BSD) conjecture gives a conjectural formula for the order of the Shafarevich-Tate group of an elliptic curve in terms of other computable invariants of the curve. Cremona and Mazur initiated a theory that can often be used to verify the BSD conjecture by constructing non-trivial elements of the Shafarevich-Tate group of an elliptic curve by means of the Mordell-Weil group of an ambient curve. In this paper, we generalize Cremo...

For CM elliptic curve over rational field with analytic rank one, for any potential good ordinary prime p, not dividing the number of roots of unity in the complex multiplication field, we show the p-part of its Shafarevich-Tate group has order predicted by the Birch and Swinnerton-Dyer conjecture.

We exhibit $88$ examples of rank zero elliptic curves over the rationals with $|\sza(E)| > 63408^2$, which was the largest previously known value for any explicit curve. Our record is an elliptic curve $E$ with $|\sza(E)| = 1029212^2 = 2^4\cdot 79^2 \cdot 3257^2$. We can use deep results by Kolyvagin, Kato, Skinner-Urban and Skinner to prove that, in some cases, these orders are the true orders of $\sza$. For instance, $410536^2$ is the true order of $\sza(E)$ for $E= E_4(21,...

This article is a short introduction to the theory of the groups of points of elliptic curves over finite fields. It is concerned with the elementary theory and practice of elliptic curves cryptography, the new generation of public key systems. The material and coverage are focused on the groups of points of elliptic curves and algebraic curves, but not exclusively.

We apply machine-learning to the study of dessins d'enfants. Specifically, we investigate a class of dessins which reside at the intersection of the investigations of modular subgroups, Seiberg-Witten curves and extremal elliptic K3 surfaces. A deep feed-forward neural network with simple structure and standard activation functions without prior knowledge of the underlying mathematics is established and imposed onto the classification of extension degree over the rationals, k...