Properties

Label 40.192.5-40.n.2.1
Level $40$
Index $192$
Genus $5$
Analytic rank $1$
Cusps $8$
$\Q$-cusps $0$

Related objects

Downloads

Learn more

Invariants

Level: $40$ $\SL_2$-level: $20$ Newform level: $1600$
Index: $192$ $\PSL_2$-index:$96$
Genus: $5 = 1 + \frac{ 96 }{12} - \frac{ 0 }{4} - \frac{ 0 }{3} - \frac{ 8 }{2}$
Cusps: $8$ (none of which are rational) Cusp widths $4^{4}\cdot20^{4}$ Cusp orbits $2^{2}\cdot4$
Elliptic points: $0$ of order $2$ and $0$ of order $3$
Analytic rank: $1$
$\Q$-gonality: $4$
$\overline{\Q}$-gonality: $4$
Rational cusps: $0$
Rational CM points: none

Other labels

Cummins and Pauli (CP) label: 20D5
Rouse, Sutherland, and Zureick-Brown (RSZB) label: 40.192.5.124

Level structure

$\GL_2(\Z/40\Z)$-generators: $\begin{bmatrix}1&36\\25&7\end{bmatrix}$, $\begin{bmatrix}31&27\\2&1\end{bmatrix}$, $\begin{bmatrix}38&15\\17&21\end{bmatrix}$
Contains $-I$: no $\quad$ (see 40.96.5.n.2 for the level structure with $-I$)
Cyclic 40-isogeny field degree: $12$
Cyclic 40-torsion field degree: $192$
Full 40-torsion field degree: $3840$

Jacobian

Conductor: $2^{24}\cdot5^{7}$
Simple: no
Squarefree: yes
Decomposition: $1^{3}\cdot2$
Newforms: 80.2.a.a, 80.2.c.a, 1600.2.a.c, 1600.2.a.w

Models

Canonical model in $\mathbb{P}^{ 4 }$ defined by 3 equations

$ 0 $ $=$ $ x^{2} + 3 x y + y^{2} + z t - w^{2} $
$=$ $2 x w - 2 y w - 3 z^{2} - 2 z t + 2 w^{2}$
$=$ $2 x^{2} + x y + 2 y^{2} + 2 z^{2} + z t + 3 w^{2} - 2 t^{2}$
Copy content Toggle raw display

Singular plane model Singular plane model

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

Rational points

This modular curve has real points and $\Q_p$ points for $p$ not dividing the level, but no known rational points.

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 20.48.3.i.2 :

$\displaystyle X$ $=$ $\displaystyle 3x+2y+3w$
$\displaystyle Y$ $=$ $\displaystyle 4x+y-w$
$\displaystyle Z$ $=$ $\displaystyle 2x-2y+2w$

Equation of the image curve:

$0$ $=$ $ 6X^{3}Y-22X^{2}Y^{2}+6XY^{3}+12X^{2}YZ+14XY^{2}Z-6Y^{3}Z-3X^{2}Z^{2}-2XYZ^{2}+5Y^{2}Z^{2}-10YZ^{3}+2Z^{4} $

Map of degree 1 from the canonical model of this modular curve to the plane model of the modular curve 40.96.5.n.2 :

$\displaystyle X$ $=$ $\displaystyle x+y$
$\displaystyle Y$ $=$ $\displaystyle \frac{1}{2}z$
$\displaystyle Z$ $=$ $\displaystyle w$

Equation of the image curve:

$0$ $=$ $ 100X^{4}Y^{4}-100X^{4}Y^{2}Z^{2}+25X^{4}Z^{4}-1360X^{2}Y^{6}+360X^{2}Y^{4}Z^{2}+100X^{2}Y^{2}Z^{4}-50X^{2}Z^{6}+4624Y^{8}-1824Y^{6}Z^{2}+1464Y^{4}Z^{4}-360Y^{2}Z^{6}+25Z^{8} $

Modular covers

This modular curve minimally covers the modular curves listed below.

Covered curve Level Index Degree Genus Rank Kernel decomposition
20.96.3-20.i.2.6 $20$ $2$ $2$ $3$ $0$ $1^{2}$
40.48.1-40.cj.2.5 $40$ $4$ $4$ $1$ $0$ $1^{2}\cdot2$
40.96.3-20.i.2.8 $40$ $2$ $2$ $3$ $0$ $1^{2}$

This modular curve is minimally covered by the modular curves in the database listed below.

Covering curve Level Index Degree Genus Rank Kernel decomposition
40.576.13-40.uw.2.2 $40$ $3$ $3$ $13$ $3$ $1^{4}\cdot2^{2}$
40.768.25-40.s.1.1 $40$ $4$ $4$ $25$ $4$ $1^{8}\cdot2^{4}\cdot4$
40.960.29-40.bbr.1.1 $40$ $5$ $5$ $29$ $6$ $1^{12}\cdot2^{6}$