| Curve name |
$X_{676}$ |
| Index |
$96$ |
| Level |
$32$ |
| Genus |
$5$ |
| Does the subgroup contain $-I$? |
Yes |
| Generating matrices |
$
\left[ \begin{matrix} 1 & 7 \\ 30 & 15 \end{matrix}\right],
\left[ \begin{matrix} 1 & 5 \\ 28 & 7 \end{matrix}\right],
\left[ \begin{matrix} 1 & 1 \\ 28 & 31 \end{matrix}\right],
\left[ \begin{matrix} 1 & 0 \\ 20 & 29 \end{matrix}\right]$ |
| Images in lower levels |
|
| Meaning/Special name |
|
| Chosen covering |
$X_{350}$ |
| Curves that $X_{676}$ minimally covers |
$X_{350}$ |
| Curves that minimally cover $X_{676}$ |
|
| Curves that minimally cover $X_{676}$ and have infinitely many rational
points. |
|
| Model |
\[y^2 = x^3 + 8x\]\[w^2 = 98x^2y^2 - 2336x^2y - 7936x^2 + 16xy^2 + 14016xy +
98816x + 28y^3 - 5104y^2 + 4608y - 110592\] |
| Info about rational points |
| Rational point | Image on the $j$-line |
| $(288/49 : 5424/343 : 1 : 0)$ |
Singular
|
| $(0 : 0 : 0 : 1)$ |
Singular
|
|
| Comments on finding rational points |
This curve admits a family of twists of etale double covers that are also
modular curves. Each of these modular curves maps to one we have already
computed that has finitely many rational points. |
| Elliptic curve whose $2$-adic image is the subgroup |
None |
| Generic density of odd order reductions |
N/A |