Properties

Label 720.2.bd
Level $720$
Weight $2$
Character orbit 720.bd
Rep. character $\chi_{720}(307,\cdot)$
Character field $\Q(\zeta_{4})$
Dimension $116$
Newform subspaces $9$
Sturm bound $288$
Trace bound $7$

Related objects

Downloads

Learn more

Defining parameters

Level: \( N \) \(=\) \( 720 = 2^{4} \cdot 3^{2} \cdot 5 \)
Weight: \( k \) \(=\) \( 2 \)
Character orbit: \([\chi]\) \(=\) 720.bd (of order \(4\) and degree \(2\))
Character conductor: \(\operatorname{cond}(\chi)\) \(=\) \( 80 \)
Character field: \(\Q(i)\)
Newform subspaces: \( 9 \)
Sturm bound: \(288\)
Trace bound: \(7\)
Distinguishing \(T_p\): \(7\), \(11\)

Dimensions

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

Total New Old
Modular forms 304 124 180
Cusp forms 272 116 156
Eisenstein series 32 8 24

Trace form

\( 116 q + 2 q^{2} + 4 q^{4} + 2 q^{5} - 4 q^{7} - 4 q^{8} + O(q^{10}) \) \( 116 q + 2 q^{2} + 4 q^{4} + 2 q^{5} - 4 q^{7} - 4 q^{8} - 6 q^{10} + 4 q^{11} - 4 q^{13} + 4 q^{17} - 8 q^{19} + 8 q^{20} - 16 q^{22} + 4 q^{23} + 20 q^{26} + 16 q^{28} + 32 q^{32} - 16 q^{34} + 24 q^{35} - 4 q^{37} + 12 q^{38} - 16 q^{40} + 28 q^{43} + 8 q^{44} + 4 q^{46} - 24 q^{47} + 26 q^{50} - 16 q^{52} - 4 q^{55} + 28 q^{56} - 4 q^{58} - 16 q^{59} - 20 q^{61} - 60 q^{62} - 8 q^{64} + 4 q^{65} + 20 q^{67} - 24 q^{68} + 8 q^{70} + 40 q^{71} + 8 q^{73} - 4 q^{74} - 12 q^{76} - 40 q^{80} - 36 q^{82} - 12 q^{85} - 20 q^{86} - 32 q^{88} + 12 q^{91} - 32 q^{92} - 28 q^{94} - 40 q^{95} - 4 q^{97} - 54 q^{98} + O(q^{100}) \)

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

Label Char Prim Dim $A$ Field CM Traces Sato-Tate $q$-expansion
$a_{2}$ $a_{3}$ $a_{5}$ $a_{7}$
720.2.bd.a 720.bd 80.j $2$ $5.749$ \(\Q(\sqrt{-1}) \) None \(-2\) \(0\) \(-2\) \(-6\) $\mathrm{SU}(2)[C_{4}]$ \(q+(-1+i)q^{2}-2iq^{4}+(-1-2i)q^{5}+\cdots\)
720.2.bd.b 720.bd 80.j $2$ $5.749$ \(\Q(\sqrt{-1}) \) None \(-2\) \(0\) \(4\) \(6\) $\mathrm{SU}(2)[C_{4}]$ \(q+(-1-i)q^{2}+2iq^{4}+(2+i)q^{5}+\cdots\)
720.2.bd.c 720.bd 80.j $2$ $5.749$ \(\Q(\sqrt{-1}) \) None \(2\) \(0\) \(4\) \(-2\) $\mathrm{SU}(2)[C_{4}]$ \(q+(1+i)q^{2}+2iq^{4}+(2-i)q^{5}+(-1+\cdots)q^{7}+\cdots\)
720.2.bd.d 720.bd 80.j $2$ $5.749$ \(\Q(\sqrt{-1}) \) None \(2\) \(0\) \(4\) \(6\) $\mathrm{SU}(2)[C_{4}]$ \(q+(1+i)q^{2}+2iq^{4}+(2-i)q^{5}+(3+\cdots)q^{7}+\cdots\)
720.2.bd.e 720.bd 80.j $6$ $5.749$ 6.0.399424.1 None \(2\) \(0\) \(-12\) \(-2\) $\mathrm{SU}(2)[C_{4}]$ \(q+\beta _{2}q^{2}+(\beta _{1}+\beta _{5})q^{4}+(-2-\beta _{1}+\cdots)q^{5}+\cdots\)
720.2.bd.f 720.bd 80.j $16$ $5.749$ \(\mathbb{Q}[x]/(x^{16} - \cdots)\) None \(-2\) \(0\) \(8\) \(-4\) $\mathrm{SU}(2)[C_{4}]$ \(q-\beta _{2}q^{2}+(-\beta _{1}+2\beta _{2}+\beta _{3}-\beta _{4}+\cdots)q^{4}+\cdots\)
720.2.bd.g 720.bd 80.j $18$ $5.749$ \(\mathbb{Q}[x]/(x^{18} + \cdots)\) None \(4\) \(0\) \(4\) \(2\) $\mathrm{SU}(2)[C_{4}]$ \(q-\beta _{6}q^{2}-\beta _{13}q^{4}+(1-\beta _{11}+\beta _{14}+\cdots)q^{5}+\cdots\)
720.2.bd.h 720.bd 80.j $20$ $5.749$ \(\mathbb{Q}[x]/(x^{20} - \cdots)\) None \(-2\) \(0\) \(-8\) \(-4\) $\mathrm{SU}(2)[C_{4}]$ \(q-\beta _{1}q^{2}+\beta _{2}q^{4}+\beta _{15}q^{5}+\beta _{4}q^{7}+\cdots\)
720.2.bd.i 720.bd 80.j $48$ $5.749$ None \(0\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{4}]$

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

\( S_{2}^{\mathrm{old}}(720, [\chi]) \cong \) \(S_{2}^{\mathrm{new}}(80, [\chi])\)\(^{\oplus 3}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(240, [\chi])\)\(^{\oplus 2}\)