AIProofWatch
← Explore interestsIndividual problem

The BSD formula under low Selmer corank

Equality of analytic and algebraic ranks and finiteness of the Tate–Shafarevich group do not determine the exact leading coefficient.

Progress records 1

Understand the problem ↓

1 record · How we rate progress

Understanding the problem

Read the background

Equality of analytic and algebraic ranks and finiteness of the Tate–Shafarevich group do not determine the exact leading coefficient. The targeted advance is the remaining integral formula in the low-corank case.

The full Selmer-corank hypothesis is essential. The claim does not settle BSD for every elliptic curve or every rank; its comparison uses separate arithmetic inputs.

Why it matters

If correct, establishes the integral leading-term formula for the full stated low-corank class, a broad arithmetic advance.

What counts as progress

A sourced resolution or substantial advance on the precise target, with hypotheses, prior context, and verification evidence stated separately.

What to watch for

  • Assess the precise statement and assumptions before comparing results.
  • The full Selmer-corank hypothesis is essential. The claim does not settle BSD for every elliptic curve or every rank; its comparison uses separate arithmetic inputs.
  • Track independent assessments, dependencies, corrections, and withdrawals separately from importance.

Background review: 2026-10-11. Selected sources:

Website timeline

Publication dates and editorial changes.