Table of Contents
Fetching ...

The Birch and Swinnerton-Dyer conjecture implies Goldfeld's conjecture

Alexander Smith

TL;DR

The paper proves that Birch and Swinnerton-Dyer (BSD) in the quadratic twist family of an elliptic curve $E/Q$ implies Goldfeld’s conjecture for that family, by showing that exactly half the twists have $2^{ nullfty}$-Selmer corank $0$ and half have corank $1$. It develops a generalized framework for higher Selmer ranks in twist grids, including balanced isogeny analyses (Cases IV/V), uses Tamagawa ratios and the Cassels–Tate pairing to control isogeny Selmer behavior, and computes refined moments of $2$-Selmer groups on grids of twists. Through a Sawin–Matchett-Wood style category argument, these moments determine a unique distribution for $2$-Selmer ranks, which then lift to the $2^{ nullfty}$-Selmer corank distribution. Consequently, BSD in the twist family forces Goldfeld’s conjecture for $E$, with corank parity aligned to root numbers and a precise 50/50 distribution between corank $0$ and $1$ twists. The results also clarify the distinct distributions from the Poonen–Rains model in certain twist families and extend prior work to curves with balanced isogenies in Case IV/V.

Abstract

Given an elliptic curve E/Q, we show that 50% of the quadratic twists of E have $2^{\infty}$-Selmer corank 0 and 50% have $2^{\infty}$-Selmer corank 1. As one consequence, we prove that the Birch and Swinnerton-Dyer conjecture implies Goldfeld's conjecture. Previously, this result was known by work of the author for elliptic curves over Q satisfying certain technical conditions. As part of this work, we determine the distribution of 2-Selmer ranks in the quadratic twist family of E. In the cases where this distribution was not already known, it is distinct from the model for distributions of 2-Selmer groups constructed by Poonen and Rains.

The Birch and Swinnerton-Dyer conjecture implies Goldfeld's conjecture

TL;DR

The paper proves that Birch and Swinnerton-Dyer (BSD) in the quadratic twist family of an elliptic curve implies Goldfeld’s conjecture for that family, by showing that exactly half the twists have -Selmer corank and half have corank . It develops a generalized framework for higher Selmer ranks in twist grids, including balanced isogeny analyses (Cases IV/V), uses Tamagawa ratios and the Cassels–Tate pairing to control isogeny Selmer behavior, and computes refined moments of -Selmer groups on grids of twists. Through a Sawin–Matchett-Wood style category argument, these moments determine a unique distribution for -Selmer ranks, which then lift to the -Selmer corank distribution. Consequently, BSD in the twist family forces Goldfeld’s conjecture for , with corank parity aligned to root numbers and a precise 50/50 distribution between corank and twists. The results also clarify the distinct distributions from the Poonen–Rains model in certain twist families and extend prior work to curves with balanced isogenies in Case IV/V.

Abstract

Given an elliptic curve E/Q, we show that 50% of the quadratic twists of E have -Selmer corank 0 and 50% have -Selmer corank 1. As one consequence, we prove that the Birch and Swinnerton-Dyer conjecture implies Goldfeld's conjecture. Previously, this result was known by work of the author for elliptic curves over Q satisfying certain technical conditions. As part of this work, we determine the distribution of 2-Selmer ranks in the quadratic twist family of E. In the cases where this distribution was not already known, it is distinct from the model for distributions of 2-Selmer groups constructed by Poonen and Rains.

Paper Structure

This paper contains 17 sections, 23 theorems, 175 equations, 1 figure.

Key Result

Theorem 1.1

Given an elliptic curve $E/\mathbb{Q}$ and a nonnegative integer $r$, we have

Figures (1)

  • Figure 3.1: The $5$ possible forms of the $2$-isogeny graph of a rational elliptic curve.

Theorems & Definitions (59)

  • Theorem 1.1
  • Corollary 1.2
  • proof
  • Corollary 1.3
  • Example 1.4
  • Remark 1.5
  • Definition 1.6
  • Theorem 1.7
  • Theorem 1.10
  • Remark 1.11
  • ...and 49 more