Properties

Label 4022.2.a
Level 4022
Weight 2
Character orbit a
Rep. character \(\chi_{4022}(1,\cdot)\)
Character field \(\Q\)
Dimension 168
Newform subspaces 6
Sturm bound 1006
Trace bound 1

Related objects

Downloads

Learn more about

Defining parameters

Level: \( N \) = \( 4022 = 2 \cdot 2011 \)
Weight: \( k \) = \( 2 \)
Character orbit: \([\chi]\) = 4022.a (trivial)
Character field: \(\Q\)
Newform subspaces: \( 6 \)
Sturm bound: \(1006\)
Trace bound: \(1\)
Distinguishing \(T_p\): \(3\)

Dimensions

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

Total New Old
Modular forms 505 168 337
Cusp forms 502 168 334
Eisenstein series 3 0 3

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

\(2\)\(2011\)FrickeDim.
\(+\)\(+\)\(+\)\(37\)
\(+\)\(-\)\(-\)\(47\)
\(-\)\(+\)\(-\)\(50\)
\(-\)\(-\)\(+\)\(34\)
Plus space\(+\)\(71\)
Minus space\(-\)\(97\)

Trace form

\( 168q + 4q^{3} + 168q^{4} + 2q^{5} - 2q^{6} + 4q^{7} + 174q^{9} + O(q^{10}) \) \( 168q + 4q^{3} + 168q^{4} + 2q^{5} - 2q^{6} + 4q^{7} + 174q^{9} - 4q^{10} + 8q^{11} + 4q^{12} - 6q^{13} - 4q^{14} + 4q^{15} + 168q^{16} + 8q^{17} + 12q^{19} + 2q^{20} + 8q^{21} - 6q^{22} - 4q^{23} - 2q^{24} + 170q^{25} + 4q^{26} + 28q^{27} + 4q^{28} + 8q^{29} + 4q^{31} + 20q^{33} - 12q^{34} + 32q^{35} + 174q^{36} + 16q^{37} - 2q^{38} + 12q^{39} - 4q^{40} - 16q^{41} - 8q^{42} + 26q^{43} + 8q^{44} + 26q^{45} - 4q^{46} + 20q^{47} + 4q^{48} + 176q^{49} - 16q^{50} + 24q^{51} - 6q^{52} + 4q^{54} - 4q^{56} + 12q^{57} - 22q^{58} + 4q^{60} + 12q^{61} + 24q^{62} + 40q^{63} + 168q^{64} + 28q^{65} + 12q^{67} + 8q^{68} + 40q^{69} - 4q^{70} + 8q^{71} + 16q^{73} - 26q^{74} + 40q^{75} + 12q^{76} - 16q^{77} + 8q^{78} + 20q^{79} + 2q^{80} + 144q^{81} + 2q^{83} + 8q^{84} - 28q^{85} + 12q^{86} - 16q^{87} - 6q^{88} + 20q^{89} - 36q^{90} + 60q^{91} - 4q^{92} - 40q^{93} + 4q^{94} - 48q^{95} - 2q^{96} - 8q^{97} + 52q^{99} + O(q^{100}) \)

Decomposition of \(S_{2}^{\mathrm{new}}(\Gamma_0(4022))\) into newform subspaces

Label Dim. \(A\) Field CM Traces A-L signs $q$-expansion
\(a_2\) \(a_3\) \(a_5\) \(a_7\) 2 2011
4022.2.a.a \(1\) \(32.116\) \(\Q\) None \(-1\) \(0\) \(2\) \(-2\) \(+\) \(-\) \(q-q^{2}+q^{4}+2q^{5}-2q^{7}-q^{8}-3q^{9}+\cdots\)
4022.2.a.b \(3\) \(32.116\) 3.3.169.1 None \(3\) \(-3\) \(1\) \(-1\) \(-\) \(-\) \(q+q^{2}-q^{3}+q^{4}+\beta _{1}q^{5}-q^{6}+(-1+\cdots)q^{7}+\cdots\)
4022.2.a.c \(31\) \(32.116\) None \(31\) \(-14\) \(-13\) \(-29\) \(-\) \(-\)
4022.2.a.d \(37\) \(32.116\) None \(-37\) \(-5\) \(-13\) \(-22\) \(+\) \(+\)
4022.2.a.e \(46\) \(32.116\) None \(-46\) \(8\) \(14\) \(28\) \(+\) \(-\)
4022.2.a.f \(50\) \(32.116\) None \(50\) \(18\) \(11\) \(30\) \(-\) \(+\)

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

\( S_{2}^{\mathrm{old}}(\Gamma_0(4022)) \cong \) \(S_{2}^{\mathrm{new}}(\Gamma_0(2011))\)\(^{\oplus 2}\)