Properties

Label 640.4.f
Level $640$
Weight $4$
Character orbit 640.f
Rep. character $\chi_{640}(449,\cdot)$
Character field $\Q$
Dimension $72$
Newform subspaces $11$
Sturm bound $384$
Trace bound $9$

Related objects

Downloads

Learn more

Defining parameters

Level: \( N \) \(=\) \( 640 = 2^{7} \cdot 5 \)
Weight: \( k \) \(=\) \( 4 \)
Character orbit: \([\chi]\) \(=\) 640.f (of order \(2\) and degree \(1\))
Character conductor: \(\operatorname{cond}(\chi)\) \(=\) \( 40 \)
Character field: \(\Q\)
Newform subspaces: \( 11 \)
Sturm bound: \(384\)
Trace bound: \(9\)
Distinguishing \(T_p\): \(3\), \(7\), \(13\)

Dimensions

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

Total New Old
Modular forms 304 72 232
Cusp forms 272 72 200
Eisenstein series 32 0 32

Trace form

\( 72 q + 648 q^{9} + O(q^{10}) \) \( 72 q + 648 q^{9} - 88 q^{25} + 944 q^{41} - 3528 q^{49} + 2512 q^{65} + 3368 q^{81} - 2224 q^{89} + O(q^{100}) \)

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

Label Char Prim Dim $A$ Field CM Traces Sato-Tate $q$-expansion
$a_{2}$ $a_{3}$ $a_{5}$ $a_{7}$
640.4.f.a 640.f 40.f $2$ $37.761$ \(\Q(\sqrt{-1}) \) \(\Q(\sqrt{-1}) \) \(0\) \(0\) \(-22\) \(0\) $\mathrm{U}(1)[D_{2}]$ \(q+(-11-i)q^{5}-3^{3}q^{9}-18q^{13}+\cdots\)
640.4.f.b 640.f 40.f $2$ $37.761$ \(\Q(\sqrt{-1}) \) \(\Q(\sqrt{-1}) \) \(0\) \(0\) \(22\) \(0\) $\mathrm{U}(1)[D_{2}]$ \(q+(11+i)q^{5}-3^{3}q^{9}+18q^{13}-52iq^{17}+\cdots\)
640.4.f.c 640.f 40.f $4$ $37.761$ \(\Q(i, \sqrt{30})\) None \(0\) \(0\) \(-40\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q+\beta _{3}q^{3}+(-10+5\beta _{1})q^{5}+5\beta _{2}q^{7}+\cdots\)
640.4.f.d 640.f 40.f $4$ $37.761$ \(\Q(\sqrt{-2}, \sqrt{5})\) \(\Q(\sqrt{-10}) \) \(0\) \(0\) \(0\) \(0\) $\mathrm{U}(1)[D_{2}]$ \(q+5\beta _{3}q^{5}-13\beta _{1}q^{7}-3^{3}q^{9}+7\beta _{2}q^{11}+\cdots\)
640.4.f.e 640.f 40.f $4$ $37.761$ \(\Q(\sqrt{-2}, \sqrt{-5})\) \(\Q(\sqrt{-5}) \) \(0\) \(0\) \(0\) \(0\) $\mathrm{U}(1)[D_{2}]$ \(q+\beta _{3}q^{3}-5\beta _{2}q^{5}-9\beta _{1}q^{7}-17q^{9}+\cdots\)
640.4.f.f 640.f 40.f $4$ $37.761$ \(\Q(\sqrt{2}, \sqrt{-5})\) \(\Q(\sqrt{-5}) \) \(0\) \(0\) \(0\) \(0\) $\mathrm{U}(1)[D_{2}]$ \(q-7\beta _{1}q^{3}-5\beta _{3}q^{5}-11\beta _{2}q^{7}+71q^{9}+\cdots\)
640.4.f.g 640.f 40.f $4$ $37.761$ \(\Q(i, \sqrt{30})\) None \(0\) \(0\) \(40\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q+\beta _{3}q^{3}+(10+5\beta _{1})q^{5}+5\beta _{2}q^{7}+\cdots\)
640.4.f.h 640.f 40.f $8$ $37.761$ 8.0.\(\cdots\).7 None \(0\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q+\beta _{2}q^{3}+\beta _{3}q^{5}+3\beta _{1}q^{7}+31q^{9}+\cdots\)
640.4.f.i 640.f 40.f $12$ $37.761$ \(\mathbb{Q}[x]/(x^{12} + \cdots)\) None \(0\) \(0\) \(-20\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q+\beta _{5}q^{3}+(-1+\beta _{1}-\beta _{4})q^{5}+\beta _{8}q^{7}+\cdots\)
640.4.f.j 640.f 40.f $12$ $37.761$ \(\mathbb{Q}[x]/(x^{12} + \cdots)\) None \(0\) \(0\) \(20\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q+\beta _{5}q^{3}+(1-\beta _{1}+\beta _{4})q^{5}-\beta _{8}q^{7}+\cdots\)
640.4.f.k 640.f 40.f $16$ $37.761$ \(\mathbb{Q}[x]/(x^{16} + \cdots)\) None \(0\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q+\beta _{5}q^{3}+\beta _{6}q^{5}-\beta _{3}q^{7}+(-2+3\beta _{2}+\cdots)q^{9}+\cdots\)

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

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