Invariants
Level: | $136$ | $\SL_2$-level: | $8$ | ||||
Index: | $24$ | $\PSL_2$-index: | $12$ | ||||
Genus: | $0 = 1 + \frac{ 12 }{12} - \frac{ 0 }{4} - \frac{ 0 }{3} - \frac{ 4 }{2}$ | ||||||
Cusps: | $4$ (of which $2$ are rational) | Cusp widths | $2^{2}\cdot4^{2}$ | Cusp orbits | $1^{2}\cdot2$ | ||
Elliptic points: | $0$ of order $2$ and $0$ of order $3$ | ||||||
$\Q$-gonality: | $1$ | ||||||
$\overline{\Q}$-gonality: | $1$ | ||||||
Rational cusps: | $2$ | ||||||
Rational CM points: | none |
Other labels
Cummins and Pauli (CP) label: | 4E0 |
Level structure
$\GL_2(\Z/136\Z)$-generators: | $\begin{bmatrix}5&8\\96&79\end{bmatrix}$, $\begin{bmatrix}17&92\\115&111\end{bmatrix}$, $\begin{bmatrix}59&40\\116&119\end{bmatrix}$, $\begin{bmatrix}91&8\\113&59\end{bmatrix}$ |
Contains $-I$: | no $\quad$ (see 68.12.0.g.1 for the level structure with $-I$) |
Cyclic 136-isogeny field degree: | $36$ |
Cyclic 136-torsion field degree: | $2304$ |
Full 136-torsion field degree: | $5013504$ |
Models
This modular curve is isomorphic to $\mathbb{P}^1$.
Rational points
This modular curve has infinitely many rational points, including 445 stored non-cuspidal points.
Maps to other modular curves
$j$-invariant map of degree 12 to the modular curve $X(1)$ :
$\displaystyle j$ | $=$ | $\displaystyle \frac{2^8}{17}\cdot\frac{(2x-5y)^{12}(33x^{4}-408x^{3}y+5287x^{2}y^{2}-87856xy^{3}+471937y^{4})^{3}}{(x-9y)^{2}(x+17y)^{2}(2x-5y)^{12}(4x^{2}-85xy+272y^{2})^{4}}$ |
Modular covers
This modular curve minimally covers the modular curves listed below.
Covered curve | Level | Index | Degree | Genus | Rank |
---|---|---|---|---|---|
8.12.0-4.c.1.6 | $8$ | $2$ | $2$ | $0$ | $0$ |
136.12.0-4.c.1.6 | $136$ | $2$ | $2$ | $0$ | $?$ |
This modular curve is minimally covered by the modular curves in the database listed below.
Covering curve | Level | Index | Degree | Genus |
---|---|---|---|---|
136.432.15-68.o.1.5 | $136$ | $18$ | $18$ | $15$ |
136.48.0-136.bi.1.7 | $136$ | $2$ | $2$ | $0$ |
136.48.0-136.bi.1.8 | $136$ | $2$ | $2$ | $0$ |
136.48.0-136.bj.1.10 | $136$ | $2$ | $2$ | $0$ |
136.48.0-136.bj.1.12 | $136$ | $2$ | $2$ | $0$ |
136.48.0-136.bs.1.4 | $136$ | $2$ | $2$ | $0$ |
136.48.0-136.bs.1.8 | $136$ | $2$ | $2$ | $0$ |
136.48.0-136.bt.1.6 | $136$ | $2$ | $2$ | $0$ |
136.48.0-136.bt.1.8 | $136$ | $2$ | $2$ | $0$ |