↑

Properties

Label 40.96.1.cj.1
Level $40$
Index $96$
Genus $1$
Analytic rank $0$
Cusps $16$
$\Q$-cusps $0$

Related objects

Downloads

Learn more

Invariants

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

Other labels

Cummins and Pauli (CP) label: 8K1
Rouse, Sutherland, and Zureick-Brown (RSZB) label: 40.96.1.661

Level structure

$\GL_2(\Z/40\Z)$-generators: $\begin{bmatrix}7&37\\8&25\end{bmatrix}$, $\begin{bmatrix}11&13\\8&37\end{bmatrix}$, $\begin{bmatrix}29&28\\32&25\end{bmatrix}$, $\begin{bmatrix}29&35\\8&39\end{bmatrix}$
Contains $-I$: yes
Quadratic refinements: 40.192.1-40.cj.1.1, 40.192.1-40.cj.1.2, 40.192.1-40.cj.1.3, 40.192.1-40.cj.1.4, 80.192.1-40.cj.1.1, 80.192.1-40.cj.1.2, 80.192.1-40.cj.1.3, 80.192.1-40.cj.1.4, 120.192.1-40.cj.1.1, 120.192.1-40.cj.1.2, 120.192.1-40.cj.1.3, 120.192.1-40.cj.1.4, 240.192.1-40.cj.1.1, 240.192.1-40.cj.1.2, 240.192.1-40.cj.1.3, 240.192.1-40.cj.1.4, 280.192.1-40.cj.1.1, 280.192.1-40.cj.1.2, 280.192.1-40.cj.1.3, 280.192.1-40.cj.1.4
Cyclic 40-isogeny field degree: $6$
Cyclic 40-torsion field degree: $96$
Full 40-torsion field degree: $7680$

Jacobian

Conductor: $2^{5}$
Simple: yes
Squarefree: yes
Decomposition: $1$
Newforms: 32.2.a.a

Models

Embedded model Embedded model in $\mathbb{P}^{3}$

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

Singular plane model Singular plane model

$ 0 $ $=$ $ 5 x^{4} + 25 x^{2} y^{2} + x^{2} z^{2} - 5 y^{2} z^{2} $
 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 between models of this curve

Birational map from embedded model to plane model:

$\displaystyle X$ $=$ $\displaystyle y$
$\displaystyle Y$ $=$ $\displaystyle \frac{1}{5}z$
$\displaystyle Z$ $=$ $\displaystyle w$

Maps to other modular curves

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

$\displaystyle j$ $=$ $\displaystyle -2^2\,\frac{(z^{2}-2zw-w^{2})^{3}(z^{2}+2zw-w^{2})^{3}(z^{4}+10z^{2}w^{2}+w^{4})^{3}}{w^{4}z^{4}(z^{2}+w^{2})^{8}}$

Modular covers

Sorry, your browser does not support the nearby lattice.

Cover information

Click on a modular curve in the diagram to see information about it.
See a full page version of the diagram

This modular curve minimally covers the modular curves listed below.

Covered curve Level Index Degree Genus Rank Kernel decomposition
8.48.1.bb.1 $8$ $2$ $2$ $1$ $0$ dimension zero
40.48.0.bf.1 $40$ $2$ $2$ $0$ $0$ full Jacobian
40.48.0.bs.1 $40$ $2$ $2$ $0$ $0$ full Jacobian

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.480.33.wq.2 $40$ $5$ $5$ $33$ $3$ $1^{14}\cdot2^{9}$
40.576.33.bju.2 $40$ $6$ $6$ $33$ $1$ $1^{14}\cdot2\cdot4^{4}$
40.960.65.cbi.2 $40$ $10$ $10$ $65$ $7$ $1^{28}\cdot2^{10}\cdot4^{4}$
80.192.5.lk.2 $80$ $2$ $2$ $5$ $?$ not computed
80.192.5.lu.2 $80$ $2$ $2$ $5$ $?$ not computed
80.192.5.ml.2 $80$ $2$ $2$ $5$ $?$ not computed
80.192.5.mu.2 $80$ $2$ $2$ $5$ $?$ not computed
120.288.17.qes.2 $120$ $3$ $3$ $17$ $?$ not computed
120.384.17.eqj.2 $120$ $4$ $4$ $17$ $?$ not computed
240.192.5.brn.1 $240$ $2$ $2$ $5$ $?$ not computed
240.192.5.bts.1 $240$ $2$ $2$ $5$ $?$ not computed
240.192.5.bvl.1 $240$ $2$ $2$ $5$ $?$ not computed
240.192.5.bxu.1 $240$ $2$ $2$ $5$ $?$ not computed