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/811. Clearing denominators with x=X/811^2 and y=Y/811^3 gives [810,-812,-658532,0,0]; the displayed equation is its global minimal model, with discriminant 288751100782780160. 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.