Properties

Label 90.6.a
Level $90$
Weight $6$
Character orbit 90.a
Rep. character $\chi_{90}(1,\cdot)$
Character field $\Q$
Dimension $7$
Newform subspaces $7$
Sturm bound $108$
Trace bound $7$

Related objects

Downloads

Learn more

Defining parameters

Level: \( N \) \(=\) \( 90 = 2 \cdot 3^{2} \cdot 5 \)
Weight: \( k \) \(=\) \( 6 \)
Character orbit: \([\chi]\) \(=\) 90.a (trivial)
Character field: \(\Q\)
Newform subspaces: \( 7 \)
Sturm bound: \(108\)
Trace bound: \(7\)
Distinguishing \(T_p\): \(7\), \(11\)

Dimensions

The following table gives the dimensions of various subspaces of \(M_{6}(\Gamma_0(90))\).

Total New Old
Modular forms 98 7 91
Cusp forms 82 7 75
Eisenstein series 16 0 16

The following table gives the dimensions of the cuspidal new subspaces with specified eigenvalues for the Atkin-Lehner operators and the Fricke involution.

\(2\)\(3\)\(5\)FrickeDim
\(+\)\(+\)\(-\)$-$\(1\)
\(+\)\(-\)\(+\)$-$\(1\)
\(+\)\(-\)\(-\)$+$\(1\)
\(-\)\(+\)\(+\)$-$\(1\)
\(-\)\(-\)\(+\)$+$\(1\)
\(-\)\(-\)\(-\)$-$\(2\)
Plus space\(+\)\(2\)
Minus space\(-\)\(5\)

Trace form

\( 7 q + 4 q^{2} + 112 q^{4} + 25 q^{5} + 80 q^{7} + 64 q^{8} + O(q^{10}) \) \( 7 q + 4 q^{2} + 112 q^{4} + 25 q^{5} + 80 q^{7} + 64 q^{8} - 100 q^{10} - 288 q^{11} + 1466 q^{13} + 224 q^{14} + 1792 q^{16} + 2226 q^{17} + 1748 q^{19} + 400 q^{20} + 3312 q^{22} + 2880 q^{23} + 4375 q^{25} - 4984 q^{26} + 1280 q^{28} + 4686 q^{29} + 17888 q^{31} + 1024 q^{32} + 12888 q^{34} + 4100 q^{35} - 718 q^{37} + 23024 q^{38} - 1600 q^{40} - 15402 q^{41} + 4388 q^{43} - 4608 q^{44} - 18384 q^{46} - 56880 q^{47} - 26529 q^{49} + 2500 q^{50} + 23456 q^{52} + 46374 q^{53} - 17700 q^{55} + 3584 q^{56} - 43128 q^{58} + 5040 q^{59} - 47158 q^{61} + 3392 q^{62} + 28672 q^{64} + 71450 q^{65} - 57508 q^{67} + 35616 q^{68} + 26800 q^{70} - 174528 q^{71} - 82762 q^{73} - 134200 q^{74} + 27968 q^{76} - 90000 q^{77} - 217120 q^{79} + 6400 q^{80} - 139176 q^{82} + 174012 q^{83} - 34050 q^{85} - 12160 q^{86} + 52992 q^{88} + 78822 q^{89} + 221944 q^{91} + 46080 q^{92} + 22992 q^{94} - 18100 q^{95} - 6466 q^{97} + 100836 q^{98} + O(q^{100}) \)

Decomposition of \(S_{6}^{\mathrm{new}}(\Gamma_0(90))\) into newform subspaces

Label Char Prim Dim $A$ Field CM Traces A-L signs Sato-Tate $q$-expansion
$a_{2}$ $a_{3}$ $a_{5}$ $a_{7}$ 2 3 5
90.6.a.a 90.a 1.a $1$ $14.435$ \(\Q\) None \(-4\) \(0\) \(-25\) \(32\) $+$ $-$ $+$ $\mathrm{SU}(2)$ \(q-4q^{2}+2^{4}q^{4}-5^{2}q^{5}+2^{5}q^{7}-2^{6}q^{8}+\cdots\)
90.6.a.b 90.a 1.a $1$ $14.435$ \(\Q\) None \(-4\) \(0\) \(25\) \(-118\) $+$ $-$ $-$ $\mathrm{SU}(2)$ \(q-4q^{2}+2^{4}q^{4}+5^{2}q^{5}-118q^{7}+\cdots\)
90.6.a.c 90.a 1.a $1$ $14.435$ \(\Q\) None \(-4\) \(0\) \(25\) \(98\) $+$ $+$ $-$ $\mathrm{SU}(2)$ \(q-4q^{2}+2^{4}q^{4}+5^{2}q^{5}+98q^{7}-2^{6}q^{8}+\cdots\)
90.6.a.d 90.a 1.a $1$ $14.435$ \(\Q\) None \(4\) \(0\) \(-25\) \(-172\) $-$ $-$ $+$ $\mathrm{SU}(2)$ \(q+4q^{2}+2^{4}q^{4}-5^{2}q^{5}-172q^{7}+\cdots\)
90.6.a.e 90.a 1.a $1$ $14.435$ \(\Q\) None \(4\) \(0\) \(-25\) \(98\) $-$ $+$ $+$ $\mathrm{SU}(2)$ \(q+4q^{2}+2^{4}q^{4}-5^{2}q^{5}+98q^{7}+2^{6}q^{8}+\cdots\)
90.6.a.f 90.a 1.a $1$ $14.435$ \(\Q\) None \(4\) \(0\) \(25\) \(-22\) $-$ $-$ $-$ $\mathrm{SU}(2)$ \(q+4q^{2}+2^{4}q^{4}+5^{2}q^{5}-22q^{7}+2^{6}q^{8}+\cdots\)
90.6.a.g 90.a 1.a $1$ $14.435$ \(\Q\) None \(4\) \(0\) \(25\) \(164\) $-$ $-$ $-$ $\mathrm{SU}(2)$ \(q+4q^{2}+2^{4}q^{4}+5^{2}q^{5}+164q^{7}+\cdots\)

Decomposition of \(S_{6}^{\mathrm{old}}(\Gamma_0(90))\) into lower level spaces

\( S_{6}^{\mathrm{old}}(\Gamma_0(90)) \cong \) \(S_{6}^{\mathrm{new}}(\Gamma_0(3))\)\(^{\oplus 8}\)\(\oplus\)\(S_{6}^{\mathrm{new}}(\Gamma_0(5))\)\(^{\oplus 6}\)\(\oplus\)\(S_{6}^{\mathrm{new}}(\Gamma_0(6))\)\(^{\oplus 4}\)\(\oplus\)\(S_{6}^{\mathrm{new}}(\Gamma_0(9))\)\(^{\oplus 4}\)\(\oplus\)\(S_{6}^{\mathrm{new}}(\Gamma_0(10))\)\(^{\oplus 3}\)\(\oplus\)\(S_{6}^{\mathrm{new}}(\Gamma_0(15))\)\(^{\oplus 4}\)\(\oplus\)\(S_{6}^{\mathrm{new}}(\Gamma_0(18))\)\(^{\oplus 2}\)\(\oplus\)\(S_{6}^{\mathrm{new}}(\Gamma_0(30))\)\(^{\oplus 2}\)\(\oplus\)\(S_{6}^{\mathrm{new}}(\Gamma_0(45))\)\(^{\oplus 2}\)