Properties

Label 80.2.l
Level $80$
Weight $2$
Character orbit 80.l
Rep. character $\chi_{80}(21,\cdot)$
Character field $\Q(\zeta_{4})$
Dimension $16$
Newform subspaces $1$
Sturm bound $24$
Trace bound $0$

Related objects

Downloads

Learn more

Defining parameters

Level: \( N \) \(=\) \( 80 = 2^{4} \cdot 5 \)
Weight: \( k \) \(=\) \( 2 \)
Character orbit: \([\chi]\) \(=\) 80.l (of order \(4\) and degree \(2\))
Character conductor: \(\operatorname{cond}(\chi)\) \(=\) \( 16 \)
Character field: \(\Q(i)\)
Newform subspaces: \( 1 \)
Sturm bound: \(24\)
Trace bound: \(0\)

Dimensions

The following table gives the dimensions of various subspaces of \(M_{2}(80, [\chi])\).

Total New Old
Modular forms 28 16 12
Cusp forms 20 16 4
Eisenstein series 8 0 8

Trace form

\( 16 q - 4 q^{4} - 12 q^{6} + O(q^{10}) \) \( 16 q - 4 q^{4} - 12 q^{6} + 4 q^{10} - 8 q^{11} - 12 q^{12} + 4 q^{14} - 8 q^{15} + 16 q^{16} - 8 q^{19} + 8 q^{20} - 20 q^{22} + 8 q^{24} - 16 q^{26} + 24 q^{27} - 4 q^{28} - 16 q^{29} + 16 q^{34} - 4 q^{36} - 16 q^{37} + 20 q^{38} + 60 q^{42} + 8 q^{43} + 40 q^{44} - 4 q^{46} - 40 q^{47} - 40 q^{48} - 16 q^{49} - 4 q^{50} - 32 q^{51} + 56 q^{52} + 16 q^{53} + 32 q^{54} + 16 q^{56} - 12 q^{58} - 8 q^{59} - 28 q^{60} + 16 q^{61} - 8 q^{62} + 40 q^{63} - 16 q^{64} + 40 q^{67} - 48 q^{68} + 16 q^{69} - 8 q^{70} - 40 q^{72} - 72 q^{74} + 16 q^{77} - 16 q^{78} + 16 q^{79} + 16 q^{80} - 16 q^{81} - 76 q^{82} + 40 q^{83} - 64 q^{84} - 16 q^{85} + 28 q^{86} + 36 q^{90} + 32 q^{91} - 52 q^{92} - 48 q^{93} - 36 q^{94} + 32 q^{95} + 8 q^{96} + 60 q^{98} - 8 q^{99} + O(q^{100}) \)

Decomposition of \(S_{2}^{\mathrm{new}}(80, [\chi])\) into newform subspaces

Label Char Prim Dim $A$ Field CM Minimal twist Traces Sato-Tate $q$-expansion
$a_{2}$ $a_{3}$ $a_{5}$ $a_{7}$
80.2.l.a 80.l 16.e $16$ $0.639$ \(\mathbb{Q}[x]/(x^{16} - \cdots)\) None 80.2.l.a \(0\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{4}]$ \(q-\beta _{9}q^{2}+(\beta _{3}-\beta _{6}+\beta _{11})q^{3}+(\beta _{1}+\cdots)q^{4}+\cdots\)

Decomposition of \(S_{2}^{\mathrm{old}}(80, [\chi])\) into lower level spaces

\( S_{2}^{\mathrm{old}}(80, [\chi]) \simeq \) \(S_{2}^{\mathrm{new}}(16, [\chi])\)\(^{\oplus 2}\)