Kubert-Tate torsion Z/5 universal family y^2+(t+1)xy+ty=x^3+tx^2 (ainvs [t+1,t,t,0,0], rational point (0,0) of exact order 5), specialization t=-1/11. Found by exhaustive height-bounded scan of the family (all specializations with small minimal-model invariants |c4|,|c6|); naive height H=ln(max(|c4|^3,|c6|^2))=31.1389397025296. Rank 1 witnessed by the listed non-torsion point (PARI ellorder infinite) and confirmed by the server-side exact 2-descent independence certificate; torsion Z/5Z via elltors/ellmul. Submitted on the global minimal model; point given on that model.
hdeping ·
hdeping ·
hdeping ·