Properties

Label 800.2.u
Level $800$
Weight $2$
Character orbit 800.u
Rep. character $\chi_{800}(161,\cdot)$
Character field $\Q(\zeta_{5})$
Dimension $120$
Newform subspaces $8$
Sturm bound $240$
Trace bound $5$

Related objects

Downloads

Learn more

Defining parameters

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

Dimensions

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

Total New Old
Modular forms 512 120 392
Cusp forms 448 120 328
Eisenstein series 64 0 64

Trace form

\( 120 q + 2 q^{5} - 30 q^{9} + O(q^{10}) \) \( 120 q + 2 q^{5} - 30 q^{9} + 4 q^{13} - 12 q^{17} + 2 q^{25} + 4 q^{29} + 16 q^{33} - 30 q^{37} - 12 q^{41} - 14 q^{45} + 136 q^{49} - 54 q^{53} + 32 q^{57} + 20 q^{61} + 34 q^{65} - 48 q^{69} + 4 q^{73} - 48 q^{77} - 78 q^{81} - 46 q^{85} + 18 q^{89} - 176 q^{93} + 60 q^{97} + O(q^{100}) \)

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

Label Char Prim Dim $A$ Field CM Traces Sato-Tate $q$-expansion
$a_{2}$ $a_{3}$ $a_{5}$ $a_{7}$
800.2.u.a 800.u 25.d $4$ $6.388$ \(\Q(\zeta_{10})\) None \(0\) \(-3\) \(-5\) \(-8\) $\mathrm{SU}(2)[C_{5}]$ \(q+(-1+\zeta_{10})q^{3}+(-2+2\zeta_{10}+\zeta_{10}^{3})q^{5}+\cdots\)
800.2.u.b 800.u 25.d $4$ $6.388$ \(\Q(\zeta_{10})\) None \(0\) \(3\) \(-5\) \(8\) $\mathrm{SU}(2)[C_{5}]$ \(q+(1-\zeta_{10})q^{3}+(-2+2\zeta_{10}+\zeta_{10}^{3})q^{5}+\cdots\)
800.2.u.c 800.u 25.d $8$ $6.388$ 8.0.1444000000.6 None \(0\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{5}]$ \(q+(\beta _{1}+\beta _{6})q^{3}+(1+2\beta _{3}+2\beta _{5})q^{5}+\cdots\)
800.2.u.d 800.u 25.d $8$ $6.388$ \(\Q(\zeta_{20})\) \(\Q(\sqrt{-1}) \) \(0\) \(0\) \(2\) \(0\) $\mathrm{U}(1)[D_{5}]$ \(q+(\zeta_{20}+\zeta_{20}^{6})q^{5}+(3-3\zeta_{20}^{2}+3\zeta_{20}^{4}+\cdots)q^{9}+\cdots\)
800.2.u.e 800.u 25.d $16$ $6.388$ \(\mathbb{Q}[x]/(x^{16} - \cdots)\) None \(0\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{5}]$ \(q+\beta _{8}q^{3}+(\beta _{2}+\beta _{10})q^{5}+(\beta _{4}-\beta _{8}+\cdots)q^{7}+\cdots\)
800.2.u.f 800.u 25.d $24$ $6.388$ None \(0\) \(-5\) \(6\) \(8\) $\mathrm{SU}(2)[C_{5}]$
800.2.u.g 800.u 25.d $24$ $6.388$ None \(0\) \(5\) \(6\) \(-8\) $\mathrm{SU}(2)[C_{5}]$
800.2.u.h 800.u 25.d $32$ $6.388$ None \(0\) \(0\) \(-2\) \(0\) $\mathrm{SU}(2)[C_{5}]$

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

\( S_{2}^{\mathrm{old}}(800, [\chi]) \cong \) \(S_{2}^{\mathrm{new}}(25, [\chi])\)\(^{\oplus 6}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(50, [\chi])\)\(^{\oplus 5}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(100, [\chi])\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(200, [\chi])\)\(^{\oplus 3}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(400, [\chi])\)\(^{\oplus 2}\)