Properties

Label 80.2.a
Level $80$
Weight $2$
Character orbit 80.a
Rep. character $\chi_{80}(1,\cdot)$
Character field $\Q$
Dimension $2$
Newform subspaces $2$
Sturm bound $24$
Trace bound $3$

Related objects

Downloads

Learn more about

Defining parameters

Level: \( N \) \(=\) \( 80 = 2^{4} \cdot 5 \)
Weight: \( k \) \(=\) \( 2 \)
Character orbit: \([\chi]\) \(=\) 80.a (trivial)
Character field: \(\Q\)
Newform subspaces: \( 2 \)
Sturm bound: \(24\)
Trace bound: \(3\)
Distinguishing \(T_p\): \(3\)

Dimensions

The following table gives the dimensions of various subspaces of \(M_{2}(\Gamma_0(80))\).

Total New Old
Modular forms 18 2 16
Cusp forms 7 2 5
Eisenstein series 11 0 11

The following table gives the dimensions of the cuspidal new subspaces with specified eigenvalues for the Atkin-Lehner operators and the Fricke involution.

\(2\)\(5\)FrickeDim.
\(+\)\(-\)\(-\)\(1\)
\(-\)\(+\)\(-\)\(1\)
Plus space\(+\)\(0\)
Minus space\(-\)\(2\)

Trace form

\( 2q + 2q^{3} + 2q^{7} - 2q^{9} + O(q^{10}) \) \( 2q + 2q^{3} + 2q^{7} - 2q^{9} - 4q^{11} - 2q^{15} - 4q^{17} - 4q^{21} - 10q^{23} + 2q^{25} - 4q^{27} + 4q^{29} + 12q^{31} + 6q^{35} + 8q^{37} + 4q^{39} + 18q^{43} - 4q^{45} + 2q^{47} + 6q^{49} - 12q^{51} - 4q^{55} + 8q^{57} - 8q^{59} - 14q^{63} - 4q^{65} - 10q^{67} - 12q^{69} + 12q^{71} - 4q^{73} + 2q^{75} - 16q^{77} - 8q^{79} - 2q^{81} + 10q^{83} + 8q^{85} + 12q^{87} - 12q^{89} - 12q^{91} + 8q^{93} - 8q^{95} - 12q^{97} + 12q^{99} + O(q^{100}) \)

Decomposition of \(S_{2}^{\mathrm{new}}(\Gamma_0(80))\) into newform subspaces

Label Dim. \(A\) Field CM Traces A-L signs $q$-expansion
\(a_2\) \(a_3\) \(a_5\) \(a_7\) 2 5
80.2.a.a \(1\) \(0.639\) \(\Q\) None \(0\) \(0\) \(1\) \(4\) \(+\) \(-\) \(q+q^{5}+4q^{7}-3q^{9}-4q^{11}-2q^{13}+\cdots\)
80.2.a.b \(1\) \(0.639\) \(\Q\) None \(0\) \(2\) \(-1\) \(-2\) \(-\) \(+\) \(q+2q^{3}-q^{5}-2q^{7}+q^{9}+2q^{13}+\cdots\)

Decomposition of \(S_{2}^{\mathrm{old}}(\Gamma_0(80))\) into lower level spaces

\( S_{2}^{\mathrm{old}}(\Gamma_0(80)) \cong \) \(S_{2}^{\mathrm{new}}(\Gamma_0(20))\)\(^{\oplus 3}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_0(40))\)\(^{\oplus 2}\)

Hecke characteristic polynomials

$p$ $F_p(T)$
$2$ 1
$3$ (\( 1 + 3 T^{2} \))(\( 1 - 2 T + 3 T^{2} \))
$5$ (\( 1 - T \))(\( 1 + T \))
$7$ (\( 1 - 4 T + 7 T^{2} \))(\( 1 + 2 T + 7 T^{2} \))
$11$ (\( 1 + 4 T + 11 T^{2} \))(\( 1 + 11 T^{2} \))
$13$ (\( 1 + 2 T + 13 T^{2} \))(\( 1 - 2 T + 13 T^{2} \))
$17$ (\( 1 - 2 T + 17 T^{2} \))(\( 1 + 6 T + 17 T^{2} \))
$19$ (\( 1 + 4 T + 19 T^{2} \))(\( 1 - 4 T + 19 T^{2} \))
$23$ (\( 1 + 4 T + 23 T^{2} \))(\( 1 + 6 T + 23 T^{2} \))
$29$ (\( 1 + 2 T + 29 T^{2} \))(\( 1 - 6 T + 29 T^{2} \))
$31$ (\( 1 - 8 T + 31 T^{2} \))(\( 1 - 4 T + 31 T^{2} \))
$37$ (\( 1 - 6 T + 37 T^{2} \))(\( 1 - 2 T + 37 T^{2} \))
$41$ (\( 1 + 6 T + 41 T^{2} \))(\( 1 - 6 T + 41 T^{2} \))
$43$ (\( 1 - 8 T + 43 T^{2} \))(\( 1 - 10 T + 43 T^{2} \))
$47$ (\( 1 + 4 T + 47 T^{2} \))(\( 1 - 6 T + 47 T^{2} \))
$53$ (\( 1 - 6 T + 53 T^{2} \))(\( 1 + 6 T + 53 T^{2} \))
$59$ (\( 1 - 4 T + 59 T^{2} \))(\( 1 + 12 T + 59 T^{2} \))
$61$ (\( 1 + 2 T + 61 T^{2} \))(\( 1 - 2 T + 61 T^{2} \))
$67$ (\( 1 + 8 T + 67 T^{2} \))(\( 1 + 2 T + 67 T^{2} \))
$71$ (\( 1 + 71 T^{2} \))(\( 1 - 12 T + 71 T^{2} \))
$73$ (\( 1 + 6 T + 73 T^{2} \))(\( 1 - 2 T + 73 T^{2} \))
$79$ (\( 1 + 79 T^{2} \))(\( 1 + 8 T + 79 T^{2} \))
$83$ (\( 1 - 16 T + 83 T^{2} \))(\( 1 + 6 T + 83 T^{2} \))
$89$ (\( 1 + 6 T + 89 T^{2} \))(\( 1 + 6 T + 89 T^{2} \))
$97$ (\( 1 + 14 T + 97 T^{2} \))(\( 1 - 2 T + 97 T^{2} \))
show more
show less