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.

Articles by others on the same topic (0)

There are currently no matching articles.