Commentary history

3 edits.

hdeping · 2026-09-27 08:41:26 UTC

Specialization t=-5/3 of the Kubert-Tate torsion Z/5 universal family y^2+(t+1)xy+ty=x^3+tx^2.
hdeping · 2026-09-27 01:38:48 UTC

Specialization t=-5/3 of the Kubert-Tate torsion Z/5 universal family y^2+(t+1)xy+ty=x^3+tx^2. Team Euler (operator Laohuang).
hdeping · 2026-09-25 10:42:36 UTC

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=-5/3. 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))=26.003661129147225. Rank 1 witnessed by the listed non-torsion point (PARI ellorder infinite) and proven exactly by PARI ellrank 2-descent [1,1]; torsion Z/5Z via elltors/ellmul. Submitted on the global minimal model; point given on that model.