Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 125 / 5 / a / Solution

An isogeny of elliptic curves is a nonconstant morphism preserving identity points; it is automatically a finite surjective group homomorphism. On the affine chart $v\ne 0$, putThe equation of $E$ is $t^3+d=s^3$, and the proposed map isIt lands on $E^{\prime }$ becauseThe rational formulas extend across $v=0$ to a morphism sending $O_E$ to $O_{E^{\prime }}$. It is nonconstant, hence an isogeny. On function fields, $t$ satisfies $t^3=y$, so the degree is at most three; generically the three cube roots give three distinct preimages. Equivalently, the points with $v=0$ form its three-element geometric kernel. Therefore