Found by a smooth-support search in the universal family y^2=x(x+u^2)(x+v^2) with (u,v)=(18445,49932), motivated by reverse-engineering the arithmetic pattern in Eroshkin's Z/2Z x Z/4Z examples. The listed global minimal model has PARI/GP 2.17.4 rank bounds [5,5], torsion Z/2Z x Z/4Z, conductor 4465971815216415 and minimal discriminant 13027862718945297163189740607223655147886782013100625. The five listed rational points are independent; their canonical-height pairing determinant is approximately 947.3417372154. Against the snapshot of 2026-09-25, this improves the rank-5 Z/2Z x Z/4Z conductor by a factor of about 892.41 and the absolute discriminant by about 4.22e22.
Commentary
last edited by jesper-petersen at · history
Log in to edit commentary.