The modular curve $X_{54}$

Curve name $X_{54}$
Index $12$
Level $8$
Genus $1$
Does the subgroup contain $-I$? Yes
Generating matrices $ \left[ \begin{matrix} 1 & 2 \\ 4 & 1 \end{matrix}\right], \left[ \begin{matrix} 1 & 0 \\ 0 & 5 \end{matrix}\right], \left[ \begin{matrix} 1 & 3 \\ 4 & 3 \end{matrix}\right], \left[ \begin{matrix} 1 & 3 \\ 6 & 7 \end{matrix}\right]$
Images in lower levels
LevelIndex of imageCorresponding curve
$2$ $3$ $X_{6}$
$4$ $6$ $X_{11}$
Meaning/Special name
Chosen covering $X_{11}$
Curves that $X_{54}$ minimally covers $X_{11}$
Curves that minimally cover $X_{54}$ $X_{125}$, $X_{127}$, $X_{130}$, $X_{131}$, $X_{132}$, $X_{135}$, $X_{139}$, $X_{143}$, $X_{146}$, $X_{147}$
Curves that minimally cover $X_{54}$ and have infinitely many rational points.
Model \[y^2 = x^3 - x\]
Info about rational points
Rational pointImage on the $j$-line
$(0 : 1 : 0)$ \[ \infty \]
$(-1 : 0 : 1)$ \[1728 \,\,(\text{CM by }-4)\]
$(0 : 0 : 1)$ \[ \infty \]
$(1 : 0 : 1)$ \[1728 \,\,(\text{CM by }-4)\]
Comments on finding rational points None
Elliptic curve whose $2$-adic image is the subgroup None
Generic density of odd order reductions N/A

Back to the 2-adic image homepage.