Source authenticated

The Birch-Swinnerton-Dyer formula in Selmer corank at most one

For every E/QE/\mathbb{Q} and prime qq with sq(E)=corank Selq∞(E/Q)∈{0,1}s_q(E)=\mathrm{corank}\,\mathrm{Sel}_{q^\infty}(E/\mathbb{Q})\in\{0,1\}: rank E(Q)=ords=1L(E,s)=sq(E)\mathrm{rank}\,E(\mathbb{Q})=\mathrm{ord}_{s=1}L(E,s)=s_q(E), Sha(E/Q)Sha(E/\mathbb{Q}) is finite, and the full BSD leading-term formula holds at every prime, with no hypotheses on reduction, torsion, isogenies, CM or residual representations. By Gross-Zagier-Kolyvagin this covers every curve of analytic rank at most one (curator's reading). The new step is the exact pp-adic valuation at every odd pp; p=2p=2 comes from the two-primary companion. With family 006 it gives full BSD for a density-one set of quadratic twists of each curve. It says nothing about analytic rank ≥2\geq 2.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 24, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: The Birch-Swinnerton-Dyer formula in Selmer corank at most one · BSD formula in Selmer corank at most one

Confidence: Not scored

Registry verification: unreviewed · announcement · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Unreleased internal OpenAI model

Clay Mathematics Institute: Birch and Swinnerton-Dyer conjecture evidence for this event

Companion: The Selmer converse for elliptic curves at every prime evidence for this event

Goldfeld's conjecture entry, an input to this result evidence for this event

The Birch-Swinnerton-Dyer formula in Selmer corank at most one parent of this event

The Birch-Swinnerton-Dyer formula in Selmer corank at most one evidence for this event

Revised edition (October 7, 2026): The Selmer converse for elliptic curves at every prime evidence for this event

Input (family 006): Goldfeld's analytic density conjecture and the 2-converse evidence for this event

VibeMathed record: The Birch-Swinnerton-Dyer formula in Selmer corank at most one evidence for this event

Earlier edition (October 3, 2026) evidence for this event

Revised edition (October 6, 2026): The two-primary Birch-Swinnerton-Dyer formula in Selmer corank at most one evidence for this event

For every E/QE/\mathbb{Q} and prime qq with sq(E)=corank Selq∞(E/Q)∈{0,1}s_q(E)=\mathrm{corank}\,\mathrm{Sel}_{q^\infty}(E/\mathbb{Q})\in\{0,1\}: rank E(Q)=ords=1L(E,s)=sq(E)\mathrm{rank}\,E(\mathbb{Q})=\mathrm{ord}_{s=1}L(E,s)=s_q(E), Sha(E/Q)Sha(E/\mathbb{Q}) is finite, and the full BSD leading-term formula holds at every prime, with no hypotheses on reduction, torsion, isogenies, CM or residual representations. By Gross-Zagier-Kolyvagin this covers every curve of analytic rank at most one (curator's reading). The new step is the exact pp-adic valuation at every odd pp; p=2p=2 comes from the two-primary companion. With family 006 it gives full BSD for a density-one set of quadratic twists of each curve. It says nothing about analytic rank ≥2\geq 2. parent of this event

Companion: The two-primary Birch-Swinnerton-Dyer formula in Selmer corank at most one evidence for this event

Revised edition (October 7, 2026): Goldfeld's analytic density conjecture and the 2-converse for elliptic curves evidence for this event

Act on this frontier

Verify, challenge, or extend the result.