Properties

Label 40.32.1.b.1
Level $40$
Index $32$
Genus $1$
Analytic rank $1$
Cusps $4$
$\Q$-cusps $0$

Related objects

Downloads

Learn more

Invariants

Level: $40$ $\SL_2$-level: $8$ Newform level: $800$
Index: $32$ $\PSL_2$-index:$32$
Genus: $1 = 1 + \frac{ 32 }{12} - \frac{ 0 }{4} - \frac{ 2 }{3} - \frac{ 4 }{2}$
Cusps: $4$ (none of which are rational) Cusp widths $8^{4}$ Cusp orbits $4$
Elliptic points: $0$ of order $2$ and $2$ of order $3$
Analytic rank: $1$
$\Q$-gonality: $2$
$\overline{\Q}$-gonality: $2$
Rational cusps: $0$
Rational CM points: none

Other labels

Cummins and Pauli (CP) label: 8E1
Rouse, Sutherland, and Zureick-Brown (RSZB) label: 40.32.1.3

Level structure

$\GL_2(\Z/40\Z)$-generators: $\begin{bmatrix}17&8\\11&31\end{bmatrix}$, $\begin{bmatrix}31&25\\18&1\end{bmatrix}$, $\begin{bmatrix}38&15\\29&19\end{bmatrix}$
Contains $-I$: yes
Quadratic refinements: none in database
Cyclic 40-isogeny field degree: $72$
Cyclic 40-torsion field degree: $1152$
Full 40-torsion field degree: $23040$

Jacobian

Conductor: $2^{5}\cdot5^{2}$
Simple: yes
Squarefree: yes
Decomposition: $1$
Newforms: 800.2.a.d

Models

Embedded model Embedded model in $\mathbb{P}^{3}$

$ 0 $ $=$ $ x^{2} - 2 x w - 2 y^{2} + 2 y z + 2 z^{2} $
$=$ $3 x^{2} + 4 x y + 8 x z + 2 x w - 3 y^{2} - 2 y z - 2 z^{2} + 2 w^{2}$
Copy content Toggle raw display

Singular plane model Singular plane model

$ 0 $ $=$ $ 3 x^{4} + 24 x^{3} y + 4 x^{3} z + 12 x^{2} y^{2} + 24 x^{2} y z - 2 x^{2} z^{2} - 144 x y^{3} + \cdots + 9 z^{4} $
Copy content Toggle raw display

Rational points

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 z$
$\displaystyle Y$ $=$ $\displaystyle \frac{1}{4}y$
$\displaystyle Z$ $=$ $\displaystyle \frac{1}{2}w$

Maps to other modular curves

$j$-invariant map of degree 32 from the embedded model of this modular curve to the modular curve $X(1)$ :

$\displaystyle j$ $=$ $\displaystyle 2^2\,\frac{3038159005920000xz^{7}+17509032738248000xz^{6}w+42474322985744000xz^{5}w^{2}+56574847658488000xz^{4}w^{3}+44862418190174400xz^{3}w^{4}+21232522205607440xz^{2}w^{5}+5562336372789280xzw^{6}+622842076501888xw^{7}+3667083612314000y^{2}z^{6}+15163826591598000y^{2}z^{5}w+26326311163188100y^{2}z^{4}w^{2}+24550305121658800y^{2}z^{3}w^{3}+12962748654518400y^{2}z^{2}w^{4}+3672232040940460y^{2}zw^{5}+435783243236753y^{2}w^{6}-4824955607064000yz^{7}-20062658030744000yz^{6}w-35306033962781600yz^{5}w^{2}-33817150353499600yz^{4}w^{3}-18796695716150800yz^{3}w^{4}-5921856907574240yz^{2}w^{5}-929914768272088yzw^{6}-47874787301300yw^{7}-5507766164754000z^{8}-22439545351040000z^{7}w-37358975758745600z^{6}w^{2}-31362096957126400z^{5}w^{3}-12149167601901200z^{4}w^{4}+112980560953280z^{3}w^{5}+1875190612767512z^{2}w^{6}+618527592796320zw^{7}+63623336273173w^{8}}{8403506000000xz^{7}+47038145860500xz^{6}w+110806278359000xz^{5}w^{2}+143569767161300xz^{4}w^{3}+111056050916800xz^{3}w^{4}+51454500019600xz^{2}w^{5}+13251502416880xzw^{6}+1465806901224xw^{7}+10143103401250y^{2}z^{6}+40263891950625y^{2}z^{5}w+67493188591300y^{2}z^{4}w^{2}+61102204669900y^{2}z^{3}w^{3}+31489356620140y^{2}z^{2}w^{4}+8754966970370y^{2}zw^{5}+1025577009144y^{2}w^{6}-13345759717500yz^{7}-53283729439000yz^{6}w-90598645801300yz^{5}w^{2}-84329361587200yz^{4}w^{3}-45804733047840yz^{3}w^{4}-14180695399600yz^{2}w^{5}-2200844101064yzw^{6}-112669276800yw^{7}-15234404959375z^{8}-59545410023000z^{7}w-95489948772300z^{6}w^{2}-77379557274250z^{5}w^{3}-28740581821640z^{4}w^{4}+753202141720z^{3}w^{5}+4577911501256z^{2}w^{6}+1472086343980zw^{7}+149733050464w^{8}}$

Modular covers

Sorry, your browser does not support the nearby lattice.

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.

Covered curve Level Index Degree Genus Rank Kernel decomposition
$X_{\mathrm{ns}}^+(8)$ $8$ $2$ $2$ $0$ $0$ full Jacobian
40.8.0.a.1 $40$ $4$ $4$ $0$ $0$ full Jacobian

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.96.3.ce.1 $40$ $3$ $3$ $3$ $2$ $1^{2}$
40.160.11.f.1 $40$ $5$ $5$ $11$ $6$ $1^{8}\cdot2$
40.192.13.n.1 $40$ $6$ $6$ $13$ $4$ $1^{10}\cdot2$
40.320.23.f.1 $40$ $10$ $10$ $23$ $12$ $1^{18}\cdot2^{2}$
80.128.7.b.1 $80$ $4$ $4$ $7$ $?$ not computed
120.96.7.h.1 $120$ $3$ $3$ $7$ $?$ not computed
120.128.7.b.1 $120$ $4$ $4$ $7$ $?$ not computed
280.256.17.b.1 $280$ $8$ $8$ $17$ $?$ not computed