$\GL_2(\Z/16\Z)$-generators: |
$\begin{bmatrix}3&8\\12&15\end{bmatrix}$, $\begin{bmatrix}5&6\\12&7\end{bmatrix}$, $\begin{bmatrix}9&10\\8&7\end{bmatrix}$, $\begin{bmatrix}11&4\\4&7\end{bmatrix}$ |
$\GL_2(\Z/16\Z)$-subgroup: |
$C_2^3.C_2^4$ |
Contains $-I$: |
yes |
Quadratic refinements: |
16.384.5-16.o.2.1, 16.384.5-16.o.2.2, 16.384.5-16.o.2.3, 16.384.5-16.o.2.4, 16.384.5-16.o.2.5, 16.384.5-16.o.2.6, 16.384.5-16.o.2.7, 16.384.5-16.o.2.8, 48.384.5-16.o.2.1, 48.384.5-16.o.2.2, 48.384.5-16.o.2.3, 48.384.5-16.o.2.4, 48.384.5-16.o.2.5, 48.384.5-16.o.2.6, 48.384.5-16.o.2.7, 48.384.5-16.o.2.8, 80.384.5-16.o.2.1, 80.384.5-16.o.2.2, 80.384.5-16.o.2.3, 80.384.5-16.o.2.4, 80.384.5-16.o.2.5, 80.384.5-16.o.2.6, 80.384.5-16.o.2.7, 80.384.5-16.o.2.8, 112.384.5-16.o.2.1, 112.384.5-16.o.2.2, 112.384.5-16.o.2.3, 112.384.5-16.o.2.4, 112.384.5-16.o.2.5, 112.384.5-16.o.2.6, 112.384.5-16.o.2.7, 112.384.5-16.o.2.8, 176.384.5-16.o.2.1, 176.384.5-16.o.2.2, 176.384.5-16.o.2.3, 176.384.5-16.o.2.4, 176.384.5-16.o.2.5, 176.384.5-16.o.2.6, 176.384.5-16.o.2.7, 176.384.5-16.o.2.8, 208.384.5-16.o.2.1, 208.384.5-16.o.2.2, 208.384.5-16.o.2.3, 208.384.5-16.o.2.4, 208.384.5-16.o.2.5, 208.384.5-16.o.2.6, 208.384.5-16.o.2.7, 208.384.5-16.o.2.8, 240.384.5-16.o.2.1, 240.384.5-16.o.2.2, 240.384.5-16.o.2.3, 240.384.5-16.o.2.4, 240.384.5-16.o.2.5, 240.384.5-16.o.2.6, 240.384.5-16.o.2.7, 240.384.5-16.o.2.8, 272.384.5-16.o.2.1, 272.384.5-16.o.2.2, 272.384.5-16.o.2.3, 272.384.5-16.o.2.4, 272.384.5-16.o.2.5, 272.384.5-16.o.2.6, 272.384.5-16.o.2.7, 272.384.5-16.o.2.8, 304.384.5-16.o.2.1, 304.384.5-16.o.2.2, 304.384.5-16.o.2.3, 304.384.5-16.o.2.4, 304.384.5-16.o.2.5, 304.384.5-16.o.2.6, 304.384.5-16.o.2.7, 304.384.5-16.o.2.8 |
Cyclic 16-isogeny field degree: |
$4$ |
Cyclic 16-torsion field degree: |
$8$ |
Full 16-torsion field degree: |
$128$ |
Canonical model in $\mathbb{P}^{ 4 }$ defined by 3 equations
$ 0 $ | $=$ | $ y w + z t $ |
| $=$ | $y^{2} + 2 z w - t^{2}$ |
| $=$ | $4 x^{2} - y^{2} - z^{2} - w^{2} - t^{2}$ |
Singular plane model Singular plane model
$ 0 $ | $=$ | $ 4 x^{4} y^{4} - 4 x^{2} y^{6} - 4 x^{2} y^{4} z^{2} - 4 x^{2} y^{2} z^{4} - 4 x^{2} z^{6} + y^{8} + \cdots + z^{8} $ |
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.
Canonical model |
$(1/2:0:0:1:0)$, $(-1/2:0:1:0:0)$, $(1/2:0:1:0:0)$, $(-1/2:0:0:1:0)$ |
Maps between models of this curve
Birational map from canonical model to plane model:
$\displaystyle X$ |
$=$ |
$\displaystyle x$ |
$\displaystyle Y$ |
$=$ |
$\displaystyle y$ |
$\displaystyle Z$ |
$=$ |
$\displaystyle z$ |
Maps to other modular curves
$j$-invariant map
of degree 192 from the canonical model of this modular curve to the modular curve
$X(1)$
:
$\displaystyle j$ |
$=$ |
$\displaystyle 2\,\frac{6144yz^{22}t-23364736yz^{18}t^{5}+1771206144yz^{14}t^{9}-2322865776yz^{10}t^{13}+123713912yz^{6}t^{17}-55553505yz^{2}t^{21}-1024z^{24}+384000z^{21}wt^{2}+1621504z^{20}t^{4}-150138240z^{17}wt^{6}-959198016z^{16}t^{8}+5593837248z^{13}wt^{10}+2796918624z^{12}t^{12}-2330491632z^{9}wt^{14}-675736268z^{8}t^{16}+504918156z^{5}wt^{18}-142746714z^{4}t^{20}-5221857zwt^{22}-1024w^{24}+3072w^{20}t^{4}-48768w^{16}t^{8}+137728w^{12}t^{12}-858732w^{8}t^{16}+2195484w^{4}t^{20}-4194304t^{24}}{t^{2}(4864yz^{18}t^{3}+214528yz^{14}t^{7}-988080yz^{10}t^{11}+10304yz^{6}t^{15}+1317yz^{2}t^{19}+1024z^{21}w+4608z^{20}t^{2}+72448z^{17}wt^{4}-66816z^{16}t^{6}-471808z^{13}wt^{8}-235904z^{12}t^{10}+1052464z^{9}wt^{12}-549848z^{8}t^{14}+6828z^{5}wt^{16}-2186z^{4}t^{18}+1317zwt^{20}-128w^{16}t^{6}+384w^{12}t^{10}-208w^{8}t^{14}-448w^{4}t^{18})}$ |
Hi
|
Cover information
Click on a modular curve in the diagram to see information about it.
|
This modular curve minimally covers the modular curves listed below.
This modular curve is minimally covered by the modular curves in the database listed below.