Properties

Label 72.9.b
Level $72$
Weight $9$
Character orbit 72.b
Rep. character $\chi_{72}(19,\cdot)$
Character field $\Q$
Dimension $39$
Newform subspaces $4$
Sturm bound $108$
Trace bound $2$

Related objects

Downloads

Learn more

Defining parameters

Level: \( N \) \(=\) \( 72 = 2^{3} \cdot 3^{2} \)
Weight: \( k \) \(=\) \( 9 \)
Character orbit: \([\chi]\) \(=\) 72.b (of order \(2\) and degree \(1\))
Character conductor: \(\operatorname{cond}(\chi)\) \(=\) \( 8 \)
Character field: \(\Q\)
Newform subspaces: \( 4 \)
Sturm bound: \(108\)
Trace bound: \(2\)
Distinguishing \(T_p\): \(5\)

Dimensions

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

Total New Old
Modular forms 100 41 59
Cusp forms 92 39 53
Eisenstein series 8 2 6

Trace form

\( 39 q + 4 q^{2} + 144 q^{4} + 7228 q^{8} + O(q^{10}) \) \( 39 q + 4 q^{2} + 144 q^{4} + 7228 q^{8} - 11052 q^{10} + 19778 q^{11} - 69924 q^{14} + 6864 q^{16} - 38638 q^{17} + 167550 q^{19} - 137928 q^{20} + 35964 q^{22} - 2557305 q^{25} - 61440 q^{26} + 108264 q^{28} - 1634696 q^{32} + 846912 q^{34} + 426624 q^{35} - 1004548 q^{38} - 5557560 q^{40} + 2469266 q^{41} + 6314814 q^{43} - 7804408 q^{44} - 1062696 q^{46} - 21109785 q^{49} + 9152716 q^{50} - 696384 q^{52} - 8872920 q^{56} - 22476252 q^{58} - 46004158 q^{59} + 25132404 q^{62} + 31247472 q^{64} + 25497984 q^{65} - 3446274 q^{67} + 2911688 q^{68} - 45074808 q^{70} + 40951758 q^{73} - 21629736 q^{74} + 13906056 q^{76} - 34223712 q^{80} - 31171944 q^{82} + 34471682 q^{83} + 6796748 q^{86} + 101657808 q^{88} + 105571154 q^{89} + 76429056 q^{91} + 19206816 q^{92} - 39280872 q^{94} - 65727858 q^{97} - 65927780 q^{98} + O(q^{100}) \)

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

Label Char Prim Dim $A$ Field CM Traces Sato-Tate $q$-expansion
$a_{2}$ $a_{3}$ $a_{5}$ $a_{7}$
72.9.b.a 72.b 8.d $1$ $29.331$ \(\Q\) \(\Q(\sqrt{-2}) \) \(-16\) \(0\) \(0\) \(0\) $\mathrm{U}(1)[D_{2}]$ \(q-2^{4}q^{2}+2^{8}q^{4}-2^{12}q^{8}+27166q^{11}+\cdots\)
72.9.b.b 72.b 8.d $6$ $29.331$ \(\mathbb{Q}[x]/(x^{6} - \cdots)\) None \(14\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q+(2+\beta _{1})q^{2}+(-99+3\beta _{1}+\beta _{3}+\beta _{4}+\cdots)q^{4}+\cdots\)
72.9.b.c 72.b 8.d $16$ $29.331$ \(\mathbb{Q}[x]/(x^{16} - \cdots)\) None \(0\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q-\beta _{1}q^{2}+(3+\beta _{2})q^{4}+(-5\beta _{1}+\beta _{7}+\cdots)q^{5}+\cdots\)
72.9.b.d 72.b 8.d $16$ $29.331$ \(\mathbb{Q}[x]/(x^{16} + \cdots)\) None \(6\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q+\beta _{1}q^{2}+(3^{3}+\beta _{4})q^{4}+(1-3\beta _{1}+\beta _{3}+\cdots)q^{5}+\cdots\)

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

\( S_{9}^{\mathrm{old}}(72, [\chi]) \cong \) \(S_{9}^{\mathrm{new}}(8, [\chi])\)\(^{\oplus 3}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(24, [\chi])\)\(^{\oplus 2}\)