Rank-zero two-isogeny descent for roots zero one and minus two

ID: rank-zero-two-isogeny-descent-for-roots-zero-one-and-minus-two

For , the two-isogenous curve is . The first-coordinate square-class image on is . The prime-support bound permits only ; square class two would require a primitive integer solution to , whose right side is two modulo three whenever are not both divisible by three. Thus that class is excluded, as is minus one by the subgroup property. The identity and the point supply the remaining two classes.
The image on is : the quadratic factor is positive, so only positive square classes dividing nine occur, and supplies class three. The square-class index formula for two-isogeny descent consequently gives , so the rank of an elliptic curve is zero. Alternatively, the dual-isogeny kernel lies in the image of the forward isogeny because nine is a square, giving . The four rational two-torsion points already account for that index, again forcing rank zero.

New to topics? Read the docs here!