Properties

Label 20.9.f
Level $20$
Weight $9$
Character orbit 20.f
Rep. character $\chi_{20}(13,\cdot)$
Character field $\Q(\zeta_{4})$
Dimension $8$
Newform subspaces $1$
Sturm bound $27$
Trace bound $0$

Related objects

Downloads

Learn more

Defining parameters

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

Dimensions

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

Total New Old
Modular forms 54 8 46
Cusp forms 42 8 34
Eisenstein series 12 0 12

Trace form

\( 8 q - 70 q^{3} + 894 q^{5} - 2030 q^{7} + O(q^{10}) \) \( 8 q - 70 q^{3} + 894 q^{5} - 2030 q^{7} - 420 q^{11} + 33180 q^{13} - 48478 q^{15} + 43620 q^{17} + 108668 q^{21} - 663270 q^{23} + 163396 q^{25} + 1576040 q^{27} - 3178492 q^{31} - 944020 q^{33} + 2571618 q^{35} + 5344080 q^{37} - 10185252 q^{41} - 10342710 q^{43} + 20284834 q^{45} + 19232250 q^{47} - 47126684 q^{51} - 24320640 q^{53} + 21483180 q^{55} + 88218320 q^{57} - 82515684 q^{61} - 77441350 q^{63} + 72045768 q^{65} + 100675930 q^{67} - 99290076 q^{71} - 93528520 q^{73} + 76524178 q^{75} + 134199660 q^{77} - 161920268 q^{81} - 10450350 q^{83} + 51676156 q^{85} + 164801600 q^{87} - 130681068 q^{91} - 50183620 q^{93} + 84367944 q^{95} - 179570760 q^{97} + O(q^{100}) \)

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

Label Char Prim Dim $A$ Field CM Traces Sato-Tate $q$-expansion
$a_{2}$ $a_{3}$ $a_{5}$ $a_{7}$
20.9.f.a 20.f 5.c $8$ $8.148$ \(\mathbb{Q}[x]/(x^{8} - \cdots)\) None \(0\) \(-70\) \(894\) \(-2030\) $\mathrm{SU}(2)[C_{4}]$ \(q+(-9-9\beta _{1}+\beta _{2})q^{3}+(112-58\beta _{1}+\cdots)q^{5}+\cdots\)

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

\( S_{9}^{\mathrm{old}}(20, [\chi]) \cong \) \(S_{9}^{\mathrm{new}}(5, [\chi])\)\(^{\oplus 3}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(10, [\chi])\)\(^{\oplus 2}\)