For , the two-isogeny descent classes and have no rational covering points. Their primitive integral quartics are respectively and , with .
For the first equation, reduction modulo forces and , since is not a square modulo and a nonzero fourth power is . Put . Dividing by gives , again a nonsquare modulo because . For the second equation, a primitive pair has nonzero modulo : it is or . The right side has five-adic valuation exactly , impossible for a square. Since lies on , its square-class image is exactly . Combined with the rank bound for a prime congruent-number elliptic curve computation, the two-isogeny rank formula yields rank exactly for .

Articles by others on the same topic (0)

There are currently no matching articles.