Properties

Label 40.192.3-8.j.1.5
Level $40$
Index $192$
Genus $3$
Analytic rank $0$
Cusps $12$
$\Q$-cusps $4$

Related objects

Downloads

Learn more

Invariants

Level: $40$ $\SL_2$-level: $8$ Newform level: $64$
Index: $192$ $\PSL_2$-index:$96$
Genus: $3 = 1 + \frac{ 96 }{12} - \frac{ 0 }{4} - \frac{ 0 }{3} - \frac{ 12 }{2}$
Cusps: $12$ (of which $4$ are rational) Cusp widths $8^{12}$ Cusp orbits $1^{4}\cdot2^{4}$
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: 8B3
Rouse, Sutherland, and Zureick-Brown (RSZB) label: 40.192.3.483

Level structure

$\GL_2(\Z/40\Z)$-generators: $\begin{bmatrix}19&20\\14&21\end{bmatrix}$, $\begin{bmatrix}27&0\\32&7\end{bmatrix}$, $\begin{bmatrix}35&8\\14&17\end{bmatrix}$, $\begin{bmatrix}39&20\\22&13\end{bmatrix}$
Contains $-I$: no $\quad$ (see 8.96.3.j.1 for the level structure with $-I$)
Cyclic 40-isogeny field degree: $12$
Cyclic 40-torsion field degree: $96$
Full 40-torsion field degree: $3840$

Jacobian

Conductor: $2^{17}$
Simple: no
Squarefree: yes
Decomposition: $1\cdot2$
Newforms: 32.2.a.a, 64.2.b.a

Models

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

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

Singular plane model Singular plane model

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

Weierstrass model Weierstrass model

$ y^{2} $ $=$ $ -2x^{7} + 14x^{5} - 14x^{3} + 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
$(1/2:1/2:-1/2:-1:1)$, $(0:0:0:-1:1)$, $(-1/2:0:0:1:0)$, $(1/2:0:0:0:1)$

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 \frac{1}{2^3}\cdot\frac{4883415782144xzt^{12}+812714xw^{13}+293392xw^{12}t+14058370xw^{11}t^{2}+90026416xw^{10}t^{3}+216221656xw^{9}t^{4}-1212126208xw^{8}t^{5}-8384961124xw^{7}t^{6}-27019395768xw^{6}t^{7}-71007691902xw^{5}t^{8}-180146288440xw^{4}t^{9}-435565507614xw^{3}t^{10}-1023765901656xw^{2}t^{11}-1594636997508xwt^{12}+350879496648xt^{13}-4294967296yz^{13}+25769803776yz^{12}t+30064771072yz^{11}t^{2}-10737418240yz^{10}t^{3}-31943819264yz^{9}t^{4}-37044092928yz^{8}t^{5}-26575110144yz^{7}t^{6}+2013265920yz^{6}t^{7}+45222985728yz^{5}t^{8}+88415928320yz^{4}t^{9}+102416515072yz^{3}t^{10}+56845402112yz^{2}t^{11}-3421403010304yzt^{12}+208175yw^{13}+13745750yw^{12}t+132152225yw^{11}t^{2}+597841059yw^{10}t^{3}+1659187466yw^{9}t^{4}+3432398323yw^{8}t^{5}+7726691354yw^{7}t^{6}+21361034782yw^{6}t^{7}+55915783307yw^{5}t^{8}+131397459388yw^{4}t^{9}+304054659221yw^{3}t^{10}+719536265455yw^{2}t^{11}+1113399573516ywt^{12}-251056687701yt^{13}+8589934592z^{14}+17179869184z^{13}t-30064771072z^{12}t^{2}-36507222016z^{11}t^{3}-18522046464z^{10}t^{4}+9663676416z^{9}t^{5}+37849399296z^{8}t^{6}+53016002560z^{7}t^{7}+49450844160z^{6}t^{8}+14713618432z^{5}t^{9}-63963136000z^{4}t^{10}-155562541056z^{3}t^{11}+3238088z^{2}w^{12}+6490312z^{2}w^{11}t-387763520z^{2}w^{10}t^{2}-2834560104z^{2}w^{9}t^{3}-5554366904z^{2}w^{8}t^{4}-2762895568z^{2}w^{7}t^{5}-17779316832z^{2}w^{6}t^{6}-131788007216z^{2}w^{5}t^{7}-389007964552z^{2}w^{4}t^{8}-769114411768z^{2}w^{3}t^{9}-1627347185888z^{2}w^{2}t^{10}-3982614295656z^{2}wt^{11}-1460213718024z^{2}t^{12}-2952935zw^{13}-10119546zw^{12}t+167749899zw^{11}t^{2}+549341783zw^{10}t^{3}-1051127118zw^{9}t^{4}-7079368817zw^{8}t^{5}-196671578zw^{7}t^{6}+45659366238zw^{6}t^{7}+67374831981zw^{5}t^{8}-23695042452zw^{4}t^{9}-17434372193zw^{3}t^{10}+333661892443zw^{2}t^{11}-674340272360zwt^{12}-603988582385zt^{13}+414549w^{14}-1319171w^{13}t-5330053w^{12}t^{2}+71427599w^{11}t^{3}+334168710w^{10}t^{4}-516054598w^{9}t^{5}-6250424494w^{8}t^{6}-14790544250w^{7}t^{7}-14536705647w^{6}t^{8}-25901216535w^{5}t^{9}-123669502841w^{4}t^{10}-343711510373w^{3}t^{11}-312352039228w^{2}t^{12}-247069843504wt^{13}-175439772900t^{14}}{234499584xzt^{12}-126xw^{13}-2064xw^{12}t-12588xw^{11}t^{2}-41060xw^{10}t^{3}-100914xw^{9}t^{4}-258212xw^{8}t^{5}-645784xw^{7}t^{6}-1476568xw^{6}t^{7}-3442162xw^{5}t^{8}-8390632xw^{4}t^{9}-20313148xw^{3}t^{10}-48698436xw^{2}t^{11}-76053598xwt^{12}+17059356xt^{13}-131072yz^{5}t^{8}+786432yz^{4}t^{9}+1441792yz^{3}t^{10}+983040yz^{2}t^{11}-165233152yzt^{12}+45yw^{13}+1035yw^{12}t+8844yw^{11}t^{2}+39284yw^{10}t^{3}+106389yw^{9}t^{4}+210523yw^{8}t^{5}+415040yw^{7}t^{6}+989360yw^{6}t^{7}+2479159yw^{5}t^{8}+5988817yw^{4}t^{9}+14321716yw^{3}t^{10}+34404828yw^{2}t^{11}+53545223ywt^{12}-12107831yt^{13}+262144z^{6}t^{8}+524288z^{5}t^{9}-655360z^{4}t^{10}-2555904z^{3}t^{11}+192z^{2}w^{12}-3040z^{2}w^{11}t-63184z^{2}w^{10}t^{2}-364928z^{2}w^{9}t^{3}-939408z^{2}w^{8}t^{4}-1198592z^{2}w^{7}t^{5}-1551712z^{2}w^{6}t^{6}-5261760z^{2}w^{5}t^{7}-15168288z^{2}w^{4}t^{8}-34374432z^{2}w^{3}t^{9}-79646672z^{2}w^{2}t^{10}-193322944z^{2}wt^{11}-69192720z^{2}t^{12}-65zw^{13}+1807zw^{12}t+28608zw^{11}t^{2}+122344zw^{10}t^{3}+114579zw^{9}t^{4}-383709zw^{8}t^{5}-615896zw^{7}t^{6}+1018696zw^{6}t^{7}+2669109zw^{5}t^{8}+1594421zw^{4}t^{9}+3344280zw^{3}t^{10}+14824272zw^{2}t^{11}-34994183zwt^{12}-29221095zt^{13}-63w^{14}-1087w^{13}t-5970w^{12}t^{2}-9224w^{11}t^{3}+18277w^{10}t^{4}+31677w^{9}t^{5}-214530w^{8}t^{6}-749576w^{7}t^{7}-1113877w^{6}t^{8}-1914309w^{5}t^{9}-5712094w^{4}t^{10}-14994864w^{3}t^{11}-14120913w^{2}t^{12}-12041465wt^{13}-8529678t^{14}}$

Map of degree 1 from the embedded model of this modular curve to the plane model of the modular curve 8.96.3.j.1 :

$\displaystyle X$ $=$ $\displaystyle y$
$\displaystyle Y$ $=$ $\displaystyle t$
$\displaystyle Z$ $=$ $\displaystyle z$

Equation of the image curve:

$0$ $=$ $ X^{6}-4X^{4}Y^{2}+4X^{3}Y^{3}-X^{2}Y^{4}+6X^{5}Z-16X^{4}YZ+8X^{3}Y^{2}Z+4X^{2}Y^{3}Z-2XY^{4}Z-X^{4}Z^{2}+4XY^{3}Z^{2}-Y^{4}Z^{2}+20X^{3}Z^{3}-32X^{2}YZ^{3}+8XY^{2}Z^{3}+4Y^{3}Z^{3}-13X^{2}Z^{4}+4Y^{2}Z^{4}+14XZ^{5}-16YZ^{5}-11Z^{6} $

Map of degree 1 from the embedded model of this modular curve to the Weierstrass model of the modular curve 8.96.3.j.1 :

$\displaystyle X$ $=$ $\displaystyle -\frac{1}{2}y^{5}-\frac{7}{2}y^{4}z-\frac{1}{2}y^{4}t-3y^{3}z^{2}+4y^{3}zt+\frac{3}{2}y^{3}t^{2}-11y^{2}z^{3}+2y^{2}z^{2}t+\frac{3}{2}y^{2}zt^{2}-\frac{1}{2}y^{2}t^{3}-\frac{9}{2}yz^{4}+6yz^{3}t+\frac{5}{2}yz^{2}t^{2}-yzt^{3}-\frac{19}{2}z^{5}+\frac{1}{2}z^{4}t+\frac{5}{2}z^{3}t^{2}-\frac{1}{2}z^{2}t^{3}$
$\displaystyle Y$ $=$ $\displaystyle 8y^{13}z^{7}+120y^{12}z^{8}+8y^{12}z^{7}t+752y^{11}z^{9}-24y^{11}z^{7}t^{2}+3024y^{10}z^{10}-272y^{10}z^{9}t-216y^{10}z^{8}t^{2}+8y^{10}z^{7}t^{3}+8872y^{9}z^{11}-1632y^{9}z^{10}t-1008y^{9}z^{9}t^{2}+80y^{9}z^{8}t^{3}+20472y^{8}z^{12}-5288y^{8}z^{11}t-3120y^{8}z^{10}t^{2}+392y^{8}z^{9}t^{3}+37728y^{7}z^{13}-12160y^{7}z^{12}t-7248y^{7}z^{11}t^{2}+1216y^{7}z^{10}t^{3}+56480y^{6}z^{14}-20832y^{6}z^{13}t-13008y^{6}z^{12}t^{2}+2704y^{6}z^{11}t^{3}+69400y^{5}z^{15}-26432y^{5}z^{14}t-17920y^{5}z^{13}t^{2}+4576y^{5}z^{12}t^{3}+68648y^{4}z^{16}-25544y^{4}z^{15}t-19328y^{4}z^{14}t^{2}+5840y^{4}z^{13}t^{3}+53808y^{3}z^{17}-18816y^{3}z^{16}t-16600y^{3}z^{15}t^{2}+5312y^{3}z^{14}t^{3}+32784y^{2}z^{18}-9360y^{2}z^{17}t-10648y^{2}z^{16}t^{2}+3176y^{2}z^{15}t^{3}+13752yz^{19}-2400yz^{18}t-4304yz^{17}t^{2}+1104yz^{16}t^{3}+2792z^{20}-152z^{19}t-784z^{18}t^{2}+168z^{17}t^{3}$
$\displaystyle Z$ $=$ $\displaystyle y^{3}z^{2}+3y^{2}z^{3}+3yz^{4}+z^{5}$

Modular covers

This modular curve minimally covers the modular curves listed below.

Covered curve Level Index Degree Genus Rank Kernel decomposition
40.96.0-8.c.1.4 $40$ $2$ $2$ $0$ $0$ full Jacobian
40.96.0-8.c.1.9 $40$ $2$ $2$ $0$ $0$ full Jacobian
40.96.1-8.h.2.4 $40$ $2$ $2$ $1$ $0$ $2$
40.96.1-8.h.2.7 $40$ $2$ $2$ $1$ $0$ $2$
40.96.2-8.a.1.6 $40$ $2$ $2$ $2$ $0$ $1$
40.96.2-8.a.1.11 $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.384.5-8.d.2.3 $40$ $2$ $2$ $5$ $0$ $1^{2}$
40.384.5-8.d.3.3 $40$ $2$ $2$ $5$ $0$ $1^{2}$
40.384.5-40.y.1.5 $40$ $2$ $2$ $5$ $1$ $1^{2}$
40.384.5-40.y.2.1 $40$ $2$ $2$ $5$ $1$ $1^{2}$
40.960.35-40.bn.1.4 $40$ $5$ $5$ $35$ $3$ $1^{14}\cdot2^{5}\cdot4^{2}$
40.1152.37-40.er.1.7 $40$ $6$ $6$ $37$ $1$ $1^{14}\cdot2^{2}\cdot4^{4}$
40.1920.69-40.gt.1.9 $40$ $10$ $10$ $69$ $7$ $1^{28}\cdot2^{7}\cdot4^{6}$
80.384.7-16.c.1.6 $80$ $2$ $2$ $7$ $?$ not computed
80.384.7-16.g.1.5 $80$ $2$ $2$ $7$ $?$ not computed
80.384.7-16.l.1.7 $80$ $2$ $2$ $7$ $?$ not computed
80.384.7-16.q.1.7 $80$ $2$ $2$ $7$ $?$ not computed
80.384.7-80.u.1.5 $80$ $2$ $2$ $7$ $?$ not computed
80.384.7-80.bs.1.9 $80$ $2$ $2$ $7$ $?$ not computed
80.384.7-80.bx.1.1 $80$ $2$ $2$ $7$ $?$ not computed
80.384.7-80.co.1.6 $80$ $2$ $2$ $7$ $?$ not computed
120.384.5-24.bg.1.5 $120$ $2$ $2$ $5$ $?$ not computed
120.384.5-24.bg.2.8 $120$ $2$ $2$ $5$ $?$ not computed
120.384.5-120.hg.1.6 $120$ $2$ $2$ $5$ $?$ not computed
120.384.5-120.hg.2.8 $120$ $2$ $2$ $5$ $?$ not computed
240.384.7-48.l.1.14 $240$ $2$ $2$ $7$ $?$ not computed
240.384.7-48.t.1.9 $240$ $2$ $2$ $7$ $?$ not computed
240.384.7-48.y.1.13 $240$ $2$ $2$ $7$ $?$ not computed
240.384.7-48.bh.1.15 $240$ $2$ $2$ $7$ $?$ not computed
240.384.7-240.cb.1.21 $240$ $2$ $2$ $7$ $?$ not computed
240.384.7-240.eb.1.20 $240$ $2$ $2$ $7$ $?$ not computed
240.384.7-240.eg.1.10 $240$ $2$ $2$ $7$ $?$ not computed
240.384.7-240.fz.1.10 $240$ $2$ $2$ $7$ $?$ not computed
280.384.5-56.y.1.6 $280$ $2$ $2$ $5$ $?$ not computed
280.384.5-56.y.2.7 $280$ $2$ $2$ $5$ $?$ not computed
280.384.5-280.gy.1.11 $280$ $2$ $2$ $5$ $?$ not computed
280.384.5-280.gy.2.15 $280$ $2$ $2$ $5$ $?$ not computed