$\GL_2(\Z/40\Z)$-generators: |
$\begin{bmatrix}5&11\\28&23\end{bmatrix}$, $\begin{bmatrix}15&33\\28&15\end{bmatrix}$, $\begin{bmatrix}17&9\\16&25\end{bmatrix}$, $\begin{bmatrix}27&6\\0&13\end{bmatrix}$, $\begin{bmatrix}27&27\\20&9\end{bmatrix}$, $\begin{bmatrix}39&23\\32&35\end{bmatrix}$ |
Contains $-I$: |
yes |
Quadratic refinements: |
40.144.1-40.s.1.1, 40.144.1-40.s.1.2, 40.144.1-40.s.1.3, 40.144.1-40.s.1.4, 40.144.1-40.s.1.5, 40.144.1-40.s.1.6, 40.144.1-40.s.1.7, 40.144.1-40.s.1.8, 40.144.1-40.s.1.9, 40.144.1-40.s.1.10, 40.144.1-40.s.1.11, 40.144.1-40.s.1.12, 40.144.1-40.s.1.13, 40.144.1-40.s.1.14, 40.144.1-40.s.1.15, 40.144.1-40.s.1.16, 120.144.1-40.s.1.1, 120.144.1-40.s.1.2, 120.144.1-40.s.1.3, 120.144.1-40.s.1.4, 120.144.1-40.s.1.5, 120.144.1-40.s.1.6, 120.144.1-40.s.1.7, 120.144.1-40.s.1.8, 120.144.1-40.s.1.9, 120.144.1-40.s.1.10, 120.144.1-40.s.1.11, 120.144.1-40.s.1.12, 120.144.1-40.s.1.13, 120.144.1-40.s.1.14, 120.144.1-40.s.1.15, 120.144.1-40.s.1.16, 280.144.1-40.s.1.1, 280.144.1-40.s.1.2, 280.144.1-40.s.1.3, 280.144.1-40.s.1.4, 280.144.1-40.s.1.5, 280.144.1-40.s.1.6, 280.144.1-40.s.1.7, 280.144.1-40.s.1.8, 280.144.1-40.s.1.9, 280.144.1-40.s.1.10, 280.144.1-40.s.1.11, 280.144.1-40.s.1.12, 280.144.1-40.s.1.13, 280.144.1-40.s.1.14, 280.144.1-40.s.1.15, 280.144.1-40.s.1.16 |
Cyclic 40-isogeny field degree: |
$2$ |
Cyclic 40-torsion field degree: |
$32$ |
Full 40-torsion field degree: |
$10240$ |
Embedded model Embedded model in $\mathbb{P}^{3}$
$ 0 $ | $=$ | $ 10 x^{2} - 4 z w + w^{2} $ |
| $=$ | $10 x y + 10 y^{2} + 5 z^{2} - z w$ |
Singular plane model Singular plane model
$ 0 $ | $=$ | $ 4 x^{4} + 10 x^{2} y^{2} - 12 x^{2} y z + 4 x^{2} z^{2} + y^{2} z^{2} - 2 y z^{3} + z^{4} $ |
This modular curve has no real points, and therefore no rational points.
Maps between models of this curve
Birational map from embedded model to plane model:
$\displaystyle X$ |
$=$ |
$\displaystyle y$ |
$\displaystyle Y$ |
$=$ |
$\displaystyle \frac{1}{5}w$ |
$\displaystyle Z$ |
$=$ |
$\displaystyle z$ |
Maps to other modular curves
$j$-invariant map
of degree 72 from the embedded model of this modular curve to the modular curve
$X(1)$
:
$\displaystyle j$ |
$=$ |
$\displaystyle \frac{184320000y^{2}z^{16}-217497600000y^{2}z^{15}w+3497299200000y^{2}z^{14}w^{2}-13416624000000y^{2}z^{13}w^{3}+25212260160000y^{2}z^{12}w^{4}-28918771200000y^{2}z^{11}w^{5}+22452072768000y^{2}z^{10}w^{6}-12487926528000y^{2}z^{9}w^{7}+5141176128000y^{2}z^{8}w^{8}-1594566432000y^{2}z^{7}w^{9}+375030864000y^{2}z^{6}w^{10}-66652848000y^{2}z^{5}w^{11}+8821612800y^{2}z^{4}w^{12}-843897600y^{2}z^{3}w^{13}+55200600y^{2}z^{2}w^{14}-2211300y^{2}zw^{15}+40950y^{2}w^{16}+92672000z^{18}-113395200000z^{17}w+2335117440000z^{16}w^{2}-11360098112000z^{15}w^{3}+26757841440000z^{14}w^{4}-38380983552000z^{13}w^{5}+37413801267200z^{12}w^{6}-26364322752000z^{11}w^{7}+13941651916800z^{10}w^{8}-5660756041600z^{9}w^{9}+1787951188800z^{8}w^{10}-441629620800z^{7}w^{11}+85157845840z^{6}w^{12}-12700458000z^{5}w^{13}+1437678060z^{4}w^{14}-119513030z^{3}w^{15}+6885375z^{2}w^{16}-245760zw^{17}+4096w^{18}}{z^{5}(4z-w)^{2}(5z-w)(3200y^{2}z^{8}-46400y^{2}z^{7}w+114400y^{2}z^{6}w^{2}-112800y^{2}z^{5}w^{3}+57600y^{2}z^{4}w^{4}-16800y^{2}z^{3}w^{5}+2840y^{2}z^{2}w^{6}-260y^{2}zw^{7}+10y^{2}w^{8}+1600z^{10}-16480z^{9}w+31216z^{8}w^{2}-24912z^{7}w^{3}+10608z^{6}w^{4}-2624z^{5}w^{5}+380z^{4}w^{6}-30z^{3}w^{7}+z^{2}w^{8})}$ |
Hi
|
Cover information
Click on a modular curve in the diagram to see information about it.
|
This modular curve minimally covers the modular curves listed below.
This modular curve is minimally covered by the modular curves in the database listed below.