Properties

Label 563.1.b
Level $563$
Weight $1$
Character orbit 563.b
Rep. character $\chi_{563}(562,\cdot)$
Character field $\Q$
Dimension $6$
Newform subspaces $3$
Sturm bound $47$
Trace bound $1$

Related objects

Downloads

Learn more

Defining parameters

Level: \( N \) \(=\) \( 563 \)
Weight: \( k \) \(=\) \( 1 \)
Character orbit: \([\chi]\) \(=\) 563.b (of order \(2\) and degree \(1\))
Character conductor: \(\operatorname{cond}(\chi)\) \(=\) \( 563 \)
Character field: \(\Q\)
Newform subspaces: \( 3 \)
Sturm bound: \(47\)
Trace bound: \(1\)

Dimensions

The following table gives the dimensions of various subspaces of \(M_{1}(563, [\chi])\).

Total New Old
Modular forms 7 7 0
Cusp forms 6 6 0
Eisenstein series 1 1 0

The following table gives the dimensions of subspaces with specified projective image type.

\(D_n\) \(A_4\) \(S_4\) \(A_5\)
Dimension 4 0 2 0

Trace form

\( 6 q - 3 q^{3} + 2 q^{4} + q^{7} + 3 q^{9} + O(q^{10}) \) \( 6 q - 3 q^{3} + 2 q^{4} + q^{7} + 3 q^{9} - 4 q^{10} - q^{11} + q^{12} - q^{13} + 2 q^{16} - 3 q^{17} + q^{19} - 4 q^{21} - 3 q^{23} + 2 q^{25} - 3 q^{28} + 4 q^{30} - 2 q^{33} + 3 q^{36} - 2 q^{39} - q^{44} + q^{47} + q^{48} + 3 q^{49} - q^{52} - 4 q^{57} + q^{59} + q^{61} + 4 q^{62} - 3 q^{63} + 6 q^{64} + q^{67} + q^{68} - 4 q^{70} + q^{71} + q^{75} - 3 q^{76} - 2 q^{77} - 4 q^{86} - 2 q^{91} + q^{92} - 3 q^{99} + O(q^{100}) \)

Decomposition of \(S_{1}^{\mathrm{new}}(563, [\chi])\) into newform subspaces

Label Char Prim Dim $A$ Field Image CM RM Traces Sato-Tate $q$-expansion
$a_{2}$ $a_{3}$ $a_{5}$ $a_{7}$
563.1.b.a 563.b 563.b $1$ $0.281$ \(\Q\) $D_{3}$ \(\Q(\sqrt{-563}) \) None \(0\) \(-1\) \(0\) \(-1\) \(q-q^{3}+q^{4}-q^{7}+2q^{11}-q^{12}+2q^{13}+\cdots\)
563.1.b.b 563.b 563.b $2$ $0.281$ \(\Q(\sqrt{-2}) \) $S_{4}$ None None \(0\) \(-2\) \(0\) \(2\) \(q-\beta q^{2}-q^{3}-q^{4}-\beta q^{5}+\beta q^{6}+q^{7}+\cdots\)
563.1.b.c 563.b 563.b $3$ $0.281$ \(\Q(\zeta_{18})^+\) $D_{9}$ \(\Q(\sqrt{-563}) \) None \(0\) \(0\) \(0\) \(0\) \(q-\beta _{1}q^{3}+q^{4}+(\beta _{1}-\beta _{2})q^{7}+(1+\beta _{2})q^{9}+\cdots\)