$\GL_2(\Z/30\Z)$-generators: |
$\begin{bmatrix}5&11\\9&10\end{bmatrix}$, $\begin{bmatrix}19&10\\15&7\end{bmatrix}$, $\begin{bmatrix}20&17\\9&5\end{bmatrix}$, $\begin{bmatrix}23&15\\15&4\end{bmatrix}$ |
Contains $-I$: |
yes |
Quadratic refinements: |
30.240.8-30.j.1.1, 30.240.8-30.j.1.2, 30.240.8-30.j.1.3, 30.240.8-30.j.1.4, 30.240.8-30.j.1.5, 30.240.8-30.j.1.6, 30.240.8-30.j.1.7, 30.240.8-30.j.1.8, 60.240.8-30.j.1.1, 60.240.8-30.j.1.2, 60.240.8-30.j.1.3, 60.240.8-30.j.1.4, 60.240.8-30.j.1.5, 60.240.8-30.j.1.6, 60.240.8-30.j.1.7, 60.240.8-30.j.1.8, 120.240.8-30.j.1.1, 120.240.8-30.j.1.2, 120.240.8-30.j.1.3, 120.240.8-30.j.1.4, 120.240.8-30.j.1.5, 120.240.8-30.j.1.6, 120.240.8-30.j.1.7, 120.240.8-30.j.1.8, 120.240.8-30.j.1.9, 120.240.8-30.j.1.10, 120.240.8-30.j.1.11, 120.240.8-30.j.1.12, 120.240.8-30.j.1.13, 120.240.8-30.j.1.14, 120.240.8-30.j.1.15, 120.240.8-30.j.1.16, 210.240.8-30.j.1.1, 210.240.8-30.j.1.2, 210.240.8-30.j.1.3, 210.240.8-30.j.1.4, 210.240.8-30.j.1.5, 210.240.8-30.j.1.6, 210.240.8-30.j.1.7, 210.240.8-30.j.1.8, 330.240.8-30.j.1.1, 330.240.8-30.j.1.2, 330.240.8-30.j.1.3, 330.240.8-30.j.1.4, 330.240.8-30.j.1.5, 330.240.8-30.j.1.6, 330.240.8-30.j.1.7, 330.240.8-30.j.1.8 |
Cyclic 30-isogeny field degree: |
$6$ |
Cyclic 30-torsion field degree: |
$48$ |
Full 30-torsion field degree: |
$1152$ |
Canonical model in $\mathbb{P}^{ 7 }$ defined by 15 equations
$ 0 $ | $=$ | $ x r - y w - y t - y u + y v $ |
| $=$ | $2 x t + x u - x v - y v - y r$ |
| $=$ | $x t - x u - x v + x r - y w + y u - y r - 2 z w - z u + z r$ |
| $=$ | $x r - y w + y u + y v + 2 z t + z u - z v + 2 z r$ |
| $=$ | $\cdots$ |
Singular plane model Singular plane model
$ 0 $ | $=$ | $ 2560 x^{9} z^{2} + 14080 x^{8} y z^{2} + 21000 x^{7} y^{2} z^{2} - 3765 x^{7} z^{4} + \cdots + 3240 y^{7} z^{4} $ |
This modular curve has 2 rational cusps and 1 rational CM point, but no other known rational points. The following are the coordinates of the rational cusps on this modular curve.
Maps between models of this curve
Birational map from canonical model to plane model:
$\displaystyle X$ |
$=$ |
$\displaystyle x$ |
$\displaystyle Y$ |
$=$ |
$\displaystyle y$ |
$\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
15.60.3.a.1
:
$\displaystyle X$ |
$=$ |
$\displaystyle x-2y-2z$ |
$\displaystyle Y$ |
$=$ |
$\displaystyle 4x-3y+2z$ |
$\displaystyle Z$ |
$=$ |
$\displaystyle x-2y+3z$ |
Equation of the image curve:
$0$ |
$=$ |
$ 2X^{4}+2X^{3}Y-9X^{2}Y^{2}+2XY^{3}+2Y^{4}+5X^{3}Z+2X^{2}YZ-2XY^{2}Z-5Y^{3}Z+4XYZ^{2}-7XZ^{3}+7YZ^{3}-4Z^{4} $ |
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.