Properties

Label 80.288.7-40.fy.1.16
Level $80$
Index $288$
Genus $7$
Cusps $12$
$\Q$-cusps $4$

Related objects

Downloads

Learn more

Invariants

Level: $80$ $\SL_2$-level: $80$ Newform level: $320$
Index: $288$ $\PSL_2$-index:$144$
Genus: $7 = 1 + \frac{ 144 }{12} - \frac{ 0 }{4} - \frac{ 0 }{3} - \frac{ 12 }{2}$
Cusps: $12$ (of which $4$ are rational) Cusp widths $2^{4}\cdot8^{2}\cdot10^{4}\cdot40^{2}$ Cusp orbits $1^{4}\cdot2^{4}$
Elliptic points: $0$ of order $2$ and $0$ of order $3$
Analytic rank: not computed
$\Q$-gonality: $2 \le \gamma \le 7$
$\overline{\Q}$-gonality: $2 \le \gamma \le 7$
Rational cusps: $4$
Rational CM points: none

Other labels

Cummins and Pauli (CP) label: 40O7

Level structure

$\GL_2(\Z/80\Z)$-generators: $\begin{bmatrix}21&20\\47&21\end{bmatrix}$, $\begin{bmatrix}31&40\\36&31\end{bmatrix}$, $\begin{bmatrix}53&20\\29&49\end{bmatrix}$, $\begin{bmatrix}53&60\\19&17\end{bmatrix}$, $\begin{bmatrix}71&0\\50&79\end{bmatrix}$, $\begin{bmatrix}79&20\\64&13\end{bmatrix}$
Contains $-I$: no $\quad$ (see 40.144.7.fy.1 for the level structure with $-I$)
Cyclic 80-isogeny field degree: $2$
Cyclic 80-torsion field degree: $32$
Full 80-torsion field degree: $40960$

Models

Canonical model in $\mathbb{P}^{ 6 }$ defined by 10 equations

$ 0 $ $=$ $ - y u + z t $
$=$ $ - x u + y z$
$=$ $ - x t + y^{2}$
$=$ $x u + 4 y w + t u - t v$
$=$$\cdots$
Copy content Toggle raw display

Singular plane model Singular plane model

$ 0 $ $=$ $ x^{8} z^{2} + 8 x^{6} y^{2} z^{2} - 2 x^{6} z^{4} + 2 x^{4} y^{4} z^{2} + 4 x^{4} y^{2} z^{4} + \cdots + 5 y^{8} z^{2} $
Copy content Toggle raw display

Rational points

This modular curve has 4 rational cusps but no known non-cuspidal rational points. The following are the coordinates of the rational cusps on this modular curve.

Canonical model
$(0:0:1:-1/4:0:1:1)$, $(0:0:0:-1/4:0:0:1)$, $(0:0:0:1/4:0:0:1)$, $(0:0:-1:1/4:0:1:1)$

Maps to other modular curves

$j$-invariant map of degree 144 from the canonical model of this modular curve to the modular curve $X(1)$ :

$\displaystyle j$ $=$ $\displaystyle -\frac{(16w^{4}-16w^{2}v^{2}+v^{4})^{3}}{v^{2}w^{8}(4w-v)(4w+v)}$

Map of degree 1 from the canonical model of this modular curve to the plane model of the modular curve 40.144.7.fy.1 :

$\displaystyle X$ $=$ $\displaystyle x$
$\displaystyle Y$ $=$ $\displaystyle y$
$\displaystyle Z$ $=$ $\displaystyle 2w$

Equation of the image curve:

$0$ $=$ $ X^{8}Z^{2}+8X^{6}Y^{2}Z^{2}-2X^{6}Z^{4}+2X^{4}Y^{4}Z^{2}+4X^{4}Y^{2}Z^{4}-16X^{2}Y^{6}Z^{2}-2X^{2}Y^{4}Z^{4}+40Y^{10}+5Y^{8}Z^{2} $

Modular covers

This modular curve minimally covers the modular curves listed below.

Covered curve Level Index Degree Genus Rank
80.144.3-40.bx.1.4 $80$ $2$ $2$ $3$ $?$
80.144.3-40.bx.1.18 $80$ $2$ $2$ $3$ $?$