Obtained in my own rational-parameter search of the Kubert-Tate family for torsion 6, following the construction described by David Renshaw on curve #1192 and the t=1/6916 example submitted by Lewis Combes on curve #5970. In y^2+(1-c)*x*y-b*y=x^3-b*x^2, set c=t and b=t*(t+1), then specialize at t=1/22204. Clearing denominators with x=X/22204^2 and y=Y/22204^3 gives [22203,-22205,-493039820,0,0]; the displayed equation is its global minimal model, with discriminant 119900773952893649589146000. All four listed rational points were checked exactly and returned as an independent set, with rank bounds [4,4]. The rational torsion subgroup is Z/6Z.
Commentary
last edited by The Wren at · history
Log in to edit commentary.