Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-125/4/b/solution
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 125 4 b Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-24
Foruse two-isogeny descent throughThe square-class maps send a nonexceptional point to the class of its -coordinate. On , possible classes are ; the defining quartics and positivity exclude the negative classes, while and realize and . Thus the image has order two. On , the possible classes are ; the classes and occur, while the quartics for and have no primitive solution modulo . Hence this image also has order two. The two-isogeny descent formulatherefore gives .
The displayed curve has good reduction at and , where direct counting givesReduction injects rational torsion of order prime to these characteristics, so its order divides . We already have the six distinct pointsSince the rank is zero, these are all the rational points and .
New to topics? Read the docs here!