Skip to main content
2 of 4
edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

Tate-Shafarevich group of Elkies curve

I put this MSE question a few days ago, but no one seemed willing to answer it.

So I decided to put it on here and restate the question:

The Elkies curve $$ E:y^2+xy+y=x^3−x^2−20067762415575526585033208209338542750930230312178956502x+34481611795030556467032985690390720374855944359319180361266008296291939448732243429 $$ Discriminant of Elkies curve is $\Delta_E=3581775273581124569703746471783026864293570422220790957452423023734755536293093609524369063657264581131816964723217401534371110750621252297523717205467915359744000000=2^{15}\times 3^6\times 5^6\times 7^4\times 11^2\times 13^4\times 17^5\times 19^3\times 48463\times 20650099\times 315574902691581877528345013999136728634663121\times 376018840263193489397987439236873583997122096511452343225772113000611087671413$

and its conductor $f=33455601108357547341532253864901605231198511505793733138900595189472144724781456635380154149870961231592352897621963802238155192936274322687070=2\times 3^2\times 5\times 7\times 11\times 13\times 17\times 19\times 48463\times 20650099\times 315574902691581877528345013999136728634663121\times 376018840263193489397987439236873583997122096511452343225772113000611087671413$

We assume the Generalized Riemann Hypothesis (GRH), then $\text{rank}_\mathbb{Z}E(\mathbb{Q})=28$. If we add the BSD conjecture, can we calculate the order of $Ш(E/\mathbb{Q})$? I thought that under such powerful conditions, it might be easy to add computational tools(such as Magma/SageMath).

GuoJi
  • 245
  • 1
  • 8