Invariants
Level: | $56$ | $\SL_2$-level: | $14$ | Newform level: | $3136$ | ||
Index: | $224$ | $\PSL_2$-index: | $112$ | ||||
Genus: | $5 = 1 + \frac{ 112 }{12} - \frac{ 0 }{4} - \frac{ 4 }{3} - \frac{ 8 }{2}$ | ||||||
Cusps: | $8$ (of which $2$ are rational) | Cusp widths | $14^{8}$ | Cusp orbits | $1^{2}\cdot6$ | ||
Elliptic points: | $0$ of order $2$ and $4$ of order $3$ | ||||||
Analytic rank: | $3$ | ||||||
$\Q$-gonality: | $4$ | ||||||
$\overline{\Q}$-gonality: | $4$ | ||||||
Rational cusps: | $2$ | ||||||
Rational CM points: | none |
Other labels
Cummins and Pauli (CP) label: | 14E5 |
Rouse, Sutherland, and Zureick-Brown (RSZB) label: | 56.224.5.2 |
Level structure
$\GL_2(\Z/56\Z)$-generators: | $\begin{bmatrix}11&9\\44&7\end{bmatrix}$, $\begin{bmatrix}15&12\\47&33\end{bmatrix}$, $\begin{bmatrix}35&39\\32&13\end{bmatrix}$ |
Contains $-I$: | no $\quad$ (see 56.112.5.bf.1 for the level structure with $-I$) |
Cyclic 56-isogeny field degree: | $12$ |
Cyclic 56-torsion field degree: | $144$ |
Full 56-torsion field degree: | $13824$ |
Jacobian
Conductor: | $2^{24}\cdot7^{10}$ |
Simple: | no |
Squarefree: | yes |
Decomposition: | $1^{3}\cdot2$ |
Newforms: | 49.2.a.a, 3136.2.a.br, 3136.2.a.h, 3136.2.a.v |
Models
Canonical model in $\mathbb{P}^{ 4 }$ defined by 3 equations
$ 0 $ | $=$ | $ x^{2} + 2 x y + 2 x z + x w - y^{2} - 2 y z - z^{2} + w^{2} $ |
$=$ | $x^{2} + x y + x z - x w + y^{2} + 2 y z - y w + z^{2} - z w - 2 w^{2} + 2 t^{2}$ | |
$=$ | $3 x^{2} - 2 x w + 2 y^{2} - 3 y z + y w + 2 z^{2} + z w - w^{2}$ |
Singular plane model Singular plane model
$ 0 $ | $=$ | $ x^{7} - 7 x^{6} z + 21 x^{5} z^{2} - 21 x^{4} z^{3} - 98 x^{3} y^{2} z^{2} + 35 x^{3} z^{4} + \cdots - 58 z^{7} $ |
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.
Canonical model |
---|
$(0:-1:0:1:0)$, $(0:0:-1:1:0)$ |
Maps to other modular curves
$j$-invariant map of degree 112 from the canonical model of this modular curve to the modular curve $X(1)$ :
$\displaystyle j$ | $=$ | $\displaystyle \frac{1}{2^7}\cdot\frac{(7w^{2}-6t^{2})^{3}(6117748xw^{7}-5243784xw^{5}t^{2}+1137584xw^{3}t^{4}-50400xwt^{6}-8115380yzw^{6}+5814536yzw^{4}t^{2}-924336yzw^{2}t^{4}+18144yzt^{6}+11764900yw^{7}-11126920yw^{5}t^{2}+2815344yw^{3}t^{4}-163296ywt^{6}+11764900zw^{7}-11126920zw^{5}t^{2}+2815344zw^{3}t^{4}-163296zwt^{6}+11762499w^{8}-20299426w^{6}t^{2}+9779812w^{4}t^{4}-1374296w^{2}t^{6}+26624t^{8})}{t^{14}}$ |
Map of degree 1 from the canonical model of this modular curve to the plane model of the modular curve 56.112.5.bf.1 :
$\displaystyle X$ | $=$ | $\displaystyle x-2y$ |
$\displaystyle Y$ | $=$ | $\displaystyle t$ |
$\displaystyle Z$ | $=$ | $\displaystyle z+w$ |
Equation of the image curve:
$0$ | $=$ | $ X^{7}-7X^{6}Z+21X^{5}Z^{2}-98X^{3}Y^{2}Z^{2}-21X^{4}Z^{3}+98X^{2}Y^{2}Z^{3}-196Y^{4}Z^{3}+35X^{3}Z^{4}+98XY^{2}Z^{4}-35X^{2}Z^{5}+196Y^{2}Z^{5}-49XZ^{6}-58Z^{7} $ |
Modular covers
This modular curve minimally covers the modular curves listed below.
Covered curve | Level | Index | Degree | Genus | Rank | Kernel decomposition |
---|---|---|---|---|---|---|
7.112.1-7.a.1.1 | $7$ | $2$ | $2$ | $1$ | $0$ | $1^{2}\cdot2$ |
56.32.0-56.d.1.1 | $56$ | $7$ | $7$ | $0$ | $0$ | full Jacobian |
56.32.0-56.d.1.2 | $56$ | $7$ | $7$ | $0$ | $0$ | full Jacobian |
56.112.1-7.a.1.3 | $56$ | $2$ | $2$ | $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 |
---|---|---|---|---|---|---|
56.672.17-56.cp.1.1 | $56$ | $3$ | $3$ | $17$ | $3$ | $2^{4}\cdot4$ |
56.672.17-56.cp.1.5 | $56$ | $3$ | $3$ | $17$ | $3$ | $2^{4}\cdot4$ |
56.672.17-56.cx.1.4 | $56$ | $3$ | $3$ | $17$ | $5$ | $1^{8}\cdot2^{2}$ |
56.672.17-56.em.1.1 | $56$ | $3$ | $3$ | $17$ | $9$ | $1^{8}\cdot2^{2}$ |
56.896.29-56.bf.1.4 | $56$ | $4$ | $4$ | $29$ | $13$ | $1^{16}\cdot2^{4}$ |