BSD Invariants and Murmurations of Elliptic Curves

TL;DR

This paper explores how BSD invariants influence murmuration patterns of elliptic curves, revealing that the Tate-Shafarevich group modulates Frobenius trace distributions independently of other invariants.

Contribution

It demonstrates that BSD invariants, especially the Tate-Shafarevich group, modulate murmuration profiles and Frobenius trace distributions, providing new insights into elliptic curve behavior.

Findings

BSD invariants do not oscillate in murmuration averages.

Tamagawa product and Tate-Shafarevich group modulate murmuration shapes.

Tate-Shafarevich group order affects low-lying zero distributions.

Abstract

We investigate the interaction between Birch and Swinnerton-Dyer (BSD) invariants and the murmuration phenomenon for elliptic curves over the rational numbers. Our study, based on a dataset of 3,064,705 curves from the Cremona database with conductor up to 499,998, yields three results. First, the BSD invariants themselves - real period, Tamagawa product, analytic order of the Tate-Shafarevich group, regulator, and torsion order - do not exhibit murmuration-type oscillations when averaged in sliding conductor windows. Second, these invariants modulate the shape of the standard Frobenius trace murmurations: within a fixed rank, curves stratified by Tamagawa product, analytic order of the Tate-Shafarevich group, or real period display significantly different murmuration profiles, with p-values less than 0.001 against permutation null models, and these differences are scale-invariant across conductor ranges. Third, the Tate-Shafarevich group modulation survives controlling simultaneously for the L-value at 1, the real period, and the conductor, establishing that the order of the Tate-Shafarevich group encodes information about the distribution of Frobenius traces at good primes that is not captured by any other standard BSD invariant. We further show that this modulation is a pure mean shift in the Frobenius trace distribution - variance, skewness, and kurtosis are identical between Tate-Shafarevich group strata - and that it concentrates at small primes. Computing low-lying L-function zeros for 2,000 curves at fixed L-value, we find that curves with Tate-Shafarevich group order at least four have systematically different low-lying zero distributions, with the first zero displaced higher and subsequent zeros more tightly packed. The explicit formula connects this zero displacement to the observed murmuration modulation, consistent with the zero distribution acting as a mediating mechanism.