Rank bound for a prime congruent-number elliptic curve

ID: rank-bound-for-a-prime-congruent-number-elliptic-curve

For an odd prime , let . Its two-isogeny descent partner is . The first two-torsion square-class homomorphism has image exactly : prime-support bounds allow only these classes, and the four rational two-torsion points realize all of them. Every nonidentity point on has positive , so its square-class image is contained in . The two-isogeny rank formula gives , hence the rank is at most .

New to topics? Read the docs here!