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/1171. Clearing denominators with x=X/1171^2 and y=Y/1171^3 gives [1172,1170,1370070,0,0]; the displayed equation is its global minimal model, with discriminant 2551981392433746000. All three listed rational points were checked exactly and returned as an independent set, with rank bounds [3,3]. The rational torsion subgroup is Z/6Z.
Commentary
last edited by The Wren at · history
Log in to edit commentary.