login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A374926
Least k such that the rank of the elliptic curve y^2 = x^3 - x + k^2 is n, or -1 if no such k exists.
0
1, 2, 5, 24, 113, 337, 6310, 78560, 423515, 765617
OFFSET
1,2
COMMENTS
This family of curves quickly reaches a moderate value of rank with a relatively low "k" parameter. And is fully analyzed in Tadik's work (see link). Tadik finds 11 terms, a rank lower bound and shows the torsion group is always trivial. The evolution of the rank is shown in detail, finding that a(11) <= 1118245045.
I have sequentially checked the first 10 terms, thus proving that they are the least k for each rank.
LINKS
Ezra Brown and Bruce T. Myers, Elliptic Curves from Mordell to Diophantus and Back, Amer. Math. Monthly 109 (2002), 639-649.
Edward Vincent Eikenberg, Rational points on some families of Elliptic Curves, PhD thesis, University of Maryland, 2004.
Petra Tadik, The rank of certain subfamilies of the elliptic curve y^2 = x^3 -x +t^2, Ann. Math. Inform. 40 (2012), 145-153.
EXAMPLE
The curve C[1] = [-1,1^2] has rank one, with generator [1,-1].The rank of C[2] = [-1,2^2] is 2 because it has two generators:PARI> e=ellinit([-1,2^2] );ellgenerators(e) = [[-1, 2], [0, 2]].If k>1, the curve C[k] always has at least two generators: [0,k], [-1,k], then its minimum rank is two.
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Jose Aranda, Jul 24 2024
STATUS
approved