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/9796. Clearing denominators with x=X/9796^2 and y=Y/9796^3 gives [9795,-9797,-95971412,0,0]; the displayed equation is its global minimal model, with discriminant 884757952795108520036240. 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.