Properties

Label 20.240.5-20.u.1.4
Level $20$
Index $240$
Genus $5$
Analytic rank $0$
Cusps $12$
$\Q$-cusps $2$

Related objects

Downloads

Learn more

Invariants

Level: $20$ $\SL_2$-level: $10$ Newform level: $400$
Index: $240$ $\PSL_2$-index:$120$
Genus: $5 = 1 + \frac{ 120 }{12} - \frac{ 0 }{4} - \frac{ 0 }{3} - \frac{ 12 }{2}$
Cusps: $12$ (of which $2$ are rational) Cusp widths $10^{12}$ Cusp orbits $1^{2}\cdot2\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: $2$
Rational CM points: none

Other labels

Cummins and Pauli (CP) label: 10A5
Rouse, Sutherland, and Zureick-Brown (RSZB) label: 20.240.5.1

Level structure

$\GL_2(\Z/20\Z)$-generators: $\begin{bmatrix}11&3\\0&7\end{bmatrix}$, $\begin{bmatrix}16&1\\5&13\end{bmatrix}$
$\GL_2(\Z/20\Z)$-subgroup: $C_2.\GL(2,\mathbb{Z}/4)$
Contains $-I$: no $\quad$ (see 20.120.5.u.1 for the level structure with $-I$)
Cyclic 20-isogeny field degree: $6$
Cyclic 20-torsion field degree: $12$
Full 20-torsion field degree: $192$

Jacobian

Conductor: $2^{20}\cdot5^{9}$
Simple: no
Squarefree: no
Decomposition: $1^{3}\cdot2$
Newforms: 80.2.a.b, 400.2.a.c$^{2}$, 400.2.c.b

Models

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

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

Singular plane model Singular plane model

$ 0 $ $=$ $ 11 x^{7} + 53 x^{6} z - 2 x^{5} y^{2} + 81 x^{5} z^{2} - 15 x^{4} y^{2} z + 40 x^{4} z^{3} + \cdots - 11 z^{7} $
Copy content Toggle raw display

Weierstrass model Weierstrass model

$ y^{2} $ $=$ $ 5x^{11} + 55x^{6} - 5x $
Copy content Toggle raw display

Rational points

This modular curve has 2 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:0:0:1)$, $(-1:-1:-1:-1:-1:1:0)$

Maps to other modular curves

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

$\displaystyle j$ $=$ $\displaystyle -\frac{5814056250xy^{10}+14573384375xy^{8}v^{2}+60880271250xy^{6}v^{4}+332536023875xy^{4}v^{6}+2052753903225xy^{2}v^{8}+11587078328190625xu^{10}-11395200722456875xu^{8}v^{2}-4502529889552875xu^{6}v^{4}-262644569532575xu^{4}v^{6}+131602816058900xu^{2}v^{8}+13614065619579xv^{10}+2220771875y^{11}+34402365625y^{9}v^{2}+159492288125y^{7}v^{4}+873007423000y^{5}v^{6}+5387544410775y^{3}v^{8}+673063680387500yu^{10}-6278737352490000yu^{8}v^{2}-1617690977147750yu^{6}v^{4}-153856970561550yu^{4}v^{6}+55296248309350yu^{2}v^{8}+35724624025056yv^{10}-9297297070309375ztu^{9}+4760534218004375ztu^{7}v^{2}+3658992644163750ztu^{5}v^{4}+250361723075475ztu^{3}v^{6}-18131056181825ztuv^{8}+2206724919306250zu^{10}+10613478148731250zu^{8}v^{2}-1640460218827000zu^{6}v^{4}-529878511912550zu^{4}v^{6}-110693124466150zu^{2}v^{8}+16829686523250zv^{10}+4658754927971875wtu^{9}+9130915921098750wtu^{7}v^{2}+1456673368762000wtu^{5}v^{4}+4346824965325wtu^{3}v^{6}-27553424856775wtuv^{8}-2452029995384375wu^{10}+743583278651250wu^{8}v^{2}+700596018691000wu^{6}v^{4}+462146861514750wu^{4}v^{6}-30090345647375wu^{2}v^{8}-6084138845375wv^{10}+2452030000462500t^{2}u^{9}-3179000737010625t^{2}u^{7}v^{2}-763079810332250t^{2}u^{5}v^{4}-52432601229625t^{2}u^{3}v^{6}+50246317909250t^{2}uv^{8}-2452030016868750tu^{10}+1756844091620000tu^{8}v^{2}-134224088942750tu^{6}v^{4}+72527289951625tu^{4}v^{6}-47296898351000tu^{2}v^{8}-2187757316875tv^{10}+11749327092256250u^{11}-8834794308371250u^{9}v^{2}-1229610150853500u^{7}v^{4}+552471638167525u^{5}v^{6}+113444217209925u^{3}v^{8}-26047775380075uv^{10}}{v^{10}(2x+3y+4z-3w+8t-11u)}$

Map of degree 1 from the embedded model of this modular curve to the plane model of the modular curve 20.120.5.u.1 :

$\displaystyle X$ $=$ $\displaystyle x$
$\displaystyle Y$ $=$ $\displaystyle v$
$\displaystyle Z$ $=$ $\displaystyle y$

Equation of the image curve:

$0$ $=$ $ 11X^{7}-2X^{5}Y^{2}+53X^{6}Z-15X^{4}Y^{2}Z+81X^{5}Z^{2}-70X^{3}Y^{2}Z^{2}+40X^{4}Z^{3}-180X^{2}Y^{2}Z^{3}-40X^{3}Z^{4}-235XY^{2}Z^{4}-81X^{2}Z^{5}-123Y^{2}Z^{5}-53XZ^{6}-11Z^{7} $

Map of degree 1 from the embedded model of this modular curve to the Weierstrass model of the modular curve 20.120.5.u.1 :

$\displaystyle X$ $=$ $\displaystyle -\frac{2}{5}x-\frac{3}{5}y$
$\displaystyle Y$ $=$ $\displaystyle \frac{2}{625}x^{5}v+\frac{3}{125}x^{4}yv+\frac{14}{125}x^{3}y^{2}v+\frac{36}{125}x^{2}y^{3}v+\frac{47}{125}xy^{4}v+\frac{123}{625}y^{5}v$
$\displaystyle Z$ $=$ $\displaystyle -\frac{1}{5}x+\frac{1}{5}y$

Modular covers

This modular curve minimally covers the modular curves listed below.

Covered curve Level Index Degree Genus Rank Kernel decomposition
$X_{\mathrm{arith}}(5)$ $5$ $2$ $2$ $0$ $0$ full Jacobian
20.120.0-5.a.1.3 $20$ $2$ $2$ $0$ $0$ full Jacobian
20.48.1-20.e.1.4 $20$ $5$ $5$ $1$ $0$ $1^{2}\cdot2$
20.48.1-20.e.2.4 $20$ $5$ $5$ $1$ $0$ $1^{2}\cdot2$

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

Covering curve Level Index Degree Genus Rank Kernel decomposition
20.720.13-20.s.1.6 $20$ $3$ $3$ $13$ $1$ $1^{4}\cdot2^{2}$
20.960.29-20.bs.1.4 $20$ $4$ $4$ $29$ $2$ $1^{12}\cdot2^{6}$
60.720.25-60.zd.1.14 $60$ $3$ $3$ $25$ $4$ $1^{8}\cdot2^{6}$
60.960.29-60.mj.1.13 $60$ $4$ $4$ $29$ $3$ $1^{12}\cdot2^{6}$