Properties

Label 712.1.l
Level $712$
Weight $1$
Character orbit 712.l
Rep. character $\chi_{712}(123,\cdot)$
Character field $\Q(\zeta_{4})$
Dimension $2$
Newform subspaces $1$
Sturm bound $90$
Trace bound $0$

Related objects

Downloads

Learn more

Defining parameters

Level: \( N \) \(=\) \( 712 = 2^{3} \cdot 89 \)
Weight: \( k \) \(=\) \( 1 \)
Character orbit: \([\chi]\) \(=\) 712.l (of order \(4\) and degree \(2\))
Character conductor: \(\operatorname{cond}(\chi)\) \(=\) \( 712 \)
Character field: \(\Q(i)\)
Newform subspaces: \( 1 \)
Sturm bound: \(90\)
Trace bound: \(0\)

Dimensions

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

Total New Old
Modular forms 6 6 0
Cusp forms 2 2 0
Eisenstein series 4 4 0

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

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

Trace form

\( 2 q - 2 q^{2} + 2 q^{3} + 2 q^{4} - 2 q^{6} - 2 q^{8} + O(q^{10}) \) \( 2 q - 2 q^{2} + 2 q^{3} + 2 q^{4} - 2 q^{6} - 2 q^{8} + 2 q^{12} + 2 q^{16} + 2 q^{19} - 2 q^{24} - 2 q^{25} - 2 q^{32} - 2 q^{38} - 2 q^{41} - 2 q^{43} + 2 q^{48} + 2 q^{50} - 4 q^{51} + 4 q^{57} + 2 q^{59} + 2 q^{64} - 2 q^{75} + 2 q^{76} + 2 q^{81} + 2 q^{82} - 2 q^{83} + 2 q^{86} - 2 q^{89} - 2 q^{96} + 4 q^{97} + O(q^{100}) \)

Decomposition of \(S_{1}^{\mathrm{new}}(712, [\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}$
712.1.l.a 712.l 712.l $2$ $0.355$ \(\Q(\sqrt{-1}) \) $D_{4}$ \(\Q(\sqrt{-2}) \) None \(-2\) \(2\) \(0\) \(0\) \(q-q^{2}+(1-i)q^{3}+q^{4}+(-1+i)q^{6}+\cdots\)