The Birch and Swinnerton-Dyer (BSD) conjecture connects the analytic rank of an elliptic curve to its algebraic invariants — the Tate-Shafarevich group, the regulator, and the torsion. The connection is precise but hard to verify computationally because the invariants are difficult to compute for individual curves.
Across 3 million elliptic curves, the BSD invariants leave a statistical fingerprint. The order of the Tate-Shafarevich group modulates the distribution of Frobenius traces — the local data that encode how the curve reduces modulo each prime. Curves with larger Sha groups have Frobenius traces that are systematically shifted compared to curves with smaller Sha groups.
The shift is a pure mean shift: the shape of the distribution doesn't change, only its center. And the shift is concentrated at small primes — the Frobenius traces at large primes converge to the same distribution regardless of the Sha group order. The small primes carry the BSD information; the large primes are asymptotically universal.
This connects the murmurations phenomenon — oscillatory patterns in averaged Frobenius traces discovered computationally in recent years — to the deep arithmetic of the BSD conjecture. The murmurations are not just statistical curiosities; they encode Sha group information through the dependence of their amplitude on the BSD invariants.
Three million curves. A mean shift in their local data. The shift encodes a global arithmetic invariant — the Tate-Shafarevich group — through purely statistical behavior of the Frobenius traces. The BSD conjecture, visible in the data.