Properties

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

Related objects

Downloads

Learn more

Defining parameters

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

Dimensions

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

Total New Old
Modular forms 42 6 36
Cusp forms 30 6 24
Eisenstein series 12 0 12

Trace form

\( 6 q + 32 q^{3} - 156 q^{5} - 264 q^{7} + O(q^{10}) \) \( 6 q + 32 q^{3} - 156 q^{5} - 264 q^{7} + 2200 q^{11} + 858 q^{13} - 7768 q^{15} - 3278 q^{17} + 33176 q^{21} + 19984 q^{23} - 24174 q^{25} - 115528 q^{27} + 104976 q^{31} + 177320 q^{33} - 116072 q^{35} - 241554 q^{37} + 351736 q^{41} + 60720 q^{43} - 287846 q^{45} - 355248 q^{47} + 641872 q^{51} + 346526 q^{53} - 310200 q^{55} - 112816 q^{57} - 492888 q^{61} + 2288 q^{63} - 5082 q^{65} - 230304 q^{67} + 174128 q^{71} - 332442 q^{73} + 1855048 q^{75} + 1618760 q^{77} - 3085166 q^{81} - 2190936 q^{83} - 164934 q^{85} + 2614304 q^{87} - 2186976 q^{91} + 242072 q^{93} + 3484184 q^{95} + 3338406 q^{97} + O(q^{100}) \)

Decomposition of \(S_{7}^{\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.7.f.a 20.f 5.c $6$ $4.601$ \(\mathbb{Q}[x]/(x^{6} - \cdots)\) None \(0\) \(32\) \(-156\) \(-264\) $\mathrm{SU}(2)[C_{4}]$ \(q+(5+5\beta _{1}+\beta _{4})q^{3}+(-5^{2}+20\beta _{1}+\cdots)q^{5}+\cdots\)

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

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