Properties

Label 4006.2.a
Level $4006$
Weight $2$
Character orbit 4006.a
Rep. character $\chi_{4006}(1,\cdot)$
Character field $\Q$
Dimension $166$
Newform subspaces $9$
Sturm bound $1002$
Trace bound $3$

Related objects

Downloads

Learn more

Defining parameters

Level: \( N \) \(=\) \( 4006 = 2 \cdot 2003 \)
Weight: \( k \) \(=\) \( 2 \)
Character orbit: \([\chi]\) \(=\) 4006.a (trivial)
Character field: \(\Q\)
Newform subspaces: \( 9 \)
Sturm bound: \(1002\)
Trace bound: \(3\)
Distinguishing \(T_p\): \(3\)

Dimensions

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

Total New Old
Modular forms 503 166 337
Cusp forms 500 166 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\)\(2003\)FrickeDim
\(+\)\(+\)$+$\(40\)
\(+\)\(-\)$-$\(43\)
\(-\)\(+\)$-$\(47\)
\(-\)\(-\)$+$\(36\)
Plus space\(+\)\(76\)
Minus space\(-\)\(90\)

Trace form

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

Decomposition of \(S_{2}^{\mathrm{new}}(\Gamma_0(4006))\) 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 2003
4006.2.a.a 4006.a 1.a $1$ $31.988$ \(\Q\) None \(-1\) \(0\) \(-3\) \(-2\) $+$ $-$ $\mathrm{SU}(2)$ \(q-q^{2}+q^{4}-3q^{5}-2q^{7}-q^{8}-3q^{9}+\cdots\)
4006.2.a.b 4006.a 1.a $1$ $31.988$ \(\Q\) None \(1\) \(-2\) \(-3\) \(-2\) $-$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}-2q^{3}+q^{4}-3q^{5}-2q^{6}-2q^{7}+\cdots\)
4006.2.a.c 4006.a 1.a $1$ $31.988$ \(\Q\) None \(1\) \(1\) \(2\) \(-2\) $-$ $-$ $\mathrm{SU}(2)$ \(q+q^{2}+q^{3}+q^{4}+2q^{5}+q^{6}-2q^{7}+\cdots\)
4006.2.a.d 4006.a 1.a $2$ $31.988$ \(\Q(\sqrt{2}) \) None \(2\) \(-4\) \(2\) \(-4\) $-$ $-$ $\mathrm{SU}(2)$ \(q+q^{2}+(-2+\beta )q^{3}+q^{4}+q^{5}+(-2+\cdots)q^{6}+\cdots\)
4006.2.a.e 4006.a 1.a $2$ $31.988$ \(\Q(\sqrt{2}) \) None \(2\) \(0\) \(-2\) \(-4\) $-$ $-$ $\mathrm{SU}(2)$ \(q+q^{2}+\beta q^{3}+q^{4}-q^{5}+\beta q^{6}+(-2+\cdots)q^{7}+\cdots\)
4006.2.a.f 4006.a 1.a $31$ $31.988$ None \(31\) \(-13\) \(-23\) \(-18\) $-$ $-$ $\mathrm{SU}(2)$
4006.2.a.g 4006.a 1.a $40$ $31.988$ None \(-40\) \(-1\) \(-23\) \(12\) $+$ $+$ $\mathrm{SU}(2)$
4006.2.a.h 4006.a 1.a $42$ $31.988$ None \(-42\) \(0\) \(27\) \(-10\) $+$ $-$ $\mathrm{SU}(2)$
4006.2.a.i 4006.a 1.a $46$ $31.988$ None \(46\) \(21\) \(23\) \(26\) $-$ $+$ $\mathrm{SU}(2)$

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

\( S_{2}^{\mathrm{old}}(\Gamma_0(4006)) \cong \) \(S_{2}^{\mathrm{new}}(\Gamma_0(2003))\)\(^{\oplus 2}\)