Invariants
Level: | $40$ | $\SL_2$-level: | $40$ | Newform level: | $1600$ | ||
Index: | $144$ | $\PSL_2$-index: | $72$ | ||||
Genus: | $3 = 1 + \frac{ 72 }{12} - \frac{ 0 }{4} - \frac{ 0 }{3} - \frac{ 8 }{2}$ | ||||||
Cusps: | $8$ (none of which are rational) | Cusp widths | $2^{2}\cdot4^{2}\cdot10^{2}\cdot20^{2}$ | Cusp orbits | $2^{4}$ | ||
Elliptic points: | $0$ of order $2$ and $0$ of order $3$ | ||||||
Analytic rank: | $1$ | ||||||
$\Q$-gonality: | $2$ | ||||||
$\overline{\Q}$-gonality: | $2$ | ||||||
Rational cusps: | $0$ | ||||||
Rational CM points: | none |
Other labels
Cummins and Pauli (CP) label: | 20J3 |
Rouse, Sutherland, and Zureick-Brown (RSZB) label: | 40.144.3.1248 |
Level structure
$\GL_2(\Z/40\Z)$-generators: | $\begin{bmatrix}3&39\\24&3\end{bmatrix}$, $\begin{bmatrix}9&15\\22&17\end{bmatrix}$, $\begin{bmatrix}25&1\\26&5\end{bmatrix}$, $\begin{bmatrix}31&15\\8&23\end{bmatrix}$ |
Contains $-I$: | no $\quad$ (see 40.72.3.bn.1 for the level structure with $-I$) |
Cyclic 40-isogeny field degree: | $4$ |
Cyclic 40-torsion field degree: | $64$ |
Full 40-torsion field degree: | $5120$ |
Jacobian
Conductor: | $2^{16}\cdot5^{5}$ |
Simple: | no |
Squarefree: | yes |
Decomposition: | $1^{3}$ |
Newforms: | 80.2.a.b, 1600.2.a.c, 1600.2.a.k |
Models
Embedded model Embedded model in $\mathbb{P}^{5}$
$ 0 $ | $=$ | $ - x w + y z $ |
$=$ | $z t + 4 z u + w u$ | |
$=$ | $x t + 4 x u + y u$ | |
$=$ | $2 x^{2} + 4 x y - 6 y^{2} - 4 z^{2} + 4 z w + t u + 2 u^{2}$ | |
$=$ | $\cdots$ |
Singular plane model Singular plane model
$ 0 $ | $=$ | $ 400 x^{8} + 200 x^{6} y^{2} - 400 x^{6} z^{2} + 25 x^{4} y^{4} - 260 x^{4} y^{2} z^{2} + \cdots + 64 y^{4} z^{4} $ |
Weierstrass model Weierstrass model
$ y^{2} $ | $=$ | $ -89x^{8} - 144x^{7} + 172x^{6} - 912x^{5} + 970x^{4} + 912x^{3} + 172x^{2} + 144x - 89 $ |
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
$j$-invariant map of degree 72 from the embedded model of this modular curve to the modular curve $X(1)$ :
$\displaystyle j$ | $=$ | $\displaystyle -\frac{2^2}{3^9}\cdot\frac{1600000zw^{9}-7680000zw^{7}u^{2}-46176000zw^{5}u^{4}-959289600zw^{3}u^{6}-5676236640zwu^{8}-1600000w^{10}+8480000w^{8}u^{2}-35936000w^{6}u^{4}-297635200w^{4}u^{6}-1801840800w^{2}u^{8}-19667t^{10}-196494t^{9}u-883127t^{8}u^{2}-2353320t^{7}u^{3}-4104598t^{6}u^{4}-3842564t^{5}u^{5}-95638t^{4}u^{6}+25295416t^{3}u^{7}+210459241t^{2}u^{8}+422897666tu^{9}+813155421u^{10}}{u^{6}(300zw^{3}-450zwu^{2}+100w^{4}-180w^{2}u^{2}-t^{4}-5t^{3}u-2t^{2}u^{2}+3tu^{3}+44u^{4})}$ |
Map of degree 1 from the embedded model of this modular curve to the plane model of the modular curve 40.72.3.bn.1 :
$\displaystyle X$ | $=$ | $\displaystyle y$ |
$\displaystyle Y$ | $=$ | $\displaystyle w$ |
$\displaystyle Z$ | $=$ | $\displaystyle \frac{1}{2}u$ |
Equation of the image curve:
$0$ | $=$ | $ 400X^{8}+200X^{6}Y^{2}+25X^{4}Y^{4}-400X^{6}Z^{2}-260X^{4}Y^{2}Z^{2}-80X^{2}Y^{4}Z^{2}-10Y^{6}Z^{2}+676X^{4}Z^{4}+416X^{2}Y^{2}Z^{4}+64Y^{4}Z^{4} $ |
Map of degree 1 from the embedded model of this modular curve to the Weierstrass model of the modular curve 40.72.3.bn.1 :
$\displaystyle X$ | $=$ | $\displaystyle -\frac{200}{9}ywt^{2}-\frac{400}{3}ywtu-\frac{1000}{9}ywu^{2}+\frac{20}{9}yt^{3}+\frac{200}{9}yt^{2}u+\frac{580}{9}ytu^{2}+\frac{400}{9}yu^{3}-\frac{10}{3}wt^{3}-\frac{100}{3}wt^{2}u-\frac{290}{3}wtu^{2}-\frac{200}{3}wu^{3}+\frac{1}{3}t^{4}+\frac{14}{3}t^{3}u+23t^{2}u^{2}+\frac{136}{3}tu^{3}+\frac{80}{3}u^{4}$ |
$\displaystyle Y$ | $=$ | $\displaystyle -\frac{496000}{243}ywt^{14}-\frac{178528000}{2187}ywt^{13}u-\frac{3178400000}{2187}ywt^{12}u^{2}-\frac{33140192000}{2187}ywt^{11}u^{3}-\frac{223275776000}{2187}ywt^{10}u^{4}-\frac{37185248000}{81}ywt^{9}u^{5}-\frac{2938850912000}{2187}ywt^{8}u^{6}-\frac{4696656800000}{2187}ywt^{7}u^{7}+\frac{131418608000}{243}ywt^{6}u^{8}+\frac{27568186496000}{2187}ywt^{5}u^{9}+\frac{75840129280000}{2187}ywt^{4}u^{10}+\frac{115607326720000}{2187}ywt^{3}u^{11}+\frac{105850572800000}{2187}ywt^{2}u^{12}+\frac{53694464000000}{2187}ywtu^{13}+\frac{1269760000000}{243}ywu^{14}+\frac{208000}{243}yt^{15}+\frac{74848000}{2187}yt^{14}u+\frac{1358176000}{2187}yt^{13}u^{2}+\frac{14764064000}{2187}yt^{12}u^{3}+\frac{106675072000}{2187}yt^{11}u^{4}+\frac{534931936000}{2187}yt^{10}u^{5}+\frac{207325088000}{243}yt^{9}u^{6}+\frac{1417711648000}{729}yt^{8}u^{7}+\frac{492282544000}{243}yt^{7}u^{8}-\frac{2752099904000}{729}yt^{6}u^{9}-\frac{47833710848000}{2187}yt^{5}u^{10}-\frac{111215713280000}{2187}yt^{4}u^{11}-\frac{159883816960000}{2187}yt^{3}u^{12}-\frac{146961612800000}{2187}yt^{2}u^{13}-\frac{79486976000000}{2187}ytu^{14}-\frac{2129920000000}{243}yu^{15}-\frac{8000}{81}wt^{15}-\frac{1360000}{243}wt^{14}u-\frac{863984000}{6561}wt^{13}u^{2}-\frac{11506640000}{6561}wt^{12}u^{3}-\frac{10854592000}{729}wt^{11}u^{4}-\frac{556244272000}{6561}wt^{10}u^{5}-\frac{2137191440000}{6561}wt^{9}u^{6}-\frac{5217832816000}{6561}wt^{8}u^{7}-\frac{5701523000000}{6561}wt^{7}u^{8}+\frac{10336314848000}{6561}wt^{6}u^{9}+\frac{59290384000000}{6561}wt^{5}u^{10}+\frac{43315417600000}{2187}wt^{4}u^{11}+\frac{167071078400000}{6561}wt^{3}u^{12}+\frac{126947532800000}{6561}wt^{2}u^{13}+\frac{1839104000000}{243}wtu^{14}+\frac{81920000000}{81}wu^{15}+\frac{4400}{81}t^{16}+\frac{666400}{243}t^{15}u+\frac{403220000}{6561}t^{14}u^{2}+\frac{593845600}{729}t^{13}u^{3}+\frac{192793600}{27}t^{12}u^{4}+\frac{286067194400}{6561}t^{11}u^{5}+\frac{1238242700000}{6561}t^{10}u^{6}+\frac{3723017140000}{6561}t^{9}u^{7}+\frac{6939674363600}{6561}t^{8}u^{8}+\frac{3126143603200}{6561}t^{7}u^{9}-\frac{26198139212800}{6561}t^{6}u^{10}-\frac{10795794227200}{729}t^{5}u^{11}-\frac{189819630592000}{6561}t^{4}u^{12}-\frac{236861997056000}{6561}t^{3}u^{13}-\frac{187120517120000}{6561}t^{2}u^{14}-\frac{3080192000000}{243}tu^{15}-\frac{180224000000}{81}u^{16}$ |
$\displaystyle Z$ | $=$ | $\displaystyle -t^{4}-\frac{86}{9}t^{3}u-\frac{301}{9}t^{2}u^{2}-\frac{584}{9}tu^{3}-80u^{4}$ |
Modular covers
This modular curve minimally covers the modular curves listed below.
Covered curve | Level | Index | Degree | Genus | Rank | Kernel decomposition |
---|---|---|---|---|---|---|
40.24.0-40.p.1.4 | $40$ | $6$ | $6$ | $0$ | $0$ | full Jacobian |
40.72.1-20.b.1.9 | $40$ | $2$ | $2$ | $1$ | $0$ | $1^{2}$ |
40.72.1-20.b.1.15 | $40$ | $2$ | $2$ | $1$ | $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.288.5-40.ex.1.8 | $40$ | $2$ | $2$ | $5$ | $1$ | $2$ |
40.288.5-40.ex.2.8 | $40$ | $2$ | $2$ | $5$ | $1$ | $2$ |
40.288.5-40.ey.1.4 | $40$ | $2$ | $2$ | $5$ | $1$ | $2$ |
40.288.5-40.ey.2.4 | $40$ | $2$ | $2$ | $5$ | $1$ | $2$ |
40.288.5-40.fe.1.4 | $40$ | $2$ | $2$ | $5$ | $1$ | $2$ |
40.288.5-40.fe.2.4 | $40$ | $2$ | $2$ | $5$ | $1$ | $2$ |
40.288.5-40.ff.1.4 | $40$ | $2$ | $2$ | $5$ | $1$ | $2$ |
40.288.5-40.ff.2.4 | $40$ | $2$ | $2$ | $5$ | $1$ | $2$ |
40.720.19-40.kd.1.6 | $40$ | $5$ | $5$ | $19$ | $7$ | $1^{16}$ |
80.288.7-80.ba.1.8 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.ba.1.14 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.bb.1.8 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.bb.1.15 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.bc.1.8 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.bc.1.15 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.bd.1.8 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.bd.1.14 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.be.1.10 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.be.1.16 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.be.2.10 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.be.2.16 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.bf.1.10 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.bf.1.16 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.bf.2.10 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
80.288.7-80.bf.2.16 | $80$ | $2$ | $2$ | $7$ | $?$ | not computed |
120.288.5-120.bml.1.6 | $120$ | $2$ | $2$ | $5$ | $?$ | not computed |
120.288.5-120.bml.2.6 | $120$ | $2$ | $2$ | $5$ | $?$ | not computed |
120.288.5-120.bmm.1.4 | $120$ | $2$ | $2$ | $5$ | $?$ | not computed |
120.288.5-120.bmm.2.4 | $120$ | $2$ | $2$ | $5$ | $?$ | not computed |
120.288.5-120.bms.1.6 | $120$ | $2$ | $2$ | $5$ | $?$ | not computed |
120.288.5-120.bms.2.6 | $120$ | $2$ | $2$ | $5$ | $?$ | not computed |
120.288.5-120.bmt.1.4 | $120$ | $2$ | $2$ | $5$ | $?$ | not computed |
120.288.5-120.bmt.2.4 | $120$ | $2$ | $2$ | $5$ | $?$ | not computed |
120.432.15-120.gd.1.23 | $120$ | $3$ | $3$ | $15$ | $?$ | not computed |
240.288.7-240.oc.1.24 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.oc.1.26 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.od.1.24 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.od.1.29 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.oe.1.16 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.oe.1.29 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.of.1.16 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.of.1.26 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.og.1.12 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.og.1.31 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.og.2.12 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.og.2.31 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.oh.1.12 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.oh.1.31 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.oh.2.12 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
240.288.7-240.oh.2.31 | $240$ | $2$ | $2$ | $7$ | $?$ | not computed |
280.288.5-280.nn.1.6 | $280$ | $2$ | $2$ | $5$ | $?$ | not computed |
280.288.5-280.nn.2.6 | $280$ | $2$ | $2$ | $5$ | $?$ | not computed |
280.288.5-280.no.1.4 | $280$ | $2$ | $2$ | $5$ | $?$ | not computed |
280.288.5-280.no.2.4 | $280$ | $2$ | $2$ | $5$ | $?$ | not computed |
280.288.5-280.nu.1.6 | $280$ | $2$ | $2$ | $5$ | $?$ | not computed |
280.288.5-280.nu.2.6 | $280$ | $2$ | $2$ | $5$ | $?$ | not computed |
280.288.5-280.nv.1.4 | $280$ | $2$ | $2$ | $5$ | $?$ | not computed |
280.288.5-280.nv.2.4 | $280$ | $2$ | $2$ | $5$ | $?$ | not computed |