Properties

Label 200.4.d
Level $200$
Weight $4$
Character orbit 200.d
Rep. character $\chi_{200}(101,\cdot)$
Character field $\Q$
Dimension $54$
Newform subspaces $5$
Sturm bound $120$
Trace bound $2$

Related objects

Downloads

Learn more

Defining parameters

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

Dimensions

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

Total New Old
Modular forms 96 60 36
Cusp forms 84 54 30
Eisenstein series 12 6 6

Trace form

\( 54 q + 2 q^{4} - 2 q^{6} - 12 q^{7} - 430 q^{9} + O(q^{10}) \) \( 54 q + 2 q^{4} - 2 q^{6} - 12 q^{7} - 430 q^{9} - 132 q^{12} - 168 q^{14} + 130 q^{16} + 28 q^{17} + 204 q^{18} + 248 q^{22} - 300 q^{23} - 210 q^{24} - 204 q^{26} + 340 q^{28} - 456 q^{31} + 280 q^{32} + 64 q^{33} + 370 q^{34} - 1032 q^{36} - 624 q^{38} + 176 q^{39} + 92 q^{41} - 660 q^{42} - 458 q^{44} + 72 q^{46} + 268 q^{47} - 1096 q^{48} + 1406 q^{49} - 464 q^{52} - 138 q^{54} + 1376 q^{56} + 288 q^{57} + 1200 q^{58} - 144 q^{62} + 1284 q^{63} - 46 q^{64} - 1522 q^{66} + 2176 q^{68} + 1616 q^{71} + 192 q^{72} + 156 q^{73} - 1196 q^{74} - 2290 q^{76} - 3880 q^{78} + 328 q^{79} + 2526 q^{81} - 228 q^{82} - 712 q^{84} + 5960 q^{86} + 288 q^{87} - 4416 q^{88} - 532 q^{89} - 924 q^{92} + 2920 q^{94} + 2734 q^{96} - 404 q^{97} + 6708 q^{98} + O(q^{100}) \)

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

Label Char Prim Dim $A$ Field CM Traces Sato-Tate $q$-expansion
$a_{2}$ $a_{3}$ $a_{5}$ $a_{7}$
200.4.d.a 200.d 8.b $2$ $11.800$ \(\Q(\sqrt{-7}) \) None \(2\) \(0\) \(0\) \(16\) $\mathrm{SU}(2)[C_{2}]$ \(q+(1+\beta )q^{2}-2\beta q^{3}+(-6+2\beta )q^{4}+\cdots\)
200.4.d.b 200.d 8.b $12$ $11.800$ \(\mathbb{Q}[x]/(x^{12} - \cdots)\) None \(-2\) \(0\) \(0\) \(-28\) $\mathrm{SU}(2)[C_{2}]$ \(q-\beta _{1}q^{2}-\beta _{3}q^{3}+(1+\beta _{6})q^{4}+(-3+\cdots)q^{6}+\cdots\)
200.4.d.c 200.d 8.b $12$ $11.800$ \(\mathbb{Q}[x]/(x^{12} - \cdots)\) None \(-1\) \(0\) \(0\) \(28\) $\mathrm{SU}(2)[C_{2}]$ \(q+\beta _{7}q^{2}-\beta _{2}q^{3}+\beta _{3}q^{4}+(1+\beta _{2}+\cdots)q^{6}+\cdots\)
200.4.d.d 200.d 8.b $12$ $11.800$ \(\mathbb{Q}[x]/(x^{12} - \cdots)\) None \(1\) \(0\) \(0\) \(-28\) $\mathrm{SU}(2)[C_{2}]$ \(q+\beta _{1}q^{2}-\beta _{4}q^{3}+\beta _{2}q^{4}+(1-\beta _{4}+\cdots)q^{6}+\cdots\)
200.4.d.e 200.d 8.b $16$ $11.800$ \(\mathbb{Q}[x]/(x^{16} + \cdots)\) None \(0\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q+\beta _{1}q^{2}+\beta _{12}q^{3}+\beta _{2}q^{4}+(-1-\beta _{7}+\cdots)q^{6}+\cdots\)

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

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