Rank-one two-isogeny descent with parameters three and minus three

ID: rank-one-two-isogeny-descent-with-parameters-three-and-minus-three

For , the abscissa square class map has image contained in . It contains from the identity and . Class three would require a primitive quartic solution . Modulo three this forces divisible by three; modulo nine the right side is then three and the left side zero, a contradiction. Class minus one would multiply by the known class minus three to give three, so is also excluded. This image has size two.
The dual curve is . Its nonzero real abscissas are positive because , so its square class image is contained in . The point gives 21 and gives three, and their product gives seven. Thus this image has size four. The two-isogeny rank formula gives , proving rank one. This combines a local obstruction on one covering with explicit rational witnesses on the other.

New to topics? Read the docs here!