Advanced Search

Using the recent isogeny bounds due to Gaudron and Rémond we obtain the triviality of $X_0^{+}\left(p^r\right)\left(\mathbb{Q}\right)$, for $r\>1$ and $p$ a prime number exceeding $2·{10}^{11}$. This includes the case of the curves $X_{\mathrm{split}}\left(p\right)$. We then prove, with the help of computer calculations, that the same holds true for $p$ in the range $11\le p\le {10}^{14}$, $p\ne 13$. The combination of those results completes the qualitative study of rational points on $X_0^{+}\left(p^r\right)$ undertook in our previous work, with the only exception of $p^r={13}^2$.