$\GL_2(\Z/40\Z)$-generators: |
$\begin{bmatrix}1&4\\16&27\end{bmatrix}$, $\begin{bmatrix}5&4\\24&15\end{bmatrix}$, $\begin{bmatrix}13&10\\10&3\end{bmatrix}$, $\begin{bmatrix}21&38\\32&9\end{bmatrix}$, $\begin{bmatrix}33&26\\18&37\end{bmatrix}$, $\begin{bmatrix}39&4\\6&25\end{bmatrix}$ |
Contains $-I$: |
yes |
Quadratic refinements: |
40.240.7-40.a.1.1, 40.240.7-40.a.1.2, 40.240.7-40.a.1.3, 40.240.7-40.a.1.4, 40.240.7-40.a.1.5, 40.240.7-40.a.1.6, 40.240.7-40.a.1.7, 40.240.7-40.a.1.8, 40.240.7-40.a.1.9, 40.240.7-40.a.1.10, 40.240.7-40.a.1.11, 40.240.7-40.a.1.12, 40.240.7-40.a.1.13, 40.240.7-40.a.1.14, 40.240.7-40.a.1.15, 40.240.7-40.a.1.16, 120.240.7-40.a.1.1, 120.240.7-40.a.1.2, 120.240.7-40.a.1.3, 120.240.7-40.a.1.4, 120.240.7-40.a.1.5, 120.240.7-40.a.1.6, 120.240.7-40.a.1.7, 120.240.7-40.a.1.8, 120.240.7-40.a.1.9, 120.240.7-40.a.1.10, 120.240.7-40.a.1.11, 120.240.7-40.a.1.12, 120.240.7-40.a.1.13, 120.240.7-40.a.1.14, 120.240.7-40.a.1.15, 120.240.7-40.a.1.16, 280.240.7-40.a.1.1, 280.240.7-40.a.1.2, 280.240.7-40.a.1.3, 280.240.7-40.a.1.4, 280.240.7-40.a.1.5, 280.240.7-40.a.1.6, 280.240.7-40.a.1.7, 280.240.7-40.a.1.8, 280.240.7-40.a.1.9, 280.240.7-40.a.1.10, 280.240.7-40.a.1.11, 280.240.7-40.a.1.12, 280.240.7-40.a.1.13, 280.240.7-40.a.1.14, 280.240.7-40.a.1.15, 280.240.7-40.a.1.16 |
Cyclic 40-isogeny field degree: |
$24$ |
Cyclic 40-torsion field degree: |
$384$ |
Full 40-torsion field degree: |
$6144$ |
Canonical model in $\mathbb{P}^{ 6 }$ defined by 10 equations
$ 0 $ | $=$ | $ x t - x u - x v - y w - y t - y u - 2 y v - z w + z t $ |
| $=$ | $x w + x u - 2 y t - y u - 2 y v + z w + z t + z u + 2 z v$ |
| $=$ | $2 x^{2} + 2 y^{2} + 2 y z - 2 z^{2} + w t + w v + u v + v^{2}$ |
| $=$ | $2 x^{2} - 2 x z - 2 y z - 4 z^{2} - w u + t^{2} - t u + t v - u^{2} - u v$ |
| $=$ | $\cdots$ |
Singular plane model Singular plane model
$ 0 $ | $=$ | $ 256 x^{10} - 384 x^{9} y - 176 x^{8} y^{2} - 40 x^{8} z^{2} + 752 x^{7} y^{3} + 456 x^{7} y z^{2} + \cdots + y^{2} z^{8} $ |
This modular curve has real points and $\Q_p$ points for $p$ not dividing the level, but no known rational points.
Maps between models of this curve
Birational map from canonical model to plane model:
$\displaystyle X$ |
$=$ |
$\displaystyle y$ |
$\displaystyle Y$ |
$=$ |
$\displaystyle z$ |
$\displaystyle Z$ |
$=$ |
$\displaystyle w$ |
Maps to other modular curves
Map
of degree 2 from the canonical model of this modular curve to the canonical model of the modular curve
10.60.3.a.1
:
$\displaystyle X$ |
$=$ |
$\displaystyle -2x-y-3z$ |
$\displaystyle Y$ |
$=$ |
$\displaystyle 4x+2y+z$ |
$\displaystyle Z$ |
$=$ |
$\displaystyle x+3y-z$ |
Equation of the image curve:
$0$ |
$=$ |
$ 2X^{4}-3X^{3}Y-5X^{2}Y^{2}-4XY^{3}-2Y^{4}+3X^{3}Z-18X^{2}YZ-17XY^{2}Z+4Y^{3}Z-5X^{2}Z^{2}+17XYZ^{2}-6Y^{2}Z^{2}+4XZ^{3}+4YZ^{3}-2Z^{4} $ |
Hi
|
Cover information
Click on a modular curve in the diagram to see information about it.
|
The following modular covers realize this modular curve as a fiber product over $X(1)$.
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.