Properties

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

Related objects

Downloads

Learn more

Defining parameters

Level: \( N \) \(=\) \( 80 = 2^{4} \cdot 5 \)
Weight: \( k \) \(=\) \( 4 \)
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: \(48\)
Trace bound: \(0\)

Dimensions

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

Total New Old
Modular forms 76 48 28
Cusp forms 68 48 20
Eisenstein series 8 0 8

Trace form

\( 48 q - 20 q^{4} + 60 q^{6} + O(q^{10}) \) \( 48 q - 20 q^{4} + 60 q^{6} + 60 q^{10} - 40 q^{11} - 156 q^{12} - 244 q^{14} + 120 q^{15} - 432 q^{16} - 320 q^{18} + 24 q^{19} + 40 q^{20} + 740 q^{22} + 1096 q^{24} + 272 q^{26} - 264 q^{27} - 308 q^{28} + 400 q^{29} - 1600 q^{32} - 848 q^{34} + 1452 q^{36} + 16 q^{37} + 220 q^{38} + 900 q^{42} + 808 q^{43} - 1656 q^{44} - 2188 q^{46} + 1880 q^{47} - 40 q^{48} - 2352 q^{49} + 100 q^{50} + 2144 q^{51} + 792 q^{52} + 752 q^{53} + 1696 q^{54} + 2512 q^{56} - 2036 q^{58} - 2728 q^{59} + 980 q^{60} - 912 q^{61} - 344 q^{62} - 2520 q^{63} - 1040 q^{64} - 1920 q^{66} - 2040 q^{67} + 16 q^{68} - 528 q^{69} - 1240 q^{70} + 1240 q^{72} + 1928 q^{74} - 1024 q^{76} + 1904 q^{77} + 7568 q^{78} + 2832 q^{79} + 2320 q^{80} - 3888 q^{81} + 876 q^{82} + 2440 q^{83} + 896 q^{84} - 240 q^{85} + 244 q^{86} - 8320 q^{88} - 2340 q^{90} - 4448 q^{91} + 2524 q^{92} + 4272 q^{93} + 6676 q^{94} - 3040 q^{95} - 1080 q^{96} - 1436 q^{98} - 4456 q^{99} + O(q^{100}) \)

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

Label Char Prim Dim $A$ Field CM Traces Sato-Tate $q$-expansion
$a_{2}$ $a_{3}$ $a_{5}$ $a_{7}$
80.4.l.a 80.l 16.e $48$ $4.720$ None \(0\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{4}]$

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

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