Properties

Label 4046.2.a
Level $4046$
Weight $2$
Character orbit 4046.a
Rep. character $\chi_{4046}(1,\cdot)$
Character field $\Q$
Dimension $136$
Newform subspaces $41$
Sturm bound $1224$
Trace bound $9$

Related objects

Downloads

Learn more

Defining parameters

Level: \( N \) \(=\) \( 4046 = 2 \cdot 7 \cdot 17^{2} \)
Weight: \( k \) \(=\) \( 2 \)
Character orbit: \([\chi]\) \(=\) 4046.a (trivial)
Character field: \(\Q\)
Newform subspaces: \( 41 \)
Sturm bound: \(1224\)
Trace bound: \(9\)
Distinguishing \(T_p\): \(3\), \(5\), \(23\)

Dimensions

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

Total New Old
Modular forms 648 136 512
Cusp forms 577 136 441
Eisenstein series 71 0 71

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

\(2\)\(7\)\(17\)FrickeTotalCuspEisenstein
AllNewOldAllNewOldAllNewOld
\(+\)\(+\)\(+\)\(+\)\(72\)\(13\)\(59\)\(64\)\(13\)\(51\)\(8\)\(0\)\(8\)
\(+\)\(+\)\(-\)\(-\)\(90\)\(20\)\(70\)\(81\)\(20\)\(61\)\(9\)\(0\)\(9\)
\(+\)\(-\)\(+\)\(-\)\(90\)\(22\)\(68\)\(81\)\(22\)\(59\)\(9\)\(0\)\(9\)
\(+\)\(-\)\(-\)\(+\)\(72\)\(12\)\(60\)\(63\)\(12\)\(51\)\(9\)\(0\)\(9\)
\(-\)\(+\)\(+\)\(-\)\(81\)\(19\)\(62\)\(72\)\(19\)\(53\)\(9\)\(0\)\(9\)
\(-\)\(+\)\(-\)\(+\)\(81\)\(16\)\(65\)\(72\)\(16\)\(56\)\(9\)\(0\)\(9\)
\(-\)\(-\)\(+\)\(+\)\(81\)\(10\)\(71\)\(72\)\(10\)\(62\)\(9\)\(0\)\(9\)
\(-\)\(-\)\(-\)\(-\)\(81\)\(24\)\(57\)\(72\)\(24\)\(48\)\(9\)\(0\)\(9\)
Plus space\(+\)\(306\)\(51\)\(255\)\(271\)\(51\)\(220\)\(35\)\(0\)\(35\)
Minus space\(-\)\(342\)\(85\)\(257\)\(306\)\(85\)\(221\)\(36\)\(0\)\(36\)

Trace form

\( 136 q + 2 q^{2} - 2 q^{3} + 136 q^{4} - 2 q^{5} + 2 q^{6} + 2 q^{8} + 140 q^{9} + 6 q^{10} + 8 q^{11} - 2 q^{12} + 18 q^{13} - 2 q^{14} + 136 q^{16} + 6 q^{18} + 18 q^{19} - 2 q^{20} + 6 q^{21} + 8 q^{22}+ \cdots - 32 q^{99}+O(q^{100}) \) Copy content Toggle raw display

Decomposition of \(S_{2}^{\mathrm{new}}(\Gamma_0(4046))\) 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 7 17
4046.2.a.a 4046.a 1.a $1$ $32.307$ \(\Q\) None 4046.2.a.a \(-1\) \(-3\) \(-2\) \(-1\) $+$ $+$ $-$ $\mathrm{SU}(2)$ \(q-q^{2}-3q^{3}+q^{4}-2q^{5}+3q^{6}-q^{7}+\cdots\)
4046.2.a.b 4046.a 1.a $1$ $32.307$ \(\Q\) None 238.2.a.b \(-1\) \(-2\) \(-4\) \(-1\) $+$ $+$ $+$ $\mathrm{SU}(2)$ \(q-q^{2}-2q^{3}+q^{4}-4q^{5}+2q^{6}-q^{7}+\cdots\)
4046.2.a.c 4046.a 1.a $1$ $32.307$ \(\Q\) None 4046.2.a.c \(-1\) \(-1\) \(-2\) \(1\) $+$ $-$ $-$ $\mathrm{SU}(2)$ \(q-q^{2}-q^{3}+q^{4}-2q^{5}+q^{6}+q^{7}+\cdots\)
4046.2.a.d 4046.a 1.a $1$ $32.307$ \(\Q\) None 238.2.a.a \(-1\) \(0\) \(2\) \(1\) $+$ $-$ $+$ $\mathrm{SU}(2)$ \(q-q^{2}+q^{4}+2q^{5}+q^{7}-q^{8}-3q^{9}+\cdots\)
4046.2.a.e 4046.a 1.a $1$ $32.307$ \(\Q\) None 4046.2.a.c \(-1\) \(1\) \(2\) \(-1\) $+$ $+$ $+$ $\mathrm{SU}(2)$ \(q-q^{2}+q^{3}+q^{4}+2q^{5}-q^{6}-q^{7}+\cdots\)
4046.2.a.f 4046.a 1.a $1$ $32.307$ \(\Q\) None 14.2.a.a \(-1\) \(2\) \(0\) \(-1\) $+$ $+$ $+$ $\mathrm{SU}(2)$ \(q-q^{2}+2q^{3}+q^{4}-2q^{6}-q^{7}-q^{8}+\cdots\)
4046.2.a.g 4046.a 1.a $1$ $32.307$ \(\Q\) None 4046.2.a.a \(-1\) \(3\) \(2\) \(1\) $+$ $-$ $+$ $\mathrm{SU}(2)$ \(q-q^{2}+3q^{3}+q^{4}+2q^{5}-3q^{6}+q^{7}+\cdots\)
4046.2.a.h 4046.a 1.a $1$ $32.307$ \(\Q\) None 4046.2.a.h \(1\) \(-3\) \(-1\) \(1\) $-$ $-$ $-$ $\mathrm{SU}(2)$ \(q+q^{2}-3q^{3}+q^{4}-q^{5}-3q^{6}+q^{7}+\cdots\)
4046.2.a.i 4046.a 1.a $1$ $32.307$ \(\Q\) None 238.2.a.e \(1\) \(-2\) \(0\) \(1\) $-$ $-$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}-2q^{3}+q^{4}-2q^{6}+q^{7}+q^{8}+\cdots\)
4046.2.a.j 4046.a 1.a $1$ $32.307$ \(\Q\) None 4046.2.a.j \(1\) \(-1\) \(-3\) \(-1\) $-$ $+$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}-q^{3}+q^{4}-3q^{5}-q^{6}-q^{7}+\cdots\)
4046.2.a.k 4046.a 1.a $1$ $32.307$ \(\Q\) None 4046.2.a.k \(1\) \(-1\) \(0\) \(-1\) $-$ $+$ $-$ $\mathrm{SU}(2)$ \(q+q^{2}-q^{3}+q^{4}-q^{6}-q^{7}+q^{8}+\cdots\)
4046.2.a.l 4046.a 1.a $1$ $32.307$ \(\Q\) None 4046.2.a.l \(1\) \(-1\) \(4\) \(-1\) $-$ $+$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}-q^{3}+q^{4}+4q^{5}-q^{6}-q^{7}+\cdots\)
4046.2.a.m 4046.a 1.a $1$ $32.307$ \(\Q\) None 238.2.a.d \(1\) \(0\) \(-2\) \(-1\) $-$ $+$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}+q^{4}-2q^{5}-q^{7}+q^{8}-3q^{9}+\cdots\)
4046.2.a.n 4046.a 1.a $1$ $32.307$ \(\Q\) None 238.2.b.a \(1\) \(0\) \(0\) \(-1\) $-$ $+$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}+q^{4}-q^{7}+q^{8}-3q^{9}+2q^{13}+\cdots\)
4046.2.a.o 4046.a 1.a $1$ $32.307$ \(\Q\) None 238.2.b.a \(1\) \(0\) \(0\) \(1\) $-$ $-$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}+q^{4}+q^{7}+q^{8}-3q^{9}+2q^{13}+\cdots\)
4046.2.a.p 4046.a 1.a $1$ $32.307$ \(\Q\) None 4046.2.a.l \(1\) \(1\) \(-4\) \(1\) $-$ $-$ $-$ $\mathrm{SU}(2)$ \(q+q^{2}+q^{3}+q^{4}-4q^{5}+q^{6}+q^{7}+\cdots\)
4046.2.a.q 4046.a 1.a $1$ $32.307$ \(\Q\) None 4046.2.a.k \(1\) \(1\) \(0\) \(1\) $-$ $-$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}+q^{3}+q^{4}+q^{6}+q^{7}+q^{8}+\cdots\)
4046.2.a.r 4046.a 1.a $1$ $32.307$ \(\Q\) None 4046.2.a.j \(1\) \(1\) \(3\) \(1\) $-$ $-$ $-$ $\mathrm{SU}(2)$ \(q+q^{2}+q^{3}+q^{4}+3q^{5}+q^{6}+q^{7}+\cdots\)
4046.2.a.s 4046.a 1.a $1$ $32.307$ \(\Q\) None 238.2.a.c \(1\) \(2\) \(4\) \(-1\) $-$ $+$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}+2q^{3}+q^{4}+4q^{5}+2q^{6}-q^{7}+\cdots\)
4046.2.a.t 4046.a 1.a $1$ $32.307$ \(\Q\) None 4046.2.a.h \(1\) \(3\) \(1\) \(-1\) $-$ $+$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}+3q^{3}+q^{4}+q^{5}+3q^{6}-q^{7}+\cdots\)
4046.2.a.u 4046.a 1.a $2$ $32.307$ \(\Q(\sqrt{2}) \) None 4046.2.a.u \(-2\) \(-2\) \(-2\) \(2\) $+$ $-$ $+$ $\mathrm{SU}(2)$ \(q-q^{2}+(-1+\beta )q^{3}+q^{4}+(-1-\beta )q^{5}+\cdots\)
4046.2.a.v 4046.a 1.a $2$ $32.307$ \(\Q(\sqrt{5}) \) None 238.2.a.f \(-2\) \(-2\) \(-2\) \(2\) $+$ $-$ $+$ $\mathrm{SU}(2)$ \(q-q^{2}+(-1-\beta )q^{3}+q^{4}+(-1+\beta )q^{5}+\cdots\)
4046.2.a.w 4046.a 1.a $2$ $32.307$ \(\Q(\sqrt{2}) \) None 4046.2.a.u \(-2\) \(2\) \(2\) \(-2\) $+$ $+$ $-$ $\mathrm{SU}(2)$ \(q-q^{2}+(1+\beta )q^{3}+q^{4}+(1-\beta )q^{5}+\cdots\)
4046.2.a.x 4046.a 1.a $3$ $32.307$ 3.3.148.1 None 238.2.b.b \(-3\) \(-2\) \(2\) \(-3\) $+$ $+$ $+$ $\mathrm{SU}(2)$ \(q-q^{2}+(-1+\beta _{1})q^{3}+q^{4}+(1-\beta _{2})q^{5}+\cdots\)
4046.2.a.y 4046.a 1.a $3$ $32.307$ \(\Q(\zeta_{18})^+\) None 4046.2.a.y \(-3\) \(0\) \(0\) \(-3\) $+$ $+$ $+$ $\mathrm{SU}(2)$ \(q-q^{2}+\beta _{1}q^{3}+q^{4}+\beta _{2}q^{5}-\beta _{1}q^{6}+\cdots\)
4046.2.a.z 4046.a 1.a $3$ $32.307$ \(\Q(\zeta_{18})^+\) None 4046.2.a.y \(-3\) \(0\) \(0\) \(3\) $+$ $-$ $-$ $\mathrm{SU}(2)$ \(q-q^{2}-\beta _{1}q^{3}+q^{4}-\beta _{2}q^{5}+\beta _{1}q^{6}+\cdots\)
4046.2.a.ba 4046.a 1.a $3$ $32.307$ 3.3.148.1 None 238.2.b.b \(-3\) \(2\) \(-2\) \(3\) $+$ $-$ $+$ $\mathrm{SU}(2)$ \(q-q^{2}+(1-\beta _{1})q^{3}+q^{4}+(-1+\beta _{2})q^{5}+\cdots\)
4046.2.a.bb 4046.a 1.a $3$ $32.307$ \(\Q(\zeta_{18})^+\) None 4046.2.a.bb \(3\) \(0\) \(0\) \(-3\) $-$ $+$ $-$ $\mathrm{SU}(2)$ \(q+q^{2}-\beta _{1}q^{3}+q^{4}+(2\beta _{1}-\beta _{2})q^{5}+\cdots\)
4046.2.a.bc 4046.a 1.a $3$ $32.307$ \(\Q(\zeta_{18})^+\) None 4046.2.a.bb \(3\) \(0\) \(0\) \(3\) $-$ $-$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}+\beta _{1}q^{3}+q^{4}+(-2\beta _{1}+\beta _{2})q^{5}+\cdots\)
4046.2.a.bd 4046.a 1.a $4$ $32.307$ \(\Q(\zeta_{16})^+\) None 238.2.g.a \(-4\) \(0\) \(0\) \(-4\) $+$ $+$ $+$ $\mathrm{SU}(2)$ \(q-q^{2}+\beta _{1}q^{3}+q^{4}+(\beta _{2}+\beta _{3})q^{5}+\cdots\)
4046.2.a.be 4046.a 1.a $4$ $32.307$ \(\Q(\zeta_{16})^+\) None 238.2.g.a \(-4\) \(0\) \(0\) \(4\) $+$ $-$ $+$ $\mathrm{SU}(2)$ \(q-q^{2}+\beta _{1}q^{3}+q^{4}+(-\beta _{2}+\beta _{3})q^{5}+\cdots\)
4046.2.a.bf 4046.a 1.a $4$ $32.307$ \(\Q(\sqrt{7 +2 \sqrt{2}})\) None 238.2.g.b \(4\) \(-4\) \(-4\) \(4\) $-$ $-$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}+(-1-\beta _{1}+\beta _{2})q^{3}+q^{4}+(-1+\cdots)q^{5}+\cdots\)
4046.2.a.bg 4046.a 1.a $4$ $32.307$ \(\Q(\sqrt{7 +2 \sqrt{2}})\) None 238.2.g.b \(4\) \(4\) \(4\) \(-4\) $-$ $+$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}+(1+\beta _{1}-\beta _{2})q^{3}+q^{4}+(1-\beta _{1}+\cdots)q^{5}+\cdots\)
4046.2.a.bh 4046.a 1.a $8$ $32.307$ 8.8.6513754112.1 None 238.2.k.a \(-8\) \(0\) \(0\) \(-8\) $+$ $+$ $-$ $\mathrm{SU}(2)$ \(q-q^{2}+(\beta _{4}-\beta _{5})q^{3}+q^{4}+(-\beta _{2}-\beta _{4}+\cdots)q^{5}+\cdots\)
4046.2.a.bi 4046.a 1.a $8$ $32.307$ 8.8.6513754112.1 None 238.2.k.a \(-8\) \(0\) \(0\) \(8\) $+$ $-$ $-$ $\mathrm{SU}(2)$ \(q-q^{2}+(\beta _{2}+\beta _{4})q^{3}+q^{4}+(-\beta _{4}+\beta _{5}+\cdots)q^{5}+\cdots\)
4046.2.a.bj 4046.a 1.a $9$ $32.307$ \(\mathbb{Q}[x]/(x^{9} - \cdots)\) None 4046.2.a.bj \(-9\) \(0\) \(0\) \(-9\) $+$ $+$ $-$ $\mathrm{SU}(2)$ \(q-q^{2}-\beta _{1}q^{3}+q^{4}+(\beta _{6}+\beta _{7})q^{5}+\cdots\)
4046.2.a.bk 4046.a 1.a $9$ $32.307$ \(\mathbb{Q}[x]/(x^{9} - \cdots)\) None 4046.2.a.bj \(-9\) \(0\) \(0\) \(9\) $+$ $-$ $+$ $\mathrm{SU}(2)$ \(q-q^{2}+\beta _{1}q^{3}+q^{4}+(-\beta _{6}-\beta _{7})q^{5}+\cdots\)
4046.2.a.bl 4046.a 1.a $9$ $32.307$ \(\mathbb{Q}[x]/(x^{9} - \cdots)\) None 4046.2.a.bl \(9\) \(0\) \(0\) \(-9\) $-$ $+$ $+$ $\mathrm{SU}(2)$ \(q+q^{2}+\beta _{1}q^{3}+q^{4}+\beta _{2}q^{5}+\beta _{1}q^{6}+\cdots\)
4046.2.a.bm 4046.a 1.a $9$ $32.307$ \(\mathbb{Q}[x]/(x^{9} - \cdots)\) None 4046.2.a.bl \(9\) \(0\) \(0\) \(9\) $-$ $-$ $-$ $\mathrm{SU}(2)$ \(q+q^{2}-\beta _{1}q^{3}+q^{4}-\beta _{2}q^{5}-\beta _{1}q^{6}+\cdots\)
4046.2.a.bn 4046.a 1.a $12$ $32.307$ \(\mathbb{Q}[x]/(x^{12} - \cdots)\) None 238.2.k.b \(12\) \(-8\) \(-8\) \(-12\) $-$ $+$ $-$ $\mathrm{SU}(2)$ \(q+q^{2}+(-1+\beta _{7})q^{3}+q^{4}+(-1+\beta _{3}+\cdots)q^{5}+\cdots\)
4046.2.a.bo 4046.a 1.a $12$ $32.307$ \(\mathbb{Q}[x]/(x^{12} - \cdots)\) None 238.2.k.b \(12\) \(8\) \(8\) \(12\) $-$ $-$ $-$ $\mathrm{SU}(2)$ \(q+q^{2}+(1-\beta _{7})q^{3}+q^{4}+(1-\beta _{3})q^{5}+\cdots\)

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

\( S_{2}^{\mathrm{old}}(\Gamma_0(4046)) \simeq \) \(S_{2}^{\mathrm{new}}(\Gamma_0(14))\)\(^{\oplus 3}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_0(17))\)\(^{\oplus 8}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_0(34))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_0(119))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_0(238))\)\(^{\oplus 2}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_0(289))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_0(578))\)\(^{\oplus 2}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_0(2023))\)\(^{\oplus 2}\)