Properties

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

Related objects

Downloads

Learn more

Defining parameters

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

Dimensions

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

Total New Old
Modular forms 108 7 101
Cusp forms 96 7 89
Eisenstein series 12 0 12

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\)FrickeTotalCuspEisenstein
AllNewOldAllNewOldAllNewOld
\(+\)\(+\)\(+\)\(27\)\(0\)\(27\)\(23\)\(0\)\(23\)\(4\)\(0\)\(4\)
\(+\)\(-\)\(-\)\(28\)\(0\)\(28\)\(24\)\(0\)\(24\)\(4\)\(0\)\(4\)
\(-\)\(+\)\(-\)\(27\)\(3\)\(24\)\(25\)\(3\)\(22\)\(2\)\(0\)\(2\)
\(-\)\(-\)\(+\)\(26\)\(4\)\(22\)\(24\)\(4\)\(20\)\(2\)\(0\)\(2\)
Plus space\(+\)\(53\)\(4\)\(49\)\(47\)\(4\)\(43\)\(6\)\(0\)\(6\)
Minus space\(-\)\(55\)\(3\)\(52\)\(49\)\(3\)\(46\)\(6\)\(0\)\(6\)

Trace form

\( 7 q + 873936 q^{5} - 4136404 q^{7} - 227268072 q^{11} - 3300829138 q^{13} - 16236937080 q^{17} - 30255301744 q^{19} - 54240053760 q^{23} + 499925939341 q^{25} - 54604532160 q^{29} + 2846135046908 q^{31}+ \cdots + 21\!\cdots\!74 q^{97}+O(q^{100}) \) Copy content Toggle raw display

Decomposition of \(S_{18}^{\mathrm{new}}(\Gamma_0(36))\) into newform subspaces

Label Char Prim Dim $A$ Field CM Minimal twist Traces A-L signs Sato-Tate $q$-expansion
$a_{2}$ $a_{3}$ $a_{5}$ $a_{7}$ 2 3
36.18.a.a 36.a 1.a $1$ $65.960$ \(\Q\) None 12.18.a.b \(0\) \(0\) \(-130950\) \(-14846776\) $-$ $-$ $\mathrm{SU}(2)$ \(q-130950q^{5}-14846776q^{7}+845469684q^{11}+\cdots\)
36.18.a.b 36.a 1.a $1$ $65.960$ \(\Q\) \(\Q(\sqrt{-3}) \) 36.18.a.b \(0\) \(0\) \(0\) \(-27688516\) $-$ $+$ $N(\mathrm{U}(1))$ \(q-27688516q^{7}-5869817662q^{13}+\cdots\)
36.18.a.c 36.a 1.a $1$ $65.960$ \(\Q\) None 12.18.a.a \(0\) \(0\) \(1608930\) \(-9417184\) $-$ $-$ $\mathrm{SU}(2)$ \(q+1608930q^{5}-9417184q^{7}+186910524q^{11}+\cdots\)
36.18.a.d 36.a 1.a $2$ $65.960$ \(\Q(\sqrt{9361}) \) None 4.18.a.a \(0\) \(0\) \(-604044\) \(25350160\) $-$ $-$ $\mathrm{SU}(2)$ \(q+(-302022-4\beta )q^{5}+(12675080+\cdots)q^{7}+\cdots\)
36.18.a.e 36.a 1.a $2$ $65.960$ \(\mathbb{Q}[x]/(x^{2} - \cdots)\) None 36.18.a.e \(0\) \(0\) \(0\) \(22465912\) $-$ $+$ $\mathrm{SU}(2)$ \(q+\beta q^{5}+11232956q^{7}+460\beta q^{11}+\cdots\)

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

\( S_{18}^{\mathrm{old}}(\Gamma_0(36)) \simeq \) \(S_{18}^{\mathrm{new}}(\Gamma_0(1))\)\(^{\oplus 9}\)\(\oplus\)\(S_{18}^{\mathrm{new}}(\Gamma_0(2))\)\(^{\oplus 6}\)\(\oplus\)\(S_{18}^{\mathrm{new}}(\Gamma_0(3))\)\(^{\oplus 6}\)\(\oplus\)\(S_{18}^{\mathrm{new}}(\Gamma_0(4))\)\(^{\oplus 3}\)\(\oplus\)\(S_{18}^{\mathrm{new}}(\Gamma_0(6))\)\(^{\oplus 4}\)\(\oplus\)\(S_{18}^{\mathrm{new}}(\Gamma_0(9))\)\(^{\oplus 3}\)\(\oplus\)\(S_{18}^{\mathrm{new}}(\Gamma_0(12))\)\(^{\oplus 2}\)\(\oplus\)\(S_{18}^{\mathrm{new}}(\Gamma_0(18))\)\(^{\oplus 2}\)