Invariants
| Level: | $36$ | $\SL_2$-level: | $36$ | Newform level: | $216$ | ||
| Index: | $144$ | $\PSL_2$-index: | $72$ | ||||
| Genus: | $5 = 1 + \frac{ 72 }{12} - \frac{ 0 }{4} - \frac{ 0 }{3} - \frac{ 4 }{2}$ | ||||||
| Cusps: | $4$ (all of which are rational) | Cusp widths | $6\cdot12\cdot18\cdot36$ | Cusp orbits | $1^{4}$ | ||
| Elliptic points: | $0$ of order $2$ and $0$ of order $3$ | ||||||
| Analytic rank: | $1$ | ||||||
| $\Q$-gonality: | $2$ | ||||||
| $\overline{\Q}$-gonality: | $2$ | ||||||
| Rational cusps: | $4$ | ||||||
| Rational CM points: | none |
Other labels
| Cummins and Pauli (CP) label: | 36B5 |
| Rouse, Sutherland, and Zureick-Brown (RSZB) label: | 36.144.5.93 |
Level structure
| $\GL_2(\Z/36\Z)$-generators: | $\begin{bmatrix}11&31\\30&23\end{bmatrix}$, $\begin{bmatrix}23&6\\0&19\end{bmatrix}$, $\begin{bmatrix}25&35\\6&19\end{bmatrix}$ |
| Contains $-I$: | no $\quad$ (see 36.72.5.j.1 for the level structure with $-I$) |
| Cyclic 36-isogeny field degree: | $6$ |
| Cyclic 36-torsion field degree: | $72$ |
| Full 36-torsion field degree: | $2592$ |
Jacobian
| Conductor: | $2^{9}\cdot3^{13}$ |
| Simple: | no |
| Squarefree: | no |
| Decomposition: | $1^{5}$ |
| Newforms: | 24.2.a.a, 27.2.a.a$^{2}$, 216.2.a.a, 216.2.a.d |
Models
Embedded model Embedded model in $\mathbb{P}^{6}$
| $ 0 $ | $=$ | $ - y t^{2} + w^{2} t $ |
| $=$ | $ - x t^{2} + w^{3}$ | |
| $=$ | $ - x t^{2} + y w t$ | |
| $=$ | $ - y t v + w^{2} v$ | |
| $=$ | $\cdots$ |
Singular plane model Singular plane model
| $ 0 $ | $=$ | $ 4 x^{11} + 4 x^{6} y z^{4} + x^{5} z^{6} - 3 x y^{2} z^{8} + y z^{10} $ |
Weierstrass model Weierstrass model
| $ y^{2} + x^{6} y $ | $=$ | $ 5x^{6} + 16 $ |
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:0)$, $(0:0:1:0:0:1:0)$, $(0:0:-1:0:0:1:0)$, $(0:0:-1/2:0:0:1:0)$ |
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 -3^3\,\frac{672xt^{4}v^{2}+492xtv^{5}-1818xu^{2}v^{4}+794yu^{3}v^{3}+42z^{2}u^{5}-32zu^{6}-564zv^{6}+96wt^{5}v+444wt^{2}v^{4}-361wu^{4}v^{2}-51tu^{5}v-26u^{7}-282uv^{6}}{v^{2}(3xu^{2}v^{2}+2yu^{3}v+2zv^{4}-wu^{4}-uv^{4})}$ |
Map of degree 1 from the embedded model of this modular curve to the plane model of the modular curve 36.72.5.j.1 :
| $\displaystyle X$ | $=$ | $\displaystyle w$ |
| $\displaystyle Y$ | $=$ | $\displaystyle \frac{1}{2}u$ |
| $\displaystyle Z$ | $=$ | $\displaystyle t$ |
Equation of the image curve:
| $0$ | $=$ | $ 4X^{11}+4X^{6}YZ^{4}+X^{5}Z^{6}-3XY^{2}Z^{8}+YZ^{10} $ |
Map of degree 1 from the embedded model of this modular curve to the Weierstrass model of the modular curve 36.72.5.j.1 :
| $\displaystyle X$ | $=$ | $\displaystyle t$ |
| $\displaystyle Y$ | $=$ | $\displaystyle -2w^{6}+\frac{3}{2}wt^{4}u-t^{6}$ |
| $\displaystyle Z$ | $=$ | $\displaystyle -w$ |
Modular covers
This modular curve minimally covers the modular curves listed below.
| Covered curve | Level | Index | Degree | Genus | Rank | Kernel decomposition |
|---|---|---|---|---|---|---|
| 12.48.1-12.k.1.2 | $12$ | $3$ | $3$ | $1$ | $0$ | $1^{4}$ |
| 36.72.2-18.c.1.1 | $36$ | $2$ | $2$ | $2$ | $0$ | $1^{3}$ |
| 36.72.2-18.c.1.3 | $36$ | $2$ | $2$ | $2$ | $0$ | $1^{3}$ |
This modular curve is minimally covered by the modular curves in the database listed below.
| Covering curve | Level | Index | Degree | Genus | Rank | Kernel decomposition |
|---|---|---|---|---|---|---|
| 36.288.9-36.b.1.10 | $36$ | $2$ | $2$ | $9$ | $1$ | $1^{4}$ |
| 36.288.9-36.i.1.4 | $36$ | $2$ | $2$ | $9$ | $3$ | $1^{4}$ |
| 36.288.9-36.cd.1.1 | $36$ | $2$ | $2$ | $9$ | $1$ | $1^{4}$ |
| 36.288.9-36.cf.1.1 | $36$ | $2$ | $2$ | $9$ | $3$ | $1^{4}$ |
| 36.432.13-36.bl.1.3 | $36$ | $3$ | $3$ | $13$ | $1$ | $1^{8}$ |
| 36.432.13-36.bz.1.4 | $36$ | $3$ | $3$ | $13$ | $1$ | $2^{2}\cdot4$ |
| 36.432.13-36.bz.2.3 | $36$ | $3$ | $3$ | $13$ | $1$ | $2^{2}\cdot4$ |
| 36.432.13-36.cb.1.4 | $36$ | $3$ | $3$ | $13$ | $3$ | $1^{4}\cdot2^{2}$ |
| 72.288.9-72.s.1.4 | $72$ | $2$ | $2$ | $9$ | $?$ | not computed |
| 72.288.9-72.ba.1.4 | $72$ | $2$ | $2$ | $9$ | $?$ | not computed |
| 72.288.9-72.ew.1.4 | $72$ | $2$ | $2$ | $9$ | $?$ | not computed |
| 72.288.9-72.fa.1.4 | $72$ | $2$ | $2$ | $9$ | $?$ | not computed |
| 72.288.11-72.a.1.4 | $72$ | $2$ | $2$ | $11$ | $?$ | not computed |
| 72.288.11-72.b.1.14 | $72$ | $2$ | $2$ | $11$ | $?$ | not computed |
| 72.288.11-72.cc.1.4 | $72$ | $2$ | $2$ | $11$ | $?$ | not computed |
| 72.288.11-72.cd.1.7 | $72$ | $2$ | $2$ | $11$ | $?$ | not computed |
| 72.288.11-72.cy.1.7 | $72$ | $2$ | $2$ | $11$ | $?$ | not computed |
| 72.288.11-72.cz.1.4 | $72$ | $2$ | $2$ | $11$ | $?$ | not computed |
| 72.288.11-72.dc.1.15 | $72$ | $2$ | $2$ | $11$ | $?$ | not computed |
| 72.288.11-72.dd.1.4 | $72$ | $2$ | $2$ | $11$ | $?$ | not computed |
| 180.288.9-180.dw.1.6 | $180$ | $2$ | $2$ | $9$ | $?$ | not computed |
| 180.288.9-180.dx.1.4 | $180$ | $2$ | $2$ | $9$ | $?$ | not computed |
| 180.288.9-180.ea.1.2 | $180$ | $2$ | $2$ | $9$ | $?$ | not computed |
| 180.288.9-180.eb.1.2 | $180$ | $2$ | $2$ | $9$ | $?$ | not computed |
| 252.288.9-252.hp.1.5 | $252$ | $2$ | $2$ | $9$ | $?$ | not computed |
| 252.288.9-252.hq.1.4 | $252$ | $2$ | $2$ | $9$ | $?$ | not computed |
| 252.288.9-252.ht.1.5 | $252$ | $2$ | $2$ | $9$ | $?$ | not computed |
| 252.288.9-252.hu.1.3 | $252$ | $2$ | $2$ | $9$ | $?$ | not computed |
| 252.432.13-252.fb.1.8 | $252$ | $3$ | $3$ | $13$ | $?$ | not computed |
| 252.432.13-252.fb.2.8 | $252$ | $3$ | $3$ | $13$ | $?$ | not computed |
| 252.432.13-252.fd.1.8 | $252$ | $3$ | $3$ | $13$ | $?$ | not computed |
| 252.432.13-252.fd.2.8 | $252$ | $3$ | $3$ | $13$ | $?$ | not computed |
| 252.432.13-252.ff.1.8 | $252$ | $3$ | $3$ | $13$ | $?$ | not computed |
| 252.432.13-252.ff.2.8 | $252$ | $3$ | $3$ | $13$ | $?$ | not computed |