9
$\begingroup$

Let $E/\Bbb{Q}$ be an elliptic curve defined over $\Bbb{Q}$. Let $E_D$ be a quadratic twist of $E$ also defined over $\Bbb{Q}$.

Is there a known elliptic curve, $E/\Bbb{Q}$, such that the rank of $E_D/\Bbb{Q}$, denoted as $rank(E_D/\Bbb{Q})$, is bounded by some constant $M$, for all integers $D \in \Bbb{Z}$?

$\endgroup$
4
  • 8
    $\begingroup$ No. If someone does this, I suspect they'll be nominated for the next batch of Fields Medalists. $\endgroup$ Commented Oct 22, 2023 at 9:02
  • $\begingroup$ Do you know of any literature that mentions this as an open problem? $\endgroup$
    – Duality
    Commented Oct 22, 2023 at 9:43
  • 3
    $\begingroup$ I do not, and I suspect this is not in the literature. It is only a very recent trend (maybe last 5-6 years) that people started to believe that ranks of elliptic curves over a fixed number field is bounded, due to the BLKPR heuristics. The specific case of quadratic twists is not considered, but is of course implied by uniform boundedness of rank over $\mathbb{Q}$. $\endgroup$ Commented Oct 22, 2023 at 9:52
  • 3
    $\begingroup$ But this question is for only one curve, so that's easier, right? $\endgroup$ Commented Oct 22, 2023 at 12:57

1 Answer 1

10
$\begingroup$

Perhaps a few remarks too long to fit in a comment will help clarify the issue.

The question of whether there exist elliptic curves of arbitrarily large rank has a surprisingly long and interesting history. Poincare was the first to ask the question as to whether the rank of elliptic curves is uniformly bounded (in his time, it was not even known if the group of rational points of an elliptic curve is always finitely generated; this was ultimately proved by Mordell in 1922, 10 years after Poincare's death). For a long time no one could construct curves of all but the smallest ranks, leading to the opinion that the rank should be bounded to prevail, but towards the middle of the 20th century curves of double digit ranks started to appear. The winds changed leading to people to believe that the rank should be unbounded. The capstone of this trend was the Shafarevich-Tate theorem asserting that the rank of elliptic curves over a function field is in fact unbounded. This trend would persist into the 21st century, until a large number of different heuristics, ultimately united by work of Bhargava-Kane-Lenstra-Poonen-Rains (BKLPR). This was convincing enough, including top experts like Andrew Wiles*, that in fact the rank perhaps should be bounded after all.

Since the question at hand concerns the quadratic twist family of a single elliptic curve, it is useful to compare the analogous story for average rank of elliptic curves. Here there was hardly ever a doubt that this quantity ought to be bounded. Brumer first proved, in 1992, that assuming both the Birch/Swinnerton-Dyer conjecture and the Grand Riemann Hypothesis for elliptic curve $L$-functions, that the average rank of elliptic curves is in fact bounded. This was sharpened subsequently by Heath-Brown and Young who improved on the quantitative bounds. Earlier work of Silverman also confirmed boundedness for certain thin algebraic families. In 2010, groundbreaking work by Bhargava and Shankar removed all unproven hypotheses from the proof, and they showed unconditionally that when ordered by naive height, the average rank of elliptic curves is no more than $1.5$ (Binary quartic forms having bounded invariants, and the boundedness of the average rank of elliptic curves). This bound has subsequently been improved by obtaining averages for the 3-Selmer and 5-Selmer ranks of elliptic curves, respectively.

The Bhargava-Shankar theorem is the most significant progress towards the Katz-Sarnak conjecture, which asserts that the average rank of elliptic curves when ordered by any reasonable height (including by discriminant, conductor, or by naive height) ought to be $1/2$. Bhargava and Shankar showed that their conjecture follows from obtaining the exact average of $n_k$-Selmer ranks for any infinite sequence of $(n_k)$. The Katz-Sarnak conjecture is a refinement of an earlier conjecture of Goldfeld, which concerns quadratic twist families: it asserts that for any elliptic curve $E/\mathbb{Q}$, the average rank of the twist family $E_D : D \in \mathbb{N} \setminus \mathbb{N}^2$ ought to be $1/2$.

In 2016, groundbreaking work by Alex Smith almost confirmed Goldfeld's conjecture for curves with full rational 2-torsion. Subsequently, Smith has been able to generalize to other curves, including curves whose 2-torsion field is degree 6 over $\mathbb{Q}$, which is almost all curves. I believe what he proved is actually the statement that 100% of curves in the twist family have rank $0$ or $1$, but is unable to show that each is 50%.

Smith's techniques is very different from those used by Bhargava and Shankar, to the point of almost being incompatible. As such, it is not clear in the present setting that focusing on a single twist family is any easier than looking at all curves at once. Of course, both the Bhargava-Shankar and Smith theorems concern averages, which is far easier than uniform bounds.

*I attended a public lecture given by Sir Andrew Wiles in 2017, where he was given only 30 minutes to talk about his mathematical journey. Among other things he discussed his thoughts on the extended version of B-SD, and he spent the last five minutes talking about the BKLPR heuristics and how perhaps the rank might perhaps be bounded. That lecture was the turning point for me personally; prior to that I was of the opinion that the rank should be unbounded, and that the heuristics given, boiling down to the observation that the sum of the reciprocals of the conductors of curves with rank exceeding 22 ought to converge, does not preclude very thin families with rank going to infinity. However after that lecture I started entertaining the idea that the rank should be bounded, and after further evidence coming from relations to the uniform boundedness conjecture, that the rank is in fact bounded.

$\endgroup$
2
  • 5
    $\begingroup$ You put an asterisk next to Wiles' name. Was there supposed to be a footnote or reference for your assertion? Another comment is that although average rank is a fascinating topic, and you've given a nice summary, I'm not sure it says much about the question. $\endgroup$ Commented Oct 23, 2023 at 1:14
  • 1
    $\begingroup$ @JoeSilverman yes I did intend to add something for the asterisk, but forgot. I will add that now, thank you for the reminder $\endgroup$ Commented Oct 23, 2023 at 1:15

Not the answer you're looking for? Browse other questions tagged or ask your own question.