Invariants
| Level: | $40$ | $\SL_2$-level: | $40$ | Newform level: | $1600$ | ||
| Index: | $480$ | $\PSL_2$-index: | $240$ | ||||
| Genus: | $16 = 1 + \frac{ 240 }{12} - \frac{ 0 }{4} - \frac{ 0 }{3} - \frac{ 10 }{2}$ | ||||||
| Cusps: | $10$ (of which $2$ are rational) | Cusp widths | $20^{8}\cdot40^{2}$ | Cusp orbits | $1^{2}\cdot2^{2}\cdot4$ | ||
| Elliptic points: | $0$ of order $2$ and $0$ of order $3$ | ||||||
| Analytic rank: | $4$ | ||||||
| $\Q$-gonality: | $5$ | ||||||
| $\overline{\Q}$-gonality: | $5$ | ||||||
| Rational cusps: | $2$ | ||||||
| Rational CM points: | none |
Other labels
| Cummins and Pauli (CP) label: | 40A16 |
| Rouse, Sutherland, and Zureick-Brown (RSZB) label: | 40.480.16.148 |
Level structure
| $\GL_2(\Z/40\Z)$-generators: | $\begin{bmatrix}17&12\\4&3\end{bmatrix}$, $\begin{bmatrix}17&24\\36&33\end{bmatrix}$, $\begin{bmatrix}31&20\\16&7\end{bmatrix}$, $\begin{bmatrix}33&24\\2&7\end{bmatrix}$ |
| Contains $-I$: | no $\quad$ (see 40.240.16.j.2 for the level structure with $-I$) |
| Cyclic 40-isogeny field degree: | $12$ |
| Cyclic 40-torsion field degree: | $192$ |
| Full 40-torsion field degree: | $1536$ |
Jacobian
| Conductor: | $2^{62}\cdot5^{32}$ |
| Simple: | no |
| Squarefree: | no |
| Decomposition: | $1^{8}\cdot2^{4}$ |
| Newforms: | 50.2.a.b$^{3}$, 200.2.a.e, 200.2.d.a, 200.2.d.c, 800.2.d.a, 800.2.d.c, 1600.2.a.a, 1600.2.a.i, 1600.2.a.q, 1600.2.a.y |
Rational points
This modular curve has 2 rational cusps but no known non-cuspidal rational points.
Modular covers
The following modular covers realize this modular curve as a fiber product over $X(1)$.
| Factor curve | Level | Index | Degree | Genus | Rank | Kernel decomposition |
|---|---|---|---|---|---|---|
| $X_{S_4}(5)$ | $5$ | $96$ | $48$ | $0$ | $0$ | full Jacobian |
| 8.96.0-8.e.1.8 | $8$ | $5$ | $5$ | $0$ | $0$ | full Jacobian |
This modular curve minimally covers the modular curves listed below.
| Covered curve | Level | Index | Degree | Genus | Rank | Kernel decomposition |
|---|---|---|---|---|---|---|
| 8.96.0-8.e.1.8 | $8$ | $5$ | $5$ | $0$ | $0$ | full Jacobian |
| 40.240.8-40.c.1.19 | $40$ | $2$ | $2$ | $8$ | $2$ | $2^{4}$ |
| 40.240.8-40.c.1.20 | $40$ | $2$ | $2$ | $8$ | $2$ | $2^{4}$ |
| 40.240.8-40.k.2.9 | $40$ | $2$ | $2$ | $8$ | $2$ | $1^{4}\cdot2^{2}$ |
| 40.240.8-40.k.2.21 | $40$ | $2$ | $2$ | $8$ | $2$ | $1^{4}\cdot2^{2}$ |
| 40.240.8-40.n.2.12 | $40$ | $2$ | $2$ | $8$ | $0$ | $1^{4}\cdot2^{2}$ |
| 40.240.8-40.n.2.22 | $40$ | $2$ | $2$ | $8$ | $0$ | $1^{4}\cdot2^{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.960.33-40.by.2.8 | $40$ | $2$ | $2$ | $33$ | $11$ | $1^{7}\cdot2^{5}$ |
| 40.960.33-40.cz.2.5 | $40$ | $2$ | $2$ | $33$ | $7$ | $1^{7}\cdot2^{5}$ |
| 40.960.33-40.dd.2.6 | $40$ | $2$ | $2$ | $33$ | $8$ | $1^{7}\cdot2^{5}$ |
| 40.960.33-40.df.2.6 | $40$ | $2$ | $2$ | $33$ | $8$ | $1^{7}\cdot2^{5}$ |
| 40.960.33-40.dl.2.2 | $40$ | $2$ | $2$ | $33$ | $7$ | $1^{7}\cdot2^{5}$ |
| 40.960.33-40.dn.2.7 | $40$ | $2$ | $2$ | $33$ | $7$ | $1^{7}\cdot2^{5}$ |
| 40.960.33-40.dq.2.1 | $40$ | $2$ | $2$ | $33$ | $11$ | $1^{7}\cdot2^{5}$ |
| 40.960.33-40.dt.2.8 | $40$ | $2$ | $2$ | $33$ | $7$ | $1^{7}\cdot2^{5}$ |
| 40.1440.46-40.t.2.11 | $40$ | $3$ | $3$ | $46$ | $8$ | $1^{14}\cdot4^{4}$ |
| 40.1920.61-40.bn.2.10 | $40$ | $4$ | $4$ | $61$ | $13$ | $1^{21}\cdot2^{4}\cdot4^{4}$ |