$\GL_2(\Z/16\Z)$-generators: |
$\begin{bmatrix}1&14\\8&15\end{bmatrix}$, $\begin{bmatrix}3&15\\0&9\end{bmatrix}$, $\begin{bmatrix}9&6\\0&1\end{bmatrix}$, $\begin{bmatrix}13&5\\8&1\end{bmatrix}$ |
$\GL_2(\Z/16\Z)$-subgroup: |
$\OD_{32}:C_2^3$ |
Contains $-I$: |
yes |
Quadratic refinements: |
16.192.1-16.s.2.1, 16.192.1-16.s.2.2, 16.192.1-16.s.2.3, 16.192.1-16.s.2.4, 16.192.1-16.s.2.5, 16.192.1-16.s.2.6, 32.192.1-16.s.2.1, 32.192.1-16.s.2.2, 32.192.1-16.s.2.3, 32.192.1-16.s.2.4, 48.192.1-16.s.2.1, 48.192.1-16.s.2.2, 48.192.1-16.s.2.3, 48.192.1-16.s.2.4, 48.192.1-16.s.2.5, 48.192.1-16.s.2.6, 80.192.1-16.s.2.1, 80.192.1-16.s.2.2, 80.192.1-16.s.2.3, 80.192.1-16.s.2.4, 80.192.1-16.s.2.5, 80.192.1-16.s.2.6, 96.192.1-16.s.2.1, 96.192.1-16.s.2.2, 96.192.1-16.s.2.3, 96.192.1-16.s.2.4, 112.192.1-16.s.2.1, 112.192.1-16.s.2.2, 112.192.1-16.s.2.3, 112.192.1-16.s.2.4, 112.192.1-16.s.2.5, 112.192.1-16.s.2.6, 160.192.1-16.s.2.1, 160.192.1-16.s.2.2, 160.192.1-16.s.2.3, 160.192.1-16.s.2.4, 176.192.1-16.s.2.1, 176.192.1-16.s.2.2, 176.192.1-16.s.2.3, 176.192.1-16.s.2.4, 176.192.1-16.s.2.5, 176.192.1-16.s.2.6, 208.192.1-16.s.2.1, 208.192.1-16.s.2.2, 208.192.1-16.s.2.3, 208.192.1-16.s.2.4, 208.192.1-16.s.2.5, 208.192.1-16.s.2.6, 224.192.1-16.s.2.1, 224.192.1-16.s.2.2, 224.192.1-16.s.2.3, 224.192.1-16.s.2.4, 240.192.1-16.s.2.1, 240.192.1-16.s.2.2, 240.192.1-16.s.2.3, 240.192.1-16.s.2.4, 240.192.1-16.s.2.5, 240.192.1-16.s.2.6, 272.192.1-16.s.2.1, 272.192.1-16.s.2.2, 272.192.1-16.s.2.3, 272.192.1-16.s.2.4, 272.192.1-16.s.2.5, 272.192.1-16.s.2.6, 304.192.1-16.s.2.1, 304.192.1-16.s.2.2, 304.192.1-16.s.2.3, 304.192.1-16.s.2.4, 304.192.1-16.s.2.5, 304.192.1-16.s.2.6 |
Cyclic 16-isogeny field degree: |
$2$ |
Cyclic 16-torsion field degree: |
$8$ |
Full 16-torsion field degree: |
$256$ |
Embedded model Embedded model in $\mathbb{P}^{3}$
$ 0 $ | $=$ | $ 2 x^{2} + 2 y^{2} - w^{2} $ |
| $=$ | $2 x^{2} - y^{2} + 2 y w + 2 z^{2} - w^{2}$ |
Singular plane model Singular plane model
$ 0 $ | $=$ | $ x^{4} - 2 x^{2} y^{2} - 12 x^{2} z^{2} + 4 z^{4} $ |
This modular curve has real points and $\Q_p$ points for $p$ not dividing the level, but no known rational points.
Maps between models of this curve
Birational map from embedded model to plane model:
$\displaystyle X$ |
$=$ |
$\displaystyle y$ |
$\displaystyle Y$ |
$=$ |
$\displaystyle 2x$ |
$\displaystyle Z$ |
$=$ |
$\displaystyle z$ |
Maps to other modular curves
$j$-invariant map
of degree 96 from the embedded model of this modular curve to the modular curve
$X(1)$
:
$\displaystyle j$ |
$=$ |
$\displaystyle \frac{2^8}{3^{16}}\cdot\frac{525931019712yz^{22}w+17448204777120yz^{20}w^{3}-1986344744544yz^{18}w^{5}-135039533179248yz^{16}w^{7}+39319410531456yz^{14}w^{9}+234142912377792yz^{12}w^{11}+27060281478720yz^{10}w^{13}-136890066083040yz^{8}w^{15}-89883199990080yz^{6}w^{17}-23935903215840yz^{4}w^{19}-2965510133088yz^{2}w^{21}-141214768240yw^{23}-18391932981z^{24}-3886800750288z^{22}w^{2}-27945863642412z^{20}w^{4}+61060795493400z^{18}w^{6}+130289309349489z^{16}w^{8}-157569205524192z^{14}w^{10}-222792773014872z^{12}w^{12}+51702256914480z^{10}w^{14}+156201185513457z^{8}w^{16}+80045237798640z^{6}w^{18}+18710956791828z^{4}w^{20}+2118221523608z^{2}w^{22}+94143178827w^{24}}{z^{16}(12096yz^{6}w-4896yz^{4}w^{3}-16416yz^{2}w^{5}-3280yw^{7}-3456z^{8}-12528z^{6}w^{2}+14748z^{4}w^{4}+14216z^{2}w^{6}+2187w^{8})}$ |
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.