# Selmer and free rank of Elliptic Curves

If I am not mistaken, the equality of the $p$-Selmer rank and the free rank of an elliptic curve are conjectured to be equal. This is one of the many implications of the Birch and Swinnerton-Dyer conjecture.

I want to ask, and excuse me if this is "stupid": Is it enough to show the equality of the ranks for a certain set of primes $p$ to prove the validity of the Tate-Shafarevich conjecture for a given elliptic curve or does one have to prove it for all primes $p$?

• They are equal if and only if the $p$-primary part of Sha is finite. This is part, sort of an algebraic part of BSD. The more important point is that has all something to do with $L$-functions. Jul 23 '16 at 21:45

You first statement is correct, both ranks are expected to be equal. In particular we have:

$$\mathrm{rank}\,\,\mathrm{Sel}_p(E/K)=\mathrm{rank}(E/K)+\mathrm{rank}\,\,Ш(E/K)[p^\infty]$$

So if either $Ш$ or its $p$-primary part are finite, then the equality holds. And conversely, the equality for any prime implies the Tate-Shafarevich conjecture.

But none of this implies the Birch and Swinnerton-Dyer conjecture, although it is all closely related (see for example the partity (and p-parity) conjectures).

The $p$-Selmer rank is the more accessible tool which allows us to bound the rank, as for example in the recent breakthrough of Bhargava and Shankar. But notice that they don't prove new cases of BSD, they quantify the ones known from Gross-Zagier-Kolyvagin-Breuil-Conrad-Taylor-Wiles ($\leq 1$).

• "Wiles" being in turn shorthand for Breuil-Conrad-Taylor-Wiles. Aug 2 '16 at 17:09
• @NoamD.Elkies Of course. Now, that's a mouthful... Aug 2 '16 at 18:21
• Just to be clear: for the displayed equality to be true, Sel$_p$ should mean the $p$-infinity Selmer group (the $p$-Selmer group also sees the $p$-torsion of the elliptic curve) , which is, in general, not of finite rank over $\mathbb{Z}_p$, but of finite co-rank (i.e. the Pontryagin dual has finite rank) so that "rank" in front of Selmer and in front of Sha should be "co-rank". Aug 2 '16 at 20:13
• It is of finite rank over $\mathbb{Q}_{p}/\mathbb{Z}_{p},$ sure. Aug 2 '16 at 20:32
• Does this mean that for a fixed elliptic curve and prime $p$, one may computationally verify finiteness of the $p$-primary part of Sha by finding independent $r$ independent rationally points and simultaneously showing that the mod $p$ Selmer group has rank at most $r$? Feb 14 at 0:30