$\GL_2(\Z/40\Z)$-generators: |
$\begin{bmatrix}1&20\\0&31\end{bmatrix}$, $\begin{bmatrix}9&12\\38&13\end{bmatrix}$, $\begin{bmatrix}9&37\\28&3\end{bmatrix}$, $\begin{bmatrix}23&20\\14&9\end{bmatrix}$, $\begin{bmatrix}29&37\\10&11\end{bmatrix}$ |
Contains $-I$: |
yes |
Quadratic refinements: |
40.144.1-40.bl.1.1, 40.144.1-40.bl.1.2, 40.144.1-40.bl.1.3, 40.144.1-40.bl.1.4, 40.144.1-40.bl.1.5, 40.144.1-40.bl.1.6, 40.144.1-40.bl.1.7, 40.144.1-40.bl.1.8, 40.144.1-40.bl.1.9, 40.144.1-40.bl.1.10, 40.144.1-40.bl.1.11, 40.144.1-40.bl.1.12, 40.144.1-40.bl.1.13, 40.144.1-40.bl.1.14, 40.144.1-40.bl.1.15, 40.144.1-40.bl.1.16, 120.144.1-40.bl.1.1, 120.144.1-40.bl.1.2, 120.144.1-40.bl.1.3, 120.144.1-40.bl.1.4, 120.144.1-40.bl.1.5, 120.144.1-40.bl.1.6, 120.144.1-40.bl.1.7, 120.144.1-40.bl.1.8, 120.144.1-40.bl.1.9, 120.144.1-40.bl.1.10, 120.144.1-40.bl.1.11, 120.144.1-40.bl.1.12, 120.144.1-40.bl.1.13, 120.144.1-40.bl.1.14, 120.144.1-40.bl.1.15, 120.144.1-40.bl.1.16, 280.144.1-40.bl.1.1, 280.144.1-40.bl.1.2, 280.144.1-40.bl.1.3, 280.144.1-40.bl.1.4, 280.144.1-40.bl.1.5, 280.144.1-40.bl.1.6, 280.144.1-40.bl.1.7, 280.144.1-40.bl.1.8, 280.144.1-40.bl.1.9, 280.144.1-40.bl.1.10, 280.144.1-40.bl.1.11, 280.144.1-40.bl.1.12, 280.144.1-40.bl.1.13, 280.144.1-40.bl.1.14, 280.144.1-40.bl.1.15, 280.144.1-40.bl.1.16 |
Cyclic 40-isogeny field degree: |
$4$ |
Cyclic 40-torsion field degree: |
$64$ |
Full 40-torsion field degree: |
$10240$ |
Weierstrass model Weierstrass model
$ y^{2} $ | $=$ | $ x^{3} + x^{2} - 133x + 363 $ |
This modular curve has infinitely many rational points, including 2 stored non-cuspidal points.
Maps to other modular curves
$j$-invariant map
of degree 72 from the Weierstrass model of this modular curve to the modular curve
$X(1)$
:
$\displaystyle j$ |
$=$ |
$\displaystyle -\frac{1}{2^2\cdot5^2}\cdot\frac{240x^{2}y^{22}-3303760000x^{2}y^{20}z^{2}+4122904400000000x^{2}y^{18}z^{4}-611815615920000000000x^{2}y^{16}z^{6}+18703076117600000000000000x^{2}y^{14}z^{8}-205181788475680000000000000000x^{2}y^{12}z^{10}+1067206027362720000000000000000000x^{2}y^{10}z^{12}-3017497556200800000000000000000000000x^{2}y^{8}z^{14}+4918017578022320000000000000000000000000x^{2}y^{6}z^{16}-4621765136710800000000000000000000000000000x^{2}y^{4}z^{18}+2328491210937360000000000000000000000000000000x^{2}y^{2}z^{20}-487365722656240000000000000000000000000000000000x^{2}z^{22}-97440xy^{22}z+415971360000xy^{20}z^{3}-273270570400000000xy^{18}z^{5}+22279226543520000000000xy^{16}z^{7}-478300833441600000000000000xy^{14}z^{9}+4199018264406080000000000000000xy^{12}z^{11}-18752396618886720000000000000000000xy^{10}z^{13}+47435991221620800000000000000000000000xy^{8}z^{15}-70987597656741920000000000000000000000000xy^{6}z^{17}+62333862304720800000000000000000000000000000xy^{4}z^{19}-29708862304688160000000000000000000000000000000xy^{2}z^{21}+5936279296875040000000000000000000000000000000000xz^{23}-y^{24}+16942160y^{22}z^{2}-47017462240000y^{20}z^{4}+14062065311600000000y^{18}z^{6}-653562095742280000000000y^{16}z^{8}+9367476268858400000000000000y^{14}z^{10}-59276474853541120000000000000000y^{12}z^{12}+197989740422515680000000000000000000y^{10}z^{14}-380293318152030200000000000000000000000y^{8}z^{16}+432152783214964880000000000000000000000000y^{6}z^{18}-284169128418919200000000000000000000000000000y^{4}z^{20}+98291015625016240000000000000000000000000000000y^{2}z^{22}-13422546386719960000000000000000000000000000000000z^{24}}{zy^{4}(17600x^{2}y^{16}z+69600000x^{2}y^{14}z^{3}+157900000000x^{2}y^{12}z^{5}-221800000000000x^{2}y^{10}z^{7}+86500000000000000x^{2}y^{8}z^{9}-2800000000000000000x^{2}y^{6}z^{11}-5900000000000000000000x^{2}y^{4}z^{13}+1400000000000000000000000x^{2}y^{2}z^{15}-100000000000000000000000000x^{2}z^{17}+xy^{18}-666600xy^{16}z^{2}-1341600000xy^{14}z^{4}+2522600000000xy^{12}z^{6}-1425200000000000xy^{10}z^{8}+263000000000000000xy^{8}z^{10}+64800000000000000000xy^{6}z^{12}-38600000000000000000000xy^{4}z^{14}+6600000000000000000000000xy^{2}z^{16}-400000000000000000000000000xz^{18}-213y^{18}z+8391400y^{16}z^{3}-26721600000y^{14}z^{5}-5478900000000y^{12}z^{7}+25211800000000000y^{10}z^{9}-11987500000000000000y^{8}z^{11}+1030800000000000000000y^{6}z^{13}+598900000000000000000000y^{4}z^{15}-162400000000000000000000000y^{2}z^{17}+12100000000000000000000000000z^{19})}$ |
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.