Curve name |
$X_{504}$ |
Index |
$96$ |
Level |
$16$ |
Genus |
$2$ |
Does the subgroup contain $-I$? |
Yes |
Generating matrices |
$
\left[ \begin{matrix} 9 & 0 \\ 8 & 7 \end{matrix}\right],
\left[ \begin{matrix} 15 & 14 \\ 0 & 3 \end{matrix}\right],
\left[ \begin{matrix} 7 & 0 \\ 8 & 3 \end{matrix}\right],
\left[ \begin{matrix} 1 & 0 \\ 0 & 7 \end{matrix}\right],
\left[ \begin{matrix} 15 & 0 \\ 0 & 7 \end{matrix}\right]$ |
Images in lower levels |
|
Meaning/Special name |
|
Chosen covering |
$X_{192}$ |
Curves that $X_{504}$ minimally covers |
$X_{192}$ |
Curves that minimally cover $X_{504}$ |
|
Curves that minimally cover $X_{504}$ and have infinitely many rational
points. |
|
Model |
\[y^2 + (x^3 + x^2 + x + 1)y = -x^5 - x^4 - x^3 - x^2\] |
Info about rational points |
Rational point | Image on the $j$-line |
$(1 : -1 : 0)$ |
\[ \infty \]
|
$(1 : 0 : 0)$ |
\[ \infty \]
|
$(-1 : 0 : 1)$ |
\[ \infty \]
|
$(0 : -1 : 1)$ |
\[ \infty \]
|
$(0 : 0 : 1)$ |
\[ \infty \]
|
$(1 : -2 : 1)$ |
\[ \infty \]
|
|
Comments on finding rational points |
The rank of the Jacobian is 0. We use the method of Chabauty. |
Elliptic curve whose $2$-adic image is the subgroup |
None |
Generic density of odd order reductions |
N/A |