Properties

Label 40.72.3.eq.2
Level $40$
Index $72$
Genus $3$
Analytic rank $0$
Cusps $8$
$\Q$-cusps $4$

Related objects

Downloads

Learn more

Invariants

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

Other labels

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

Level structure

$\GL_2(\Z/40\Z)$-generators: $\begin{bmatrix}13&26\\2&37\end{bmatrix}$, $\begin{bmatrix}15&1\\12&29\end{bmatrix}$, $\begin{bmatrix}23&31\\4&15\end{bmatrix}$, $\begin{bmatrix}31&35\\14&37\end{bmatrix}$, $\begin{bmatrix}37&4\\24&7\end{bmatrix}$
Contains $-I$: yes
Quadratic refinements: 40.144.3-40.eq.2.1, 40.144.3-40.eq.2.2, 40.144.3-40.eq.2.3, 40.144.3-40.eq.2.4, 40.144.3-40.eq.2.5, 40.144.3-40.eq.2.6, 40.144.3-40.eq.2.7, 40.144.3-40.eq.2.8, 40.144.3-40.eq.2.9, 40.144.3-40.eq.2.10, 40.144.3-40.eq.2.11, 40.144.3-40.eq.2.12, 40.144.3-40.eq.2.13, 40.144.3-40.eq.2.14, 40.144.3-40.eq.2.15, 40.144.3-40.eq.2.16, 120.144.3-40.eq.2.1, 120.144.3-40.eq.2.2, 120.144.3-40.eq.2.3, 120.144.3-40.eq.2.4, 120.144.3-40.eq.2.5, 120.144.3-40.eq.2.6, 120.144.3-40.eq.2.7, 120.144.3-40.eq.2.8, 120.144.3-40.eq.2.9, 120.144.3-40.eq.2.10, 120.144.3-40.eq.2.11, 120.144.3-40.eq.2.12, 120.144.3-40.eq.2.13, 120.144.3-40.eq.2.14, 120.144.3-40.eq.2.15, 120.144.3-40.eq.2.16, 280.144.3-40.eq.2.1, 280.144.3-40.eq.2.2, 280.144.3-40.eq.2.3, 280.144.3-40.eq.2.4, 280.144.3-40.eq.2.5, 280.144.3-40.eq.2.6, 280.144.3-40.eq.2.7, 280.144.3-40.eq.2.8, 280.144.3-40.eq.2.9, 280.144.3-40.eq.2.10, 280.144.3-40.eq.2.11, 280.144.3-40.eq.2.12, 280.144.3-40.eq.2.13, 280.144.3-40.eq.2.14, 280.144.3-40.eq.2.15, 280.144.3-40.eq.2.16
Cyclic 40-isogeny field degree: $4$
Cyclic 40-torsion field degree: $32$
Full 40-torsion field degree: $10240$

Jacobian

Conductor: $2^{18}\cdot5^{3}$
Simple: no
Squarefree: yes
Decomposition: $1\cdot2$
Newforms: 320.2.a.d, 320.2.c.b

Models

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

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

Singular plane model Singular plane model

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

Weierstrass model Weierstrass model

$ y^{2} $ $=$ $ -2x^{7} + 6x^{6} + 14x^{5} - 12x^{4} - 14x^{3} + 6x^{2} + 2x $
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.

Embedded model
$(0:0:0:0:1)$, $(0:1:0:0:0)$, $(-1:2:0:1:0)$, $(-1:0:-2:1:0)$

Maps between models of this curve

Birational map from embedded model to plane model:

$\displaystyle X$ $=$ $\displaystyle z$
$\displaystyle Y$ $=$ $\displaystyle \frac{1}{2}t$
$\displaystyle Z$ $=$ $\displaystyle w$

Birational map from embedded model to Weierstrass model:

$\displaystyle X$ $=$ $\displaystyle z+w$
$\displaystyle Y$ $=$ $\displaystyle z^{2}wt+2zw^{2}t+w^{3}t$
$\displaystyle Z$ $=$ $\displaystyle -w$

Maps to other modular curves

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

$\displaystyle j$ $=$ $\displaystyle -\frac{1}{2^3}\cdot\frac{1874880xw^{10}-1026512xw^{8}t^{2}-261519256xw^{6}t^{4}+63305496xw^{4}t^{6}+382152xw^{2}t^{8}-12365xt^{10}-56y^{7}t^{4}-560y^{5}t^{6}-770y^{3}t^{8}-3276000y^{2}w^{9}+3146096y^{2}w^{7}t^{2}+752950256y^{2}w^{5}t^{4}-18389096y^{2}w^{3}t^{6}+55880y^{2}wt^{8}+7565376yw^{10}-6636064yw^{8}t^{2}-1768163160yw^{6}t^{4}-81606876yw^{4}t^{6}+1558176yw^{2}t^{8}-1141yt^{10}+1041376z^{2}w^{9}-789184z^{2}w^{7}t^{2}-261706064z^{2}w^{5}t^{4}+13377556z^{2}w^{3}t^{6}-74296z^{2}wt^{8}+1069376zw^{10}-117184zw^{8}t^{2}-262324352zw^{6}t^{4}-137219820zw^{4}t^{6}+969762zw^{2}t^{8}+11217zt^{10}-1069376w^{11}+1234496w^{9}t^{2}+261145896w^{7}t^{4}-137801828w^{5}t^{6}+1792922w^{3}t^{8}-1512wt^{10}}{t^{2}w^{5}(128xw^{3}-38xwt^{2}-512y^{2}w^{2}+7y^{2}t^{2}+1152yw^{3}+70ywt^{2}+128z^{2}w^{2}-7z^{2}t^{2}+128zw^{3}+94zwt^{2}-128w^{4}+98w^{2}t^{2})}$

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.

The following modular covers realize this modular curve as a fiber product over $X(1)$.

Factor curve Level Index Degree Genus Rank Kernel decomposition
$X_{\pm1}(5)$ $5$ $6$ $6$ $0$ $0$ full Jacobian
8.6.0.e.1 $8$ $12$ $12$ $0$ $0$ full Jacobian

This modular curve minimally covers the modular curves listed below.

Covered curve Level Index Degree Genus Rank Kernel decomposition
$X_{\pm1}(10)$ $10$ $2$ $2$ $0$ $0$ full Jacobian
40.36.1.k.1 $40$ $2$ $2$ $1$ $0$ $2$
40.36.2.b.1 $40$ $2$ $2$ $2$ $0$ $1$

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.144.5.d.1 $40$ $2$ $2$ $5$ $1$ $1^{2}$
40.144.5.ba.1 $40$ $2$ $2$ $5$ $1$ $1^{2}$
40.144.5.cf.1 $40$ $2$ $2$ $5$ $0$ $1^{2}$
40.144.5.ch.1 $40$ $2$ $2$ $5$ $0$ $1^{2}$
40.144.5.hs.1 $40$ $2$ $2$ $5$ $0$ $1^{2}$
40.144.5.hw.1 $40$ $2$ $2$ $5$ $0$ $1^{2}$
40.144.5.ig.1 $40$ $2$ $2$ $5$ $1$ $1^{2}$
40.144.5.ii.1 $40$ $2$ $2$ $5$ $1$ $1^{2}$
40.360.19.tk.1 $40$ $5$ $5$ $19$ $3$ $1^{8}\cdot2^{4}$
120.144.5.dfg.1 $120$ $2$ $2$ $5$ $?$ not computed
120.144.5.dfi.1 $120$ $2$ $2$ $5$ $?$ not computed
120.144.5.dfu.1 $120$ $2$ $2$ $5$ $?$ not computed
120.144.5.dfw.1 $120$ $2$ $2$ $5$ $?$ not computed
120.144.5.enc.1 $120$ $2$ $2$ $5$ $?$ not computed
120.144.5.ene.1 $120$ $2$ $2$ $5$ $?$ not computed
120.144.5.enq.1 $120$ $2$ $2$ $5$ $?$ not computed
120.144.5.ens.1 $120$ $2$ $2$ $5$ $?$ not computed
120.216.15.cie.2 $120$ $3$ $3$ $15$ $?$ not computed
120.288.17.cmxc.2 $120$ $4$ $4$ $17$ $?$ not computed
200.360.19.eq.2 $200$ $5$ $5$ $19$ $?$ not computed
280.144.5.bzc.1 $280$ $2$ $2$ $5$ $?$ not computed
280.144.5.bzd.1 $280$ $2$ $2$ $5$ $?$ not computed
280.144.5.bzj.1 $280$ $2$ $2$ $5$ $?$ not computed
280.144.5.bzk.1 $280$ $2$ $2$ $5$ $?$ not computed
280.144.5.cbg.1 $280$ $2$ $2$ $5$ $?$ not computed
280.144.5.cbh.1 $280$ $2$ $2$ $5$ $?$ not computed
280.144.5.cbn.1 $280$ $2$ $2$ $5$ $?$ not computed
280.144.5.cbo.1 $280$ $2$ $2$ $5$ $?$ not computed