Properties

Label 12.8.a
Level 12
Weight 8
Character orbit a
Rep. character \(\chi_{12}(1,\cdot)\)
Character field \(\Q\)
Dimension 2
Newform subspaces 2
Sturm bound 16
Trace bound 3

Related objects

Downloads

Learn more about

Defining parameters

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

Dimensions

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

Total New Old
Modular forms 17 2 15
Cusp forms 11 2 9
Eisenstein series 6 0 6

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\)FrickeDim.
\(-\)\(+\)\(-\)\(1\)
\(-\)\(-\)\(+\)\(1\)
Plus space\(+\)\(1\)
Minus space\(-\)\(1\)

Trace form

\( 2q - 108q^{5} + 280q^{7} + 1458q^{9} + O(q^{10}) \) \( 2q - 108q^{5} + 280q^{7} + 1458q^{9} - 8208q^{11} + 10300q^{13} + 17496q^{15} - 58860q^{17} + 35440q^{19} + 52488q^{21} - 92880q^{23} + 59534q^{25} - 108q^{29} - 120392q^{31} - 87480q^{33} + 614736q^{35} - 244100q^{37} - 524880q^{39} + 418500q^{41} - 518960q^{43} - 78732q^{45} + 1328400q^{47} + 281682q^{49} - 384912q^{51} - 2043900q^{53} - 606528q^{55} + 1837080q^{57} - 433728q^{59} + 3900844q^{61} + 204120q^{63} - 6854760q^{65} - 311360q^{67} + 3709152q^{69} + 1643760q^{71} + 465460q^{73} - 1889568q^{75} - 4298400q^{77} + 1171864q^{79} + 1062882q^{81} + 10620720q^{83} - 1440504q^{85} - 8485560q^{87} + 3245940q^{89} - 17453680q^{91} - 2361960q^{93} + 20131200q^{95} + 12096100q^{97} - 5983632q^{99} + O(q^{100}) \)

Decomposition of \(S_{8}^{\mathrm{new}}(\Gamma_0(12))\) into newform subspaces

Label Dim. \(A\) Field CM Traces A-L signs $q$-expansion
\(a_2\) \(a_3\) \(a_5\) \(a_7\) 2 3
12.8.a.a \(1\) \(3.749\) \(\Q\) None \(0\) \(-27\) \(-378\) \(-832\) \(-\) \(+\) \(q-3^{3}q^{3}-378q^{5}-832q^{7}+3^{6}q^{9}+\cdots\)
12.8.a.b \(1\) \(3.749\) \(\Q\) None \(0\) \(27\) \(270\) \(1112\) \(-\) \(-\) \(q+3^{3}q^{3}+270q^{5}+1112q^{7}+3^{6}q^{9}+\cdots\)

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

\( S_{8}^{\mathrm{old}}(\Gamma_0(12)) \cong \) \(S_{8}^{\mathrm{new}}(\Gamma_0(2))\)\(^{\oplus 4}\)\(\oplus\)\(S_{8}^{\mathrm{new}}(\Gamma_0(3))\)\(^{\oplus 3}\)\(\oplus\)\(S_{8}^{\mathrm{new}}(\Gamma_0(6))\)\(^{\oplus 2}\)