openmath.dev
Esc

Loading…

↑ ↓ to move↵ to open

Appearance
Appearance

Theorem · version 2

Rank-one converse assuming finite Sha

Earlier version 2. View current version 3 →

Statement

For semistable E/Q with nonsplit multiplicative reduction at an odd prime or split multiplicative reduction at two odd primes, algebraic rank 1 and finite Sha imply analytic rank 1.

Assumptions

  • E/Q is semistable.
  • E has nonsplit multiplicative reduction at at least one odd prime, or split multiplicative reduction at at least two odd primes.
  • Algebraic rank E(Q) = 1.
  • Assume Sha(E/Q) is finite.

Scope

Skinner’s converse in the stated semistable family; a proved implication with a finiteness assumption.

Evidence

Connections

In this problem · publication v9 · Selected context

Birch and Swinnerton-Dyer conjecture →

Conditional result · Proved

Runs in the converse direction to the low-analytic-rank theorem. General Sha finiteness is conjectural and is not supplied by assuming algebraic rank 1.

Scope: Algebraic rank 1 ⇒ analytic rank 1 in this family if Sha is finite.

Limit: Finite Sha and the reduction hypotheses must be established for an application.

Related results · 1

Related statements

The first starts from analytic rank ≤1; Skinner’s converse starts from algebraic rank one, finite Sha and specified semistable reduction.

Do not reverse the first implication without the additional converse hypotheses.

Details & sources
Rank equality at analytic rank 0 or 1 →

Proved · version 2

For E/Q with ord_(s=1)L(E,s) equal to 0 or 1, rank E(Q) equals that analytic rank and Sha(E/Q) is finite.

  • E is an elliptic curve over Q.
  • The full Hasse–Weil L-function has order of vanishing 0 or 1 at s=1.

Scope: Gross–Zagier and Kolyvagin, with modularity for all E/Q: rank equality and finite Sha in the low-analytic-rank regime.

Rank-one converse assuming finite Sha →

Proved · version 2

For semistable E/Q with nonsplit multiplicative reduction at an odd prime or split multiplicative reduction at two odd primes, algebraic rank 1 and finite Sha imply analytic rank 1.

  • E/Q is semistable.
  • E has nonsplit multiplicative reduction at at least one odd prime, or split multiplicative reduction at at least two odd primes.
  • Algebraic rank E(Q) = 1.
  • Assume Sha(E/Q) is finite.

Scope: Skinner’s converse in the stated semistable family; a proved implication with a finiteness assumption.

Relationship not independently reviewed.

Connection in Birch and Swinnerton-Dyer conjecture →

Relationship not independently reviewed. This concerns its use in this problem.

In this problem · publication v10

Birch and Swinnerton-Dyer conjecture →

Conditional result · Proved

Runs in the converse direction to the low-analytic-rank theorem. General Sha finiteness is conjectural and is not supplied by assuming algebraic rank 1.

Scope: Algebraic rank 1 ⇒ analytic rank 1 in this family if Sha is finite.

Limit: Finite Sha and the reduction hypotheses must be established for an application.

Related results · 1

Related statements

The first starts from analytic rank ≤1; Skinner’s converse starts from algebraic rank one, finite Sha and specified semistable reduction.

Do not reverse the first implication without the additional converse hypotheses.

Details & sources
Rank equality at analytic rank 0 or 1 →

Proved · version 3

For E/QE/\mathbb{Q} with ord⁡s=1L(E,s)\operatorname{ord}_{s=1}L(E,s) equal to 0 or 1, rank⁡ZE(Q)\operatorname{rank}_{\mathbb{Z}}E(\mathbb{Q}) equals that analytic rank and Sha⁡(E/Q)\operatorname{Sha}(E/\mathbb{Q}) is finite.

  • E is an elliptic curve over Q.
  • The full Hasse–Weil L-function has order of vanishing 0 or 1 at s=1.

Scope: Gross–Zagier and Kolyvagin, with modularity for all E/Q: rank equality and finite Sha in the low-analytic-rank regime.

Rank-one converse assuming finite Sha →

Proved · version 2

For semistable E/Q with nonsplit multiplicative reduction at an odd prime or split multiplicative reduction at two odd primes, algebraic rank 1 and finite Sha imply analytic rank 1.

  • E/Q is semistable.
  • E has nonsplit multiplicative reduction at at least one odd prime, or split multiplicative reduction at at least two odd primes.
  • Algebraic rank E(Q) = 1.
  • Assume Sha(E/Q) is finite.

Scope: Skinner’s converse in the stated semistable family; a proved implication with a finiteness assumption.

Relationship not independently reviewed.

Connection in Birch and Swinnerton-Dyer conjecture →

Relationship not independently reviewed. This concerns its use in this problem.

Sources

Skinner · converse to Gross–Zagier–Kolyvagin →

Christopher Skinner · Published

Annals of Mathematics 191 (2020), 329–354; published online 13 February 2020. Introduction also states the classical low-analytic-rank theorem.

Revision & attribution

Source revision: published-online-2020-02-13. Observed Oct 10, 2026.

The cited work does not report AI involvement; this is not an assertion that no AI was used.

Source updated Feb 13, 2020.

Wiles · official BSD description →

Andrew Wiles · Published

Official Clay problem description; separates rank equality from its refined formula.

Revision & attribution

Source revision: official-description. Observed Oct 10, 2026.

The cited work does not report AI involvement; this is not an assertion that no AI was used.

History

Statement versions

Statement versions and problem publication versions are separate. A new publication can update context or sources while retaining the same statement.

Assessment history · 1

Assessments retained in these publication records. Earlier statement versions retain their own source histories.

Record details
Claim ID
claim-bsd-rank-one-converse-finite-sha
Statement version
2
SHA-256
cfae9ed5a4c2bc959ef249c5fe1ebdfecab0c117f4303ed79093a3b9ef330f0b

Publication records