[Une traduction française suit la version anglaise.]
The question is only about elliptic curves $E$ over $\mathbb{Q}$ and concerns only the aspect
(order of vanishing of $L(E,s)$ at $s=1$)$\ =\ $(rank of $E(\mathbb{Q})$).
Let $r$ be the LHS and $d$ the RHS, so that (a special case of ) the Birch and Swinnerton-Dyer Conjecture is
BSD?. $r=d$.
By the end of the last millenium, we knew
Theorem (1977--2000). If $\ r=0,1$, then $d=r$ (and $\ \operatorname{Sha}(E)$ is finite).
Some years ago, I heard that there was some progress in proving $(r>0)\Longrightarrow (d>0)$ under the assumption of the finiteness of $\operatorname{Sha}(E)$. What is the current status of the
Statement. Suppose that $\operatorname{Sha}(E)$ is finite. If $r>1$, then $d>0$ ?
L'état actuel de la conjecture de Birch et Swinnerton-Dyer
On s'interesse uniquement aux courbes abéliennes $A$ sur $\mathbf{Q}$ et à l'aspect
(ordre d'annulation de $L(A,s)$ en $s=1$)$\ =\ $(rang de $A(\mathbf{Q})$).
Désignons par $r$ le membre de gauche et par $d$ le membre de droite, de sorte que la conjecture de Birch et Swinnerton-Dyer prédit (en particulier)
BSD? $r=d$.
Vers la fin du millénaire dernier, on avait démontré le
Théorème (1977--2000). Si $r=0,1$, alors $d=r$ (et $\ \operatorname{Cha}(A)$ est fini).
Il y a quelques années, j'avais entendu dire qu'on a fait des progrès concernant l'implication $(r>0)\Longrightarrow(d>0)$ sous l'hyposthèsel'hypothèse de la finitude de Cha$(A)$. Quel est l'état actuel de l'
Énoncé. Supposons que $\operatorname{Cha}(A)$ est fini. Si $r>1$, alors $d>0$ ?