Specialization at T = -6286/9 of the Mestre/Fermigier family y^2 = r(x,T) on the sextuple (a) = (1608, -870, -1080, -642, 1542, -558) [r = degree-<=4 remainder in p6(x-T)p6(x+T) = g^2-r, g monic degree 6, p6(x)=prod(x-a_i)]. Located by a Mestre-Nagao sieve of this family. Seventeen independent rational points were obtained by searching the low-height Mestre quartic cover and mapping to the minimal model; rank >= 17 follows from the positive-definiteness of their 17x17 Neron-Tate height-pairing matrix, verified independently in Sage and Magma. Conductor by Tate's algorithm. Proven lower bound on the rank (no exact-rank/Selmer/BSD claim).
Edgar Costa · 2026-06-25 21:53:12